知識情報処理実習

***** プログラム例，演習の特徴などを知りたい人はこちらへ *****

レポートの提出期限は7/21(水)9:00amでしたが、現在 r10, r11 で修正要求をもらっている課題 *のみ* 7/28（水）9:00amまで修正したものを提出可能とします。それ以外は提出できません。 r12 は採点のみ行います。(2021/07/21)

7月21日(水)は試験です。理解度テスト(再)案内 (2021/07/21)

理解度テスト合格者 (2021/06/30)

オプション課題提出用 x を設けました．希望者は課題の番号をプログラム冒頭に書いて提出してください．(2021/06/30)

r7_4 と c1_2 の解答例を比較してください． r7_4 ではプログラム(1)(2)とも正しく動きますが，c1_2 ではプログラム(2)は正しく動きません．理由を考えてください．(2021/06/29)

理解度テストの解説． r7_4 と c1_2 の解答例を比較してください． r7_4 ではプログラム(1)(2)とも正しく動きますが，c1_2 ではプログラム(2)は正しく動きません．理由を考えてください．(2021/06/29)

6月16日(水)から対面講義（座敷指定）に戻します。大学から許可をもらっている人のみオンライン受講可能です。発熱や体調不良の場合は無理をせず連絡してください。(2021/06/09)

6月23日(水)は試験です。理解度テスト案内 (2021/06/09)

デバッグ用トレーサーについては 2021年度講義ガイドに記載しています。(2021/06/02)

プログラムの論理的意味の書き方 (2021/05/14)

4月28日(水)の授業は同時双方向通信とのハイブリッド形式とします。
　- 教室（座席指定）にて対面での受講も可能です。
　- オンラインで受講する人はメールで知らせたURLにアクセスしてください。(2021/04/27)

4月21日(水)は対面授業を行います。部屋はマルラボ１，マルラボ２中継とし、座席指定です。マルラボ１座席表、マルラボ２座席表　(2021/04/20)

4月14日(水)は休講です。 5月8日(土)9:00-10:40 対面で補講を行います。(2021/04/14)

レポート投稿システム

講義目的
手続き型言語とは異なる論理プログラミングを学ぶことで，プログラム言語に対する視野を広げ，論理的な考え方，アルゴリズムの作り方を身につける．
到達目標
単一化，リスト処理，再帰プログラミング，バックトラックと枝刈りについて十分理解し，これらを使った Prolog プログラムが記述できること．
各回ごとの授業内容
1. はじめに 4/14 -- 2021年度講義ガイド, Prolog とは？ , データベースと検索:課題と説明 , Prolog の実行過程 , r1練習問題の補足説明， r1練習問題解答例
2. 再帰プログラム 4/28 -- 課題と説明， sum の実行過程の補足， r2練習問題解答例
3. リスト処理(1) 5/8 -- 課題と説明，基本述語の実行過程， r3練習問題解答例
4. リスト処理(2) 5/12 - 課題と説明， r4練習問題解答例
5. リスト処理(3) 5/19 - 課題と説明， r5練習問題解答例
6. 項の処理(1) 5/26 課題と説明， r6練習問題解答例
7. 項の処理(2) 6/2 課題と説明， r7練習問題解答例
8. データベース操作 6/9 課題と説明， r8練習問題解答例
9. 全解収集と枝刈り 6/16 課題と説明， r9練習問題解答例
10. 理解度テスト　6/23 問題，解答例
11. 再帰型と繰り返し型 6/30 課題と説明， r10練習問題解答例
12. AIプログラミング(1) 7/7 課題と説明， r11練習問題解答例
13. AIプログラミング(2) 7/14 課題と説明， r12練習問題解答例
14. 理解度テスト（再） 7/21
教科書( 早めに各自入手すること．)

授業方法(予定)

参考書

「知識処理論」萩野達也著，産業図書，1996年．
「PROLOG入門」後藤滋樹著，サイエンス社，1984年．
「Prologの技芸」 L.Sterling and E.Shapiro著, 松田利夫訳，共立出版，1988年．
「AIプログラミング」I.Bratko 著，安部憲広訳，近代科学社，1996年．
「論理による問題の解法 - Prolog入門 -」 R.Kowalski 著，浦昭二監修，山田眞一他訳，培風館，1987年．

成績評価方法・基準 (予定)
授業中に実施する理解度テストに合格することを本科目の合格の必要条件とする．評価は理解度テストおよび期末テスト50%, 演習問題レポート50%に加え，遅刻欠席による減点をする．
学生による授業評価の方法

準備学習等についての具体的な指示および他の科目との関連

履修にあたっての注意

知識情報処理を履修することなく本演習を履修するためには担当教員の許可が必要であり，許可のない者は本演習の履修を認めない．また，就活等による欠席の特別扱いはしない． 高橋研で領域実習・卒業研究をする者は本実習を履修することを推奨する．

Last Updated on July 21, 2021.
Kazuko TAKAHASHI