オートフォーマライゼーショオートフォーマライゼーションにおけるタイプチェックフィルタリング正式な言語変換の精度を上げる方法。計算と言語型チェックフィルタリングを使った自己自動化の改善新しい方法が、カジュアルな表現をフォーマルな言語に変換する精度を向上させる。2025-07-30T10:11:42+00:00 ― 1 分で読む