2023-02-05から1日間の記事一覧
プログラミング言語の形式的意味論入門 を買いました。 表紙に書いてありますが The Formal Semantics of Programming Languages: an Introduction という洋書の和訳です。 多分途中で挫折しますが、とりあえず頭から眺めてみようと思います。 エラッタ 見つ…
プログラミング言語の形式的意味論入門 を買いました。 表紙に書いてありますが The Formal Semantics of Programming Languages: an Introduction という洋書の和訳です。 多分途中で挫折しますが、とりあえず頭から眺めてみようと思います。 エラッタ 見つ…