2012-02-20 ちょっと余裕が出て来たので 雑多 少しメモ書き程度に。 研究の展望があるのに、それを実装するコストがとんでもないことに気付いた。 並列計算について少し調べたいな。並行もだけど、並列はどうなんだろう? そういえばC言語超入門とかいうよくわからないものもあったっけ。 Coqのテキスト作ろうとしてたんだけど、全然進んでないな。いい加減口先ばっかりなのもどうかと思うなあ。 人力tacticの名に恥じないようにしないと。 てか妙な呼び名っていつもせんs・・・あれ?誰か来た・・・?