日本語で検索をかけようとすると、検索語が文字化けして、意味不明な結果が返ってくる。http://a9.com/から検索をかけるときには日本語を打ち込んでも的確な結果が返ってくるのだが。 a9 toolbarの機能そのものはかなり便利なので、惜しい。

前々から興味があったのだが、大学の図書館で発見して、二時間ほど読み耽った。面白い。身に覚えがあることがたくさん書いてある。こんなことも言語で言い表せるのか、と驚く。ISBN:4480783016

友達のHaskell使いから変なものが届いた。僕がHaskellを知らないせいで、何が書いてあるのかよくわからない。呪文にしか見えない。無理矢理処理系にかけてみたら、エラーが出た。うーみゅ。計算論関係。

禅僧達の会話が巧妙に軽快に繰り広げられる。論理学の教科書としては異色かもしれない。中身も、僕には発見がいくつかあった。

と、3ヶ月ほど前から考えているが、似たようなことを考えている人は多数いるようだ。 ただし、エネルギーとエントロピーの循環でなんでもわかる、みたいな素朴なことを考えているわけではない。理想気体なり、宇宙なり、ゴムなり、いろんな対象を扱える熱力…