離散数学入門/2013

概要

情報科学および自然言語処理の基礎となる離散数学を学ぶために、 M1 の人たちを対象に教科書の演習問題を中心とした離散数学の勉強会を行なっています。

2013年度は M1学生 + TA/RA/スタッフ で行います。

• 研究室の他の勉強会とは異なり、授業『自然言語処理学特論』として必修単位が割り当てられている勉強会です。欠席すると授業を欠席した扱いになるので注意してください。
• ゼミ、輪読形式で行います。
• 各節ごとに担当者を1名ずつ割り当てます。各節の担当者は、その節の内容に関して参加者から質問があった場合に答えられるように、勉強会の時間までにしっかり準備・予習してきてください。
• 担当者以外の参加者も、事前に予習して、少なくとも「どこが分からないかが分からない」ということがないようにしてきてください。
• 各節・各章に演習問題があります。1週間前までに演習問題の一部を割り当てますので、担当者全員で協力して解いてきてください。勉強会の時間に演習形式で発表してもらいます。開始前にあらかじめ板書しておくか、レジュメに解答をまとめておくか、プレゼン形式で発表するか、好きな形式で発表してもらって構いません。
• 担当者・参加者ともに、分からないことがあれば勉強会の時間外でも構いませんので気軽に TA/RA に質問してください。

使用する教科書は Essentials of Discrete Mathematics. David J. Hunter, 2010, Jones & Bartlett Learning. です。

日時

毎週月曜日9:20

TA/RA

• ai-a (A504)
• shuhei-k (A706)
• (心優しいM2とDとスタッフの方々)

参加者

• 秋間 大輔 (Daisuke Akima)
• 大内 啓樹 (Hiroki Ohuchi)
• 大村 舞 (Mai Ohmura)
• 金丸 智史 (Satoshi Kanamaru)
• 俵 雄貴 (Yuki Tawara)
• 増田 優 (Yu Masuda)
• 三浦 未来 (Mirai Miura)
• 皆川 正浩 (Masahiro Minakawa)
• 山嵜 磨与 (Mayo Yamasaki)
• 高木 優 (Yu Takagi) (連携：計算神経科学研究室)
• 近藤 雅芳 (Masayoshi Kondo) (連携：コミュニケーション学研究室)
• 梁 俊 (Liang Jun)

担当

4月15日 (月) 9:20-10:50

4月22日 (月) 9:20-10:50

• Chapter 1 Logical Thinking
  • 1.1 Formal Logic (ai-a, shuhei-k)大内
    • 演習 1(大村)、6(金丸)、10(俵)、13(増田)、14(三浦)、16(皆川)

5月13日 (月) 9:20-10:50

• 1.2 Propositional Logic (山嵜)
  • 演習 (1人1問面白そうな問題を解いてくること) 高木，14(近藤)，15(秋間)，大内，大村，6(金丸)

5月20日 (月) 9:20-10:50

• 1.3 Predicate Logic (高木)
  • 演習 (1人1問面白そうな問題を解いてくること) 近藤，秋間(8)，大内(20)，大村(5)，金丸(16)，俵(17)

5月27日 (月) (試験期間につき休み)

6月3日 (月) 9:20-10:50

• 1.4 Logic in Mathematics (増田)
  • 演習 (1人1問面白そうな問題を解いてくること) 三浦，皆川，山嵜，高木，近藤，秋間

6月10日 (月) 9:20-10:50

• 1.5 Methods of Proof (秋間)
  • 演習 (1人1問面白そうな問題を解いてくること) 大内, 大村, 金丸, 俵, 増田, 三浦

6月17日 (月) 9:20-10:50

• Chapter 2 Relational Thinking
  • 2.1 Graphs (大内)
    • 演習 (1人1問面白そうな問題を解いてくること) 皆川, 山嵜, 高木, 近藤, 秋間, 大村

6月24日 (月) 9:20-10:50

• 2.2 Sets (金丸)
  • 演習 (1人1問面白そうな問題を解いてくること) 俵, 増田, 三浦, 皆川, 山嵜, 高木

7月1日 (月) 9:20-10:50

