タグ: プログラミング言語

"プログラミング言語" が付いた記事と Wiki ページ

• 形式手法（Formal Methods）

  仕様や設計を数学的に厳密な形で書き、その性質を機械で検査する技術群。AI コード生成の普及で再評価され、LLM に形式化させて検査器に判定させる使い方が実用になっている

• AIコード生成時代に形式手法が実用段階へ——Jane Streetが語る検証ボトルネック

  2026年6月24日