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

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

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

参照用 記事

2011-11-09から1日間の記事一覧

大きなラムダ式/小さなラムダ式

以前、セミナーでの説明のために、「大きなラムダ式/小さなラムダ式」という記法を使いました。その後も使ってますが、けっこう具合がいいです。紹介しておきます。大きなラムダ式は圏の射をそのまま表し、小さなラムダ式は指数対象への射を表します。次の…