hondana.org
本を探す

 

Scrapbox
書籍追加 | 本棚情報変更 | 名前変更/本棚削除 | ヘルプ | ランダム

(3/26)冊
Fms
圏論の基礎
圏論の基礎
著者: S.マックレーン
出版社: シュプリンガー・フェアラーク東京
評価:
カテゴリ:
コメント:
関連本棚: spi kmt-t Calculi むらけん agusaLab 岸リトル kunishi 野村航史
Fms
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)
著者: B. Jacobs
出版社: Elsevier Science
評価:
カテゴリ:
コメント: たぶん一生積読
関連本棚: Calculi
Fms
プログラム検証論 (情報数学講座)
プログラム検証論 (情報数学講座)
著者: 林 晋
出版社: 共立出版
評価:
カテゴリ:
コメント:
関連本棚: Calculi soutaro kuwa @tk tasario
Fms
自然言語・意味論・論理
自然言語・意味論・論理
著者: 赤間 世紀
出版社: 共立出版
評価:
カテゴリ:
コメント:
関連本棚: Calculi agusaLab はぶあきひろ
Fms
情報代数 (情報数学講座)
情報代数 (情報数学講座)
著者: 小野 寛晰
出版社: 共立出版
評価:
カテゴリ:
コメント:
関連本棚: Taku tanaka Calculi こけし tasario
Fms
プログラミング言語の基礎理論 (情報数学講座)
プログラミング言語の基礎理論 (情報数学講座)
著者: 大堀 淳
出版社: 共立出版
評価:
カテゴリ:
コメント:
関連本棚: Calculi soutaro rui
Fms
プログラム意味論 (情報数学講座)
プログラム意味論 (情報数学講座)
著者: 横内 寛文
出版社: 共立出版
評価:
カテゴリ:
コメント:
関連本棚: oxyの本棚 spi tanaka shaolin 羽尻 prime_no_132nd Calculi smtk doax 岸リトル blackbird
Fms
PX: A Computational Logic (Foundations of Computing)
PX: A Computational Logic (Foundations of Computing)
著者: Susumu Hayashi, Hiroshi Nakano
出版社: The MIT Press
評価:
カテゴリ:
コメント:
関連本棚: Calculi
Fms
計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)
計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)
著者: 高橋 正子
出版社: 近代科学社
評価:
カテゴリ:
コメント:
関連本棚: 正統派Lisper sydney svslab blackbird tanaka kmt-t Calculi minkewhale kuwa agusaLab doax hryk
Fms
DNAコンピューティング―新しい計算パラダイム
DNAコンピューティング―新しい計算パラダイム
著者: G. パウン, A. サローマ, G. ローゼンバーグ
出版社: シュプリンガー・フェアラーク東京
評価:
カテゴリ:
コメント:
関連本棚: Calculi
Fms
DNAコンピュータ
DNAコンピュータ
著者:
出版社: 培風館
評価:
カテゴリ:
コメント:
関連本棚: 正統派Lisper Calculi
Fms
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides)
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 (Oxford Logic Guides)
著者:
出版社: Oxford Univ Pr on Demand
評価:
カテゴリ:
コメント:
関連本棚: Calculi
Fms
論理・代数・データベース―知の工学の基礎
論理・代数・データベース―知の工学の基礎
著者: ピーター グレイ
出版社: 産業図書
評価:
カテゴリ:
コメント:
関連本棚: SemanticWeb＆Ontology Calculi
Fms
構成的プログラミングの基礎
構成的プログラミングの基礎
著者: 林 晋, 小林 聡
出版社: 遊星社
評価:
カテゴリ:
コメント:
関連本棚: spi Calculi
Fms
数理論理学 (コンピュータ数学シリーズ)
数理論理学 (コンピュータ数学シリーズ)
著者: 林 晋
出版社: コロナ社
評価:
カテゴリ:
コメント:
関連本棚: りんごスプーン Calculi
Fms
関数プログラミング〈2〉JSSST’94 (レクチャノートソフトウェア学)
関数プログラミング〈2〉JSSST’94 (レクチャノートソフトウェア学)
著者:
出版社: 近代科学社
評価:
カテゴリ:
コメント:
関連本棚: Calculi
Fms
関数プログラミング JSSST’91 (レクチャーノート ソフトウェア学)
関数プログラミング JSSST’91 (レクチャーノート ソフトウェア学)
著者:
出版社: 近代科学社
評価:
カテゴリ:
コメント:
関連本棚: Calculi
Fms
情報科学における論理 (情報数学セミナー)
情報科学における論理 (情報数学セミナー)
著者: 小野 寛晰
出版社: 日本評論社
評価:
カテゴリ:
コメント:
関連本棚: nobsun2006 unnonouno naoki_afif kuwa Taku スハカ2005 tanaka prime_no_132nd Felio Calculi minkewhale @tk tasario blackbird
Fms
プログラミング言語の新潮流 (計算機科学・ソフトウェア技術講座)
プログラミング言語の新潮流 (計算機科学・ソフトウェア技術講座)
著者: 井田 哲雄
出版社: 共立出版
評価:
カテゴリ:
コメント:
関連本棚: p-his Calculi
Fms
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
著者: J. Lambek, P. J. Scott
出版社: Cambridge University Press
評価:
カテゴリ:
コメント:
関連本棚: prime_no_132nd Calculi
Fms