カット有りシークエント計算体系