PHPについて少し調べてる。次の仕事がそれだし。 何か作るのがいいんだろうけど、何か作りあげるような根性とか意欲はもちろんない。pukiwikiって現在のPHP5.x系で動かないんだね。あれ結構使ったのに。直系のアプリもなさそう。みんなWiki記法なんてものは…

ついったで(Coq方面の)その筋の人らをフォローしてると、たまに「面白い証明を求む」とか、それくらいの証明じゃ面白くないとか、そういう呟きが流れてくることがある。しかし、面白い証明っていったい何なの？ 難しかったり、アクロバティックだったりする…