2012-02-01から1ヶ月間の記事一覧
少しメモ書き程度に。 研究の展望があるのに、それを実装するコストがとんでもないことに気付いた。 並列計算について少し調べたいな。並行もだけど、並列はどうなんだろう? そういえばC言語超入門とかいうよくわからないものもあったっけ。 Coqのテキスト…
少しメモ書き程度に。 研究の展望があるのに、それを実装するコストがとんでもないことに気付いた。 並列計算について少し調べたいな。並行もだけど、並列はどうなんだろう? そういえばC言語超入門とかいうよくわからないものもあったっけ。 Coqのテキスト…