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

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

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

参照用 記事

2024-01-09から1日間の記事一覧

カリー vs. カン、双対 vs. 随伴

去年(2023年)の年末に「カン拡張の左右: 混乱する原因がわかった!」という記事を書きました。ラムダ計算とカン拡張/カン持ち上げには類似性があるのですが、名前の対応がゆがんでいるため毎度混乱してしまう、という話でした。この記事では、なぜラムダ…