2015-11-30 やり直し 2 Coq 課題 過去に自分で書いた練習用のソースを読んでみる。 アットマークを多用しているが、これはなんだっけ? Class定義で、波括弧ナシとアリでどう違う? クラスパラメータで、中括弧はなんだ? たしか自動的に補完するとかだったか。 アンダースコアは特殊な名前だが、これの用法は? 単なるComputeとEval compute inの違いは? %は何に使った? 定数を型で修飾するためだっけ。