プログラミング言語論（2022 年度）

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

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

現在✨ へ

紹介スライド

連絡事項

• (01/19)「プログラミング言語意味論」レポート （「プログラミング言語論」第 2 回レポート） （〆切 2/16（木） 18:00）

  一部、公開しました。

• (10/06) 2021 年度第 4 Ｑ「プログラミング言語意味論」（「プログラミング言語論」の後半に相当）テストの問題 （オンライン、ペーパー）と、解答例 （一部） を公開します。

• (11/17) 「プログラミング・パラダイム」レポート （「プログラミング言語論」第 1 回レポート）（12/08 〆切）

• (10/05) 2021 年度第 3 Ｑ「プログラミング・パラダイム」（「プログラミング言語論」の前半に相当）テストの問題（オンライン, ペーパー）と解答例 （一部）を公開します。

  (11/17) 2021 年度は、オンラインオンリーの問題（オプション）を作りましたが、2022 年度は、オンライン + ペーパーで実施予定です。

• (10/06) paiza.io ブラウザーからプログラムが実行できる、 オンライン実行環境です。Haskell も対応しています。

  その他のオンライン実行環境:

  • Ideone
  • Rextester
  • JDoodle
  • codepad
  • repl.it
  • Wandbox
  • Coding Ground

  オンライン実行環境（プログラミング言語別）

  • Try Haskell
  • SWISH (Try SWI-Prolog online)
  • Tau Prolog
  • CompileJava
  • Try Kotlin
  • BiwaScheme
  • JS Bin
  • PlayCode

• (10/06) 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/06) Haskell toolchain をインストールしておいてください。

配布物など

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

• 以下の第 4, L, 5, P, 6, S, J, 7 章をまとめた PDF

• プリント第 7 章 Continuation-Passing Style (CPS)（/ 配布）
  プリント第 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 変換器
  
  
• プリント第 J 章 JavaScript 超簡易入門 （/ 配布）
  
  
• プリント第 S 章 Scheme 超簡易入門（/ 配布） （空欄補完済版）
  プリント第 S 章のプログラム
  • Cont.scm ()（C.1〜C.2の Schemeプログラム）
  • Blockly 版 Scheme, Try BiwaScheme
  
  
• プリント第 6 章 接続 (continuation) （/ 配布）
  プリント第 6 章のプログラム
  • Util 共通 （再掲）: Token.hs, Target.hs,
  • UtilCont: ContType.hs, ContParser.hs, ContCompiler.hs, ContMain.hs
  • いろいろなモナド: MyState.hs （再掲）, MyStream.hs （再掲）, Cont.hs （UtilCont),
  
  
  • UtilCont コンパイラー （Web 上で実行）
  • Web 版 Util コンパイラー (New Version)
  • Blockly 版 Util コンパイラー
  • foo.c(), bar.c(), baz.c()
  • 参考リンク: なんでも継続, 継続 - Wikipedia
  
  
• プリント第 P 章 Prolog 超簡易入門 （/ 配布） （空欄補完済版）
  プリント第 P 章のプログラム
  • Tokugawa.pl (), （C.1 徳川将軍家）
    実行例: grandchild(X, ieyasu).
  • Append.pl -(), （C.3 Prologでのリスト処理）
    実行例: myappend(X, Y, [1,2,3]).
  • Blockly 版 Prolog, Try Prolog
  
  
• プリント第 5 章 モナドと命令型言語の意味 （/ 配布）
  プリント第 5 章のプログラム
  • Util 共通: Token.hs, Target.hs,
  • Util1, UtilST, UtilIO: RecType.hs, RecParser.hs, RecCompiler.hs, RecMain.hs
  • UtilErr, UtilNonDet: RecType.hs, CatchParser.hs, RecCompiler.hs, CatchMain.hs
  • いろいろなモナド: Id.hs （Util1), MyState.hs (UtilST), ST.hs (UtilST), MyStream.hs (UtilIO), MyIO.hs (UtilIO),
  
  
  • Util1, UtilST, UtilIO コンパイラー （Web 上で実行）
  • UtilErr, UtilNondet コンパイラー （Web 上で実行）
  • Web 版 Util コンパイラー (New Version)
  • Blockly 版 Util コンパイラー
  
  
