2007-11-20 おとなしく形式化していきます。 関数の定義ってどう書くんだっけ? と思いつつ、写像の資料を開く。 部分集合への写像ってどう書くんだっけ? と思いつつ、離散数学を披く。 束論ってなんですか?よくわかりません><