2008-05-30から1日間の記事一覧

セマンティクス

セマンティクスって? - Higepon’s blog Route 477(2008-05-30) 「意味」って一言で言っても、「意味ってなに?」という問題があって、「何が意味なのか」によってフォーマルなセマンティクスの書き方には流儀があります。プログラミング言語の話をするとき…