プログラミング言語論 2025

2025 年度後期木曜日 2コマ・原則として遠隔（ペーパーテスト実施時は 6405 教室）
担当: 香川考司
対象: 大学院・創発科学研究科

創発科学研究科の第 3 Ｑ「プログラミング言語論Ⅰ」（1 〜 8 週、シラバス）／第 4 Ｑ「プログラミング言語論Ⅱ」（9 〜 16 週、シラバス）のホームページです。受講者はこのページを随時チェックするようにしてください。

現在✨ へ

紹介スライド

連絡事項

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

(02/05)「プログラミング言語論Ⅱ」レポート（〆切 2/19（木） 18:00）（アップロード）
(11/13) 「プログラミング言語論Ⅰ」レポート（〆切 12/04）（アップロード）
(10/02) この授業は原則として、遠隔で実施します。（この授業の Teams のチャネル）
(10/02)
- 2024 年度「プログラミング言語論Ⅰ」の試験の問題（オンライン, ペーパー）と解答例（一部）を公開します。
- 2024 年度「プログラミング言語論Ⅱ」の期末試験の問題（オンライン 2024 年度はペーパー試験なし）と、解答例（一部）を公開します。
(10/02) paiza.io ブラウザーからプログラムが実行できる、オンライン実行環境です。Haskell も対応しています。

その他のオンライン実行環境:
- Ideone
- Rextester
- JDoodle
- codepad
- repl.it
- Wandbox
- Coding Ground
オンライン実行環境（プログラミング言語別）
(10/02) GHC.IO ブラウザーから実行できる GHCi です。
- 外部サイトなので、重いプログラムを動かして迷惑をかけないようにしてください。
- ファイルをロードできないので、変数や関数を定義するときは、「let」というキーワードに続けて書いてください。
```
Prelude> let square x = x * x
Prelude> square 2
4
```
- 定義の途中で改行できないので、複数行の定義をするときは、改行の代わりに「;」で区切って書いてください。
```
Prelude> let fact 0 = 1; fact n = n * fact (n-1)
Prelude> fact 10
3628800
```
- ある程度の時間入力がないと、タイムアウトするのでリロードしてください。
(10/02) Haskell をインストールしておいてください。（現時点では GHCup を使用するのが推奨です。）

配布物など

ここにリンクをはっていないファイルや、公開日前のファイルは公開日までに変更する可能性があるので注意してください。

プログラミング言語論Ⅰ（前半）使用分

以下の第 1, 2, A, 3 章をまとめた PDF
プリント第 1 章プログラミング言語論の概要 (HTML 版) （10/02 公開）
プリント第 2 章関数型言語 Haskell とは (HTML 版) （10/02 公開）
プリント第 2 章のプログラム
- Chap2.hs
プリント第 A 章 Haskell のレイアウトルール (HTML 版) （10/02 公開）
- Haskell プログラムのレイアウト変換
プリント第 3 章代数的データ型と型クラス (HTML 版) （10/02 公開）
プリント第 3 章のプログラム
- TypeClassExample.hs, 型エラーになりそうでならないプログラムの例

プログラミング言語論 Ⅱ（後半）使用分

