情報科学部Faculty of Computer and Information Sciences
PRI310KA-CS-208(情報学基礎 / Principles of informatics 300)情報基礎学BFoundations of Computer Science B
川畑 史郎Shiro KAWABATA
授業コードなどClass code etc
学部・研究科Faculty/Graduate school | 情報科学部Faculty of Computer and Information Sciences |
添付ファイル名Attached documents | |
年度Year | 2024 |
授業コードClass code | J0522 |
旧授業コードPrevious Class code | |
旧科目名Previous Class title | |
開講時期Term | 春学期授業/Spring |
曜日・時限Day/Period | 月3/Mon.3 |
科目種別Class Type | |
キャンパスCampus | 小金井 / Koganei |
教室名称Classroom name | 各学部・研究科等の時間割等で確認 |
配当年次Grade | 3~4 |
単位数Credit(s) | 2 |
備考(履修条件等)Notes | |
他学部公開科目Open Program | |
他学部公開(履修条件等)Open Program (Notes) | |
グローバル・オープン科目Global Open Program | |
成績優秀者の他学部科目履修制度対象Interdepartmental class taking system for Academic Achievers | ○ |
成績優秀者の他学部科目履修(履修条件等)Interdepartmental class taking system for Academic Achievers (Notes) |
【(情報科学部所属以外の学生向け)「成績優秀者の他学部科目履修制度」の履修登録の流れ】 (1) 受講希望者 (受講検討中の者も含む) は、初回の授業までに「申請フォーム(https://forms.gle/ECvwxVe2NcxmrbTK9)」から履修したい科目を申請してください。 (2) 以下のURLと教育開発支援機構事務局の案内に従って、履修希望の申請を行ってください。 https://www.hoseikyoiku.jp/risyu/index.html (3) 履修取消については、ご自身の所属学部の履修取消期間内に必ず履修取消を行ってください。 【「成績優秀者の他学部科目履修制度」の履修年次】 「配当年次」欄と同じです。 |
実務経験のある教員による授業科目Class taught by instructors with practical experience | |
SDGsCPSDGs CP | |
アーバンデザインCPUrban Design CP | |
ダイバーシティCPDiversity CP | |
未来教室CPLearning for the Future CP | |
カーボンニュートラルCPCarbon Neutral CP | |
千代田コンソ単位互換提供(他大学向け)Chiyoda Campus Consortium | |
選択・必修Optional/Compulsory | |
カテゴリー(2022年度以降入学者)Category (2022~) |
専門教育科目 専門科目 コース専門科目 |
カテゴリー(2021年度以前入学者)Category (~2021) |
専門教育科目 専門科目 コース専門科目 |
カテゴリーCategory |
すべて開くShow all
すべて閉じるHide All
Outline (in English)
In this lecture, we study basics of computation and logic. The series of lectures covers computational complexity, propositional logic, functional programming, and logic programming with Prolog.
In addition, basics of quantum computing is introduced. Students will be expected to have completed the required assignments after each class meeting. Your study time will be more than four hours for a class.
Your overall grade in the class will be decided based on the following
Term-end examination: 80%、Short reports : 20%.
授業で使用する言語Default language used in class
日本語 / Japanese
授業の概要と目的(何を学ぶか)Outline and objectives
計算と論理の基礎を学ぶ。また、量子コンピュータの基礎についても学ぶ。
到達目標Goal
計算可能性、命題論理、関数型プログラミング、論理プログラミングなどの基本知識を習得する。また、量子コンピュータの基礎を習得する。
この授業を履修することで学部等のディプロマポリシーに示されたどの能力を習得することができるか(該当授業科目と学位授与方針に明示された学習成果との関連)Which item of the diploma policy will be obtained by taking this class?
情報科学部ディプロマポリシーのうち「DP2」と「DP4-1」に関連
授業で使用する言語Default language used in class
日本語 / Japanese
授業の進め方と方法Method(s)(学期の途中で変更になる場合には、別途提示します。 /If the Method(s) is changed, we will announce the details of any changes. )
計算と論理とはなにかを学ぶとともに、最先端の量子コンピュータの基礎について理解する。体系的な知識を具体例を挙げながら伝える。
アクティブラーニング(グループディスカッション、ディベート等)の実施Active learning in class (Group discussion, Debate.etc.)
なし / No
フィールドワーク(学外での実習等)の実施Fieldwork in class
なし / No
授業計画Schedule
授業形態/methods of teaching:対面/face to face
※各回の授業形態は予定です。教員の指示に従ってください。
第1回[対面/face to face]:この科目の目的と目標
講義の目指すもの、想定される受講者の興味・関心を明確にし、科目選択のための情報を提供する。
第2回[対面/face to face]:計算のモデルとチューリング機械
計算とチューリング機械の概念を知る。
第3回[対面/face to face]:計算可能性と計算量
計算可能性と計算量理論の基礎を知る。
第4回[対面/face to face]:命題論理
命題論理の基礎を学ぶ。
第5回[対面/face to face]:SAT
SAT(Satisfiability Problem、充足可能性問題)の基礎を学ぶ。
第6回[対面/face to face]:関数型プログラミング
関数型プログラミングの重要性と基礎を学ぶ。
第7回[対面/face to face]:ラムダ計算とLISP
ラムダ計算とLISPの基礎を学ぶ。
第8回[対面/face to face]:述語論理
述語論理の基礎を学ぶ。
第9回[対面/face to face]:論理プログラミング
論理プログラミングとPrologの基礎を学ぶ。
第10回[対面/face to face]:量子コンピュータのための物理と数学の基礎
量子コンピュータを理解するために必要な物理と数学の基礎について学ぶ。
第11回[対面/face to face]:量子チューリング機械と量子ビット
量子チューリング機械と量子ビットの基礎について学ぶ。
第12回[対面/face to face]:量子論理回路
量子論理回路の基礎について学ぶ。
第13回[対面/face to face]:量子アルゴリズム
量子アルゴリズムの基礎について学ぶ。
第14回[対面/face to face]:まとめ
期末試験で取り上げる題材を用いて,全トピックの復習を行う.
授業時間外の学習(準備学習・復習・宿題等)Work to be done outside of class (preparation, etc.)
本授業の準備・復習等の授業時間外学習は、各週につき4時間を標準とする。また、課題やレポートが出たものについては必ず〆切までに提出すること。
テキスト(教科書)Textbooks
オンライン教材を使用する。
参考書References
「情報の数理 計算論理入門」田中尚夫 著 裳華房 2018 (ISBN 978-4-7853-0637-3)
「計算モデル論入門」井田哲雄・ 浜名誠著 サイエンス社 2006 (ISBN 978-4-7819-1135-9)
「はじめてのLISP関数型プログラミング」五味弘著 技術評論社 2016 (ISBN 978-4774180359)
「量子計算」西野哲朗・岡本龍明・三原孝志著 近代科学社 2015 (ISBN 978-4764904866)
「量子アルゴリズム」中山茂著 技報堂出版 2014 (ISBN 978-4765533430)
成績評価の方法と基準Grading criteria
講義への貢献度,課題の出来20%、定期試験80%によって評価する。
学生の意見等からの気づきChanges following student comments
特になし。
学生が準備すべき機器他Equipment student needs to prepare
貸与 Note PC を使用する場合がある。