国立大学法人 東京工業大学

講義の概要とねらい

本講義では，プログラミング第一で学んだ手続き型プログラミングの考え方とは異なるプログラミングパラダイムに基づく関数型プログラミング言語Schemeとオブジェクト指向プログラミング言語Javaを用い，実際にプログラムを作成し，動作させることによって，これらのプログラミングパラダイムの基本的な考え方やその原理となっている計算のメカニズムについて理解を深めさせる．
解決しようとしている問題に応じて適切なプログラミングパラダイムを見極め，それに応じたプログラミング言語を用いてシステムを記述することは，システムの記述容易性，理解容易性，保守性などの観点から重要である．この講義ではプログラミング第一と異なる観点から問題を捉えることにより，異なるプログラミングパラダイムに共通の概念や相違点を理解し，問題に応じて適切なプログラミング言語を利用する能力を身につけることを目指す．

到達目標

(1) 再帰プログラムが書ける
(2) 関数型のプログラムが書ける
(3) リスト処理のプログラムが書ける
(4) 高階手続きが活用したプログラムが書ける
(5) Javaの基本的な文法を身に付ける
(6) オブジェクト指向のプログラムが書ける

キーワード

手続き抽象，データ抽象，可変データ構造，ストリーム，リスト操作，高階手続き，継続，クラスとインスタンス，継承，差分プログラミング

学生が身につける力(ディグリー・ポリシー)

授業の進め方

毎回の講義ではプログラミング作成の課題を数問出します．課題のプログラムを時間内に作成し，提出してください．講義終了後，プログラム例を公開します．次回の講義の冒頭では前回の課題についての簡単な解説をおこないます．

授業計画・課題

教科書

特に指定しない.

参考書、講義資料等

・Harold Abelson and Gerald Jay Sussman，Structure and
Interpretation of Computer Programs, 2nd Edition， The MIT Press,
1996. (http://mitpress.mit.edu/sicp/)
和田英一 (訳) 計算機プログラムの構造と解釈 第2版 ，ピアソンエデュケーション，2000.
・Revised5 Report on the Algorithmic Language Scheme
(http://www.schemers.org/Documents/Standards/R5RS/)
・入門Scheme
(http://www.dinukai.org/programming/scheme/primer/scheme\_primer\_j.html)
・独習Scheme三週間
(http://www.sampou.org/scheme/t-y-scheme/t-y-scheme.html)
・もうひとつのScheme入門
(http://www.shido.info/lisp/idx\_scm.html)
・Kahuaプロジェクト，プログラミングGauche，オライリージャパン，2008.
・Gaucheリファレンスマニュアル
(http://practical-scheme.net/gauche/memo-j.html)
・結城浩，改訂第2版Java言語プログラミングレッスン，2005.
(http://www.hyuki.com/jb/)
・権藤克彦，Javaによるプログラミング入門，サイエンス社，2000年．
・JavaDrive --- Java 入門 ---
(http://www.javadrive.jp/start/)
・Ken Arnold, David Holmes, James Gosling,
The Java Language Specification (3rd Ed.)
(http://java.sun.com/docs/books/jls/)\\
柴田芳樹 (訳), プログラミング言語Java 第3版, ピアソンエデュケーショ
ン，2001．
・JDK 6ドキュメント
(http://java.sun.com/javase/ja/6/docs/ja/)

成績評価の基準及び方法

提出された課題へ解答 (100%)

関連する科目

• CSC.T241 ： 計算基礎論
• ZUS.S201 ： プログラミング第一
• ZUS.S202 ： プログラミング第二
• ZUS.S301 ： プログラミング第三

履修の条件(知識・技能・履修済科目等)

ZUS.S202 ： プログラミング第二を履修していること．

その他

特になし．