本文に飛ぶ
国立国会図書館サーチ（NDL SEARCH）
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年（西暦）
項目を閉じる
年
〜
年
開く
1980年代
(1)
1990年代
(15)
2000年代
(3)
2010年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
（17）
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
（2）
紙
（17）
マイクロ
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 19 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年：古い順
出版年：新しい順
タイトル：昇順
タイトル：降順
著者：昇順
著者：降順
請求記号順
タイトルでまとめる
一括お気に入り
型理論
の証明論ならびに計算論的研究
型理論の証明論ならびに計算論的研究
紙
図書
寳来, 正子, 東京工業大学
1997-1999
<Y151-H09640248>
国立国会図書館
件名
型理論
証明論 高階理論 ラムダ計算 原始帰納法 自由代数
構成的集合と余帰納的定義を用いたプログラム合成
構成的集合と余帰納的定義を用いたプログラム合成
紙
図書
龍田真, 国立情報学研究所 [著]
[龍田真]
2000-2003
<Y151-H12680346>
国立国会図書館
件名
構成的集合 / 余帰納的定義 / 構成的論理 / 実現可能性解釈 / プログラム合成 /
型理論
構成的論理の推論構造の研究
構成的論理の推論構造の研究
紙
図書
廣川, 左千男, 九州大学
1995-1997
<Y151-H07680364>
国立国会図書館
件名
ラムダ計算
型理論
適切さの論理 古典論理
型理論
の意味論と文法的性質の関係
型理論の意味論と文法的性質の関係
紙
図書
桜井, 貴文, 千葉大学
1998-1999
<Y151-H10680334>
国立国会図書館
件名
型理論
意味論 モデル カテゴリ理論 文法的性質 強正規化
波浪による氷板の変形及び破壊に関する研究
波浪による氷板の変形及び破壊に関する研究
紙
図書
堺, 茂樹, 岩手大学
1994-1995
<Y151-H06650554>
国立国会図書館
件名
波浪 氷板 変形 破壊 実験 非線
型理論
部分構造論理の研究
部分構造論理の研究
紙
図書
古森, 雄一, 千葉大学
1998-1999
<Y151-H10640103>
国立国会図書館
件名
部分構造論理 古典論理 直観主義論理 BCK論理 ラムダ計算
型理論
構成的プログラミング理論
構成的プログラミング理論
紙
図書
佐藤, 雅彦, 京都大学
1996-1997
<Y151-H08458068>
国立国会図書館
件名
構成的プログラミング キヤツチスロー機構
型理論
算術と計算の論理構造に関する研究
算術と計算の論理構造に関する研究
紙
図書
田中, 一之, 東北大学
1997-1999
<Y151-H09440072>
国立国会図書館
件名
論理構造 計算論
型理論
形式算術 2階算術 逆数学 限定算術 ラムダ計算
最適化を適応的に適用するコンパイラの研究
最適化を適応的に適用するコンパイラの研究
紙
図書
佐藤周行, 東京大学 [著]
[佐藤周行]
2001-2003
<Y151-H13680397>
国立国会図書館
件名
コンパイラ最適化 / ループアンローリング / 性能の定量的解析 / データフロー方程式 /
型理論
/ 形式的記述
型理論
とその機械学習への応用
型理論とその機械学習への応用
紙
図書
萩谷, 昌己, 東京大学
1994-1995
<Y151-H06680342>
国立国会図書館
件名
型理論
型付き入計算 機械学習 帰納法 関数プログラミング 自動演...
プログラム基礎理論の総合的研究
プログラム基礎理論の総合的研究
紙
図書
佐藤, 雅彦, 東北大学
1990-1992
<Y151-H02302009>
国立国会図書館
件名
プログラム理論 構成的論理
型理論
グラフ理論
型理論
に基づくプログラミング言語設計理論の研究
型理論に基づくプログラミング言語設計理論の研究
紙
図書
大堀, 淳, 京都大学
1994-1995
<Y151-H06680319>
国立国会図書館
件名
型理論
プログラミング言語 コンパイラー データモデル ポリモルフ...
ロジカルフレームワーク理論に基づく推論原理とその発見的推論システムへの応用
ロジカルフレームワーク理論に基づく推論原理とその発見的推論システムへの応用
紙
図書
原尾, 政輝, 九州工業大学
1995-1996
<Y151-H07680405>
国立国会図書館
件名
論理
型理論
ロジカルフレームワーク 知的推論原理 仮説推論 類推 発見...
構成的論理の推論構造の研究
構成的論理の推論構造の研究
紙
図書
廣川, 佐千男, 九州大学
1993-1994
<Y151-H05680276>
国立国会図書館
件名
構成的論理 ラムダ計算
型理論
直観主義論理 適切さの論理 curry-Haward 型と...
型理論
に基づく高階推論機構の形式化とその類推処理への応用
型理論に基づく高階推論機構の形式化とその類推処理への応用
紙
図書
原尾, 政輝, 九州工業大学
1992-1993
<Y151-H04650320>
国立国会図書館
件名
型理論
知識表現 推論機構 知能ソフトウエア 類推システム 高階プ...
差動回転系の不安定性の研究 : シア流の存在する天体で不安定性が非線型成長して乱流状態になる過程の理論的研究
差動回転系の不安定性の研究 : シア流の存在する天体で不安定性が非線型成長して乱流状態になる過程の理論的研究
紙
図書
観山, 正見, 国立天文台
1989-1990
<Y151-H01540220>
国立国会図書館
件名
差動回転系 シア不安定性 非線型現象 アクリーシヨンデイスク 弱非線
型理論
アルゴリズムの構造を反映する数理モデルの構成と応用
アルゴリズムの構造を反映する数理モデルの構成と応用
デジタル
その他
倉田, 俊彦, KURATA, Toshihiko
2011-05
科学研究費補助金研究成果報告書
p.1-5
全国の図書館
件名
プログラム意味論 ラムダ計算
型理論
層論 領域理論 外延性 高階遂次性 Kripkeモデル
模型航空世界選手権 1995
模型航空世界選手権 1995
紙
図書
模型航空世界選手権1995実行委員会
模型航空世界選手権1995実行委員会
1995.8
全国の図書館
件名
模
型理論
環境と文脈を持つ計算体系とその論理
環境と文脈を持つ計算体系とその論理
デジタル
その他
佐藤, 雅彦
京都大学
2004-03
インターネットで読める
全国の図書館
件名
...文法的対象 合流性 計算体系
型理論
強正規化性 Meta Language Variable ...
検索結果は以上です。
書誌情報を一括出力
RSS
RSS