シラバス参照

授業情報／Course information

科目名／Course: 理論計算機科学特論／Theoretical Computer Science
科目一覧へ戻る 2025/09/12 現在

授業基本情報
科目名（和文）
／Course		 理論計算機科学特論
科目名（英文）
／Course		 Theoretical Computer Science
時間割コード
／Registration Code		 81A15401
学部（研究科）
／Faculty		 情報系工学研究科 博士後期課程
学科（専攻）
／Department		 システム工学専攻
担当教員（○：代表教員）
／Principle Instructor （○） and Instructors		 ○但馬　康宏
オフィスアワー
／Office Hour		 但馬　康宏(水曜２限 2604室)
開講年度
／Year of the Course		 2025年度
開講期間
／Term		 後期
対象学生
／Eligible Students		 1年,2年,3年
単位数
／Credits		 2.0
授業概要情報
更新日
／Date of renewal		 2025/02/18
使用言語
／Language of Instruction		 日本語
オムニバス
／Omnibus		 該当なし
授業概略と目的
／Cource Description and Objectives		 プログラムの実行時間を理論的に解析する計算量理論や、現在の計算機モデルでどのような問題が解けるかを考察する分野は、理論計算機科学と呼ばれる。この授業では、計算言語学や機械学習の理論を中心に計算機の可能性を理論的に理解することを目的とする。受講者の興味に合わせて、最新の論文，解説書を輪読する。
履修に必要な知識?能力?キーワード
／Prerequisites and Keywords		 博士前期課程修了程度のプログラミングおよび情報科学に関する数学
履修上の注意
／Notes		 なし
教科書
／Textbook(s)		 なし
参考文献等
／References		 なし
自主学習ガイド
／Expected Study Guide outside Coursework/Self-Directed Learning Other Than Coursework		 関連する論文誌などを適宜紹介するので、読むとよい。
資格等に関する事項
／Attention Relating to Professional License		 なし
アクティブラーニングに関する事項
／Attention Relating to Active Learning		 なし
実務経験に関する事項
／Attention Relating to Operational Experiences		 なし
備考
／Notes		 なし
授業計画詳細情報
No. 単元（授業回数）
／Unit (Lesson Number)		 単元タイトルと概要
／Unit Title and Unit Description		 時間外学習
／Preparation and Review		 配付資料
／Handouts
1 1-5 [計算モデルと計算可能性]
チューリングマシンと計算可能性を理解する
2 6-10 [計算言語学]
自然言語処理の手法を理解する
3 11-15 [機械学習の原理]
機械学習アルゴリズムと評価手法の理解
授業評価詳細情報
到達目標及び観点／Learning Goal and Specific Behavioral Viewpoints
No. 到達目標
／Learning Goal		 知識?理解
／Knowledge & Undestanding		 技能?表現
／Skills & Expressions		 思考?判断
／Thoughts & Decisions		 伝達?コミュニケーション
／Communication		 協働
／Cooperative Attitude
1 チューリングマシンの理解(A) ○ ○ ○
2 計算言語学の理解(A) ○ ○ ○
3 機械学習と理論計算機科学とのかかわりの理解(A) ○ ○ ○
成績評価方法と基準／Evaluation of Achievement
※出席は2/3以上で評価対象となります。
No. 到達目標
／Learning Goal		 定期試験
／Exam.		 レポート課題
1 チューリングマシンの理解(A) ○
2 計算言語学の理解(A) ○
3 機械学習と理論計算機科学とのかかわりの理解(A) ○
評価割合（％）
／Allocation of Marks		 100

科目一覧へ戻る