知識情報処理実習

授業目的
手続き型言語とは異なるプログラミング手法を学ぶことで，プログラム言語に対する視野を広げ，論理的な考え方，アルゴリズムの作り方を身につける．
到達目標
単一化，リスト処理，再帰プログラミング，バックトラックと枝刈りについて理解し，これらを使ったPrologプログラムが記述できること．
授業計画
第1回
スタートアップウィーク		Prologとは？－プログラムの意味と基本的な動かし方，データベースと検索
【授業外学修】講義HPに資料を掲載しているので予習をしておいてください．また，教科書はできるだけ早く各自購入し授業に持参してください．
第2回
フレックスアワーズ		演習
【授業外学修】講義HP冒頭の連絡事項を見ること．
第3回
コアウィークス		再帰プログラム
第4回
フレックスアワーズ		演習
第5回
コアウィークス		リスト処理（1）
第6回
フレックスアワーズ		演習
第7回
コアウィークス		リスト処理（2）
第8回
フレックスアワーズ		演習
第9回
コアウィークス		リスト処理（3）
第10回
フレックスアワーズ		演習
第11回
コアウィークス		項の処理（1）
第12回
フレックスアワーズ		演習
第13回
コアウィークス		項の処理（2）
第14回
フレックスアワーズ		演習
第15回
コアウィークス		構造をもつ要素のリスト
第16回
フレックスアワーズ		演習
第17回
コアウィークス		全解探索と否定
第18回
フレックスアワーズ		演習
第19回
コアウィークス		理解度テスト
第20回
コアウィークス		再帰型と繰り返し型
第21回
コアウィークス		応用（1）
第22回
コアウィークス		応用（2）
第23回
授業・試験期間		理解度テスト（再）
【授業外学修】数理論理学の復習をすること．筆記用具を使ってプログラムの動作確認を行なうこと．各回の課題を解いて提出し，完答できない場合はどこがわからないかを明確に記述して提出してもよい．
＊＊こちらの内容は2026年4月1日を基準としたものです．最新のシラバス情報，詳細は大学提供のシラバス情報照会ページで確認してください＊＊