dkpskの日記

dkpsk.brain.buffer.flush();

『プログラミング言語の基礎概念』を読んでいる

読んでみたいとは思っていたけど、たぶん難しいし…まず数学弱いし…と躊躇していたのを、年始に思い立って買った。


この本、専用のオンラインの演習システムが用意されていて、メールアドレスさえあれば誰でも登録して使うことができる。
最初に解くことができる問題は制限されていて、解き進めていくと新しい問題に答えられるようになる。
ランキング機能も備えていて、ちょっとしたゲーム。
ちなみに、このランキング、何問解いたかに加えて、演習システムに登録してからの経過日数も書いてある。
最速は3日で全160問を解いている。ひええ…。
経過日数は特に順位には関係ないようだけど(当然っちゃ当然)、それにしてもスゴイ。

それはともかく、この「演習問題」のほかに、別途「練習問題」っていうのが用意されている。
これは主に証明問題なんだけど、解答が見つけられない。
本の末尾にもないし、公式サイトにもない。 誰かがブログに書いたりしてる様子もない。

いやー、どうしたらいいんだろう。