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