論理と計算のしくみ

萩谷昌己 西崎真也

• 岩波書店 (2007年6月27日発売)

感想・レビュー・書評

[iamaslibさんの感想 · 2015年3月10日]

貸し出し状況等、詳細情報の確認は下記URLへ
http://libsrv02.iamas.ac.jp/jhkweb_JPN/service/open_search_ex.asp?ISBN=9784000061919

[みしょさんの感想 · 2009年1月16日]

教科書として，講義と併用している。所有。

大学の講義（情報科学科3年次夏学期）の教科書として指定されていた。講義に出つつ読んでいる。

計算論理についてものすごくたくさんのことが書かれている。集合論に始まり，命題論理・述語論理・様相論理・計算可能性，そしてλ計算。

論理は学ぶのは面白いけど，でも僕は大学院生なんだから，それだけじゃダメだよね，と思いながら，何か得られるものを探している。

<a href=http://www.misho-web.com/bookshelf/47>みしょのねこごや - Bookshelf No.47</a>

[kiyoyaさんの感想 · 2008年5月11日]

情報論理 教科書

著者プロフィール

東京大学名誉教授。現在、東京大学Beyond AI 研究推進機構機構長、情報処理学会会長、放送大学客員教授。プログラミング言語やソフトウェア検証の研究に加えて、分子コンピューティングを中心に自然計算の研究を行ってきた。

「2026年 『n月刊ラムダノート「特集：計算とは何か」Vol.6, No.1（2026）』 で使われていた紹介文から引用しています。」