離散数学入門/2014

概要

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

• 研究室の他の勉強会とは異なり、授業『自然言語処理学特論』として必修単位が割り当てられている勉強会です。欠席すると授業を欠席した扱いになるので注意してください。
• 欠席する場合， TA/RA 全員にメールを送信してください。

2014年度はゼミ、輪読形式で行います。

• 各節ごとに担当者を1名ずつ割り当てます。各節の担当者は、その節の内容に関して参加者から質問があった場合に答えられるように、勉強会の時間までにしっかり準備・予習してきてください。
• 担当者以外の参加者も、事前に予習して、少なくとも「どこが分からないかが分からない」ということがないようにしてきてください。
• 各節・各章に演習問題があります。1週間前までに演習問題の一部を割り当てますので、担当者全員で協力して解いてきてください。勉強会の時間に演習形式で発表してもらいます。開始前にあらかじめ板書しておくか、レジュメに解答をまとめておくか、プレゼン形式で発表するか、好きな形式で発表してもらって構いません。
• 欠席する場合，担当している演習問題は次の勉強会で発表してください。

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

• Errata

日時

毎週月曜日9:20

TA/RA

担当者・参加者ともに、分からないことがあれば勉強会の時間外でも構いませんので気軽に TA/RA に質問してください。

• ai-a (A504)
• takuo-h (A504)
• yutaro-s (A706)
• (心優しいM2とDとスタッフの方々)

参加者

• 麻生 栄樹 (Eiki Asoh)
• 有山 祐平 (Yuhei Ariyama)
• 大西 真輝 (Masaki Ohnishi)
• 加藤 明彦 (Akihiko Kato)
• 駒井 雅之 (Masayuki Komai)
• 澤井 裕一郎 (Yuichiro Sawai)
• 松田 昇悟 (Shogo Matsuda)
• 三田 雅人 (Masato Mita)
• 村松 航平 (Kohei Muramatsu)
• 山田 祐実 (Yumi Yamada)
• 今井 優作 (Yusaku Imai)
• 梁 俊 (Jun Liang) - 1, 2期のみ
• PHI Van-Thuy - 3, 4期のみ

担当

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

• Chapter 1 Logical Thinking
  • 1.1 Formal Logic (ai-a, takuo-h, yutaro-s)
    • 演習 1, 6, 7, 10, 11, 12, 16, 17, 18, 22, 23 有山, 大西, 加藤, 澤井, 松田

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

• 1.2 Propositional Logic (三田)
  • 演習 6 (村松), 14 (山田), 23 (今井), 25 (梁), 26 (麻生)

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

• 1.3 Predicate Logic (有山)
  • 演習 19 (大西), 17 (加藤), 10 (駒井), 7 (澤井), 4 (松田)

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

• 1.4 Logic in Mathematics（村松）
  • 演習 18 (三田), 6 (山田), 8 (今井), 10 (梁), 12 (麻生)

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

• 1.5 Methods of Proof（大西）
  • 演習 6(有山)，11(加藤)，14(駒井)，17(澤井)，24(松田)

6月2日 (月) 9:20-10:50 試験期間につき休み

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

• Chapter 2 Relational Thinking
  • 2.1 Graphs（山田）
    • 演習 8(三田)，11(村松)，19(今井)，27(梁)，29(麻生)

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

• 2.2 Sets（加藤）
  • 演習 27(有山)，1, 2(大西)，5(駒井)，10(澤井)，23(松田)

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

• 2.3 Functions（今井）
  • 演習 36(三田)，30(村松)，22(山田)，17(梁)，6(麻生)

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

• 2.4 Relations and Equivalences（駒井）
  • 演習 30(有山)，34(大西)，3(加藤)，11(澤井)，27(松田)

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

• 2.5 Partial Orderings (澤井)
  • 演習 18(三田)，22(村松)，29(山田)，13(今井)，15(麻生)

7月14日 (月) 9:20-10:50 入試?

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

• 2.6 Graph Theory (梁)
  • 演習 11 (有山)，13 (大西)，17 (加藤)，18 (駒井)，4, 28 (松田)

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

• Chapter 3 Recursive Thinking
  • 3.1 Recurrence Relations (麻生)
    • 演習 4(三田)，22(村松)，23(山田)，24(今井)

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

• 3.2 Closed-Form Solutions and Induction (松田)
  • 演習 1(有山)，3(大西)，10(加藤)，15(駒井)，21(澤井)
• 3.3 Recursive Definitions (松田)
  • 演習 21(麻生)，22(三田)，2(村松)，11(山田)，20(今井)

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

• 3.4 Proof by Induction (澤井)
  • 演習 8(有山)，13(大西)，22(加藤)，24(駒井)，5(澤井)，1(松田)
• 3.5 Recursive Data Structures (加藤)
  • 演習 22(麻生)，7(三田)，11(村松)，5(山田)，17(今井)，20(PHI Van-Thuy)

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

• Chapter 4 Quantitative Thinking
  • 4.1 Basic Counting Techniques （澤井）
    • 演習 22(有山)，2(大西)，5(加藤)，11(駒井)，16(澤井)，19(松田)
  • 4.2 Selections and Arrangements
    • 演習 14(麻生)，23(三田)，24(村松)，5(山田)，8(今井)，11(PHI Van-Thuy)

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

• 4.3 Counting with Functions
  • 演習 4(有山)，30(大西)，25(加藤)，14(駒井)，19(澤井)，6(松田)
• 4.4 Discrete Probability
  • 演習 20(麻生)，27(三田)，22(村松)，10(山田)，13(今井)，18(PHI Van-Thuy)

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

• 4.5 Counting Operations in Algorithms
  • 演習 21(有山)，4(駒井)，9(澤井)，15(松田)
• 4.6 Estimation
  • 演習 20(麻生)，22(三田)，25(村松)，27(山田)，1(今井)，4(PHI Van-Thuy), 12(大西)，19(加藤)

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

• Chapter 5 Analytical Thinking
  • 5.1 Algorithms
    • 演習 17(有山)，21(大西)，23(加藤)，7(澤井)，10(松田)
  • 5.2 Three Common Types of Algorithms
    • 演習 3(麻生)，13(三田)，16(村松)，17(山田)，21(今井)，2(PHI Van-Thuy)， 22(駒井)

12月22日 (月) 9:20-12:30 (中止)

1月8日 (木) 19:00-

• 5.3 Algorithm Complexity
  • 演習 4(有山)，7(大西)，12(加藤)，15(駒井)，20(澤井)，3(松田)
• 5.4 Bounds on Complexity
  • 演習 4(麻生)，6(三田)，10(村松)，15(山田)，17(今井)，22(PHI Van-Thuy)

1月15日 (木) 19:00-

• 5.5 Program Verification
  • 演習 4(有山)，5(大西)，6(加藤)，11(駒井)，16(澤井)，18(松田)
• 5.6 Loop Invariants
  • 演習 20(麻生)，3(三田)，9(村松)，12(山田)，13(今井)，16(PHI Van-Thuy)

1月22日 (木) 19:00-

• Chapter 6 Thinking Through Applications
  • 6.3 Structures of Languages
    • 演習 14(有山)，13(大西)，12(加藤)，11(駒井)，10(澤井)，9(松田)， 8(麻生)，7(三田)，6(村松)，4(山田)，3(今井)，2(PHI Van-Thuy)