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

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 月 16 日（木）の 18:00 です。 提出場所は、香川のレターボックス（1 号館 7F 学科事務前）です。 （オンラインの提出はありません。）

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