ＳＰＩＮモデル検査　検証モデリング技法 / 中島震／著