ENGLISH    |  

自然言語処理学研究室  

奈良先端科学技術大学院大学
松本裕治研究室

離散数学入門/2012

概要

計算機を使う上で最低限必要な数学的知識を身につけてもらうために、 M1 の人たちを対象に教科書の演習問題を中心とした離散数学の勉強会を行なっています。

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

  • ゼミ、輪読形式で行います。
  • 各節の担当者は、その節の内容に関して参加者から質問があった場合に答えられるように、勉強会の時間までにしっかり準備・予習してきてください。
  • 担当者以外の参加者も、事前に予習して、少なくとも「どこが分からないかが分からない」ということがないようにしてきてください。
  • 各節・各章に演習問題があります。1週間前までに演習問題の一部を割り当てますので、参加者全員で協力して解いてきてください。勉強会の時間に演習形式で発表してもらいます。
  • 担当者・参加者ともに、分からないことがあれば勉強会の時間外でも構いませんので気軽に TA/RA に質問してください。

今年度から新しい教科書を採用しますので、参加者の皆さんは以下の2冊の教科書候補のどちらかを選んでアカウント名を書き込んでおいてください。教科書の見本はA706の入り口においてあります。

本年度に使用する教科書は A Course in Discrete Mathematical Structures. L. R. Vermani and Shalini Vermani, 2011, Imperial College Press. です。教科書の見本はA706の入り口においてあります。

↑

教科書候補（投票は終了しました）

去年までは以下の教科書を使用していました。

コンピュータのための離散数学入門. C. L. Liu 著, 成嶋 弘/秋山 仁 共訳, 1995, オーム社.

(原書: C. L. Liu. Elements of Discrete Mathematics, 2nd ed. McGraw-Hill, New York, NY, USA. 1985.)

↑

日時

  • 1期: 毎週金曜日9:20-10:50 (ただし1期のみの暫定)
  • 2期: 毎週金曜日9:20-12:30 (ただし2期のみの暫定)
  • 3期: 毎週金曜日13:30-
  • 4期: 毎週木曜日9:20-
↑

TA/RA

  • ai-a
  • shuhei-k (TA 見習い)
  • (心優しいM2とDとスタッフの方々)
↑

参加者

  • 光瀬 智哉 (Tomoya Kose: tomoya-kos)
  • 小林 和也 (Kazuya Kobayashi: kazuya-ko)
  • 重藤 優太郎 (Yutaro Shigeto: yutaro-s)
  • 白井 尊昭 (Takaaki Shirai: takaaki-s)
  • 西村 駿人 (Hayato Nishimura: hayato-n)
  • 久本 空海 (Sorami Hisamoto: sorami-h)
  • 三澤 賢祐 (Kensuke Mitsuzawa: kensuke-mi)
  • 吉本 暁文 (Akifumi Yoshimoto: akifumi-y)
  • 吉本 一平 (Ippei Yoshimoto: ippei-y)
  • Frances Yung (pikyufrances-y) - 文科省国費留学生
  • 和良品 友大 (Tomohiro Warashina: tomohiro-w) (連携：コミュニケーション学研究室) 
  • 小西 毅幸 (Takeyuki Konishi: takeyuki-k)
  • Budi Irmawati (budi-i) - インドネシア政府派遣留学生(3期-)
  • 呉 暁一 (WU Xiaoyi: xiaoyi-w) - 文科省国費留学生(3期-)
↑

