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

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

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

参照用 記事

2007-02-26から1日間の記事一覧

モノイド圏、豊饒圏、閉圏と内部ホム

他人の過去ネタを蒸し返し、自分用のメモにするエントリー。[追記]トラックバック/コメント蘭で、色々なやりとりがありましたが、(この部分以外の)本文への修正や追加はしません。その代わり、「閉圏、弱いラムダ計算、弱い論理」で、似た話題を扱ってい…