- 集合論に基づいた言語を作りたい
829 ：１[sage]：2015/01/17(土) 00:13:16.15 ID:e9PIZEl5 - ぶっちゃけCoqやってると無限に時間を吸われる可能性がある。
早めに身を引いた方がよさそうかな〜とも思う。
| - 集合論に基づいた言語を作りたい
831 ：１[sage]：2015/01/17(土) 02:12:55.60 ID:e9PIZEl5 - いや〜確かにCoq面白いんだけど。
勉強するのに時間かかり過ぎるっていうか
もうちょっと市民権を得て入門書とか充実してからの方がいいかな〜と。
証明も紙なら簡単にできることが結構難しかったりで、
実利を得るところまで勉強進めるのがしんどい。
実用までいかなくてただのパズルで終わりそう。
Coq参考になるところは多いと思うんだけどね。
どこまで時間費やすか見極めたほうがよさげ。
片山さんはCoqにどの程度手ごたえ感じてるの？
|
|