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

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

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

参照用 記事

2020-10-05から1日間の記事一覧

随伴系の反転置写像とモナドのクライスリ拡張

用語と記号のオーバーロード〈多義的使用〉はホントに悩みのタネです。混乱と誤解を避けるためにオーバーロードはやめようと思うことは多いのですが、あまり律儀にオーバーロード解決すると用語と記号のインフレーション〈急激な増加〉を引き起こして現実的…

丸く収まらなかった基底とフレーム

今年の8月に「基底とフレーム、丸く収まる妥協案」という記事を書きました。その記事で、混同されがちな3つの概念を区別して、それぞれに別な名前を与えました。「うまくいった」と思ったのですが、まだ問題がありました。内容: 定義が狭すぎた 準備 再定義…