Home > Archives > 10 August 2017

10 August 2017

酔い覚ましに Coq で証明する

tactic の使い方のサンプルでも用意しようかと Coq で自然数についての性質の証明とかアッカーマン関数の性質の証明をガーッとやってみたら,意外と時間を喰って気づいたら日が昇ってた.

閑話休題.

クロネコヤマトのポイントキャンペーンが終わってしまうのか.オリジナルグッズが貰えるのは嬉しかったのけど,最近の荷物過多を考えるとこんなもの続けられないのかもしれない.

まあ,めぼしいグッズは交換し終えているのであとはウェットティッシュにでも交換しようかね.

Home > Archives > 10 August 2017

Search
Feeds

Page Top