ローパワー検証のための　ベリフィケーション　メソドロジ・マニュアル