コーヒー休憩

ちょっと休んでいきませんか。

2018-01-01から1年間の記事一覧

ISUCON 練習環境まとめ

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

プログラム検証プラットフォーム Why3 1.0.0 がリリース

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

簡単な論理パズルを自動で解いてみる

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