眠くて寝てしまいました。来週以降出席するか分かりません。出席していればとりあえず単位を取るのは簡単ぽいけれど…。 計算の理論全体、情報科学の基礎のなかで どういう位置づけになっているか 量っていうのは所謂量 水かさが多いとか時間がかかる 概念的…

モデル検査システムとは何か Model Checking system Model Checker その名の通り、モデルを検査する モデルとは何かというと ほとんどのシステムでそれはオートマトン Model = オートマトン オートマトンの性質を検証・検査する 性質は、論理式で記述する SP…