大規模言語モデル（LLM）はコード生成で成果を挙げてきましたが、型エラーなどによりコンパイル不能な出力も多く見られます。本研究では、型システムを利用した「型制約付きデコーディング」により、LLMが生成するコードの型安全性を担保する手法を提案しました。独自のプレフィックスオートマトンや型探索を用い、TypeScriptなど実用言語にも拡張可能な形で実装され、HumanEvalやMBPPといったベンチマークで高い効果を示しました。