hondana.org
本を探す

 

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

(14/37)冊
Fms
フレーゲ著作集〈2〉算術の基礎
フレーゲ著作集〈2〉算術の基礎
著者: G. フレーゲ
出版社: 勁草書房
評価:
カテゴリ:
コメント:
関連本棚: nobsun2006 佐藤優
Fms
フレーゲ著作集〈1〉概念記法
フレーゲ著作集〈1〉概念記法
著者: F.L.G. フレーゲ
出版社: 勁草書房
評価:
カテゴリ:
コメント:
関連本棚: nobsun2006
Fms
ふつうのHaskellプログラミング ふつうのプログラマのための関数型言語入門
ふつうのHaskellプログラミング ふつうのプログラマのための関数型言語入門
著者: 青木 峰郎
出版社: ソフトバンククリエイティブ
評価: ^o^
カテゴリ:
コメント: 非正格、β簡約、参照透明性、それに、型。
関連本棚: worit nobsun2006 rui 岸リトル (な) 増井 takatoh toshiharu mini40th eji matobat_tech kmt-t ｋｕｒｏ minek it-main minkewhale sannai melito Cryolite tui pcod ystt えぴふりゃあの本棚 ysurvivor takkan_m 絹 freeza Ichiko 冷やし中華 kunishi bgnori zecl ogijun masuilab
Fms
論理学
論理学
著者: 野矢 茂樹
出版社: 東京大学出版会
評価: 5
カテゴリ:
コメント: 読みやすく面白い。儂のような初学者におすすめ。
関連本棚: worit nobsun2006 N_A y εアンテナ 暇人 kiyo tanaka takato Shunch riesling qw blackbird mac kare
Fms
論理学をつくる
論理学をつくる
著者: 戸田山 和久
出版社: 名古屋大学出版会
評価:
カテゴリ:
コメント: 是非読破したい
関連本棚: nobsun2006 plasma 正統派Lisper toshiharu yukki sakai kmt-t tamago_girai joesaisan LED ふらりすと imash Felio soutaro minkewhale WR はぶあきひろ uru qw hhayakaw takoyakim
Fms
情報科学における論理 (情報数学セミナー)
情報科学における論理 (情報数学セミナー)
著者: 小野 寛晰
出版社: 日本評論社
評価:
カテゴリ:
コメント: なかなか読みすすまないが、是非読みとおしたいと思う
関連本棚: nobsun2006 unnonouno naoki_afif kuwa Taku スハカ2005 tanaka prime_no_132nd Felio Calculi minkewhale @tk tasario blackbird
Fms
現代論理学〈1〉 (マグロウヒル大学演習)
現代論理学〈1〉 (マグロウヒル大学演習)
著者: John Nolt, Dennis Rohatyn
出版社: オーム社
評価:
カテゴリ:
コメント: 演習書なので買ってみたんだけど。積読状態^^;
関連本棚: nobsun2006
Fms
頭の良くなる「短い、短い」文章術―あなたの文章が「劇的に」変わる!
頭の良くなる「短い、短い」文章術―あなたの文章が「劇的に」変わる!
著者: 轡田 隆史
出版社: 三笠書房
評価:
カテゴリ:
コメント:
関連本棚: 13号 nobsun2006 mona.lisa.overdrive ugokada anette eggman なお。
Fms
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp
著者: Peter Norvig
出版社: Morgan Kaufmann
評価:
カテゴリ: Lisp
コメント:
関連本棚: nobsun2006
Fms
Compilers: Principles, Techniques, and Tools
Compilers: Principles, Techniques, and Tools
著者: Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman
出版社: Prentice Hall
評価:
カテゴリ:
コメント:
関連本棚: nobsun2006 くわーてぃ orken shuu kunishi rui
Fms
三国志名言集
三国志名言集
著者: 井波 律子
出版社: 岩波書店
評価: 5
カテゴリ:
コメント: 三国志演義を読みたくさせる本
関連本棚: nobsun2006
Fms
Trends in Functional Programming: Volume 5
Trends in Functional Programming: Volume 5
著者: Hans-Wolfgang Loidl
出版社: Intellect L & D E F a E
評価:
カテゴリ:
コメント:
関連本棚: nobsun2006
Fms
講座 数学の考え方〈23〉数学と論理
講座 数学の考え方〈23〉数学と論理
著者: 難波 完爾
出版社: 朝倉書店
評価:
カテゴリ:
コメント: ふと目について買った。さて積読にならずに読めるか。 最初の章を読んだけど、なにを言っているのかよく理解でなかった。 ここを理解できないと読みすすめられないとすると、これは儂向きの本ではないなぁ。
関連本棚: nobsun2006
Fms
4日で学ぶモデル検査 (初級編) (CVS教程 (1))
4日で学ぶモデル検査 (初級編) (CVS教程 (1))
著者: 産業技術総合研究所システム検証研究センター
出版社: エヌ・ティー・エス
評価:
カテゴリ: プログラム検証
コメント: SPINの使い方が学べる
関連本棚: nobsun2006 orken toshiharu kmt-t kuwa tui
Fms
不完全性定理―数学的体系のあゆみ (ちくま学芸文庫)
不完全性定理―数学的体系のあゆみ (ちくま学芸文庫)
著者: 野崎 昭弘
出版社: 筑摩書房
評価: 5
カテゴリ:
コメント: 正確に理解できたわけではないが、この本は、何だかすごい本に思える。 すこし、ちゃんとした教科書を読めるようになるかもしれないという気にさせてくれる。
関連本棚: nobsun2006 tkmr unnonouno chikashi uranium toshiharu Tambourine pants03a pcod maeda hogehoge2 hogehoge20090522 hogehoge20090912 hogehoge2010052301 すぐなくぅず
Fms
関数を考える (岩波科学の本)
関数を考える (岩波科学の本)
著者: 遠山 啓
出版社: 岩波書店
評価: 5
カテゴリ:
コメント: 数学の先生と中学生の対話で構成されているのだが、登場する中学生のインテリジェンスがやたら高い気がする。
関連本棚: nobsun2006
Fms
カーニハン&リッチー『プログラミング言語C』を読む (KS)
カーニハン&リッチー『プログラミング言語C』を読む (KS)
著者: 小林 健一郎
出版社: 講談社
評価:
カテゴリ:
コメント: う〜ん。。。紙質、フォント、組版が poor な感じがする。もうちょっとなんとかならなかったのかしらん。
関連本棚: nobsun2006 岸リトル toshiharu temp
Fms