今はシークエント計算は過去のものになってＴＡＩＴ計算が主流。
純粋シークエント計算は計算機か過去の遺物。