• プリント第 L 章 ラムダ計算 （/ 配布）
  
  • λ 式 β 簡約
  • λ 式文法チェッカ
  
  
• プリント第 4 章 モナド（/ 配布）
  プリント第 4 章のプログラム
  • Head.hs,
  • IORefTest.hs,
  • UpperLower.hs,
  
  

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

• 以下の第 1, 2, A, 3 章をまとめた PDF

• プリント第 3 章 代数的データ型と型クラス（10/06 配布）
  プリント第 3 章のプログラム
  • TypeClassExample.hs 型エラーになりそうでならないプログラムの例
  
  
• プリント第 A 章 Haskell のレイアウトルール （10/06 配布）
  • Haskell プログラムのレイアウト変換
  
  
• プリント第 2 章 関数型言語 Haskell とは （10/06 配布）
  プリント第 2 章のプログラム
  • Chap2.hs
  
  
• プリント第 1 章 プログラミング言語の意味とは（10/06 配布）

各週の内容

現在 ✨ へ

• パスワードのかかっているページは、Gmail アカウントまたは Microsoft アカウント（大学でメールを読むときに使うアカウント）で認証してください。

• 注意: 設定が変更されたのに、変更が反映されないときは、 いったんログアウトして、 再度アクセスを試みて下さい。

• 必ず各自で提出したファイルのバックアップを取っておいて下さい。 （自分のノート PC だけではなく、stfile などの大学のサーバのどこかにもバックアップしておいて下さい!!）

• 各個人へのメッセージ、

過去

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

第 01 週 10/06

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

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

課題に対する評価、

第 02 週 10/13

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

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

課題に対する評価、

第 03 週 10/20

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

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

課題に対する評価、

第 04 週 10/27

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

課題に対する評価、

11/03 は文化の日です。

第 05 週 11/10

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

課題に対する評価、

第 06 週 11/17

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

• 中間試験・過去問
• 第 1 回レポート

課題に対する評価、

第 07 週 11/24

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

課題に対する評価、

第 08 週 12/01（中間テスト）

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

解答例

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

第 09 週 12/08

4 章「モナド」

課題に対する評価、

第 10 週 12/15

L 章「ラムダ計算」(〜 § L.3)

課題に対する評価、

第 11 週 12/22

L 章「ラムダ計算」（§ L.4 〜） 5 章「モナドと命令形言語の意味」(〜 § 5.1)

• λ 式文法チェッカ

• λ 式 β 簡約

課題に対する評価、

第 12 週 01/12

5 章「モナドと命令形言語の意味」(§ 5.2 〜)

課題に対する評価、

第 13 週 01/19

5 章「モナドと命令形言語の意味」、 P 章「Prolog 超簡易入門」

問 P.3.2 の答開/閉

「プログラミング言語意味論」レポート（「プログラミング言語論」第 2 回レポート）（2/16 締切）
一部、問題を公開しています。

課題に対する評価、

第 14 週 01/26

6 章「接続」 (continuation)、 S 章「Scheme 超簡易入門」 、

「プログラミング言語意味論」レポート（「プログラミング言語論」第 2 回レポート）（2/16 締切）
公開している問題を追加しました。

課題に対する評価、

第 15 週 02/02

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

第 16 週 02/09（テスト）

6403 で実施（遠隔では受験できません。）

ペーパーテスト解答例

現在✨

第 16 週 02/28（追試験）

今後

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

リンク

• 言語処理系ダウンロード （香川大学内アクセス限定）
  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 GitHub で使われているプログラミング言語のランキング