プログラミング・パラダイム
プログラミング言語意味論
（2019年度 Q3, Q4）

2019年度 後期木曜日 1コマ
担当: 香川 考司
対象:  大学院・工学研究科・信頼性情報システム工学専攻

工学研究科、プログラミング・パラダイム（シラバス）／プログラミング言語意味論（シラバス） （旧・プログラミング言語特論）のホームページです。 受講者はこのページを随時チェックするようにしてください。

連絡事項

• (02/21 New!) 2019 年度「プログラミング言語意味論」テストの問題と、解答例 （一部） を公開します。

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

• (12/05) 2018 年度「プログラミング言語意味論」テストの問題と、解答例 （一部） を公開します。

---

• (12/05) 2019 年度「プログラミング・パラダイム」テストの問題と、 解答例を公開します。

• (11/21) Blockly for Haskell （暫定版）を公開します。

• (11/21) 「プログラミング・パラダイム」レポート （12/05 〆切）

• (11/21) 2018年度「プログラミング・パラダイム」テストの問題と解答例 （一部）を公開します。

---

• (10/03) 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

• (10/03) 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/03) HaskellPlatform-8.6.5-core-x86_64-setup.exe (for 64 bit Windows) （大学内のコピー・香川大学内からのみアクセス可）をインストールしておいてください。 大学外からは、Haskell Platform のダウンロード にアクセスしてください。

配布物など

• プリント第 7 章 Continuation-Passing Style (CPS) （01/09 配布）
  プリント第 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
  
  
• プリント第 J 章 JavaScript 超簡易入門 （01/09 配布）
  
  
• プリント第 S 章 Scheme 超簡易入門（プリント配布なし） （空欄補完済版）
  プリント第 S 章のプログラム
  • Cont.scm
  • Blockly 版 Scheme, Try BiwaScheme
  
  
• プリント第 6 章 接続 (continuation) （01/09 配布）
  プリント第 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 超簡易入門 （01/09 配布）
  プリント第 P 章のプログラム
  • Tokugawa.pl , （C.1 徳川将軍家）
    実行例: grandchild(X, ieyasu).
  • Append.pl , （C.3 Prologでのリスト処理）
    実行例: myappend(X, Y, [1,2,3]).
  • Blockly 版 Prolog, Try Prolog
  
  
• プリント第 5 章 モナドと命令型言語の意味 （01/19 配布）
  プリント第 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),
  
  
  • Web 版 Util コンパイラー (New Version)
  • Blockly 版 Util コンパイラー
  
  
• プリント第 L 章 ラムダ計算 （12/12 配布）
  
  • λ 式 β 簡約
  • λ 式文法チェッカ
  
  
• プリント第 4 章 モナド（12/05 配布）
  プリント第 4 章のプログラム
  • Head.hs,
  • IORefTest.hs,
  • UpperLower.hs,
  
  
• プリント第 3 章 代数的データ型と型クラス（10/10 配布）
  プリント第 3 章のプログラム
  • TypeClassExample.hs 型エラーになりそうでならないプログラムの例
  
  
• プリント第 A 章 Haskell のレイアウトルール （10/10 配布）
  • Haskell プログラムのレイアウト変換
  
  
• プリント第 2 章 関数型言語 Haskell とは （pp. 1–4, 10/03 配布）
  プリント第 2 章のプログラム
  • Chap2.hs
  
  
• プリント第 1 章 プログラミング言語の意味とは（10/03 配布）

リンク

• 言語処理系ダウンロード （香川大学内アクセス限定）
  GHC (Glasgow Haskell Compiler) は Haskell の de fact standard 実装です。 本講義では GHC を含むパッケージである Haskell Platform を使用します。

• 最新版 Haskell Platform のダウンロード
• TIOBE index さまざまな検索エンジンに基づく、プログラミング言語の人気ランキング
• PYPL Google 検索に基づく、プログラミング言語の人気ランキング
• IEEE Spectrum
• Programming Languages Influence Network プログラミング言語同士がどう影響を与えあっているかをグラフにしたもの
• GitHut GitHub で使われているプログラミング言語のランキング