2011-06-18から1日間の記事一覧
Prelude 数学セミナーで「圏論で歩き方」 今回は圏の定義くらいしか載ってない。 今日はICFPCの最中らしい。 Duality 3.1 The duality principle CT*を作ると、(3.1)のセンテンスが全部入れ替わっただけなので=CTCTからシグマが導かれるならば、CT*でもシグ…
Prelude 数学セミナーで「圏論で歩き方」 今回は圏の定義くらいしか載ってない。 今日はICFPCの最中らしい。 Duality 3.1 The duality principle CT*を作ると、(3.1)のセンテンスが全部入れ替わっただけなので=CTCTからシグマが導かれるならば、CT*でもシグ…