Home > 一般 > 酔い覚ましに Coq で証明する

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

  • 2017-08-10 (Thu) 07:07
  • 一般

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

閑話休題.

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

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

★下記に2つの英単語をスペースで区切って入力してください

Home > 一般 > 酔い覚ましに Coq で証明する

Search
Feeds

Page Top