タグ: パラダイム

← タグ一覧

• プログラミング言語論：機械語から型システムとパラダイムまで機械語・アセンブリ・高級言語の階層を RISC-V の実際の命令符号化から確認し、小さな言語の操作的意味論のうえで進行定理と保存定理を証明したうえで、静的型付けと動的型付け、関数型とオブジェクト指向の設計原理を比較します。情報科学コンピュータサイエンス基礎学部プログラミング言語型システムコンパイラ操作的意味論パラダイム約 36 分