Lisp/Scheme言語での定理証明支援形ACL2をモチーフにして、証明の形式化について平易に扱ったもの。全編、対話形式で書かれている。読みやすくはあるが、その分ポイントが流れて行ってしまい、分かりにくさも感じる。主にリストを使った操作について、帰納法的証明を形式的に行うのをゴールにしている。リストのサイズや、リスト内の一で重みづけたスコアを帰納法のインデックスとして、帰納法が停止すること、よって全域関数にな...
非常に良い本。これは量子計算へのとても丁寧な入門書。量子論理ゲートの基本を学ぶ。量子離散的フーリエ変換から位数計算、ショアのアルゴリズムへと至る第５章が中心となる。またショアの9量子ビットを用いた誤り検出の仕組みも丁寧に扱われている。その前後で量子ゲートを実現させる光子やスピンについて簡潔な解説がある。練習問題の回答までしっかりと書かれている。本書を読むには通俗的なレベルでの量子力学の知識と、線形...
コンピュータサイエンス (サイエンス・パレット)コンピューターサイエンスという学問分野への最初の本として書かれたものだろう。どうやら大学一年生向けの教養課程が元になっているようだ。レベルとしては高校生か、あるいは中学生でもよいだろう。計算のもっとも基本的原理として±1と繰り返しを置いて(p.14)、プログラミングによる計算の実現について説いている。コンピューターにおけるメモリの仕組みを取り上げて、機械語のレ...
たのしいRuby 第4版(2013/06/04)高橋 征義、後藤 裕蔵 他商品詳細を見るRubyでちょっと個人用のWebサービスを作ろうと思い立ち読んだ。読み終わる前に作り終えてしまったので、後は興味だけで読んでいた。Rubyを紹介する本としてよく出来ていると思う。まさに定番。Rubyはすべてをオブジェクトとして扱うので、メソッドやブロックも引数として取ることができる。そのため関数型プログラミング言語のようなcollectやmapといった手段...
とても面白い本だ。読んでいてワクワクするような本を久々に読んだ。タイトルは『プログラミングの基礎』だが、これはプログラミングについて多少とも学問的に学んでみたいという学生向けの本。仕事でプログラミングをすることになった人が基礎を知りたくて読むものではない。何と言っても扱われているプログラミング言語はOCaml。むしろ、「関数型プログラミング入門」のようなタイトルが良いかもしれない。とはいえ、OCamlが採用...
Guide to ScalaーScalaプログラミング入門(2013/03/02)中村修太商品詳細を見る耳にすることも多くなったプログラミング言語Scalaについての入門書。もともとWeb媒体での連載だったものをKDPで出版している。Scalaの一通りの文法と、その特徴について読むことができる。記述はやさしいが、Scala自体がJavaを引き継ぐ形で発展しているものなので、Javaの知識が必要とされる。Scalaの特徴としては、Javaのように変数の型宣言が特に必...
この分野の入門書として名高い本だが、これはとても面白い。昔（１０年くらい前）にいくつかの章を読んだが、今回は通読してみた。λ計算とその意味論を扱った本。λ計算の構文論（型なしも型付きも）から始まり、その意味論として操作的意味論と表示的意味論を導入。表示的意味論ではCPOを使って、まず型付きλ計算のモデルを提示する。λ計算を拡張したPCFで自然数論の初めの方。圏論をメインに導入して、領域方程式の理論でCPOでの...
オートマトン 言語理論 計算論 (2) (Information & computing (4))(1986/03)J.ホップクロフト、J.ウルマン 他商品詳細を見る下巻では文脈依存文法を導入し、Chomsky階層を解説する。また、決定性文脈自由言語を導入するとともに、決定的言語と非決定的言語で差が出る事例を紹介する。言語の一般的定式を述べた後、いよいよ計算の複雑性の理論へ。もともとP=NPをめぐる話題が読みたくて読書を始めたので、ようやく到達した気分。そ...
オートマトン 言語理論 計算論 (1) (Information & computing (3))(1984/08)J.ホップクロフト、J.ウルマン 他商品詳細を見るこの分野の有名な入門書。第３版まで出ているが、新版になるにしたがって評判が落ちている。ということで第１版を読むことにした。よくまとまっているし、よく書けているので非常に面白い。informalに内容を説明したあとで、「以上のことを形式化すると」と始まる。この述べ方はとても分かりやすいし、望ま...
すごいHaskellたのしく学ぼう!(2012/05/23)Miran Lipovača商品詳細を見る関数型プログラミング言語について何か読んでみようと思って手に取った。これはHaskellの入門書で、文体もとてもポップだし、不思議なイラストがたくさん出てくる。理解のしやすさはまあまあだろう。個人的には型クラスについてもう少し説明してくれればよかった。関数型言語なので何度呼び出そうがまったく同じ答えが返る。手続き型言語ならその実行時の状...
