＜概要/Course Content Summary＞
いまや社会・生活に欠かせないものとなってしまったコンピュータ。そのコンピュータには「できること」と「できないこと」がある。そして，その根拠には数学のもっとも本質的な部分が関わっているのだ。本講では，まず，われわれが日常用いているコンピュータの動作原理を探る。そして，そこに数学が具現化して機能しているさまを明らかにしたうえで，コンピュータの限界と可能性を考察したい。内容は「授業計画」を参照していただきたい。
講義ではパソコンを援用するのでMS-Excelの（ごくごく）基本的な使い方は身に付けておいてほしい。必要となる数学は講義中適宜説明するが，高校の数学Iの知識は仮定したい。
各項目の理解を確認するために数回の小レポートを課し，期末のレポートで総合的理解を問うことで成績を評価する。
＜到達目標/Goals,Aims＞
コンピュータとその限界についてのより深い知識を得ること，ならびに関連する数学的思考の体得。
＜授業計画/Schedule＞
（実施回/
Week）
|
（内容/
Contents）
|
（授業時間外の学習/
Assignments）
|
|
（実施回/ Week）
第1回
|
（内容/ Contents）
２進数
|
（授業時間外の学習/ Assignments）
演習問題の復習
|
|
（実施回/ Week）
第2回
|
（内容/ Contents）
論理と回路
|
（授業時間外の学習/ Assignments）
演習問題の復習
|
|
（実施回/ Week）
第3回
|
（内容/ Contents）
論理と足し算
|
（授業時間外の学習/ Assignments）
演習問題の復習
|
|
（実施回/ Week）
第4回
|
（内容/ Contents）
論理と加減乗除
|
（授業時間外の学習/ Assignments）
演習問題の復習
|
|
（実施回/ Week）
第5回
|
（内容/ Contents）
機械語
|
（授業時間外の学習/ Assignments）
演習問題の復習
|
|
（実施回/ Week）
第6回
|
（内容/ Contents）
コンピュータの動作
|
（授業時間外の学習/ Assignments）
演習問題の復習
|
|
（実施回/ Week）
第7回
|
（内容/ Contents）
アルゴリズム
|
（授業時間外の学習/ Assignments）
演習問題の復習
|
|
（実施回/ Week）
第8回
|
（内容/ Contents）
アルゴリズムの優劣
|
（授業時間外の学習/ Assignments）
演習問題の復習
|
|
（実施回/ Week）
第9回
|
（内容/ Contents）
再帰的アルゴリズム
|
（授業時間外の学習/ Assignments）
演習問題の復習
|
|
（実施回/ Week）
第10回
|
（内容/ Contents）
チューリング機械
|
（授業時間外の学習/ Assignments）
演習問題の復習
|
|
（実施回/ Week）
第11回
|
（内容/ Contents）
計算のモデル
|
（授業時間外の学習/ Assignments）
演習問題の復習
|
|
（実施回/ Week）
第12回
|
（内容/ Contents）
論理プログラム
|
（授業時間外の学習/ Assignments）
演習問題の復習
|
|
（実施回/ Week）
第13回
|
（内容/ Contents）
「証明」とは何か
|
（授業時間外の学習/ Assignments）
演習問題の復習
|
|
（実施回/ Week）
第14回
|
（内容/ Contents）
計算不可能な問題
|
（授業時間外の学習/ Assignments）
演習問題の復習
|
|
（実施回/ Week）
第15回
|
（内容/ Contents）
まとめ
|
（授業時間外の学習/ Assignments）
演習問題の復習
|
計画は授業の進行状況によって変更する可能性があります。
＜成績評価基準/Evaluation Criteria＞
|
小レポート
|
40%
|
各項目の理解度を確認
|
|
期末レポート試験
|
60%
|
総合的な理解度
|
|
特記事項
|
|
各項目の理解を確認するために数回ごとに小レポートを課し，期末のレポートで総合的理解を問うことで成績を評価する。
|
各回の理解度を平常点としてチェックし，レポートの点数に“利息”として積算する。
＜成績評価結果/Results of assessment＞
成績評価の見方について/Notes for assessment
| 登録者数 |
成績評価（%) |
評点
平均値 |
備考
|
| A |
B |
C |
D |
F |
他 |
| 10 |
40.0 |
20.0 |
0.0 |
10.0 |
30.0 |
0.0 |
2.3 |
|
＜テキスト/Textbook＞
＜参考文献/Reference Book＞
|
