その🦜 @kensono@fedibird.com

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.

S/N比、悪っ

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

盆栽

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

活動計を単につけてないだけな気が