モデル化，定式化，数式化

今日1日中苦戦していた．が，どうにかモデルを構築することができた．

それと Blacky Suggest のバグフィクスに追われて大変だった．