Suicaの料金計算もテストパターン網羅できないから別のアルゴリズムを実装して答えを付き合わせてるって言ってたな