2007-01-21から1日間の記事一覧
一番最後の問題(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メディア: ペー…