SeminarFinished2018

研究室ゼミ（2018年度の記録） †

春ターム

• 2018年4月12日(木) 15:00 (8-07)

  安全講習とこれからのゼミの予定 (スキップ)
  

• 2018年4月19日(木) 14:45 (6-14)

  合同ゼミ：A Game-Semantic Model of Higher-Order Computation (Norihiro Yamada, Oxford)
  

• 2018年4月26日(木) 15:00 (8-07)

  On the Help of Bounded Shot Verifiers, Comparators and Standardisers for Learnability in Inductive Inference (トーマス)
  

• 2018年5月10日(木) 14:45 (6-14)

  合同ゼミ：Exact solutions to the Traveling Salesman Problem (William Cook, Waterloo)

• 2018年5月17日(木) 15:00 (8-07)

  コルモゴロフ複雑性とNIDの話 (トーマス)
  

• 2018年5月24日(木) 15:00 (8-07)

  Parallel vertex and facet enumeration with mplrs (スキップ)
  

• 2018年5月31日(木) 15:00 (8-07)

  Kraft's Inequality (許)、mtsとmptopcomの話 (スキップ)
  

夏ターム

• 2018年6月7日(木) 15:00 (8-07)

  (休み)
  

• 2018年8月30日(木) 15:00 (8-07)

  Proper Learning of k-term DNF Formulas from Satisfying Assignments (Rüdiger Reischuk, Lübeck)

秋ターム

• 2018年10月18日(木) 15:00 (8-07)

  Chor-Rivest Knapsack Cryptosystem (大庭)
  

• 2018年10月25日(木) 15:00 (8-07)

  前回の続き (大庭)
  

• 2018年11月1日(木) 15:00 (8-07)

  前回の続き (大庭)
  

• 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)

  (月曜授業日のためお休み)