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

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

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

参照用 記事

2007-08-16から1日間の記事一覧

圏論的指数の定義

「圏論的指数の周辺:ラムダ計算、デカルト閉圏、ノイマン型コンピュータ」にて: 背景の説明に労力を使って疲れたので、Exerciseの解は示しません(今日のところは)。 解を示します、明白・露骨・丁寧に。問題の記述次の図式を便宜上Dとおきます。idAを単…