hondana.org
本を探す

 

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

(3/26)冊
Fms
DNAコンピュータ
DNAコンピュータ
著者:
出版社: 培風館
評価:
カテゴリ:
コメント:
関連本棚: 正統派Lisper Calculi
Fms
プログラム検証論 (情報数学講座)
プログラム検証論 (情報数学講座)
著者: 林 晋
出版社: 共立出版
評価:
カテゴリ:
コメント:
関連本棚: Calculi soutaro kuwa @tk tasario
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
Categories for the Working Mathematician (Graduate Texts in Mathematics)
Categories for the Working Mathematician (Graduate Texts in Mathematics)
著者: Saunders Mac Lane
出版社: Springer
評価:
カテゴリ:
コメント:
関連本棚: spi Calculi hogawara
Fms
Implementation of Functional Programming Language (Prentice Hall Series in Computer Science)
Implementation of Functional Programming Language (Prentice Hall Series in Computer Science)
著者: Simon L.Peyton Jones
出版社: Prentice-Hall
評価:
カテゴリ:
コメント: Available scan image from: http://research.microsoft.com/Users/simonpj/papers/slpj-book-1987/
関連本棚: Calculi
Fms
A Theory of Objects (Monographs in Computer Science)
A Theory of Objects (Monographs in Computer Science)
著者: Martin Abadi, Luca Cardelli
出版社: Springer
評価:
カテゴリ:
コメント:
関連本棚: Calculi
Fms
計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)
計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)
著者: 高橋 正子
出版社: 近代科学社
評価:
カテゴリ:
コメント:
関連本棚: 正統派Lisper sydney svslab blackbird tanaka kmt-t Calculi minkewhale kuwa agusaLab doax hryk
Fms
Theoretical Aspects of Computer Software: Third International Symposium, Tacs '97, Sendai, Japan, September 23-26, 1997 : Proceedings (Lecture Notes in Computer Science)
Theoretical Aspects of Computer Software: Third International Symposium, Tacs '97, Sendai, Japan, September 23-26, 1997 : Proceedings (Lecture Notes in Computer Science)
著者:
出版社: Springer
評価:
カテゴリ:
コメント:
関連本棚: Calculi
Fms
情報代数 (情報数学講座)
情報代数 (情報数学講座)
著者: 小野 寛晰
出版社: 共立出版
評価:
カテゴリ:
コメント:
関連本棚: Taku tanaka Calculi こけし tasario
Fms
論理・代数・データベース―知の工学の基礎
論理・代数・データベース―知の工学の基礎
著者: ピーター グレイ
出版社: 産業図書
評価:
カテゴリ:
コメント:
関連本棚: SemanticWeb＆Ontology Calculi
Fms
プログラム意味論 (情報数学講座)
プログラム意味論 (情報数学講座)
著者: 横内 寛文
出版社: 共立出版
評価:
カテゴリ:
コメント:
関連本棚: oxyの本棚 spi tanaka shaolin 羽尻 prime_no_132nd Calculi smtk doax 岸リトル blackbird
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
圏論の基礎
圏論の基礎
著者: S.マックレーン
出版社: シュプリンガー・フェアラーク東京
評価:
カテゴリ:
コメント:
関連本棚: spi kmt-t Calculi むらけん agusaLab 岸リトル kunishi 野村航史
Fms
プログラミング言語の新潮流 (計算機科学・ソフトウェア技術講座)
プログラミング言語の新潮流 (計算機科学・ソフトウェア技術講座)
著者: 井田 哲雄
出版社: 共立出版
評価:
カテゴリ:
コメント:
関連本棚: p-his Calculi
Fms
構成的プログラミングの基礎
構成的プログラミングの基礎
著者: 林 晋, 小林 聡
出版社: 遊星社
評価:
カテゴリ:
コメント:
関連本棚: spi Calculi
Fms
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)
著者: Andrea Asperti, Giuseppe Longo
出版社: The MIT Press
評価:
カテゴリ:
コメント: PDF available from: http://www.di.ens.fr/users/longo/download.html
関連本棚: Calculi
Fms
数理論理学 (コンピュータ数学シリーズ)
数理論理学 (コンピュータ数学シリーズ)
著者: 林 晋
出版社: コロナ社
評価:
カテゴリ:
コメント:
関連本棚: りんごスプーン Calculi
Fms
DNAコンピューティング―新しい計算パラダイム
DNAコンピューティング―新しい計算パラダイム
著者: G. パウン, A. サローマ, G. ローゼンバーグ
出版社: シュプリンガー・フェアラーク東京
評価:
カテゴリ:
コメント:
関連本棚: Calculi
Fms
情報科学における論理 (情報数学セミナー)
情報科学における論理 (情報数学セミナー)
著者: 小野 寛晰
出版社: 日本評論社
評価:
カテゴリ:
コメント:
関連本棚: nobsun2006 unnonouno naoki_afif kuwa Taku スハカ2005 tanaka prime_no_132nd Felio Calculi minkewhale @tk tasario blackbird
Fms
関数プログラミング〈2〉JSSST’94 (レクチャノートソフトウェア学)
関数プログラミング〈2〉JSSST’94 (レクチャノートソフトウェア学)
著者:
出版社: 近代科学社
評価:
カテゴリ:
コメント:
関連本棚: Calculi
Fms