少し悟ったぞ。Coq入門以前でとどまってしまう事情Coqはゲームソフトだ（と僕は認識してます）から、理屈や内部構造は後回しだと思えてきました。僕自身は、どうしても理屈や内部構造に目がいってしまうので、それを納得しないまま先に進むことが出来ないの…