第1章 実世界のモデル化と形式化