非手続き型言語及び演習(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/ |