hondana.org
本を探す

 

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

(40/325)冊
Fms
リルケ詩集 最新版 (青春の詩集 外国篇 7)
リルケ詩集 最新版 (青春の詩集 外国篇 7)
著者: リルケ
出版社: 白凰社
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa
Fms
立原道造詩集 新装版 (青春の詩集 日本篇 6)
立原道造詩集 新装版 (青春の詩集 日本篇 6)
著者: 立原 道造
出版社: 白凰社
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa
Fms
日本の庭―形と流れ〈下〉
日本の庭―形と流れ〈下〉
著者: 大橋 治三
出版社: クレオ
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa
Fms
日本の庭―形と流れ〈上〉
日本の庭―形と流れ〈上〉
著者: 大橋 治三
出版社: クレオ
評価:
カテゴリ:
コメント:
関連本棚: h.kakugawa
Fms
客の作法 (表千家テキスト)
客の作法 (表千家テキスト)
著者: 千 宗左
出版社: 主婦の友社
評価:
カテゴリ:
コメント: 茶道の最初は茶室になれる事。細かにステップを追って、文と写真で客の作法を説明。お稽古の予習、復習には最適。良い客振りであることは大事だが、良い客ぶろうとするのは悪し。
関連本棚: h.kakugawa
Fms
Logic in Computer Science: Modelling and Reasoning about Systems
Logic in Computer Science: Modelling and Reasoning about Systems
著者: Michael Huth, Mark Ryan
出版社: Cambridge University Press
評価:
カテゴリ:
コメント: 命題論理、述語論理、時様論理、様相論理の基礎を丁寧に解説。モデル検査のアルゴリズムやＢＤＤも説明されている。形式手法の基礎を学ぶのに良い。丁寧に書かれているので、独習可能。
関連本棚: h.kakugawa
Fms
ハッカー英語辞典 (自然社ペーパーバックス)
ハッカー英語辞典 (自然社ペーパーバックス)
著者: ガイ・L.,Jr. スティール, ラファエル・A. フィンケル, リチャード・M. ストールマン, ドナルド・R. ウッズ, マーク・R. クリスピン, ジョフリー・S. グッドフェロー
出版社: 自然社
評価:
カテゴリ:
コメント: Jargon File の（最初の）日本語訳。アスキーからの翻訳が出る前のもの。
関連本棚: h.kakugawa pants03a
Fms
平家物語（十二） (講談社学術文庫)
平家物語（十二） (講談社学術文庫)
著者:
出版社: 講談社
評価: 12
カテゴリ:
コメント:
関連本棚: h.kakugawa blackbird 絹
Fms
平家物語（十） (講談社学術文庫)
平家物語（十） (講談社学術文庫)
著者:
出版社: 講談社
評価: 10
カテゴリ:
コメント:
関連本棚: h.kakugawa
Fms
平家物語（九） (講談社学術文庫)
平家物語（九） (講談社学術文庫)
著者:
出版社: 講談社
評価: 09
カテゴリ:
コメント:
関連本棚: h.kakugawa
Fms
平家物語（八） (講談社学術文庫)
平家物語（八） (講談社学術文庫)
著者:
出版社: 講談社
評価: 08
カテゴリ:
コメント:
関連本棚: h.kakugawa
Fms
平家物語（七） (講談社学術文庫 (357))
平家物語（七） (講談社学術文庫 (357))
著者:
出版社: 講談社
評価: 07
カテゴリ:
コメント:
関連本棚: h.kakugawa
Fms
平家物語 (6) (講談社学術文庫 (356))
平家物語 (6) (講談社学術文庫 (356))
著者:
出版社: 講談社
評価: 06
カテゴリ:
コメント:
関連本棚: h.kakugawa
Fms
平家物語（五） (講談社学術文庫 (355))
平家物語（五） (講談社学術文庫 (355))
著者:
出版社: 講談社
評価: 05
カテゴリ:
コメント:
関連本棚: h.kakugawa
Fms
平家物語（三） (講談社学術文庫 (353))
平家物語（三） (講談社学術文庫 (353))
著者:
出版社: 講談社
評価: 03
カテゴリ:
コメント:
関連本棚: h.kakugawa 絹
Fms
平家物語（二） (講談社学術文庫 352)
平家物語（二） (講談社学術文庫 352)
著者:
出版社: 講談社
評価: 02
カテゴリ:
コメント:
関連本棚: h.kakugawa 絹
Fms
Hacker's Delight
Hacker's Delight
著者: Henry S. Warren
出版社: Addison-Wesley Professional
評価:
カテゴリ:
コメント: さまざまな bit の魔法... 今まで分かっていたと思っていたのに、気づいていなかった事がたくさん。
関連本棚: ocha h.kakugawa ねおき fujihara rui はる Hughママ kuma orken kazuya 正統派ハッカー yatta mrmt minami KarukuIppai gniibe eitoku shinichiro.h tomohiro Cryolite ikep
Fms
Concurrent and Distributed Computing in Java
Concurrent and Distributed Computing in Java
著者: Vijay K. Garg
出版社: Wiley-IEEE Press
評価:
カテゴリ: CS-D
コメント: 各種並列分散アルゴリズムをＪａｖａコードで提示し、原理と動作の理解を目指したもの。内容は理論的な側面が中心だが、あまり深くはない。各テーマ（時刻、リーダー選挙、トランザクションなど）ごとにいくつかアルゴリズムの紹介がある程度。分散アルゴリズムの専門家にアドバイスを受けながら読むのであれば良い。当方は大学院の講義でこれを使用。
関連本棚: h.kakugawa
Fms
Model Checking
Model Checking
著者: Edmund M. Clarke Jr., Orna Grumberg, Doron Peled
出版社: The MIT Press
評価:
カテゴリ:
コメント: 状態遷移システムを時相論理で仕様を書き、検証するためのモデル検証に関する書籍。基礎概念、時相論理、検証アルゴリズムまで、フォーマルに話が進んで行く。モデル検証の基礎を理解するのに適した本。
関連本棚: h.kakugawa reservoir toshiharu prime_no_132nd kuwa
Fms
Art of Computer Programming, Volume 2: Seminumerical Algorithms (Art of Computer Programming Volume 2)
Art of Computer Programming, Volume 2: Seminumerical Algorithms (Art of Computer Programming Volume 2)
著者: Donald E. Knuth
出版社: Addison-Wesley Professional
評価: CS-A-03
カテゴリ: CS-A
コメント:
関連本棚: h.kakugawa おせの本棚 nnworks KT nyarl rui
Fms