■

kzkとOd両方に、「もっと絞った方がいい」と言われたので、絞ろうと思い始めた。

情報・数学・国文学・哲学・マネジメント・雑用それぞれについて、読んだり書いたり語ったり遊んだりしてきたのだが、ぼちぼち何で身を固めるか決めた方がいいと自分でも感じ始めた。

ちょうど、この数ヶ月をかけて、テーマが形をとってきた。

私は、証明とプログラムと(同じものとみなしたい)に今後を捧げることにする。