前回動画から2年という事実よりも、前回は3週連続で投稿していた事実に驚きを隠せません。今回はいろんな数字の定義についてです。「もうあるからOK」ではなく、改めて形式的に定義をするという、現代的な数学らしいお話ですね。旅情編: sm34089460
http://www.nicovideo.jp/watch/sm37210345