プログラミング言語論(2022 年度)

2022 年度 後期木曜日 2コマ
担当: 香川 考司
対象:  大学院・創発科学研究科/工学研究科

創発科学研究科の後期「プログラミング言語論—パラダイムと意味論」(シラバス)、及び 工学研究科の第 3 Q「プログラミング・パラダイム」(1 〜 8 週、シラバス)/ 第 4 Q「プログラミング言語意味論」(9 〜 16 週、シラバス) のホームページです。 受講者はこのページを随時チェックするようにしてください。

現在

紹介スライド

連絡事項

新しいものほど上に表示します。


配布物など

「プログラミング言語意味論」使用分

「プログラミング・パラダイム」使用分

各週の内容

現在

(管理者用) データの更新(同・管理者用) 管理用インデックスインデックス10月 11月 12月 01月 02月 )、

過去

(← ここ以前の課題の開閉)

第 01 週 10/06

着席位置 課題 アップロード配布プリントに関するアンケート

(スタッフ専用) 位置確認提出状況チェック表(10月分)、 アンケート確認 (

紹介スライド,
1 章 「プログラミング言語の意味とは」,

課題に対する評価

第 02 週 10/13

着席位置 課題 アップロード

(スタッフ専用) 位置確認提出状況チェック表(10月分)

2 章 「関数型言語 Haskell とは」(§ 2.1 〜 § 2.4 –「基本的なデータ型と演算子」)

課題に対する評価

第 03 週 10/20

着席位置 課題 アップロード

(スタッフ専用) 位置確認提出状況チェック表(10月分)

2 章 「関数型言語 Haskell とは」(§ 2.4 –「(発展)ガード」〜§ 2.4 –「多相型」 )

課題に対する評価

第 04 週 10/27

着席位置 課題 アップロード

(スタッフ専用) 位置確認提出状況チェック表(10月分)

2 章 「関数型言語 Haskell とは」(§ 2.5「パターンマッチング」〜 § 2.8「関数の中置記法化」)

課題に対する評価

11/03 は文化の日です。

第 05 週 11/10

着席位置 課題 アップロード

(スタッフ専用) 位置確認提出状況チェック表(11月分)

2 章 「関数型言語 Haskell とは」(§ 2.9「部分適用とセクション」〜 § 2.12「リストの内包表記」)

課題に対する評価

第 06 週 11/17

着席位置 課題 アップロード

(スタッフ専用) 位置確認提出状況チェック表(11月分)

2 章 「関数型言語 Haskell とは」(§ 2.12「リストの内包表記」〜 )、
A 章「Haskell のレイアウトルール」、
3 章「代数的データ型と型クラス」(〜 § 3.2 「型クラスとは」)

課題に対する評価

第 07 週 11/24

着席位置 課題アップロード

(スタッフ専用) 位置確認提出状況チェック表(11月分)

3 章「代数的データ型と型クラス」(§ 3.3 「Haskell の型クラス」〜)

課題に対する評価

現在

第 08 週 12/01(中間テスト)

一部に 1 校時に実施との資料が出ているようですが、いつもどおり 2 校時(10:30–12:00)に実施します。

着席位置 オンラインテスト問題 アップロード

(スタッフ専用) 位置確認提出状況チェック

解答例

今後

ここから工学研究科の人は「プログラミング言語意味論」

第 09 週 12/08

(← ここ以降の予定の開閉)

リンク


Koji Kagawa