サクサク読めて、アプリ限定の機能も多数!
ちゃんと理解してないけどおもしろい。/フェルマーの最終定理の証明はresource sensitiveだったのか(謎)
taninsw のブックマーク 2007/04/11 11:25
1+1ができない子と線形論理 - 檜山正幸のキマイラ飼育記 (はてなBlog)[logic][resource]ちゃんと理解してないけどおもしろい。/フェルマーの最終定理の証明はresource sensitiveだったのか(謎)2007/04/11 11:25
このブックマークにはスターがありません。 最初のスターをつけてみよう!
m-hiyama.hatenablog.com2007/04/11
1+2と1+1 森毅さんが書いていたのだったかな? 「1+2はできるが、1+1はできない子」の話を読んだことがあります。ちゃんとは憶えてないのですけど、だいたい次のようなことだったかと: 大人:まず1があるだろう...
51 人がブックマーク・11 件のコメント
\ コメントが サクサク読める アプリです /
ちゃんと理解してないけどおもしろい。/フェルマーの最終定理の証明はresource sensitiveだったのか(謎)
このブックマークにはスターがありません。
最初のスターをつけてみよう!
1+1ができない子と線形論理 - 檜山正幸のキマイラ飼育記 (はてなBlog)
1+2と1+1 森毅さんが書いていたのだったかな? 「1+2はできるが、1+1はできない子」の話を読んだことがあります。ちゃんとは憶えてないのですけど、だいたい次のようなことだったかと: 大人:まず1があるだろう...
51 人がブックマーク・11 件のコメント
\ コメントが サクサク読める アプリです /