検証問題

検証モデル。