年 〜
年

検索結果 69 件

離散構造処理系の基盤アルゴリズムの研究

離散構造処理系の基盤アルゴリズムの研究
紙図書
湊真一, 京都大学 [著][湊真一]2015-2019<Y151-H15H05711>
国立国会図書館
  • 件名アルゴリズム / 離散構造 / 演算処理系 / 列挙 / 索引化 / 離散構造処理系 / 二分決定グラフ / ZDD / 列挙アルゴリズム / ...

低価格計算機上への高性能言語処理系構築法

低価格計算機上への高性能言語処理系構築法
紙図書
多田好克, 電気通信大学 [著][多田好克]2001-2003<Y151-H13680403>
国立国会図書館
  • 件名専用マシン / 高級言語 / 言語処理系 / 言語プロセッサ / 高速処理系

超越的手法による有限モデル理論の研究とそのLachlan予想解決への応用

超越的手法による有限モデル理論の研究とそのLachlan予想解決への応用
紙図書
坪井明人, 筑波大学 [著][坪井明人]2003-2005<Y151-H15540104>
国立国会図書館
  • 件名自然数 / モデル / ペアノ公理系 / 再帰的 / 同型 / 定義可能

新しい教育用言語の開発

新しい教育用言語の開発
紙図書
都倉信樹, 鳥取環境大学 [著][都倉信樹]2002-2003<Y151-H14380150>
国立国会図書館
  • 件名言語処理系 / 教育用言語 / 実行系 / ペアプログラミング

カオス理論に基づいた乱数生成とランダムアルゴリズムの研究

カオス理論に基づいた乱数生成とランダムアルゴリズムの研究
紙図書
久保泉, 広島工業大学 [著][久保泉]2005-2007<Y151-H17540138>
国立国会図書館
  • 件名カオス / 力学系 / 乱数生成 / 分散処理系 / ランダムアルゴリズム / 無限次元確率解析 / Ren...

時代比較による乾燥地域の水資源・水利用に関する問題点の抽出

時代比較による乾燥地域の水資源・水利用に関する問題点の抽出
紙図書
中尾正義, 総合地球環境学研究所 [著][中尾正義]2002-2005<Y151-H14209020>
国立国会図書館
  • 件名乾燥地域 / 水資源・水利用 / 時代比較 / 元代と現代 / 古文書 / プロクシー (代替記録媒体) / 農業と牧業 / 文系と理系の統合

汚泥処理系からの有機物フローを考慮した栄養塩除去下水処理プラントのモデル

汚泥処理系からの有機物フローを考慮した栄養塩除去下水処理プラントのモデル
紙図書
船水, 尚行, 北海道大学1997-1998<Y151-H09650595>
国立国会図書館
  • 件名栄養塩除去 活性汚泥モデル 有機物分類 汚泥処理系返流水 安定有機物

情報系工学科における研究・教育のためのシステムソフトウエア環境の開発

情報系工学科における研究・教育のためのシステムソフトウエア環境の開発
紙図書
高橋, 延匡, 拓殖大学1997-2000<Y151-H09358004>
国立国会図書館
  • 件名オペレーテイングシステム OS/omicron システムソフトウエア 可視化 デバツグ環境 言語処理系

マルチスレッド環境におけるハードリアルタイムなガーベジコレクションの研究

マルチスレッド環境におけるハードリアルタイムなガーベジコレクションの研究
紙図書
前田敦司, 筑波大学 [著][前田敦司]2001-2003<Y151-H13680389>
国立国会図書館
  • 件名ガーベジコレクション / リアルタイム処理 / 並列処理 / システムプログラム / プログラミング言語 / 言語処理系

風間主任のエッチなお世話係（※処女にはハードル高いです！） (蜜恋ティアラ) (風間主任のエッチなお世話係（※処女にはハードル高いです！）)

風間主任のエッチなお世話係（※処女にはハードル高いです！） (蜜恋ティアラ) (風間主任のエッチなお世話係（※処女にはハードル高いです！）)
デジタル図書電子書籍・電子雑誌
上原ヨヨギ 著・文・その他ぶんか社2022-01-21
全国の図書館
  • 件名TL 理系男子 俺様

