検証を支援するクラスを収録しています。