「純LISP」を含む日記 RSS

はてなキーワード: 純LISPとは

2009-03-30

http://anond.hatelabo.jp/20090330143541

そうだね、「一対一対応で指折り数える」というのが多分人間の「数」概念の根源なんだろうね。

純LISP自然数と足し算を定義する話とか思い出した。

 
ログイン ユーザー登録
ようこそ ゲスト さん