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

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

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

参照用 記事

2019-08-01から1日間の記事一覧

局所元のジャームセクションとセクションジャームの評価

「層に関してちょっと 2: 層化」において、セクション層関手Γとジャーム空間関手Λが、関手の随伴ペア(随伴系)を形成している、という話をしました。それに少し補足をします。この記事の主たる目的は例題の記述です。後で、この内容を例題にしてナニゴトか…

どうやら人間のようだ

昨日の記事「奇妙なコメント、人が書いてる?自動生成?」の『縮約(縮退)自然数』さんは、ワードサラダ生成器やソフトウェア・ロボットではなくて、生きている人間である可能性が高いですね。『縮約(縮退)自然数』さんのコメントは、検索で容易に見つか…