ytb https://blog.hatena.ne.jp/ytb/ あいまいな本日の私 blog https://ytb.hatenablog.com/ 哲学 論文 読了 科学哲学40-2(2007) pp.23-39. 計算機科学で使われる表示意味論と、特に領域意味論に注目し、領域意味論の有限データ性とブラウワーの連続性概念が似ていることを指摘した後、領域意味論もある意味で生成的／プロセス的といえる観点から数学的構造を再構成しようとしているので両者が似ているように見えるのは決して偶然ではないと主張する。そして、そのプロセス的な視点からの数学的構造の再構成の例として、コンパクト元を付け加える操作をあげる*1。コンパクト元は、本来数学的構造の中にインフォーマルに埋め込まれていた要素の明示化にあたり、数学の中に埋め込まれていた言語的活動の表現である*2。 *1:例え… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fytb.hatenablog.com%2Fentry%2F20080625%2Fp1" title="「なぜ意味論は「プロセス」を含むか　-表示意味論／領域理論をめぐって」（岡本賢吾） - あいまいな本日の私 blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-06-25 00:00:01 rich https://ytb.hatenablog.com/entry/20080625/p1 1.0 100%