bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

2007-01-21から1日間の記事一覧

Conceptual Mathematics 最後の問題

一番最後の問題(Session33 Exercise 4、not not not A = not A を示す)は時間切れだったけど、帰りの電車の中で解けたので、忘れないうちに書いときます。 A ⊆ not not A は既に示されている。 1 の A に not A を代入して、not A ⊆ not not not A 1 の A…

圏論勉強会

ついにConceptual Mathematics終了だいたいは。 いい本でした。Conceptual Mathematics: A First Introduction to Categories作者: F. William Lawvere,Stephen Hoel Schanuel出版社/メーカー: Cambridge University Press発売日: 1997/10/09メディア: ペー…

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。