- 2012-10-24 (Wed) 23:55
- 一般
Isabelle チュートリアルがあったので参加．Coqと違うなぁと思いつつ具体的にどう違うのかわからない程度．ハマったのは from a and b show hoge とか書いて a と b の順番が逆だと証明できないとかいうオチで．and って書いたら普通 commtative だと思いたいのだけどそうではないと．
つーか動きがよくわからん．当たり前だが．
閑話休題．
ディナーが７時半に始まり１１時に終わるとか時間かけすぎだと思うのは気のせいだろうか？ そして炭水化物が足りない．
閑話休題．
SNFC でストか…… どれくらい続くのかよくわからんのでちょっと遠出しにくいなぁ．満月直後にモンサンミッシェルとか行こうかと思ったが来週もう一度とかやられると困る……
- Newer: ことはじめ