型式証明 - 他の言語