| 科目名 |
情報科学３ |
| 担当教員 |
吉田 真一 |
| 対象学年 |
1年 |
クラス |
学部：自然003 |
| 講義室 |
Ｋ−ＷＳ |
開講学期 |
２学期 |
| 曜日・時限 |
月４,木４ |
単位区分 |
選択 |
| 授業形態 |
一般講義 |
単位数 |
2 |
| 準備事項 |
|
| 備考 |
|
| 授業の詳細1 |
授業の目的
コンピュータリテラシー，応用コンピュータリテラシー，情報科学１，情報科
学２と，どのようにプログラムを記述するかという方法を学んできた.情報科
学３ではなぜ情報が処理できるかを学ぶ.今まで情報処理の「How」を学んで
きた皆さんに情報処理の理論である「Why」を学習してもらう.このためには，
まず，現在に至るまで情報処理技術を推進してきた原理の歴史を学び，現在の
情報処理技術が取り組んでいる方法や将来的な問題などを明らかにする.つま
り情報科学３は今後学んで行く高度な情報システム全体に対しての理論的入
門という役割を果たすものである. 具体的には，たとえプログラムが出来ても
コンピュータで回答を得るまでに何万年もかかる問題や，一見簡単に記述でき
そうであってもプログラム自体が存在しえない問題もあるということを示す.
このような問題は避けて通りたいし，避けられない場合は人工知能などの新し
い考え方に立脚して克服できないか工夫したい.講義の前半では計算機の仕組
みを学んだあとで，なぜ時間がかかるプログラムになるのかを体験的に覚えて
もらう. さらに，人工知能的アプローチについても学ぶ.
授業の進め方
基本的に，本授業は講義形式で行うが，計算機の概念等は講義を聞くのみでは
理解の難しい部分もあるので，これまでの情報科学2等で学んで来た Pascal
を用いて，計算の本質の理解できる問題や計算の困難な問題について，実際に
プログラムを作成することで，理解を深める．そのため，「やさしいコンピュー
タ科学」にもとづいて，Pascal によるプログラミング課題を出題し，レポー
ト提出を行う．
達成目標
本講義を受講することで，以下の項目の習得ができる．
(1) 計算機の仕組みの理解，計算機の構成と機械語・アセンブリ言語の
理解
(2) 高級言語とコンパイラの概容を理解
(3) 計算不能問題の理解
(4) 計算量と計算の困難さの理解
(5) 並列計算の仕組みの理解
(6) 人工知能と推論の仕組みの理解
|
| 授業の詳細2 |
授業計画
1-2. マシンアーキテクチャ 情報科学３の概要を説明した後，チュー
リングマシンやフォンノイマンの歴史的意義を復習する.その後で，8088マイ
クロプロセッサのサブセットで動作するマイクロプロセッサを解説し，コン
ピュータアーキテクチャを理解する.次に，8088サブセットコンピュータのア
センブラを理解し，アセンブラプログラミングを体験する.
3-4. コンパイラ Pascalをアセンブラに翻訳するに当たり，Pascal
の平叙文を生成する構文生成ルールとその使い方を学ぶ.また，構文生成ルー
ルに対応した意味論を定義し，Pascalの平叙文がアセンブラに翻訳されてゆく
過程を学ぶ.
5. 計算量と問題の困難さ 計算量の増加にはオーダという計算概念があ
ることを学ぶ.つぎに，いくつかのアルゴリズムがどのようなオーダになるの
かを理解する.演算量の概算が多項式で表せる問題を多項式時間アルゴリズム
と呼ぶことを学び，計算量がべき乗のオーダの場合には事実上計算不能である
ことを認識する.ＮＰ問題についても概念を理解する.
6. 計算不能 計算不能の準備として，背理法を復習し，実数の濃度が可
算無限以上の濃度になる対角線論法を理解する.プログラムの自動停止問題な
ど，プログラムの振る舞いを判定するプログラムはそもそもできないことを理
解する.
7. 中間試験 これまでの理解度を調べる試験を行う.
|
| 授業の詳細3 |
8. 並列プロセッサ 計算困難な問題も並列プロセッサでは解けるだろ
うか.並列プログラムではリソースの奪い合いが発生し，これを制御するため
セマフォを導入する必要があること，また，これにより通信プロセスに時間が
かかることを理解する.
9. 人工知能（ＡＩ） コンピュータは「理解」できるか，その理解は
人間並みかと言う問題に挑戦する.このため，今まで学んだような算術演算で
はなく，意味ネットワークというものを用いて全体を把握するということを学
ぶ.
10. 推論とゲームの理論 意味ネットワークを用いると推論が出来るこ
とを学ぶ.結局のところ探索問題に落ち着き，その応用としてゲームの理論を
学ぶ.具体的にはニムゲームを用いて，ゲームの戦略（勝てる方法）を理解す
る.
11-13. その他のプログラミング言語 Pascalとの違いに注意しつつ，実
用的なプログラムの作成に用いられているＣ言語，これまで学習してきた手続
き型言語とは異なるプログラミングパラダイムの言語である LISP や Prolog
について概観する．
14. 最終試験
15. 試験講評とまとめ
|
| 授業の詳細4 |
成績評価：
この授業では，演習・中間試験・最終試験の結果により総合的に評価する．
総合成績は，以下の到達度判定に用いられる．成績評価は到達度によって判定される．
F：到達度が総合的に見て60%に満たない者
C：到達度が総合的に見て60%以上70%未満の者
B：到達度が総合的に見て70%以上80%未満の者
A：到達度が総合的に見て80%以上90%未満の者
AA：到達度が総合的に見て90%以上の者
履修上の注意： レポート提出を課すので，1Q〜3Q までの各講義で，Pascal，
LaTeX，Tgif，UNIXの使用についてよく慣れておくこと．
備考：なし
履修前の受講が必要な科目：コンピュータリテラシー，情報科学1，情報科学2
テキスト：Alan W. Biermann著 「やさしいコンピュータ科学」 アスキー出版局，1993年
|
| 授業の詳細5 |
|
| 授業の詳細6 |
|
| 授業の詳細7 |
|
| 授業の詳細8 |
|
| 授業の詳細9 |
|
| 授業の詳細10 |
|