シンタックスとセマンティクスの検証におけるLLMの役割の変化を考察。意味論の検証を自動化する上でのLLMの非決定的特性と活用法について。