このブログの更新は Twitterアカウント @m_hiyama で通知されます。 Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
「圏論的指数の周辺:ラムダ計算、デカルト閉圏、ノイマン型コンピュータ」にて: 背景の説明に労力を使って疲れたので、Exerciseの解は示しません(今日のところは)。 解を示します、明白・露骨・丁寧に。問題の記述次の図式を便宜上Dとおきます。idAを単…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。