このごろのよみもの(2015年5月)

このまえ日本で買った本を読み終えたわけでもないのに、別のものばかり読んでいる。

• 中野幸一編「変体仮名の手引」。「つ、つ、つ、つ、つ」とか言いながら、たくさんの「つ」の書き方をみている。頭を冷やすのによい。あと良寛の字がかっこいい。
• Andrew Kennedyら “Coq: The world’s best macro assembler?”のCoqのソース これは読み始めたばかり。おもしろい。
• bitcoindのソース ちょっと気になったので、ぼんやり眺めている。わりと荒っぽい感じがする。
• Marco Poloの、ドイツ語で書いてあるアムステルダムの案内書 辞書を引き引き読んでいる。やっと分離動詞を見切れるようになってきた。住んだことがある場所なので、辞書を引いたらだいたい現実と対照がつくのが楽。

他に7冊か8冊、休眠状態のがあるけれども、あまり気にしない。

ところで、読んでいて頭を使うものがあまりないので、なにか仕入れようということで、刹那的瞬発力のために確率論パズルみたいのを、もうちょっと息の長い演繹を追うためにGeneral Topologyの教科書を、それぞれ買った。