2009-01-20から1日間の記事一覧
ふと思ったことメモ書き。(純粋な)関数型言語を使うってのは、 1 + 2 = 3 を {φ} ∪ {φ, {φ} } ≡ {φ, {φ}, {φ, {φ} } } と書くようなものよなぁ。(公理的集合論での自然数の定義。自然数は再帰で作る。)確かに抽象的なんだけど、基礎に分解しすぎて人間の…
ふと思ったことメモ書き。(純粋な)関数型言語を使うってのは、 1 + 2 = 3 を {φ} ∪ {φ, {φ} } ≡ {φ, {φ}, {φ, {φ} } } と書くようなものよなぁ。(公理的集合論での自然数の定義。自然数は再帰で作る。)確かに抽象的なんだけど、基礎に分解しすぎて人間の…