授業概要/Course
Description
|
|
|
計算およびアルゴリズムという概念が数学的にどのように捉えられてきたのかを講義する。記数法、代数記号に関する歴史的な話から始め、論理関数、チューリング機械、原始帰納的関数などの古典理論を解説する。さらにこれらを踏まえて、自然数論の形式化を試みる。
|
|
|
到達目標/Course
Objectives
|
|
|
計算やアルゴリズムの概念がどのように生まれてきたのかを理解できる。 計算やアルゴリズムに階層があることを理解し、応用できるようになる。 計算の理論がコンピュータの設計開発やプログラミングに有益であることが理解できる。
|
|
|
|
授業内容/Schedule
|
|
| |
|
実施回/Week
|
内容/Contents
|
|
|
第1回
|
序論、記数法・代数記法の歴史
|
|
|
第2回
|
計算機械の発展
|
|
|
第3回
|
計算機の数学モデル
|
|
|
第4回
|
論理関数
|
|
|
第5回
|
チューリング機械の定義
|
|
|
第6回
|
チューリング機械の実例
|
|
|
第7回
|
アルゴリズムの数学的基礎付け
|
|
|
第8回
|
原始帰納的関数、原始帰納的述語
|
|
|
第9回
|
算術化
|
|
|
第10回
|
帰納的関数、帰納的述語
|
|
|
第11回
|
原始帰納的でない帰納的関数の存在
|
|
|
第12回
|
まとめと展望
|
|
|
第13回
|
理解度の確認
|
|
|
|
|
授業計画コメント/Comments on the Schedule
|
|
|
|
|
授業方法/Teaching Method
|
|
|
|
|
使用言語/Language of Instruction
|
|
| |
|
日本語/Japanese
|
1
|
外国語/Foreign Language
|
|
日本語と外国語/Japanese and Foreign Languages
|
|
|
|
|
|
|
|
|
|
外国語の種類/Foreign Language Types
|
|
|
|
|
準備学習
(予習・復習)/Class preparation and review
|
|
|
毎回の授業においては、前回までの内容を理解しておくこと（１時間以上）。指示に従って、予習をしておくこと。
|
|
|
成績評価の
方法・基準/Evaluation
|
|
| |
|
評価項目/Criteria
|
評価配分(%)/Percentage
|
備考 / Remarks
|
|
|
学期末試験（第1学期）/First Term examination
|
80
%
|
|
|
|
|
|
|
学年末試験（第2学期）/Second Term examination
|
|
|
|
|
|
|
|
中間テスト/Mid-term examination
|
|
|
|
|
|
|
|
レポート/Reports
|
20
%
|
|
|
|
|
|
|
小テスト/Quizzes
|
|
|
|
|
|
|
|
授業での発表内容、授業への参加度、グループ作業の成果など/Presentation content in class, Participation level in class, Group Work, etc.
|
|
|
|
|
|
|
|
その他(備考欄を参照)/Other(see remarks column)
|
|
|
|
|
|
|
成績評価コメント
各目標についてどのような点が評価のポイントになるか、具体的に記入してください。/General Comments on the Evaluation Criteria:
|
|
|
|
|
|
計算、証明、プログラミング等を主題とするレポートを課す。
|
|
|
|
|
課題等（試験やレポート等）に対するフィードバック/Feedback on Exams or Assignments
|
|
|
レポートの講評を授業で行う。希望者には個人的にコメントする。
|
|
|
|
教科書/Textbook
|
|
|
|
|
教科書コメント/General Comments on the Textbooks
|
|
|
|
参考文献/Reference
Book
|
|
|
|
|
参考文献コメント/General Comments on the Reference Books
|
|
|
|
|
履修上の注意/A Note on Registration
|
|
|
|
その他/Other
Information
|
|
|
|
|
カリキュラムマップ/Curriculum map
|
|
|
ブラウザの「戻る」ボタンは使用しないでください/Please don't use the "Back" button on your browser.