2006-07-16から1日間の記事一覧

関数プログラミング

研究室においてあったので読んでみた。まじめな本であるということを考えると、文章が面白すぎる。いくつか面白いところを引用してみる。 「自然数上のいわゆる計算可能な関数は、上のように再帰的に定義することができる。しかし、そのようなことはいくらで…