メモリ一貫性モデルを考慮したモデル検査器の開発
安部達也(千葉工業大学 人工知能センター)