ISUCON 練習環境まとめ 最近 ISUCON の過去問をやることが多く、環境構築でつまずいたり、何度も調べるのが面倒なのでまとめました。 ISUCONは過去問環境の構築から始まっています！ 過去問環境の立ち上げで困っている方、結構いると思うので助けになれば嬉…

プログラム検証プラットフォーム Why3 1.0.0 がリリースされたので、更新内容と軽く使ってみた所感を、ざっくり紹介します。

今回やること 対象読者 お題 Why3 準備 インストール プログラム 完成したプログラム 検証 結果 まとめ 今回やること 簡単な論理パズルを、自動定理証明器 (SMTソルバー) を使って、自動で解いてみる。 自動証明の超入門的な感じ。 今回 Why3 という証明プラ…