JP EN

学部後期課程

過去（2023年度）の授業の情報です

学内のオンライン授業の情報漏洩防止のため，URLやアカウント、教室の記載は削除しております。
最終更新日：2024年4月22日

授業計画や教室は変更となる可能性があるため、必ずUTASで最新の情報を確認して下さい。
UTASにアクセスできない方は、担当教員または部局教務へお問い合わせ下さい。

関数・論理型プログラミング実験

ML言語およびProlog言語を通し，関数型／論理型プログラミング言語への理解を深め，
また関数型／論理型プログラミングの技能を取得する．

MIMA Search

時間割／共通科目コード

コース名

教員

学期

時限

0510031

FSC-IS3031E1

関数・論理型プログラミング実験

小林　直樹

S1 S2

火曜3限、火曜4限

マイリストに追加

マイリストから削除

講義使用言語

日本語

単位

1.5

実務経験のある教員による授業科目

他学部履修

不可

開講所属

理学部

授業計画

１．イントロダクションおよびML言語の基本的な構文２．（ML）多相型・ユーザ定義型３．（ML）モジュールシステム４．（ML）モナド５．（インタプリタ作成）簡単なインタプリタの作成６．（インタプリタ作成）高階関数のサポート７．（インタプリタ作成）単一化８．（インタプリタ作成）型推論９．（インタプリタ作成）パターンマッチング１０．（Prolog）簡単な使い方１１．（Prolog）手続的側面１２．（Prolog）論理的側面１３．まとめと最終課題の説明

授業の方法

講義と実験。

成績評価方法

出席とレポート

教科書

なし

参考書

実験の中で指示する

履修上の注意

毎回、提示された課題に取り組む等によって、前回の講義内容を確認した上で次回の講義に臨むこと。

戻る