SHINDO TAKAKO

Method and apparatus for supporting verification, and computer product