2026 年度 後期木曜日 2コマ・原則として遠隔（ペーパーテスト実施時は
6405 教室）
担当: 香川 考司
対象: 大学院・創発科学研究科
創発科学研究科の第 3 Ｑ「プログラミング言語論Ⅰ」（1 〜 8 週、シラバス）／ 第 4 Ｑ「プログラミング言語論Ⅱ」（9 〜 16 週、シラバス） のホームページです。 受講者はこのページを随時チェックするようにしてください。
新しいものほど上に表示します。
(10/08) この授業は原則として、遠隔で実施します。（この授業の Teams のチャネル）
(10/08)
(10/08) paiza.io ブラウザーからプログラムが実行できる、 オンライン実行環境です。Haskell も対応しています。
その他のオンライン実行環境:
GitHub のアカウントを持っている人は GitHub Codespaces を利用することもできます。
セットアップにかなり（数十分）時間がかかるので、必要な場合は授業前に済ませてください。
GitHub Codespace で「表示」—「コマンド パレット」か F1 キーで「Codespaces: Add Dev Container Configuration Files…」を選択する。
「Modify your active configuration…」を選択する。
上の検索窓に「Haskell」と入力し「Haskell (via ghcup) devcontainers-extra」にチェック（✔）をいれて「OK」をクリックする。 次の画面で「Keep Defaults」を選択する。
右下に「We've noticed a change to the dev container configuration. Rebuild the container to apply them now.」というメッセージがでるので、 「Rebuild Now」をクリックする。（もし出なければ、「コマンド パレット」を表示して「Codespaces: Rebuild Container」を選択する。）
次の画面で「Rebuild」をクリックする。
右下に「Rebuilding Container…」というメッセージが出るので、しばらく（数十分かかる）待つ。
次に Codespaces がスタートしたときは ghci などが使用可能になっている。
オンライン実行環境（プログラミング言語別）
(10/08) Haskell をインストールしておいてください。 （現時点では GHCup を使用するのが推奨です。）
ここにリンクをはっていないファイルや、公開日前のファイルは 公開日までに変更する可能性があるので注意してください。
なお、紙での配布はしません。（PDF のみの配布です。）
パスワードのかかっているページは、 Microsoft アカウント（大学でメールを読むときに使うアカウント）で認証してください。
注意: 設定が変更されたのに、変更が反映されないときは、 いったんログアウトして、 再度アクセスを試みて下さい。
これより以前はありません。
「プログラミング言語論Ⅰ/Ⅱ」は原則として、遠隔で実施します。 この Teams のチャネルから、その日の日付の「会議」を授業時間（直前）になったらクリックしてください
紹介スライド,
1 章 「プログラミング言語論の概要」
（両面印刷版、片面印刷版）,
2 章 「関数型言語 Haskell とは」（〜§ 2.1）
（両面印刷版、片面印刷版）,
Haskell のダウンロード、
2 章 「関数型言語 Haskell とは」 （両面印刷版、片面印刷版） （§ 2.2 〜 § 2.4.2「リスト」途中）
2 章 「関数型言語 Haskell とは」 （§ 2.4.2 「リスト」途中 〜 § 2.5 「パターンマッチング」途中）
2 章 「関数型言語 Haskell とは」 （両面印刷版、片面印刷版） （§ 2.5「パターンマッチング」途中〜 § 2.8「関数の中置記法化」）
課題、 アップロード、2 章 「関数型言語 Haskell とは」 （両面印刷版、片面印刷版） （§ 2.9「部分適用とセクション」〜 ）
課題、 アップロード、2 章 「関数型言語 Haskell とは」
（両面印刷版、片面印刷版）
（§ 2.12「リストの内包表記」途中〜 ）、
3 章「代数的データ型と型クラス」
（両面印刷版、片面印刷版）
中間試験・過去問
今年度は、昨年度に引き続きすべてオンラインで実施する予定です。
これ以降の予定はありません。🐻🐼