検索したい科目/教員名/キーワードを入力し「検索開始」ボタンをクリックしてください。
※教員名では姓と名の間に1文字スペースを入れずに、検索してください。
令和元年度以前入学者 | 情報科学講究1 | ||||
---|---|---|---|---|---|
教員名 | 斎藤明 | ||||
単位数 | 2 | 学年 | 3 | 開講区分 | 文理学部 |
科目群 | 情報科学科 | ||||
学期 | 前期 | 履修区分 | 必修 |
授業の形態 | オンライン型の遠隔授業(15回) 会議システムを使用する。ただし、この授業で使用するシステムとその使い方については、第1回授業で詳述する。 |
---|---|
授業概要 | 離散数学とプログラミング |
授業のねらい・到達目標 | 教科書の輪読とプログラム実習を通して、4年次の卒業研究で必要となる力を養う。離散数学の各種の話題を通して、着想を得ること、及び得られた着想を論理の力を通して形にすることができるようになる。またプログラム実習を通して、高度なプログラミングの力を身につける。 この科目は文理学部(学士(理学))のディプロマポリシーDP6及びカリキュラムポリシーCP9に対応している。 |
授業の方法 | 配布プリントの各章を受講者に割り振り、輪読を行う。 また離散数学を題材とするプログラミング実習を行う。 |
履修条件 | 学科内規による。 |
授業計画 | |
---|---|
1 |
授業のイントロダクションを行う。授業の進め方や資料の読み進め方などを学ぶ。
【事前学習】講究配属説明会時に配付された資料を読んでおく。 (1時間) 【事後学習】配布プリント8~20ページを読み、例題の発展問題(マス目の全探索問題)を考える。 (3時間) |
2 |
授業のイントロダクションを行う。授業の進め方や資料の読み進め方などを学ぶ。
【事前学習】講究配属説明会時に配付された資料を読み、準備課題(3×3のマス目の全探索)を解く。 (2時間) 【事後学習】配布プリント20ページに書かれた問題(平面上のマス目の全探索)を3次元に拡張する。 (2時間) |
3 |
色を塗ることによる配置問題へのアプローチを学ぶ。
【事前学習】配布プリント21~32ページを読み、準備課題(5×5の不完全マス目の全探索)を解く。 (1時間) 【事後学習】穴が空いた配置への発展問題を考える。 (3時間) |
4 |
1対1対応を使った数え上げ問題へのアプローチを学ぶ。
【事前学習】配布プリント33~46ページを読み、内容を理解する。 (1時間) 【事後学習】トーナメントの個数に関する発展問題を解く。 (3時間) |
5 |
鳩の巣原理を学ぶ。
【事前学習】配布プリント47~62ページを読み、内容を理解する。 (1時間) 【事後学習】鳩の巣原理を使う問題を1つ以上自作する。 (3時間) |
6 |
平均を用いた最大値、最小値の評価法を学ぶ。
【事前学習】配布プリント63~76ページを読み、内容を理解する。 (1時間) 【事後学習】教科書の例題の発展問題(平均値による下界評価)を解く。 (3時間) |
7 |
各自が作った鳩の巣原理の問題の品評会を行う。
【事前学習】自作した問題とその解答を要領よく伝えるための準備をする。 (2時間) 【事後学習】品評会で得たコメントを吟味する。 (2時間) |
8 |
不等式の粗い評価の方法を学ぶ。
【事前学習】配布プリント67~90ページを読み、内容を理解する。 (1時間) 【事後学習】対数式の粗い評価に関する問題を解く。 (3時間) |
9 |
ハミルトン閉路問題を通して構造を理解する方法を学ぶ。
【事前学習】配布プリント91~106ページを読み、内容を理解する。 (1時間) 【事後学習】ハミルトン閉路をもたないグラフを無数に生成する方法を考える。 (3時間) |
10 |
例題を通して思考実験の方法を学ぶ。
【事前学習】配布プリント107~118ページを読み、内容を理解する。 (1時間) 【事後学習】配置問題に関する教科書の問題を発展させる。 (3時間) |
11 |
オーダーに基づく議論を学習する。
【事前学習】配布プリント119~134ページを読み、内容を理解する。 (1時間) 【事後学習】オーダーの違いが感覚的に分かる例をインターネットなどで探る。 (3時間) |
12 |
着想を証明やアルゴリズムに仕上げる手法を学ぶ。
【事前学習】配布プリント119~134ページを読み、内容を理解する。 (1時間) 【事後学習】 Oreの定理を元に、実際に証明を仕上げる。 (3時間) |
13 |
英語文献の読み方に関する概要を学ぶ。
【事前学習】第12回で配布した英語文献プリントの1~4ページを読む。 (1時間) 【事後学習】現実の問題がグラフを用いて解かれるような例を探す。 (3時間) |
14 |
グラフ理論に関する基本用語を英語で学ぶ。
【事前学習】英語文献プリントの5~9ページを読み、内容を理解する。 (2時間) 【事後学習】教科書にある同形判定問題を解く。 (2時間) |
15 |
部分グラフ、正則グラフの概念を英語で学ぶ。
【事前学習】英語文献プリントの9~16ページを読み、内容を理解する。 (2時間) 【事後学習】2部グラフに関する問題を解く。 (2時間) |
その他 | |
---|---|
教科書 | 教科書は使用しない。 |
参考書 | 使用しない |
成績評価の方法及び基準 | 授業参画度:ディスカッションを通して測られる事前準備状況と議論の深度、および発表の質で評価する。(100%) |
オフィスアワー | 毎週火曜日の 12:10~13:00 をオンライン上でのオフィスアワーとする。具体的な方法は BlackBoard にて指示する。可能であれば電子メールにてアポイントを取ること。アポイントを取らずに来室することも可能だが、アポイントを取ってきた人がいる場合には、そちらを優先する。 |