このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2023-03-31から1日間の記事一覧

自然言語前提の証明記述でも形式的枠組みは必要

「チャットAIで形式証明も自然言語混じりで書ける(はず)」と「自然言語証明から形式証明を抽出できる(はず)」で述べたように、自然言語を使って形式証明が書けるようになるだろうと予測(むしろ期待)してます。しかし、自然言語であろうが形式言語であ…