hondana.org
本を探す

 

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

(14/37)冊
Fms
フレーゲ著作集〈5〉数学論集
フレーゲ著作集〈5〉数学論集
著者: G. フレーゲ
出版社: 勁草書房
評価:
カテゴリ:
コメント:
関連本棚: nobsun2006 佐藤優
Fms
フレーゲ著作集〈6〉書簡集・付「日記」
フレーゲ著作集〈6〉書簡集・付「日記」
著者: G. フレーゲ
出版社: 勁草書房
評価:
カテゴリ:
コメント:
関連本棚: nobsun2006 佐藤優
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
理系のための プレゼンのアイディア
理系のための プレゼンのアイディア
著者: 平林 純
出版社: 技術評論社
評価:
カテゴリ:
コメント:
関連本棚: nobsun2006 dainichiro 岸リトル (な) 増井 axd_old pants03a syobosyobo ak2 maeda
Fms
はじめまして数学〈2〉ベクトルをまわせ、ドミノを倒せ! (幻冬舎文庫)
はじめまして数学〈2〉ベクトルをまわせ、ドミノを倒せ! (幻冬舎文庫)
著者: 吉田 武
出版社: 幻冬舎
評価:
カテゴリ:
コメント:
関連本棚: nobsun2006 shortsleeved sasaking denki5150jp sizenkagakusensyo shinya hiro_y
Fms
4日で学ぶモデル検査 (初級編) (CVS教程 (1))
4日で学ぶモデル検査 (初級編) (CVS教程 (1))
著者: 産業技術総合研究所システム検証研究センター
出版社: エヌ・ティー・エス
評価:
カテゴリ: プログラム検証
コメント: SPINの使い方が学べる
関連本棚: nobsun2006 orken toshiharu kmt-t kuwa tui
Fms
フレーゲ著作集〈1〉概念記法
フレーゲ著作集〈1〉概念記法
著者: F.L.G. フレーゲ
出版社: 勁草書房
評価:
カテゴリ:
コメント:
関連本棚: nobsun2006
Fms
ハートで感じる英文法[CD]―大西先生の集中講義 (NHK3か月トピック英会話)
ハートで感じる英文法[CD]―大西先生の集中講義 (NHK3か月トピック英会話)
著者: 大西 泰斗, ポール・マクベイ
出版社: 日本放送出版協会
評価:
カテゴリ:
コメント:
関連本棚: nobsun2006
Fms
フレーゲ著作集〈4〉哲学論集
フレーゲ著作集〈4〉哲学論集
著者: G. フレーゲ
出版社: 勁草書房
評価:
カテゴリ:
コメント:
関連本棚: nobsun2006 佐藤優
Fms
Programming Challenges: The Programming Contest Training Manual (Texts in Computer Science)
Programming Challenges: The Programming Contest Training Manual (Texts in Computer Science)
著者: Steven S. Skiena, Miguel Revilla
出版社: Springer
評価:
カテゴリ:
コメント:
関連本棚: MA-C nobsun2006
Fms
トランザクション処理〈下〉―概念と技法
トランザクション処理〈下〉―概念と技法
著者: ジム グレイ, アンドレアス ロイター
出版社: 日経BP社
評価:
カテゴリ:
コメント:
関連本棚: nobsun2006 岸リトル WR bgnori
Fms
フレーゲ著作集〈2〉算術の基礎
フレーゲ著作集〈2〉算術の基礎
著者: G. フレーゲ
出版社: 勁草書房
評価:
カテゴリ:
コメント:
関連本棚: nobsun2006 佐藤優
Fms
頭の良くなる「短い、短い」文章術―あなたの文章が「劇的に」変わる!
頭の良くなる「短い、短い」文章術―あなたの文章が「劇的に」変わる!
著者: 轡田 隆史
出版社: 三笠書房
評価:
カテゴリ:
コメント:
関連本棚: 13号 nobsun2006 mona.lisa.overdrive ugokada anette eggman なお。
Fms
論理学をつくる
論理学をつくる
著者: 戸田山 和久
出版社: 名古屋大学出版会
評価:
カテゴリ:
コメント: 是非読破したい
関連本棚: nobsun2006 plasma 正統派Lisper toshiharu yukki sakai kmt-t tamago_girai joesaisan LED ふらりすと imash Felio soutaro minkewhale WR はぶあきひろ uru qw hhayakaw takoyakim
Fms
現代論理学〈1〉 (マグロウヒル大学演習)
現代論理学〈1〉 (マグロウヒル大学演習)
著者: John Nolt, Dennis Rohatyn
出版社: オーム社
評価:
カテゴリ:
コメント: 演習書なので買ってみたんだけど。積読状態^^;
関連本棚: 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