非手続き型言語及び演習（3.0 単位） | |||
| 講義番号 | ： | 780 | |
| 科目区分 | ： | 専門科目 | |
| 授業形態 | ： | 講義及び演習 | |
| 対象履修コース | ： | 情報工学 | |
| 開講時期１ | ： | ２年後期 | |
| 必修／選択 | ： | 必修 | |
| 担当教員 | ： | 酒井 正彦 教授 | 濱口 毅 助教 |
| •本講座の目的およびねらい |
| 新しい考え方に基づくプログラミング言語である関数型言語MLを学ぶ．これを通じて，宣言型のプログラミングの基本的な考え方を習得する． 達成目標 １．関数型プログラミングの基本概念を理解し、プログラミングに応用できる． ２．MLである程度の規模のプログラムが書ける． |
| •バックグラウンドとなる科目 |
| プログラミング及び演習 |
| •授業内容 |
| １．関数型言語，プログラミングの基本 ２．関数を用いたプログラミング ３．高階関数 ４．型システム ５．基本データ型，レコード型 ６．リスト処理 ７．データ構造の定義 ８．参照型，例外処理，モジュールシステム，配列 ９．入出力処理 １０．プログラミングプロジェクト |
| •教科書 |
| 授業で用いるスライドのハンドアウトを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 |
| •評価方法と基準 |
| 達成目標に対する評価の重みは同等である. 小テスト１０％, 演習４０％，期末試験５０％で評価し１００点満点で６０点以上を合格とする． |
| •履修条件・注意事項 |
| •質問への対応 |
| 授業終了後３０分間に対応する．それ以外は事前に時間などを打ち合わせること． 連絡先： 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/ |