去年の冬に読み通したのの再読など。すっきりいかなかった部分も大体解消できたので、まとめ。 要約 まず、計算モデルとは何か。これは形式的な体系で、ひとつの言語を定義する。この計算モデルの上に、技法や設計原則といったプログラミングモデルと、正し…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。