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

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

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

参照用 記事

2013-06-10から1日間の記事一覧

なんかのお絵描き

右カン拡張のお勉強の一環として、自己カン拡張から余密度モナド(codensity monad)を作ろうとして描いた絵。サボテンのようなパイプのような。参考にしているネタ元は、Ralf Hinze, "Kan Extensions for Program Optimisation Or: Art and Dan Explain an …

カリー/ハワード対応の新しい仲間

右カン拡張もラムダ計算の仲間らしいので、カリー/ハワード・スタイルの対応がありますね。表にします。 連言・含意の論理 型付きラムダ計算 右カン拡張 命題 P, Q 集合 A, B 関手 F, G 帰結関係 P |- Q 写像 f:A→B 自然変換 α::F⇒G 連言 P∧Q 直積 A×B 結合…