• 2.3 Functions (皆川)
  • 演習 (1人1問面白そうな問題を解いてくること) 秋間, 高木(大内さんの代理), 大村, 金丸, 俵, 増田

7月8日 (月) 9:20-10:50

• 2.4 Relations and Equivalences (三浦)
  • 演習 (1人1問面白そうな問題を解いてくること) 皆川, 山嵜, 高木, 近藤, 秋間, 大内

7月22日 (月) 9:20-10:50

• 2.5 Partial Orderings (俵)
  • 演習 (1人1問面白そうな問題を解いてくること) 大内, 大村, 金丸, 増田, 三浦, 皆川

7月29日 (月) 9:20-10:50

• 2.6 Graph Theory--2.6 (大村)
  • 演習 (1人1問面白そうな問題を解いてくること) 山嵜, 三浦（高木の代打）, 秋間, 大内, 金丸, 俵

10月7日 (月) 9:20-10:50

• Chapter 3 Recursive Thinking
  • 3.1 Recurrence Relations (近藤)
    • 演習 (山嵜, 持ちこし), (秋間, 持ちこし), (金丸, 持ちこし), 山嵜, 大内, 大村, 俵, 増田, 三浦

10月21日 (月) 9:20-12:30

• 3.2 Closed-Form Solutions and Induction (秋間)
  • 演習 近藤, 山嵜, 皆川, 高木, 大内, 増田
• 3.3 Recursive Definitions (大内)
  • 演習 近藤, 秋間, 金丸, 俵, 増田, 三浦

10月28日 (月) 9:20-12:30

• 3.4 Proof by Induction (大村)
  • 演習 皆川, 山嵜, 高木, 近藤, 梁, 秋間
• 3.5 Recursive Data Structures (金丸)
  • 演習 大内, 俵, 増田, 三浦, 皆川, 山嵜

11月11日 (月) 9:20-12:30

• Chapter 4 Quantitative Thinking
  • 4.1 Basic Counting Techniques (俵)
    • 演習 大村, 金丸, 高木, 近藤, 梁, 秋間
  • 4.2 Selections and Arrangements (増田)
    • 演習 大内, 大村, 金丸, 俵, 三浦, 皆川

11月18日 (月) 9:20-10:50

• 4.3 Counting with Functions (三浦)
  • 演習 山嵜, 高木, 近藤, 梁, 秋間, 大内

11月25日 (月) 9:20-10:50

• 4.4 Discrete Probability

12月2日 (月) 9:20-10:50

• 4.4 演習 大村, 金丸, 俵, 増田, 三浦, 山嵜

• 4.5 Counting Operations in Algorithms (皆川)
  • 演習 高木, 近藤, 梁, 秋間, 大内, 大村

12月9日 (月) 9:20-10:50 日程変更

都合により日程を変更します．代替スケジュールが決まり次第連絡します．

• 4.6 Estimation (山嵜)
  • 演習 金丸, 俵, 増田, 三浦, 皆川, 高木

12月16日 (月) 9:20-12:30

• Chapter 5 Analytical Thinking (高木)
  • 5.1 Algorithms
    • 演習 増田, 皆川, 山嵜, 近藤, 梁, 秋間

• 5.2 Three Common Types of Algorithms (近藤)
  • 演習 大内, 大村, 金丸, 俵, 増田, 三浦

1月20日 (月) 9:20-10:50

• 5.3 Algorithm Complexity (大内)
  • 演習 皆川, 山嵜, 高木, 近藤, 梁, 秋間

1月27日 (月) 9:20-10:50

• 5.4 Bounds on Complexity (増田)
  • 演習 大内, 大村, 俵, 増田, 金丸, 皆川

• (5.5 Program Verification は飛ばします)

• (5.6 Loop Invariants は飛ばします)

• Chapter 6 Thinking Through Applications

• (6.1 Patterns in DNA は飛ばします)

• (6.2 Social Networks は飛ばします)

2月10日 (月) 11:00-12:30

• 6.3 Structures of Languages (金丸)
  • 演習 三浦, 山嵜, 高木, 近藤, 梁, 秋間