以下の第 4, L, 5, U, 6, P, S, J, 7 章をまとめた PDF
プリント第 4 章モナド (HTML 版)（10/05 公開）
プリント第 4 章のプログラム
- Head.hs,
- IORefTest.hs,
- ArrayExample.hs,
- UpperLower.hs,
プリント第 L 章ラムダ計算 (HTML 版)（12/03 公開, 12/23 修正） 12/23 に修正しました。12/23 以前にダウンロードした人は再ダウンロードしてください
- λ 式 β 簡約
- λ 式文法チェッカー
プリント第 5 章モナドと命令型言語の意味 (HTML 版) （12/03 公開）
プリント第 5 章のプログラム
- いろいろなモナド: Id.hs （Util1), MyState.hs (UtilST), ST.hs (UtilST), EST.hs (UtilST), MyStream.hs (UtilIO), MyIO.hs (UtilIO),
- Util1, UtilST, UtilIO コンパイラー（Web 上で実行）
- UtilErr, UtilNondet コンパイラー（Web 上で実行）
- Web 版 Util コンパイラー (New Version)
- Blockly 版 Util コンパイラー (under maintenance)
プリント第 U 章ちっちゃな命令型言語 Util (HTML 版) （12/03 公開）
プリント第 U 章のプログラム
- Util 共通: UtilLanguage.hs, Target.hs, Expr.hs, ParserCommon.hs, Parser.hs, TranslateHs.hs,
- Util1, UtilST, UtilIO: RecCompiler.hs, RecMain.hs
- UtilErr, UtilNonDet: RecCompiler.hs, CatchMain.hs
- UtilCont: ContCompiler.hs, ContMain.hs
プリント第 6 章接続 (continuation) (HTML 版) （12/03 公開）
プリント第 6 章のプログラム
- いろいろなモナド: MyState.hs （再掲）, MyStream.hs （再掲）, Cont.hs （UtilCont),
- UtilCont コンパイラー（Web 上で実行）
- Web 版 Util コンパイラー (New Version)
- Blockly 版 Util コンパイラー
- foo.c(), bar.c(), baz.c()
- 参考リンク: なんでも継続, 継続 - Wikipedia
プリント第 P 章 Prolog 超簡易入門 (HTML 版) （12/03 公開）（空欄補完済版）
プリント第 P 章のプログラム
- Tokugawa.pl (), （C.1 徳川将軍家）
  実行例: grandchild(X, ieyasu).
- Append.pl -(), （C.3 Prologでのリスト処理）
  実行例: myappend(X, Y, [1,2,3]).
- Blockly 版 Prolog, Try Prolog, Prolog in JavaScript
プリント第 S 章 Scheme 超簡易入門 (HTML 版) （12/03 公開）（空欄補完済版）
プリント第 S 章のプログラム
- Cont.scm ()（C.1〜C.2の Schemeプログラム）
- Blockly 版 Scheme, Try BiwaScheme
プリント第 J 章 JavaScript 超簡易入門 (HTML 版) （12/03 公開）
プリント第 J 章のプログラム
- Misc.html, Misc.js Generator.html, Generator.js
プリント第 7 章 Continuation-Passing Style (CPS) (HTML 版) （12/03 公開）
プリント第 7 章のプログラム
- ProdPrimes.html, ProdPrimes.js（7.1）, Fact.html, Fact.js （7.2）, Hanoi0.html, Hanoi0.js （7.3 CPS 書換え前）, Hanoi.html, Hanoi.js （7.3 CPS 書換え後）, Fib0.html, Fib0.js （7.3 CPS 書換え前） Fib.html, Fib.js （7.3 CPS 書換え後）, Sierpinski.html, Sierpinski.js
- Web 版 CPS 変換器

各週の内容

現在 ✨ へ

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

パスワードのかかっているページは、 Microsoft アカウント（大学でメールを読むときに使うアカウント）で認証してください。
注意: 設定が変更されたのに、変更が反映されないときは、いったんログアウトして、再度アクセスを試みて下さい。
必ず各自で提出したファイルのバックアップを取っておいて下さい。（自分のノート PC だけではなく、stfile などの大学のサーバのどこかにもバックアップしておいて下さい!!）
各個人へのメッセージ、

過去

これより以前はありません。

📁/📂（← ここ以前の課題の開閉）

第 01 週 10/02

「プログラミング言語論Ⅰ/Ⅱ」は原則として、遠隔で実施します。この Teams のチャネルから、その日の日付の「会議」を授業時間（直前）になったらクリックしてください

紹介スライド,
1 章「プログラミング言語論の概要」,

Haskell のダウンロード、

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

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

課題に対する評価、

第 02 週 10/09

2 章「関数型言語 Haskell とは」（§ 2.1 〜 § 2.4.1「基本的なデータ型と演算子」）

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

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

課題に対する評価、

第 03 週 10/16

2 章「関数型言語 Haskell とは」（ § 2.4.2 「リスト」〜）

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

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

