プログラミング言語意味論 レポート

1. （main 関数を持つプログラム）
   

   プリント第 4 章 p.6 問 4.4.2（の 3 つの小問のうち 2 つ以上）

   • 入力文字列を行毎（ごと） に大文字と小文字に変換して出力する。 例えば、Hello,↵ World↵ が hello,↵HELLO,↵world↵WORLD↵ になる。 （↵は改行を表す。）

   • 入力文字列中の数字（‘0’ 〜 ‘9’）の出現回数をカウントして出力する。

   • 入力文字列中の ‘@’ が出現する最初の10行だけを出力する。

   参考にするプログラム: Head.hs

2. （CPS への変換）

   プリント第 7 章 p.9 問 7.3.1
   

   次の関数を「ボタンをクリックしたら、一つの線分を表示する」 というバージョンに書き換えよ。

   Sierpinski.html （Sierpinski.js）

   ヒント: forward, sierpinski, zig, zag を CPS に変換する必要がある。turnLeft, turnRight については、 （この問題では） CPS にする必要はない。

   参考にするプログラム: Hanoi0.html, Hanoi0.js, Hanoi.html, Hanoi.js,
   Fib0.html, Fib0.js Fib.html, Fib.js

チャレンジ問題（ボーナス問題）

3. (Prolog)

   Prolog 言語をプリントで自習し、 プリント中のサンプルプログラムを元にして、 日本史や世界史、あるいは神話・物語の中の有名な家系を Prolog プログラムにし、 実行例を作成せよ。

   • §P.1 〜 §P.2 の Prolog プログラムを WappenLite で実行
   • §P.3 の Prolog プログラムを WappenLite で実行
   • WappenLite を利用しない場合は、 SWI-Prolog のホームページから SWI Prolog をインストールせよ （香川大学内のミラー）。

4. (Scheme)

   Scheme 言語をプリントで自習し、 プリント中のサンプルプログラム以外の call/cc (call-with-current-continuation) の使用例を WWW などで探して、 できれば自分なりのアレンジを加えよ。

   • §S.1 〜 §S.2 の Schemeプログラムを WappenLite で実行
   • WappenLite を利用しない場合は、 MIT/GNU Scheme のホームページから MIT/GNU Scheme をインストールせよ （香川大学内のミラー）。

5. (Haskell)

   （授業プリント中のサンプルプログラム以外の）Haskell の遅延評価 (lazy evaluation) を有効に活用したプログラムの例を WWW などで探して、できれば自分なりのアレンジを加えよ。

• （おまけ）エラトステネスのふるいの Haskell プログラムを WappenLite で実行
  WappenLite では Frege を利用する。 Frege は Java 仮想機械上で動作する Haskell の処理系である。 標準的な Haskell の処理系の Glasgow Haskell Compiler と振舞いが異なるところがあるが、本講義で紹介したプログラム程度ではほとんど振舞いは変らない。
  注意: Frege は JAR ファイルが巨大なので、 処理系のダウンロード・起動に非常に時間がかかることがある。 起動を速くするために、アンチウイルスソフトは圧縮ファイル内を検索しないように設定するとよい。

解答上の注意ほか

できるだけ短く簡潔におさめて下さい。

提出〆切は、2 月 15 日（木）の 18:00 です。 提出場所は、香川のレターボックス（1 号館 7F 学科事務前）です。 （オンラインの提出はありません。）

B4/M2 など上記の締切までに提出するのが難しい人は、事前にメールで連絡を下さい。ただし、 事務への成績の提出締切が 2/28 ですので、それ以降の提出の場合は、成績訂正というかたちになります。 （成績表に反映されるのが遅れます。） その場合でも、2/15 及び 2/28 の時点でできたところまで、 部分提出してもらうことが望ましいです。