Topic: 技術寄りA software development enthusiast
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 strategyhttps://alloytools.org/quickguide/gui.html
そろそろ本をGCしたい。靴箱より適した場所にしたいけど
活動計を単につけてないだけな気が
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。