epics https://blog.hatena.ne.jp/epics/ Game Scripting Memo https://gamescripting.hatenablog.jp/ モデル検査 メモ http://www.ueda.info.waseda.ac.jp/~shibuya/pukiwiki/index.php?Model%20CheckingClarke 先生の "Model Checking" を題材とした輪講で用いられたと思しき資料が上記の Wiki にありました。あまりにも素晴らしく、感動しましたのでメモ。これで、あまりにも意味が不明で挫折しそうになった人でも、なんとか読み続ける勇気がもらえる気がします！というか、日本語でモデル検査の教科書が出てくれればいいだけの話ではあるんですが……。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fgamescripting.hatenablog.jp%2Fentry%2F20061124%2Fp4" title=" &quot;Model Checking&quot; の日本語解説 - Game Scripting Memo" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-11-24 00:00:03 rich https://gamescripting.hatenablog.jp/entry/20061124/p4 1.0 100%