K4の循環シークエント計算体系