情報システム解析講究２

科目名	情報システム解析講究２
旧カリキュラム名	コンピュータ科学講究２
教員名	齋藤　明
単位数	2	学年	3	開講区分	文理学部
科目群	情報科学科
学期	後期	履修区分	必修

授業テーマ	グラフ理論に関する論文講読
授業のねらい・到達目標	「情報システム解析講究１」に引き続き、教科書及び論文の輪読を通して発想と論理の力を養う。題材はグラフ理論から選ばれることが多くなる。受講者が４年次の卒業研究を進めるための基礎的な力をつけることを目標とする。
授業の方法	「情報システム解析講究１」と同じく、教科書及びプリントの輪読とプログラム実習を行う。また卒業研究の大まかなテーマに関する解説を行い、予備的な学習を進める。
履修条件	学科内規による。

授業計画
1	「大体わかりの数学」：着想を理論につなげるための論理的思考の大切さを認識する。
2	「証明するということ」：証明を構築する技術を学ぶ。
3	１回目のプログラム課題：辺の発生確率を与えてグラフをランダムに作成するプログラムを作成する。
4	グラフ理論（１）：グラフの定義を学ぶ。
5	グラフ理論（２）：次数列の概念や次数列の判定方法を学ぶ。
6	グラフ理論（３）：オイラーグラフの定義とその性質を学ぶ。
7	２回目のプログラム課題：１回目のプログラム課題で作成したグラフ上で、深さ優先探索を行うプログラムを作成する。
8	グラフ理論（４）：2-連結グラフとその性質を学ぶ。
9	グラフ理論（５）：木の定義とその性質を学ぶ。
10	グラフ理論（６）：木の数え上げの理論を学ぶ。またグラフの半径や直径、中心など、距離に関係する諸概念を学ぶ。
11	３回目のプログラム課題：１回目のプログラムで作成してグラフ上で、幅優先探索を行うプログラムを作成する。
12	グラフ理論（７）：平面的グラフの概念とオイラーの公式を学ぶ。
13	卒業研究に向けて（１）：情報システム解析研究１から始まる卒業研究に向けて、テーマと解読にあたる論文の紹介を行う。
14	卒業研究に向けて（２）：前回に引き続き、情報システム解析研究１から始まる卒業研究に向けて、テーマと解読にあたる論文の紹介を行う。
15	まとめ：これまでに学んだ内容のまとめを行う。また卒業研究の題材について議論する。

その他
教科書	根上生也、中本敦浩『基礎数学力トレーニング』日本評論社 2003年第1版
参考書	なし
成績評価の方法及び基準	平常点(50%)、レポート(50%)
オフィスアワー	毎週火曜日と水曜日の 12:10～13:00 をオフィスアワーとする。可能であれば電子メールにてアポイントを取ること。電子メールアドレスは授業初回に伝える。アポイントを取らずに来室することも可能だが、アポイントを取ってきた人がいる場合にはそちらを優先する。