寳来, 正子, 東京工業大学1997-1999<Y151-H09640248>
National Diet Library
- Subject Heading型理論 証明論 高階理論 ラムダ計算 原始帰納法 自由代数
龍田真, 国立情報学研究所 [著][龍田真]2000-2003<Y151-H12680346>
National Diet Library
- Subject Heading構成的集合 / 余帰納的定義 / 構成的論理 / 実現可能性解釈 / プログラム合成 / 型理論
廣川, 左千男, 九州大学1995-1997<Y151-H07680364>
National Diet Library
- Subject Headingラムダ計算 型理論 適切さの論理 古典論理
桜井, 貴文, 千葉大学1998-1999<Y151-H10680334>
National Diet Library
- Subject Heading型理論 意味論 モデル カテゴリ理論 文法的性質 強正規化
堺, 茂樹, 岩手大学1994-1995<Y151-H06650554>
National Diet Library
- Subject Heading波浪 氷板 変形 破壊 実験 非線型理論
古森, 雄一, 千葉大学1998-1999<Y151-H10640103>
National Diet Library
- Subject Heading部分構造論理 古典論理 直観主義論理 BCK論理 ラムダ計算 型理論
佐藤, 雅彦, 京都大学1996-1997<Y151-H08458068>
National Diet Library
- Subject Heading構成的プログラミング キヤツチスロー機構 型理論
田中, 一之, 東北大学1997-1999<Y151-H09440072>
National Diet Library
- Subject Heading論理構造 計算論 型理論 形式算術 2階算術 逆数学 限定算術 ラムダ計算
佐藤周行, 東京大学 [著][佐藤周行]2001-2003<Y151-H13680397>
National Diet Library
- Subject Headingコンパイラ最適化 / ループアンローリング / 性能の定量的解析 / データフロー方程式 / 型理論 / 形式的記述
萩谷, 昌己, 東京大学1994-1995<Y151-H06680342>
National Diet Library
- Subject Heading型理論 型付き入計算 機械学習 帰納法 関数プログラミング 自動演...
佐藤, 雅彦, 東北大学1990-1992<Y151-H02302009>
National Diet Library
- Subject Headingプログラム理論 構成的論理 型理論 グラフ理論
大堀, 淳, 京都大学1994-1995<Y151-H06680319>
National Diet Library
- Subject Heading型理論 プログラミング言語 コンパイラー データモデル ポリモルフ...
原尾, 政輝, 九州工業大学1995-1996<Y151-H07680405>
National Diet Library
- Subject Heading論理 型理論 ロジカルフレームワーク 知的推論原理 仮説推論 類推 発見...
廣川, 佐千男, 九州大学1993-1994<Y151-H05680276>
National Diet Library
- Subject Heading構成的論理 ラムダ計算 型理論 直観主義論理 適切さの論理 curry-Haward 型と...
原尾, 政輝, 九州工業大学1992-1993<Y151-H04650320>
National Diet Library
- Subject Heading型理論 知識表現 推論機構 知能ソフトウエア 類推システム 高階プ...
観山, 正見, 国立天文台1989-1990<Y151-H01540220>
National Diet Library
- Subject Heading差動回転系 シア不安定性 非線型現象 アクリーシヨンデイスク 弱非線型理論
倉田, 俊彦, KURATA, Toshihiko2011-05科学研究費補助金研究成果報告書p.1-5
Other Libraries in Japan
- Subject Headingプログラム意味論 ラムダ計算 型理論 層論 領域理論 外延性 高階遂次性 Kripkeモデル
模型航空世界選手権1995実行委員会模型航空世界選手権1995実行委員会1995.8
Other Libraries in Japan
佐藤, 雅彦京都大学2004-03
Available onlineOther Libraries in Japan
- Subject Heading...文法的対象 合流性 計算体系 型理論 強正規化性 Meta Language Variable ...