>>239
手動で実行してるテストのテストケースが正しいかどうかどうやって証明するの?