あー疲れた
モデルチェック本読みづらいッピ
というかシプサー本が分かりやすすぎた
ンオ
走りモチベが高い
ヨルダンドメイン
uchi.jo、存在はするらしい
まあファンは動かなくてもpc自体は動くしな、最悪
形式的な定義を爆速で読む技術を身に付けたい
配線刺さればいいのだ！
今日で2章読み終わったらかなりアツい
こいつ
せっかくだしモデル検査大魔神になるか…
Principles of Model Checking https://g.co/kgs/5kVhsNH
やっと1章読み終わった！！！
一回ガチの手相占いとか行ってみたい
CPUクーラーをもげ
腹がギュラついてる
巻きグソUI！！
破壊しない！
信玄を食べろ
あんまり思ってたほど似てないな
これだ！！
https://www.uta-net.com/song/75556/
