シラバス参照

講義概要/Course Information
2024/11/24 現在

科目基礎情報/General Information
授業科目名
/Course title (Japanese)
離散数理工学
英文授業科目名
/Course title (English)
Discrete Mathematical Engineering
科目番号
/Code
INS602c INS602d
開講年度
/Academic year
2021年度 開講年次
/Year offered
3
開講学期
/Semester(s) offered
後学期 開講コース・課程
/Faculty offering the course
情報理工学域
授業の方法
/Teaching method
講義 単位数
/Credits
2
科目区分
/Category
専門科目
開講類・専攻
/Cluster/Department
Ⅰ類
担当教員名
/Lecturer(s)
岡本 吉央
居室
/Office
西4-206
公開E-mail
/e-mail
okamotoy の後に @uec.ac.jp
授業関連Webページ
/Course website
http://dopal.cs.uec.ac.jp/okamotoy/lect/2021/dme/
更新日
/Last update
2021/03/05 15:52:42 更新状況
/Update status
公開中
/now open to public
講義情報/Course Description
主題および
達成目標(2,000文字以内)
/Themes and goals(up to 2,000 letters)
主題:数え上げ組合せ論,代数系,離散確率論を道具として,離散システムの設計と解析,離散アルゴリズムの設計と解析に関する方法論を学習する.
キャッチフレーズは「離散数学を使う」.

達成目標:以下の3項目をすべて達成することを目標とする
(1) 数え上げ組合せ論,代数系,離散確率論における用語を正しく使うことができる.
(2) 数え上げ組合せ論,代数系,離散確率論における典型的な論法を用いて,証明を行うことができる.
(3) 数え上げ組合せ論,代数系,離散確率論を用いて,離散システムや離散アルゴリズムの設計と解析ができる.
前もって履修
しておくべき科目(1,000文字以内)
/Prerequisites(up to 1,000 letters)
離散数学,プログラミング通論,線形代数学第一,アルゴリズム論第一,確率論
前もって履修しておくこ
とが望ましい科目(1,000文字以内)
/Recommended prerequisites and preparation(up to 1,000 letters)
線形代数学第二,アルゴリズム論第二,統計学,オペレーションズ・リサーチ基礎,グラフとネットワーク
教科書等(1,000文字以内)
/Course textbooks and materials(up to 1,000 letters)
教科書:指定しない.講義資料を毎回用意するので,講義webページより各自入手すること.

参考書:
J. マトウシェク,J. ネシェトリル (著),根上生也,中本敦浩 (訳),「離散数学への招待 (上・下)」,丸善出版,2002.
浅野孝夫,「情報数学」,コロナ社,2009.
小島定吉,「離散構造」,朝倉書店,2013.
イジィ・マトウシェク (徳重典英訳),「33の素敵な数学小景」,日本評論社,2014.
高崎金久,「線形代数と数え上げ」,日本評論社,2012.
玉木久夫,「情報科学のための確率入門」,サイエンス社,2002.
伏見正則,「確率と確率過程」,朝倉書店,2004.
授業内容と
その進め方(2,000文字以内)
/Course outline and weekly schedule(up to 2,000 letters)
第0回 ガイダンスと離散数学の復習
第1回 数え上げの基礎 (1):二項係数と二項定理
第2回 数え上げの基礎 (2):漸化式の立て方
第3回 数え上げの基礎 (3):漸化式の解き方 (基礎)
第4回 数え上げの基礎 (4):漸化式の解き方 (発展)
第5回 離散代数 (1):対称群と置換群
第6回 離散代数 (2):有限群
第7回  離散代数 (3):有限群の応用
第8回 離散確率論 (0):離散確率論の復習
第9回 離散確率論 (1):確率的離散システムの解析 (基礎)
第10回 離散確率論 (2):確率的離散システムの解析 (発展)
第11回 離散確率論 (3):乱択データ構造とアルゴリズム (基礎)
第12回 離散確率論 (4):乱択データ構造とアルゴリズム (発展)
第13回 離散確率論 (5):マルコフ連鎖 (基礎)
第14回 離散確率論 (6):マルコフ連鎖 (発展)
実務経験を活かした
授業内容
(実務経験内容も含む)
/Course content utilizing practical experience
授業時間外の学習
(予習・復習等)(1,000文字以内)
/Preparation and review outside class(up to 1,000 letters)
[予習] 後半「離散確率論」においては,講義『確率論』の内容を用いる.そのため,受講者はその部分の復習,あるいはそれに相当する学習を前もって行っておく必要がある.その内容を講義中に補足せよという要求には応えられない.

[復習] 演習問題を解き,レポートとして提出することを推奨する.(なお,レポートは成績評価に勘案されない.)
成績評価方法
および評価基準
(最低達成基準を含む)
(1,000文字以内)
/Evaluation and grading
(up to 1,000 letters)
評価方法:2回のレポート提出による.
評価基準:以下の到達レベルをもって合格の最低基準とする.
(1) 数え上げ組合せ論,代数系,離散確率論における用語を正しく使うことができる.
(2) 数え上げ組合せ論,代数系,離散確率論における典型的な論法を用いて,証明を行うことができる.
(3) 数え上げ組合せ論,代数系,離散確率論を用いて,離散システムや離散アルゴリズムの設計と解析ができる.
ただし,用語を暗記する必要はない.
オフィスアワー:
授業相談(1,000文字以内)
/Office hours(up to 1,000 letters)
アポイントメントによる.
学生へのメッセージ(1,000文字以内)
/Message for students(up to 1,000 letters)
この講義のテーマは「離散数学を使う」ということにある.
そのために,まず「数える」という人間生活において欠かすことができない行為を見直す.
いままでにも慣れ親しんできたその行為に関して,この講義を通してより深い視点を身につけてもらいたい.そして,「代数」と「確率」を離散数学の立場から学び,使えるようになってもらいたい.
その他
/Others
他類,他プログラムの学生も歓迎する.
キーワード
/Keywords
組合せ論,数え上げ,漸化式,母関数,置換,群,準同型,確率,期待値,マルコフの不等式,チェルノフ限界,乱択アルゴリズム,マルコフ連鎖,推移確率,定常分布,ランダムウォーク