学部後期課程
HOME 学部後期課程 情報数理科学IV
学内で開催されるオンライン授業の情報漏えい防止のため,2021年9月17日以降は授業カタログの更新を見合わせています

情報数理科学IV

関数型言語の学習を通してプログラミング言語とその処理系を構成する基本的な概念を理解する。
MIMA Search
時間割/共通科目コード
コース名
教員
学期
時限
08D1204
FAS-DA3D04L1
情報数理科学IV
森畑 明昌
A1 A2
月曜4限
マイリストに追加
マイリストから削除
教室
講義使用言語
日本語
単位
2
実務経験のある教員による授業科目
NO
他学部履修
開講所属
教養学部
授業計画
関数型言語の基礎 - 再帰関数 - ラムダ式 - 高階関数 - 遅延評価 意味論の基礎 - リダクション意味 - 変数と環境 - クロージャ - 不動点演算子 - 型 - 型健全性 - 多相型 - Curry-Howard対応 - モナド 言語処理系の基礎 - コンパイラとインタプリタの概要 - コンパイラ最適化 - 自動メモリ管理とごみ集め
授業の方法
オンライン講義を行う
成績評価方法
随時レポート課題を課す。
教科書
なし
参考書
なし
履修上の注意
なし