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

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

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

参照用 記事

2023-05-11から1日間の記事一覧

自然言語混じり形式証明の意味論と最近の型理論

ひと月以上前(4月6日)「自然言語混じり形式証明の意味論」という記事を書きました。そこに、5つの過去記事へのリンクがあります。それら一群の記事で、「自然言語文がコメントや補足説明ではなくて、形式証明の正式な一部となるような証明記述言語が使える…