>>519
修正した仕様書の妥当性はどう計測して、修正したソースの妥当性はどう計測するの？
インアウトが確実に2つずつなら、ステートマシンでも組み合わせ数は知れてるだろうが、
インアウトの数が担保できなければそんなもの検証しようがない。