Coq演習2014(仮) http://qnighy.github.io/coqex2014/