Gentzen-Schütte-Taitの片側シークエント計算