- 2012-11-04 (Sun) 22:41
- 一般
ふつうのコトなのか頭おかしいのかよくわからん．Typeclass 使いまくりなのが原因だけど．i5-2540M なのでそんなに頭悪くないと思うのだけど…… まあ，C++でも template でメタプログラミングすればコンパイルに時間かかるから普通かね．
だがしかし，その定義の上部に行って何かを修正して帰ってくると泣ける．
閑話休題．
Let'snote の排熱が熱すぎるんだけど大丈夫かなぁ．
- Newer: ことはじめ
Home > 一般 > Coq の Definision の評価にCPUが全力で６分間働きづつけるとか