工学部・工学研究科シラバス

非手続き型言語及び演習(3.0 単位)

講義番号780
科目区分専門科目
授業形態講義及び演習
対象履修コース 情報工学
開講時期1 2年後期
必修/選択 必修
担当教員 酒井 正彦 教授  濱口 毅 助教 

•本講座の目的およびねらい
新しい考え方に基づくプログラミング言語である関数型言語MLを学ぶ.これを通じて,宣言型のプログラミングの基本的な考え方を習得する.

達成目標
1.関数型プログラミングの基本概念を理解し、プログラミングに応用できる.
2.MLである程度の規模のプログラムが書ける.

•バックグラウンドとなる科目
プログラミング及び演習

•授業内容
1.関数型言語,プログラミングの基本
2.関数を用いたプログラミング
3.高階関数
4.型システム
5.基本データ型,レコード型
6.リスト処理
7.データ構造の定義
8.参照型,例外処理,モジュールシステム,配列
9.入出力処理
10.プログラミングプロジェクト

•教科書
授業で用いるスライドのハンドアウトをWEB上に用意する.

テキスト:大堀淳著、「プログラミング言語Standard ML入門」、共立出版、2001、ISBN 4-320-12024-8

•参考書
L. C. Paulson, ML for the Working Programmer, Cambridge University Press, 1991, ISBN 0-521-56543-X

•評価方法と基準
達成目標に対する評価の重みは同等である.
小テスト10%, 演習40%,期末試験50%で評価し100点満点で60点以上を合格とする.

•履修条件・注意事項

•質問への対応
授業終了後30分間に対応する.それ以外は事前に時間などを打ち合わせること.

連絡先: 052-789-3803 Email: sakai at is.nagoya-u.ac.jp
URL: http://www.trs.cm.is.nagoya-u.ac.jp/~sakai/lecture/non-proc-lang/

[一覧画面へ]



SyllabusSystem Ver 1.19