うらおブログ(移転しました)スマートフォン用の表示で見るやねうらおブログ(移転しました)この広告は、90日以上更新していないブログに表示しています。2005-10-14論理学をつくるbook本屋に行くと、プログラミングのコーナーにプログラムの本がいろいろ置いてある。プログラミングコーナーから少し外れたところにもプログラミングに関係ありそうな面白い本がいくつもある。そんな本のなかから今日取り上げるのは「論理学をつくる」である。Prologのような論理プログラミング言語の例をあげるまでもなく、プログラミングに論理は必要不可欠だ。C++にだってboolという論理型が出てくる。このboolにしても、ブール代数を考案したイギリスの数学者ジョージ・ブールに由来する。この「論理学をつくる」という本の面白いところは、自分の手で論理学を構築していくところにある。それは、プログラミング言語のような人工言語を作るのにも似た楽しみがある。そのせいか、この本は、いまプログラマの間で密かなブームになっているのである。プログラマにはもちろん、プログラマではない人にもお勧めできる良書だ。電子書籍になるに至るまでの話ブログちょっとだけ移転のお知らせ時代はまだゲームセンターあらしに追いつかないのかやねうら王、電王戦バージョン提出しました将棋の神様のレーティングはいくつなのか?月別アーカイブはてなブログをはじめよう!yaneuraoさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。