課題に対する評価、

第 04 週 10/23

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

課題、アップロード、

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

課題に対する評価、

10/30 は月曜振替日です。

第 05 週 11/06

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

課題、アップロード、

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

課題に対する評価、

第 06 週 11/13

2 章「関数型言語 Haskell とは」（§ 2.12「リストの内包表記」〜）、
3 章「代数的データ型と型クラス」（〜 § 3.1「代数的データ型の定義」）

中間試験・過去問
ただし今年度は、すべてオンラインで実施する予定です。そのため、昨年度にペーパー試験で実施していた問題は少し趣向をかえます。
「プログラミング言語論 Ⅰ」レポート（アップロード）

課題、アップロード、

（スタッフ専用）位置確認、提出状況チェック、表（11 月分）、表（レポート 1）

課題に対する評価、

第 07 週 11/20

3 章「代数的データ型と型クラス」（§ 3.2 「型クラスとは」〜）

課題、アップロード、

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

課題に対する評価、

第 08 週 11/27

3 章「代数的データ型と型クラス」（§ 3.8 「型クラスとサブタイピング」〜）、 A 章「Haskell のレイアウトルール」、

着席位置、

（スタッフ専用）位置確認、

第 3 Q 末テスト

オンラインテスト問題 (Online Questions, English vers.)、アップロード (upload)、

（スタッフ専用）提出状況チェック、表

「プログラミング言語論Ⅰ」期末テスト解答例

ここからは「プログラミング言語論Ⅱ」

第 09 週 12/04

4 章「モナド」

課題、アップロード、

（スタッフ専用）位置確認、提出状況チェック、表（12月分）

課題に対する評価、

第 10 週 12/11

5 章「モナドと命令形言語の意味」、 U 章「ちっちゃな命令型言語 Util」、

課題、アップロード、

（スタッフ専用）位置確認、提出状況チェック、表（12月分）

課題に対する評価、

第 11 週 12/18

5 章「モナドと命令形言語の意味」(§ 5.5 〜)、 U 章「ちっちゃな命令型言語 Util」、 P 章「Prolog 超簡易入門」、 Try Prolog,

課題、アップロード、

（スタッフ専用）位置確認、提出状況チェック、表（12月分）

Web 版 Util コンパイラー

課題に対する評価、

第 12 週 01/08

5 章「モナドと命令形言語の意味」(§ 5.8 〜)、 P 章「Prolog 超簡易入門」、 6 章「接続」 (continuation)、、

課題、アップロード、

（スタッフ専用）位置確認、提出状況チェック、表（01月分）

問 P.3.1 の答

?- myappend([1,2], [3,4], Zs₀).

これに myappend([H₁|Xs₁], Ys₁, [H₁|Zs₁])

:- myappend(Xs₁, Ys₁, Zs₁). が

H₁=1, Xs₁=[2], Ys₁=[3,4], Zs₀=[1|Zs₁] で適用できて

?- myappend([2], [3,4], Zs₁).

これに myappend([H₂|Xs₂], Ys₂, [H₂|Zs₂])

:- myappend(Xs₂, Ys₂, Zs₂). が

H₂=2, Xs₂=[], Ys₂=[3,4], Zs₁=[2|Zs₂] で適用できて

?- myappend([], [3,4], Zs₂).

これに myappend([], Ys₃, Ys₃). が

Ys₃=[3,4], Zs₂=[3,4] で適用できてゴール節が消える

まとめると Zs₀ = [1|[2|[3,4]]] (= [1,2,3,4])

問 P.3.2 の答

?- myconcat([[1, 2], [3, 4, 5], [6, 7]], Xs).

これに ② が Xs₁=[1,2], Xss₁=[[3,4,5],[6,7]], Ys₁=Xs

で適用できて

?- myappend([1,2],Zs₁,Xs), myconcat([[3,4,5],[6,7]],Zs₁).

?- myappend([2],Zs₁,Ws₁), myconcat([[3,4,5],[6,7]],Zs₁).

ただし Xs=[1|Ws₁]

