概要
情報科学および自然言語処理の基礎となる離散数学を学ぶために、 M1 の人たちを対象に教科書の演習問題を中心とした離散数学の勉強会を行なっています。
- 研究室の他の勉強会とは異なり、授業『自然言語処理学特論』として必修単位が割り当てられている勉強会です。欠席すると授業を欠席した扱いになるので注意してください。
- 欠席する場合， TA 全員にメールを送信してください。
2015年度はゼミ、輪読形式で行います。
- 各節ごとに担当者を1名ずつ割り当てます。各節の担当者は、その節の内容に関して参加者から質問があった場合に答えられるように、勉強会の時間までにしっかり準備・予習してきてください。
- 担当者以外の参加者も、事前に予習して、少なくとも「どこが分からないかが分からない」ということがないようにしてきてください。
- 各節・各章に演習問題があります。演習問題の一部を割り当てますので、担当者全員で協力して解いてきてください。勉強会の時間に演習形式で発表してもらいます。開始前にあらかじめ板書しておくか、レジュメに解答をまとめておくか、プレゼン形式で発表するか、好きな形式で発表してもらって構いません。
- 欠席する場合，担当している演習問題は次の勉強会で発表してください。
使用する教科書は Essentials of Discrete Mathematics. David J. Hunter, 2010, Jones & Bartlett Learning.です。
日時
毎週月曜日9:20
TA
担当者・参加者ともに、分からないことがあれば勉強会の時間外でも構いませんので気軽に TA に質問してください。
- 濱口 拓男 (Takuo Hamaguchi) - A504
- 小林 雄太 (Yuta Kobayashi) - A506
- 重藤 優太郎 (Yutaro Shigeto) - A706
- 椿 真史 (Masashi Tsubaki) - A506
- 大内 啓樹 (Hiroki Ouchi) - A706
参加者
- PHI Van-Thuy - 1, 2期のみ
- 池田大志 (Taishi Ikeda)
- 岩元 文 (Aya Iwamoto)
- 榎本陽一 (Yoichi Enomoto)
- 田口雄哉 (Yuya Taguchi)
- 永井優城 (Yuki Nagai)
- 西本慎之介 (Shinnosuke Nishimoto)
- 村上和夫 (Kazuo Murakami)
- 吉川将司 (Masashi Yoshikawa)
- Alivanh Insisiengmay (Lupee)
- 須藤 広大 (Kodai Sudo)
- Muhaimin Hading (Emi) - 3, 4期のみ
- 劉 君 (Jun Liu) - 3, 4期のみ
出欠確認
- ◎: 出席して，演習問題も解いている
- ◯: 出席した (演習問題はなんらかの理由により解いていない)
- △: 欠席したが，別の日に演習問題を解いた (もしくは，割り当てられていなかった)
| Thuy | 池田 | 岩元 | 榎本 | 田口 | 永井 | 西本 | 村上 | 吉川 | Lupee | 須藤 | 備考 | |
| 04/20 | ◎ | ◎ | ◎ | △ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | 説明など |
| 04/27 | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | △ | ◎ | ◎ | ◎ | 1.1 |
| 05/11 | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | 1.2 |
| 05/18 | △ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | △ | ◎ | ◎ | ◎ | 1.3 |
| 05/25 | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | 1.4 |
| 06/08 | ◎ | ◎ | ◎ | △ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | 1.5 |
| 06/15 | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | △ | ◎ | ◎ | 2.1 |
| 06/22 | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | △ | ◎ | ◎ | ◎ | 2.2 |
| 06/29 | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | △ | ◎ | ◎ | ◎ | ◎ | 2.3 |
| 07/06 | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | 2.4 |
| 07/13 | △ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | 2.5 |
| 池田 | 岩元 | 榎本 | 田口 | 永井 | 西本 | 村上 | 吉川 | Lupee | 須藤 | Emi | 劉 | 備考 | |
| 10/05 | ◎ | ◎ | ◎ | ◎ | △ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | 2.6 |
| 10/19 | ◎ | ◎ | △ | ◎ | ◎ | ◎ | △ | ◎ | ◎ | △ | ◎ | ◎ | 3.1, 3.2 |
| 10/26 | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | 3.3, 3.4 |
| 11/02 | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | 3.5, 4.1 |
| 11/09 | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | 4.2, 4.3 |
| 11/16 | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | 4.4, 4.5 |
| 12/07 | ◎ | △ | △ | ◎ | ◎ | ◎ | △ | ◎ | ◎ | ◎ | ◎ | ◎ | 4.6, 5.1 |
| 12/14 | ◎ | △ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | 5.2, 5.3 | ||
| 1/18 | ◎ | ◎ | ◎ | △ | △ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | 5.4 (5.4.5 以外), 5.5 | |
| 1/25 | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | ◎ | 5.6, 6.1 |
担当
Chapter 1 Logical Thinking
- 1.1 Formal Logic (Thuy)
- Exercises: 1(Thuy), 6 (池田), 7(岩本), 10 (榎本), 11(田口), 12, 16, 17, 18, 22, 23
- 1.2 Propositional Logic (池田)
- Exercises: 6 (永井), 14 (西本), 23 (村上), 25 (吉川), 26 (Insisiengmay), 27(須藤)
- 1.3 Predicate Logic (岩元) - see the errata
- Exercises: 4 (池田), 7 (岩本), 10 (榎本), 17 (田口), 19 (Thuy)
- 1.4 Logic in Mathematics (榎本) - see the errata
- Exercises: 6 (西本), 8 (村上), 10 (吉川), 12 (Insisiengmay), 18 (須藤), 26(永井)
- 1.5 Methods of Proof (田口)
- Exercises: 6(岩本), 11(榎本), 14(田口), 17(Thuy), 24(池田)
Chapter 2 Relational Thinking
- 2.1 Graphs (永井)
- Exercises: 3 (村上),6 (村上), 8 (吉川), 11 (Lupee), 19 (須藤), 27 (永井), 29 (西本)
- 2.2 Sets (西本)
- Exercises: 1 (榎本), 2 (榎本), 5 (田口), 10 (Thuy), 23 (池田), 27 (岩本)
- 2.3 Functions (村上)
- Exercises: 6 (吉川), 17 (Lupee), 22 (須藤), 28 (永井), 30 (西本), 36 (村上)
- 2.4 Relations and Equivalences (吉川)
- Exercises: 3 (田口), 11 (Thuy), 27 (池田), 30 (岩本), 34 (榎本)
- 2.5 Partial Orderings (Insisiengmay)
- Exercises: 11 (Lupee), 13 (須藤), 15 (永井), 18 (西本), 22 (村上), 29 (吉川)
- 2.6 Graph Theory (須藤)
- Exercises: 4 (Thuy), 11(Thuy), 13 (池田), 17 (岩本), 18 (榎本), 28 , 30 (田口)
Chapter 3 Recursive Thinking
- 3.1 Recurrence Relations (池田)
- Exercises: 4(永井), 22(西本), 23(村上), 24(吉川), 27(Lupee)
- 3.2 Closed-Form Solutions and Induction (岩元)
- Exercises: 1(須藤), 3(Emi), 10(劉), 15(池田), 21(岩元)
- 3.3 Recursive Definitions (榎本)
- Exercises: 2(榎本), 11(田口), 20(永井), 21(西本), 22(村上)
- 3.4 Proof by Induction(田口)
- Exercises: 1(吉川), 5(Lupee), 8(須藤), 13(Emi), 22(劉), 24(池田)
- 3.5 Recursive Data Structures(永井)
- Exercises: 5(岩元), 7(榎本), 11(田口), 17(永井), 20(西本), 22(村上)
Chapter 4 Quantitative Thinking
- 4.1 Basic Counting Techniques(西本)
- Exercises: 2(吉川), 5(Lupee), 11(須藤), 16(Emi), 19(劉), 22(池田)
- 4.2 Selections and Arrangements - see the errata(村上)
- Exercises: 5(岩元), 8(榎本), 11(田口), 14(永井), 23(西本), 24(村上)
- 4.3 Counting with Functions(吉川)
- Exercises: 4(吉川), 6(Lupee), 14(須藤), 19(Emi), 25(劉), 30(池田)
- 4.4 Discrete Probability(Lupee)
- Exercises: 10(岩元), 13(榎本), 18(田口), 20(永井, 22(西本), 27(村上)
- 4.5 Counting Operations in Algorithms(須藤)
- Exercises: 演習 4(吉川), 9(Lupee), 15(須藤), 21(Emi), 22(劉)
- 4.6 Estimation(Emi)
- Exercises: 演習 1(池田), 4(岩元), 12(榎本), 19(田口), 20(永井), 22(西本), 25(村上), 27(吉川)
Chapter 5 Analytical Thinking
- 5.1 Algorithms(劉)
- Exercises: 7(Lupee), 10(須藤), 17(Emi), 21(劉) , 23(池田)
- 5.2 Three Common Types of Algorithms(西本)
- Exercises: 2(岩元), 3(榎本), 13(田口), 16(永井), 17(西本), 21(村上), 22(吉川)
- 5.3 Algorithm Complexity(岩元)
- Exercises: 3(Lupee), 4(須藤), 7(Emi), 12(劉), 15(池田), 20(岩元)
- 5.4 Bounds on Complexity (池田)
- Exercises: 4(榎本), 6(田口), 10(永井), 15(西本), 17(村上), 22(吉川)
- 5.5 Program Verification(榎本)
- Exercises: 4(Lupee), 5(須藤), 6(Emi), 11(劉), 16(池田), 18(岩元)
- 5.6 Loop Invariants(田口)
- Exercises: 3(榎本), 9(田口), 12(永井), 13(西本), 16(村上), 20(吉川)
Chapter 6 Thinking Through Applications
- 6.3 Structures of Languages（永井）
- Exercises: 2(Lupee), 3(須藤), 4(Emi), 6(劉), 7(池田), 8(岩元), 9(榎本), 10(田口), 11(永井), 12(西本), 13(村上), 14(吉川)