Line 1: Error: Invalid Blog('by Esehara' )

または私は如何にして心配するのを止めてバグを愛するようになったか

>> Zanmemo

あと何かあれは 「esehara あっと じーめーる」 か @esehara まで

2015-03-25から1日間の記事一覧

プログラムにおいて自然数を構成する話について

はじめに たぶん、多くの人々が「自然数とは?」と言われると、「そりゃ、1, 2, 3とかそのあたりの整数のことでしょ」という、具体例を挙げられるかと思われるのですが、実際に「じゃあその自然数とやらを作る方法ってあるんですか」というと、目の前のリンゴ…