一連の話の“流れ”（以下の記事群参照）として、自然言語混じり形式証明の意味論に少し触れておきます。昨日の記事への追記・補足の位置付けです。 チャットAIで形式証明も自然言語混じりで書ける（はず） 自然言語証明から形式証明を抽出できる（はず） 証明…