シークエント計算 - 他の言語