Index of OneRoad
OneRoad は「1+1=2 であることを超特急でたどる」という内容です。数学の話題をコードを記述しながら旅します。
- introduction[ointro00.pdf]
- 1 集合[oproad01.pdf]
- 2 集合の集合[oproad02.pdf]
- 3 ラッセルのパラドクス[oproad03.pdf]
- 4 1+1（その1）[oproad04.pdf]
- 5 論理演算[oproad05.pdf]
- 6 コンピュータの1+1[oproad06.pdf]
- 7 ペアノの公理[oproad07.pdf]
- 8 1+1（その2）[oproad08.pdf]
- 9 足し算の真相[oproad09.pdf]
- 10 1+1=2の証明？[oproad10.pdf]