Blue skyに動画を上げられなかったのでこっちに貼っとこ。Zero Tokyo 8.24

非決定性を含むプロセス合成, PRActice MOdel checker
ほぼ本のまま。追加作業として、typo修正とpackage整地と漸進commit。本文をコメントやドキュメントに埋めている為、private扱いにした

I’m learning Arabic on Duolingo! It’s free, fun, and effective.

全部わからん
Skolem depth, Recursion depth, Unsat core {granularity, minimization}, Decompose strategy
alloytools.org/quickguide/gui.

そろそろ本をGCしたい。靴箱より適した場所にしたいけど

Fedibird

様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。