プログラム言語２

Programming Languages 230

9963125

63CSPRL202

滝本　宗宏

Munehiro TAKIMOTO

2026年度前期

2026年度

①First semester

金曜5限

Friday 5rd Period

創域理工学部　情報計算科学科

Department of Information Sciences, Faculty of Science and Technology

2.00単位

講義

Lecture

-

① [対面]対面授業/ [On-site] On-site class

関数型言語は，手続き型言語と異なるいくつかの性質をもっている．その性質を理解したプログラミングのスタイルを身に着ける．

関数型言語の１つであるOCamlを用いて，実際に関数型言語の性質に触れるとともに，諸所の問題を，
それらの性質を用いて単純に記述できるようになる．
本学科のディプロマ・ポリシーにある「自然・人間・社会に係る幅広い教養を修得し、専門分野の枠を超えて横断的にものごとを俯瞰できる能力」を獲得するための科目である．

1. 高階関数を理解し，プログラミングに利用できるようになる．
2. 型付きの強い言語を理解し，誤りの少ないプログラミングができるようになる．
3. 型推論について理解し，多相型とは何か，説明できるようになる．
4. パターンマッチングを用いた，単純なプログラミングができるようになる．
5. モジュールや，ファンクタを理解し，型による情報隠ぺいを表現できるようになる．

リンク先の [評価項目と科目の対応一覧]から確認できます（学部対象）。
履修登録の際に参照ください。
​You can check this from “Correspondence table between grading items and subjects” by following the link(for departments).
https://www.tus.ac.jp/fd/ict_tusrubric/​​​

なし．

-

-

配布資料を予習、授業後のノートを見て復習すること。
４時間程度を目安に，予習，復習を行うこと．

授業中の発言（20%），レポート（20%程度）および期末試験（60%程度）によって評価する．

・S：到達目標を十分に達成し、極めて優秀な成果を収めている
・A：到達目標を十分に達成している
・B：到達目標を達成している
・C：到達目標を最低限達成している
・D：到達目標を達成していない
・-：学修成果の評価を判断する要件を欠格している

・S：Achieved outcomes, excellent result
・A：Achieved outcomes, good result
・B：Achieved outcomes
・C：Minimally achieved outcomes
・D：Did not achieve outcomes
・-：Failed to meet even the minimal requirements for evaluation

Y

プログラミングの基礎，浅井 健一，サイエンス社
（授業は，この本に沿って実施しますが，必ずしも購入しなくても良い）

教科書および一部の参考書は、MyKiTS (教科書販売サイト) から検索・購入可能です。
​https://gomykits.kinokuniya.co.jp/tokyorika/​​​

It is possible to search for and purchase textbooks and certain reference materials at MyKiTS (online textbook store).
​​https://gomykits.kinokuniya.co.jp/tokyorika/

入門OCaml，OCaml-Nagoya著，毎日コミュニケーションズ．
プログラミング言語の基礎概念，五十嵐淳著，サイエンス社．

1.基本構造： MLの基本的な型・定数・関数を学ぶ。

2.変数： 変数と環境，値宣言，型変換を学ぶ。

3.組とリスト： 代表的な構造型の組とリストについて学ぶ。

4.関数の定義： MLプログラミングの基本である関数の定義法を学ぶ。

5.関数の再帰呼出し： 再帰性をもつ関数について学ぶ。

6.パターン： パターンに基づく関数定義，値宣言等を学ぶ。

7.局所的環境： let式やlocal式に基づく局所的宣言法を学ぶ。

8.多相型： 様々な型を許容する多相型の定義・使用法を学ぶ。

9.２分探索木： 複雑な構造の多相型の例として２分探索木を学ぶ。

10.高階関数： 引数または値が関数である高階関数について学ぶ。

11.モジュール： MLのモジュールであるストラクチャとシグニチャについて学ぶ。

12.情報隠蔽： シグニチャを用いた情報隠蔽を学ぶ。

13.例外： 例外定義と例外処理について学ぶ。

14.入出力： 入出力型と入出力関数について学ぶ。

15.到達度評価と解説： これまでの理解を試験によって評価する。

-

-

プログラミング言語OCaml

なし

Y

Y