785 followers
二村さんの1971年の論文 https://t.co/s1SF5zHeIF 読んでると > プログラミング言語のセマンティクスを形式的に記述する方法は大ざっぱに言って二とおりあると言われている。 とありそれは「既知の言語への翻訳手順を記述する」「評価手順を記述する」の2つだと書いてあるんだけど、 (続く)
二村さんの1971年の論文 https://t.co/s1SF5zHeIF 読んでると > プログラミング言語のセマンティクスを形式的に記述する方法は大ざっぱに言って二とおりあると言われている。 とありそれは「既知の言語への翻訳手順を記述する」「評価手順を記述する」の2つだと書いてあるんだけど、 (続く)
部分評価について丁寧に説明したpdfを書いている人が居る……!と思い著者名を見たところ,二村良彦先生だったので一瞬で納得しました。 https://t.co/FdkXNZ9pxV