分枝限定法 - 他の言語