サクサク読めて、アプリ限定の機能も多数!
Brauerの立場と、領域理論のつながりに関する論文らしいが、論じきるには紙幅が足りないという状態だったらしい。
kgbu のブックマーク 2008/07/02 22:50
「なぜ意味論は「プロセス」を含むか -表示意味論/領域理論をめぐって」(岡本賢吾) - あいまいな本日の私 blog[semantics][logic][論文][数学][あとで読む]Brauerの立場と、領域理論のつながりに関する論文らしいが、論じきるには紙幅が足りないという状態だったらしい。2008/07/02 22:50
このブックマークにはスターがありません。 最初のスターをつけてみよう!
ytb.hatenablog.com2008/07/02
科学哲学40-2(2007) pp.23-39. 計算機科学で使われる表示意味論と、特に領域意味論に注目し、領域意味論の有限データ性とブラウワーの連続性概念が似ていることを指摘した後、領域意味論もある意味で生成的/プロ...
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
Brauerの立場と、領域理論のつながりに関する論文らしいが、論じきるには紙幅が足りないという状態だったらしい。
kgbu のブックマーク 2008/07/02 22:50
このブックマークにはスターがありません。
最初のスターをつけてみよう!
「なぜ意味論は「プロセス」を含むか -表示意味論/領域理論をめぐって」(岡本賢吾) - あいまいな本日の私 blog
ytb.hatenablog.com2008/07/02
科学哲学40-2(2007) pp.23-39. 計算機科学で使われる表示意味論と、特に領域意味論に注目し、領域意味論の有限データ性とブラウワーの連続性概念が似ていることを指摘した後、領域意味論もある意味で生成的/プロ...
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /