Backup diff of Seminar vs current(No. 36)

The added line is THIS COLOR.
The deleted line is THIS COLOR.
*研究室ゼミ予定 [#u47ea720]

これは仮の予定です。都合により講演の割込みや日程変更をすることがあります。一部は有村研と合同で開催します。
これは仮の予定です。都合により講演の割込みや日程変更をすることがあります。一部は有村研・瀧川研と合同で開催します。

過去のリストはこちら
- [[SeminarFinished2017]]
- [[SeminarFinished2016]]
- [[SeminarFinished2015]]
- [[SeminarFinished2014]]
- [[SeminarFinished2013]]
- [[SeminarFinished2012]]
- [[SeminarFinished2011]]
- [[SeminarFinished2010]]
- [[SeminarFinished2009]]
- [[SeminarFinished2008]]

2012年度は原則として毎週木曜15:00から開催します。場所は原則8-07セミナ室です。
2018年度前期は原則として毎週木曜15:00（合同の場合は14:45〜）から開催します。場所は原則8-07セミナ室、合同の場合6-14室です。
//2017年度後期は原則として毎週木曜日14:45（合同の場合は15:00〜）から開催します。場所は原則8-07セミナ室、合同の場合6-14室です。
//2018年度前期のセミナについて決まりましたら更新します。

昨年度に引き続き、今年度も年間10回に渡って、TCS講究会と称する日を決めて、大学院生に論文紹介をしてもらいます。1人1回は必ず回るようにします。
TCS講究会と称する日を決めて、大学院生に論文紹介または自分の研究発表をしてもらいます。

- 2012年4月12日(木) 15:00　
> 年間予定のアナウンスと安全講習（湊）~
春ターム

- 2012年4月19日(木) 15:00　
> 合同ゼミ（湊）~
- 2018年4月12日(木) 15:00 (8-07)
> 安全講習とこれからのゼミの予定 (スキップ)  ~

- 2012年4月26日(木) 15:00　
> 研究室ゼミ（ツォイクマン）~
- 2018年4月19日(木) 14:45 (6-14)
> 合同ゼミ：A Game-Semantic Model of Higher-Order Computation (Norihiro Yamada, Oxford) ~

- 2012年5月10日(木) 15:00　
> TCS講究会（Ｍ１和佐　Ｍ１山田）~
- 2018年4月26日(木) 15:00 (8-07)
> On the Help of Bounded Shot Verifiers, Comparators and
Standardisers for Learnability in Inductive Inference (トーマス) ~

- 2012年5月17日(木)　
> （トーマス先生出張のためお休み）~
- 2018年5月10日(木) 14:45 (6-14)
> 合同ゼミ：Exact solutions to the Traveling Salesman Problem (William Cook, Waterloo)

- 2012年5月24日(木)　
> （ERATOセミナに振り替え）~
- 2018年5月17日(木) 15:00 (8-07)
> コルモゴロフ複雑性とNIDの話 (トーマス) ~

- 2012年5月31日(木) 16:30（時間変更あり）　
> TCS講究会（Ｄ１伝住？）~
- 2018年5月24日(木) 15:00 (8-07)
> Parallel vertex and facet enumeration with mplrs (スキップ) ~

- 2012年6月7日(木) 　
> （大学祭のためお休み）~
- 2018年5月31日(木) 15:00 (8-07)
> Kraft's Inequality (許)、mtsとmptopcomの話 (スキップ) ~

- 2012年6月14日(木) 15:00　
> TCS講究会（学生×２）~
夏ターム

- 2012年6月21日(木)　
> （COMP研に振り替え）~
- 2018年6月7日(木) 15:00 (8-07)
> (休み) ~

- 2012年6月28日(木) 15:00　
> TCS講究会（学生×２）~
- 2018年8月30日(木) 15:00 (8-07)
> Proper Learning of k-term DNF Formulas from Satisfying Assignments (Rüdiger Reischuk, Lübeck)

- 2012年7月5日(木) 15:00　
> 研究室ゼミ（未定）~
秋ターム

- 2012年7月12日(木) 15:00　
> TCS講究会（学生×２）~
- 2018年10月18日(木) 15:00 (8-07)
> Chor-Rivest Knapsack Cryptosystem (大庭) ~

- 2012年7月19日(木)　
> （IN研に振り替え）~
- 2018年10月25日(木) 15:00 (8-07)
> 前回の続き (大庭) ~

- 2012年7月26日(木) 16:30（時間変更あり）　
> TCS講究会（予備日：学生×１）~
- 2018年11月1日(木) 15:00 (8-07)
> 前回の続き (大庭) ~

- 2012年8月2日(木) 15:00　
> TCS講究会（予備日：学生×２）~
- 2018年11月8日(木) 15:00 (8-07)
> 量子コンピュータの基本 (宮岡) ~

- 2018年11月15日(木) 15:00 (8-07)
> 前回の続き (宮岡) ~

- 2018年11月22日(木) 15:00 (8-07)
> 前回の続き (宮岡) ~

冬ターム

- 2018年11月29日(木) 15:00 (8-07)
> Roots and discrete logarithms (トーマス) ~

- 2018年12月6日(木) 15:00 (8-07)
> 量子コンピュータの基本の続き (宮岡) ~

- 2018年12月13日(木) 15:00 (8-07)
> Groverアルゴリズム (宮岡) ~

- 2018年12月20日(木) 15:00 (8-07)
> Groverアルゴリズムの続き (宮岡) ~

- 2018年12月27日(木) 15:00 (8-07)
> (年末のためお休み) ~

- 2019年1月10日(木) 15:00 (8-07)
> (お休み) ~

- 2019年1月17日(木) 15:00 (8-07)
> (月曜授業日のためお休み) ~