担当(ログ)

  • 5月11日 (金) 9:20-10:50
    • Chapter 1 Sets (Exercise はすべて飛ばしてください．各章の本文を読み終わった後で演習形式で行います．)
      • 1.1 Preliminaries (tomoya-kos)
      • 1.2 Algebra of Sets (kazuya-ko)
  • 5月18日 (金) 9:20-10:50
    • Chapter 1 Sets (contd.)
      • 1.3 Venn Diagrams, 1.4 Power Set (yutaro-s)
      • 1.5 Countable Sets (takaaki-s, hayato-n)
      • 1.6 Some Special Maps (Functions) (sorami-h)
  • 5月25日 (金) 9:20-10:50
    • Chapter 1 Sets (contd.)
  • 6月8日 (金) 9:20-12:30
    • Chapter 1 Sets (contd.)
  • 6月15日 (金) 9:20-12:30 Chapter 1 Sets
    • Chapter 1 Sets (contd.)
      • 1.7 Partitions of Sets (kensuke-mi)
      • 1.8 The Minset and Maxset Normal Forms (akifumi-y)
  • 6月22日 (金) 9:20-12:30 Chapter 1 Sets
    • Chapter 1 Sets (contd.)
      • 1.8 The Minset and Maxset Normal Forms (contd.) (akifumi-y, ippei-y)
      • 1.9 Multisets (pikyufrances-y)
    • Chapter 1 Exercises
      • 1.1 (kazuya-ko)
      • 1.7.1 (ippei-y)
      • 1.8.19 (yutaro-s)
      • 1.8.22 (takeyuki-k)
      • 1.8.4 (tomohiro-w)
  • 6月29日 (金) 9:20-12:30
    • Chapter 1 Exercises
      • 1.2 (yutaro-s)
      • 1.8.10 (kazuya-ko)
      • 1.4, 1.8.33, 1.8.26 (sorami-h)
      • 1.3, 1.8.29 (takaaki-s)
      • 1.8.7 (tomohiro-w)
      • 1.7.2 (ippei-y)
    • Chapter 2 Propositional Calculus and Logic (Exercise はすべて飛ばしてください．各章の本文を読み終わった後で演習形式で行います．)
      • 2.1 Propositions, 2.2 Compositions of Propositions (tomohiro-w)
      • 2.3 Truth Tables and Applications, 2.4 Some Further Applications of Logic, 2.5 Functionally Complete Set of Connectives, 2.6 The Connectives NAND and NOR (takeyuki-k, tomoya-kos, kazuya-ko)
  • 7月6日 (金) 9:20-12:30
    • Chapter 2 Propositional Calculus and Logic (contd.)
      • 2.1 Propositions, 2.2 Compositions of Propositions (tomohiro-w)
      • 2.3 Truth Tables and Applications, 2.4 Some Further Applications of Logic (takeyuki-k, tomoya-kos)
  • 7月11日 (水) 13:30-(試合終了まで放送時間を延長してお送りいたします) 【 夏休み直前！ 離散数学祭り！】
    • Chapter 2 Propositional Calculus and Logic (contd.)
      • 2.4 Some Further Applications of Logic, 2.5 Functionally Complete Set of Connectives, 2.6 The Connectives NAND and NOR (tomoya-kos, kazuya-ko)
    • Chapter 2 Exercises (1人1問以上を Chapter 2 の Exercises から選んで演習形式で板書すること)
      • 2.6.1. 1 (yutaro-s)
      • 2.6.1. 5 (sorami-h)
      • 2.6.1. 8, 9 (ippei-y)
      • 2.6.1. 12, 13 (tomoya-kos)
      • 2.6.1. 16 (takaaki-s)
      • 2.6.1. 17 (kazuya-ko)
      • 2.6.1. 18 (tomohiro-w)
  • 7月12日 (木) 13:30-(試合終了まで放送時間を延長してお送りいたします) 【 夏休み直前！ 離散数学祭り再び！】
    • Chapter 3 More on Sets
      • 3.1 The Principle of Inclusion and Exclusion (yutaro-s, akifumi-y)
      • 3.2 The Pigeonhole Principle (takaaki-s, tomohiro-w)
      • 3.3 Binary Relations (sorami-h, kensuke-mi)
  • 7月13日 (金) 9:20-12:30
    • Chapter 3 More on Sets
      • 3.3 Binary Relations (sorami-h, kensuke-mi)
  • 7月20日 (金) 9:20-12:30
    • Chapter 3 More on Sets
      • 3.3 Binary Relations (sorami-h, kensuke-mi)
    • Chapter 3 Exercises (1人1問以上を Chapter 3 の Exercises から選んで演習形式で板書すること)
      • 3.1. 2 (kazuya-ko)
      • 3.1.3, 3.1.4 (hayato-n)
      • 3.1.6 (sorami-h)
      • 3.1. 8 (yutaro-s)
      • 3.2. 5 (tomoya-kos)
      • 3.2.7 (takaaki-s)
      • 3.4, 3.5. 8, 3.5. 11 (tomohiro-w)
      • 3.5.6, 3.5.7 (ippei-y)
      • 3.5.10 (pikyufrances-y)
      • 3.5.11 (kensuke-mi)
  • 10月5日 (金) 13:30-17:00
    • Chapter 4 Some Counting Techniques
      • 4.1 The Principle of Mathematical Induction (ippei-y)
      • 4.2 Strong Induction (pikyufrances-y, tomohiro-w)
  • 10月12日 (金) 13:30-16:00
    • Chapter 4 Some Counting Techniques
      • 4.3 Arithmetic, Geometric and Arithmetic-Geometric Series (takeyuki-k, tomoya-kos)
  • 10月19日 (金) 13:30-17:00
    • Chapter 4 Some Counting Techniques
      • 4.3 Arithmetic, Geometric and Arithmetic-Geometric Series (tomoya-kos)
      • 4.4 Permutations and Combinations
      • 4.4.1 Rules of product and sum, 4.4.2 Permutations (kazuya-ko)
      • 4.4.3 The arrangements of objects that are not all distinct, 4.4.4 Combinations (yutaro-s)
  • 11月2日（金）13:30-17:00
    • Chapter 4 Some Counting Techniques
      • 4.4.5 Generation of permutations and combinations (takaaki-s)
    • Chapter 4 Exercise
      • 4.1.5 (hayato-n)
      • 4.1.28 (sorami-h)
      • 4.2.14 (tomoya-kos)
      • 4.4.4, 4.4.5 (kensuke-mi)
      • 4.4.9 (takaaki-s)
      • 4.4.11,23,25 (pikyufrances-y)
      • 4.4.12, 15 (kazuya-ko)
      • 4.4.19, 20 (yutaro-s)
      • 4.1.15 (ippei-y)
      • 4.1.14 (tomohiro-w)
  • (Chapter 5 Recurrence Relations は飛ばします．時間があれば後でやります．)
  • 11月16日（金）13:30-17:00
    • Chapter 6 Partially Ordered Sets
      • 6.1 Preliminaries, 6.2 Hasse Diagrams (hayato-n)
      • 6.3 Chains and Antichains in Posets (kensuke-mi)
  • 11月30日（金）13:30-17:00
    • Chapter 6 Partially Ordered Sets
      • 6.3 Chains and Antichains in Posets (sorami-h, kensuke-mi)
  • 12月14日（金）
    • Chapter 7 Graphs
      • 7.1 Preliminaries and Graph Terminology (takeyuki-k)
  • 12月20日（木） 15:30-18:00
    • Chapter 6 Exercise
      • 6.1.2 ippei-y
      • 6.2.7 yutaro-s
      • 6.2.8 takaaki-s
      • 6.2.10. sorami-h
      • 6.2.11. kazuya-ko
  • Chapter 7 Graphs
    • 7.1 Preliminaries and Graph Terminology (budi-i)
  • 1月17日（木） 9:20-12:30
    • 7.2 Paths and Circuits (xiaoyi-w)
    • 7.3 Shortest Path in Weighted Graphs (kazuya-ko)
    • 7.4 Eulerian Path and Circuits (yutaro-s)
  • 1月24日（木） 9:20-12:30
    • 7.4 Eulerian Path and Circuits (yutaro-s, takaaki-s)
    • 7.5 Hamiltonian Paths and Circuits (sorami-h)
    • 7.6 Planar Graphs (kensuke-mi)
  • 1月31日（木） 9:20-12:00
    • 7.6 Planar Graphs (kensuke-mi)
    • 7.7 Matrix Representations of Graphs (ippei-y, pikyufrances-y)
  • 2月7日（木） 9:20-12:00
    • Chapter 7 Exercise
      • 7.7, 23. Kazuya-ko
      • 7.7.40, 49 yutaro-s
      • 7.7.42 takaaki-s
  • 2月26日（火）
    • Chapter 8
      • 8.1 kazuya-ko
      • 8.2 sorami-h
      • 8.3 Don't skip Examples 8.14 and 8.18
      • 8.4.1 pikyufrances-y
      • 8.4.2-3
      • 8.5 p.406のWe next~の前の行まで ~ the line just before "We next ~" in p.406
      • 8.5 p.406のWe next~以降 After the line "We next ~" in p.406 tomohiro-w
      • 8.6 yutaro-s