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

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

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

参照用 記事

2022-10-26から1日間の記事一覧

全称型/存在型: 代替案

昨日「まとめ」もしたので、この話題も一段落ですが、僕が言いたいことは; 「全称/存在」という言葉、「∀/∃」という記号を、型理論のなかで使うのはやめたほうがいいよ、ってことです。何も得することがなくて、弊害があります。「全称/存在」「∀/∃」を…