心理系大学院入試&公認心理師・臨床心理士試験のための心理学標準テキスト '25～'26年版

心理系大学院入試&公認心理師・臨床心理士試験のための心理学標準テキスト '25～'26年版
紙図書
IPSA心理学大学院予備校 著・文・その他秀和システム2025-02-22
全国の図書館
  • 要約等本書は、公認心理師・臨床心理士等の心理系大学院入試と、臨床心理士試験のための心理学標準テキストです。
  • 件名臨床心理士 公認心理師 心理カウンセラー 心理系大学院 心理系 臨床心理 IPSA 心理学

「社会基盤としてのセキュアコンピューティングの実現方式の研究」の推進と評価

「社会基盤としてのセキュアコンピューティングの実現方式の研究」の推進と評価
紙図書
米澤明憲, 東京大学 [著][米澤明憲]2000-2003<Y151-TR747-001>
国立国会図書館
  • 件名ソフトウェアセキュリティ / 安全なメールシステム / 安全な情報基盤 / プログラム検証 / プログラム言語処理系 / オペレーティングシステム

アルゴリズム・アニメーションを特徴とする統合的プログラム言語処理系生成システム

アルゴリズム・アニメーションを特徴とする統合的プログラム言語処理系生成システム
紙図書
佐々政孝, 東京工業大学1996-1998<Y151-H08458065>
国立国会図書館
  • 件名アルゴリズム・アニメーシヨン プログラム言語処理系 コンパイラ 視覚化 コンパイラ生成系

破壊問題における亀裂形状の影響に関する数理解析と数値解析

破壊問題における亀裂形状の影響に関する数理解析と数値解析
紙図書
大塚, 厚二, 広島電機大学1995-1996<Y151-H07640341>
国立国会図書館
  • 件名破壊問題 応力拡大係数 感度解析 理論研究 数値解析 有限要素解析言語処理系

困ったときのレポート作成講座（レポートって何？編）2023

困ったときのレポート作成講座（レポートって何？編）2023
デジタル文書・図像類
宮城, 信2023-04-26p.1-14
全国の図書館
  • 件名レポート テーマ 研究 課題 文系 理系

汉字dBASEⅢ基础与应用 (微型计算机基础知识教育丛书)

汉字dBASEⅢ基础与应用 (微型计算机基础知识教育丛书)
紙図書
张立权编著北京大学出版社1994<M154-C10>
国立国会図書館
  • 件名汉字-数据库管理系统, dBASEⅢ 数据库管理系统, dBASEⅢ-汉字

並行計算に基づくエージエント計算系の論理的意味論に関する基礎研究

並行計算に基づくエージエント計算系の論理的意味論に関する基礎研究
紙図書
富樫, 敦, 静岡大学1998-1999<Y151-H10680347>
国立国会図書館
  • 件名高階並行プロセス計算 動作的意味論 計算モデル 高階様相論理 タイプシステム 高階並行プログラミング言語 等価性 言語処理系

【新４年生向け】2021年度　岡島研究室（研究室紹介）熊本大学　工学部　情報電気工学科

【新４年生向け】2021年度　岡島研究室（研究室紹介）熊本大学　工学部　情報電気工学科
紙文書・図像類
岡島, 寛, Hiroshi, Okajima2021-02-03
全国の図書館
  • 件名熊大 工学 工学部 理系大学

困ったときのレポート作成講座（テーマの探し方編）2022

困ったときのレポート作成講座（テーマの探し方編）2022
デジタル文書・図像類
宮城, 信2022-05-18p.1-21
全国の図書館
  • 件名レポート テーマ 研究 課題 文系 理系

科学クイズドリル 天才！ 地球 (科学クイズドリル)

科学クイズドリル 天才！ 地球 (科学クイズドリル)
紙図書
倉本　圭 監修ニュートンプレス2024-11-20
全国の図書館
  • 要約等科学雑誌『Newton』が贈る、小学生向け理系教養書シリーズ！科学をテーマにした、楽しいクイズ集です。ゆる...
  • 件名科学クイズ ドリル 理系脳 天才 地球 倉本圭 ニュートン Newton