サクサク読めて、アプリ限定の機能も多数!
「「ゲーム意味論」という別の表示的意味論で、プログラムの意味とは「実行環境とプログラムの間で戦われるゲーム」であるとする、これまた楽しい発想。」
llil のブックマーク 2008/06/18 17:36
d.y.d.おもしろいみろん[mathematics]「「ゲーム意味論」という別の表示的意味論で、プログラムの意味とは「実行環境とプログラムの間で戦われるゲーム」であるとする、これまた楽しい発想。」2008/06/18 17:36
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.kmonos.net2008/06/03
13:33 08/06/29 RSS of kmonos/wlog moved! http://www.kmonos.net/wlog/index.rdf いや、移動したのは15ヶ月前なので、すでにご存じの方は華麗にスルーしてください。 「ここのRSSが文字化けしてるよー」という...
42 人がブックマーク・17 件のコメント
\ コメントが サクサク読める アプリです /
「「ゲーム意味論」という別の表示的意味論で、プログラムの意味とは「実行環境とプログラムの間で戦われるゲーム」であるとする、これまた楽しい発想。」
llil のブックマーク 2008/06/18 17:36
このブックマークにはスターがありません。
最初のスターをつけてみよう!
d.y.d.おもしろいみろん
www.kmonos.net2008/06/03
13:33 08/06/29 RSS of kmonos/wlog moved! http://www.kmonos.net/wlog/index.rdf いや、移動したのは15ヶ月前なので、すでにご存じの方は華麗にスルーしてください。 「ここのRSSが文字化けしてるよー」という...
42 人がブックマーク・17 件のコメント
\ コメントが サクサク読める アプリです /