プログラム言語論のニュース・連絡事項

連絡事項

• [2017/5/11] 第4週(5/11)の課題のうち 5/25締め切りの部分については、 修正があります。新しい課題ファイルを見てください。(なお、5/12締め切り の部分は変更ありません。)
• [2017/5/11] 第4週(5/11)の演習のファイル chap5.ml を更新したので、もしコピー したものを使っているとしたら、再度コピーしてください。
• [2017/5/10] 第4週(5/11)の2こま目(4限)は，計算機室で演習です． 提出を要する課題が出ています。
• 第4週(5/11)のスライドをのせました．
• 第3週(4/27)のスライドをのせました．
• 第2週(4/20)の課題の解答例 を載せました。[2017/05/10]
• 第2週(4/20)は、3限が講義、4限が計算機室での演習です。[2017/04/12]
• 2週目までのスライドを今年用にしました。[2017/03/24]
• このページを作りました。[2017/03/24]