サクサク読めて、アプリ限定の機能も多数!
Lispで記述することにより不完全性定理がエレガントに証明されている。美しい。
tomo31415926563 のブックマーク 2010/09/13 11:47
YABUKI Taro’s Home Page | 2018/08/19 フィードのURLが変わりました。Lispで記述することにより不完全性定理がエレガントに証明されている。美しい。2010/09/13 11:47
このブックマークにはスターがありません。 最初のスターをつけてみよう!
taroyabuki.github.io2006/12/31
不完全性定理のLisp, Mathematicaによる記述 Lisp code / Mathematica notebook プログラミング言語なんてどれも同じと思っている人は下の3つをJavaやC++で書いてみてほしい 不完全性定理についてのゲーデルの証...
42 人がブックマーク・7 件のコメント
\ コメントが サクサク読める アプリです /
Lispで記述することにより不完全性定理がエレガントに証明されている。美しい。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
YABUKI Taro’s Home Page | 2018/08/19 フィードのURLが変わりました。
不完全性定理のLisp, Mathematicaによる記述 Lisp code / Mathematica notebook プログラミング言語なんてどれも同じと思っている人は下の3つをJavaやC++で書いてみてほしい 不完全性定理についてのゲーデルの証...
42 人がブックマーク・7 件のコメント
\ コメントが サクサク読める アプリです /