コーヒー休憩

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

#PHPerKaigi 2019 本編 二日目だけ参加した感想

PHPerKaigi 2019 の二日目の本編のみ参加してきまして、素晴らしかったので参加した感想を書きます *1 。 PHPerKaigi、ブログを書くまでが会議らしいので、帰ったらブログ書きます #phperkaigi #iwillblog— ぶーやー (@tyabu12) 2019年3月31日 書き手 セッシ…

ISUCON 練習環境まとめ

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

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

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

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

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

OCamlの浮動小数点数演算時の丸め方向の設定

丸め方向を指定した演算の実装 丸め方向を指定した演算の実装の詳細 OCamlからCを呼び出すラッパー部分 OCamlから呼び出されるCの丸め指定付き演算 丸め指定付き演算のサンプル Makefile 丸め指定付き演算のサンプルの実行結果 まとめ OCamlの浮動小数点数に…