2017年08月10日
酔い覚ましに Coq で証明する
- 2017-08-10 (Thu)
- 一般
tactic の使い方のサンプルでも用意しようかと Coq で自然数についての性質の証明とかアッカーマン関数の性質の証明をガーッとやってみたら，意外と時間を喰って気づいたら日が昇ってた．
閑話休題．
クロネコヤマトのポイントキャンペーンが終わってしまうのか．オリジナルグッズが貰えるのは嬉しかったのけど，最近の荷物過多を考えるとこんなもの続けられないのかもしれない．
まあ，めぼしいグッズは交換し終えているのであとはウェットティッシュにでも交換しようかね．
- Comments: 0
- TrackBack (Close): -