?- myappend([],Zs₁,Ws₂), myconcat([[3,4,5],[6,7]],Zs₁).

ただし Ws₁=[2|Ws₂]

?- myconcat([[3,4,5],[6,7]],Zs₁). ただし Ws₂=Zs₁

まとめると Xs=[1|[2|Zs₁]]

?- myconcat([[6,7]],Zs₂). ただし Zs₁=[3|[4|[5|Zs₂]]]

⋮

?- myconcat([],Zs₃). ただし Zs₂=[6|[7|Zs₃]]

これに対して ① が Zs₃=[] で適用できゴール節が消える

まとめると Xs=[1,2,3,4,5,6,7]

課題に対する評価、

第 13 週 01/22

6 章「接続」 (continuation)、 U 章「ちっちゃな命令型言語 Util」、 S 章「Scheme 超簡易入門」（同・空欄補間済版）、 J 章「JavaScript 超簡易入門」（〜 § J.2）

課題、アップロード、

（スタッフ専用）位置確認、提出状況チェック、表（01月分）、

Web 版 Util コンパイラー

課題に対する評価、

第 14 週 01/29

L 章「ラムダ計算」L 章の配布プリントを 12/23 に修正しました。12/23 以前にダウンロードした人は再ダウンロードしてください

01/29 は、オンデマンドで実施します。第 15 週 (02/05) の授業の前までにラムダ計算のスライドを閲覧してください。

スライドの読み方のポイント

途中で、このような下線がついている部分は、プリントの穴埋め部分に対応する語句です。
最初に画面の下の方の再生（▶）をクリックすると最後まで続けて再生しますが、 Q や問が出されたところで止めて、問題を説いてください。
Q や問題のうちいくつかを提出課題にしていますので、アップロードページから提出してください。
一挙に再生すると、スライドの音声は 30 分程度しかありません。わからないところは適宜繰り返して再生してください。

課題、アップロード、

（スタッフ専用）位置確認、提出状況チェック、表（01月分）

課題に対する評価、

第 15 週 02/05

J 章「JavaScript 超簡易入門」（§ J.3 〜） 7 章「Continuation-Passing Style (CPS)」、 7 章のプログラム

課題、アップロード、

また、まだの人は 1/29 の課題もやってください。（2/10 23:59 まで締め切りを延長しました。）

（スタッフ専用）位置確認、提出状況チェック、表（02 月分）、表（レポート 2）

「プログラミング言語Ⅱ」レポート（2/19 締切）

授業評価アンケート
1. カダサポにログインし、「学生支援」>「アンケート回答」を選択
2. 実施期間中のアンケート一覧から、該当科目の名称を選択
3. 各設問に回答し、右下の「入力内容を確認」を押す。
4. 入力内容を確認し、右下の「この内容を提出」を押す。

課題に対する評価、

現在✨

第 16 週 02/12（テスト）

「プログラミング言語論Ⅱ」の期末テストについて

昨年度の問題は 2024 年度「プログラミング言語論Ⅱ」の期末試験の問題を見てください。

02/12 の期末テストは、遠隔で実施します。必ず Teams の会議に参加してください。

着席位置、オンラインテスト問題 (Online Questions, English vers.) 、アップロード、

（スタッフ専用）位置確認、提出状況チェック、表

今後

📋/📂（← ここ以降の予定の開閉）

これ以降の予定はありません。🐻🐼

リンク

言語処理系ダウンロード（香川大学内アクセス限定）
GHC (Glasgow Haskell Compiler) は Haskell の de fact standard 実装です。本講義では GHC を含むパッケージである Haskell Platform を使用します。
最新版 Haskell のダウンロード、 SWI Prolog のダウンロード、 Chez Scheme のダウンロード、
TIOBE index さまざまな検索エンジンに基づく、プログラミング言語の人気ランキング
PYPL Google 検索に基づく、プログラミング言語の人気ランキング
Programming Languages Influence Network 最新版プログラミング言語同士がどう影響を与えあっているかをグラフにしたもの
GitHut 2.0 GitHub で使われているプログラミング言語のランキング

Koji Kagawa