2015-02-19 8 Working with Numbers 数とは何か(自然数、公約数・公倍数、実数、虚数、複素数とか) ぱらぱらめくる『The Haskell Road to Logic, Maths and Programming』 Haskell ぱらぱらめくるシリーズ 自然数をカリー入れ子で表し、それを「アラビア数字的自然数」として読み直す(順序のある集合としての1,2,...) 有理数は自然数の組、ただし、分母は0以外 無理数、実数、イプシロン・デルタ論法 複素数の定義。その演算の定義