*研究室ゼミ予定 [#u47ea720]

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

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

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

TCS講究会と称する日を決めて、大学院生に論文紹介または自分の研究発表をしてもらいます。

前期
春ターム

- 2013年4月4日(木) 
> 合同ゼミ:メンバー自己紹介&安全講習(湊)~
- 2018年4月12日(木) 15:00 (8-07)
> 安全講習とこれからのゼミの予定 (スキップ)  ~

- 2013年4月11日(木) 15:00 
> 研究室ゼミ:πDDを用いたパタン回避順列の列挙(井上)~
- 2018年4月19日(木) 14:45 (6-14)
> 合同ゼミ:A Game-Semantic Model of Higher-Order Computation (Norihiro Yamada, Oxford) ~

- 2013年4月18日(木) 15:00 
> 研究室ゼミ:大規模疎行列を扱うZDDの演算を高速化する飛び越しリンク構造(湊)~
- 2018年4月26日(木) 15:00 (8-07)
> On the Help of Bounded Shot Verifiers, Comparators and
Standardisers for Learnability in Inductive Inference (トーマス) ~

- 2013年4月25日(木) 15:00 
> 研究室ゼミ:ピサ大学出張報告(伝住)~
- 2018年5月10日(木) 14:45 (6-14)
> 合同ゼミ:Exact solutions to the Traveling Salesman Problem (William Cook, Waterloo)

- 2013年5月2日(木) 15:00 
> 研究室ゼミ:学会出張報告(トーマス)~
- 2018年5月17日(木) 15:00 (8-07)
> コルモゴロフ複雑性とNIDの話 (トーマス) ~

- 2013年5月9日(木)  
> (15:30~ Florian Horn氏 ERATOセミナ共催の可能性あり)
- 2018年5月24日(木) 15:00 (8-07)
> Parallel vertex and facet enumeration with mplrs (スキップ) ~

- 2013年5月16日(木) 
> (情報処理学会AL研究会の談話会に振り替え)~
- 2018年5月31日(木) 15:00 (8-07)
> Kraft's Inequality (許)、mtsとmptopcomの話 (スキップ) ~

- 2013年5月23日(木) 
> (教員出張のためお休み)~
夏ターム

- 2013年5月30日(木) 16:30(時間変更) 
> 研究室ゼミ:写像枝を用いた二分決定グラフの効率化(青木)~
- 2018年6月7日(木) 15:00 (8-07)
> (休み) ~

- 2013年6月6日(木)  
> (大学祭でお休み)~
- 2018年8月30日(木) 15:00 (8-07)
> Proper Learning of k-term DNF Formulas from Satisfying Assignments (Rüdiger Reischuk, Lübeck)

- 2013年6月13日(木) 15:00 
> (教員出張のためお休み)~
秋ターム

- 2013年6月20日(木) 15:00 
> (発表者準備不足のためお休み)~
- 2018年10月18日(木) 15:00 (8-07)
> Chor-Rivest Knapsack Cryptosystem (大庭) ~

- 2013年6月27日(木) 15:00 
> (ERATOセミナに振り替え)~
- 2018年10月25日(木) 15:00 (8-07)
> 前回の続き (大庭) ~

- 2013年7月4日(木) 15:00 
> 研究室ゼミ:研究進捗報告(細川)~
- 2018年11月1日(木) 15:00 (8-07)
> 前回の続き (大庭) ~

- 2013年7月11日(木) 16:30(時間変更)
> 研究室ゼミ:PP2013参加発表報告(井上)~
- 2018年11月8日(木) 15:00 (8-07)
> 量子コンピュータの基本 (宮岡) ~

- 2013年7月18日(木) 
> (電子情報通信学会IN研究会に振り替え)~
- 2018年11月15日(木) 15:00 (8-07)
> 前回の続き (宮岡) ~

- 2013年7月25日(木)  
> (CSPSAT2合同セミナに振り替え)~

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

- 2013年10月3日(木) 15:00(時間変更)
> 研究室ゼミ:Fast Computation of the Number of Paths in a Grid Graph (JCDCG^2 2013参加発表報告)(岩下)~
冬ターム

- 2013年10月10日(木) 15:00 
> 研究室ゼミ:PSC2013参加発表報告(伝住)~
- 2018年11月29日(木) 15:00 (8-07)
> Roots and discrete logarithms (トーマス) ~

- 2013年10月17日(木) 15:00 
> 研究室ゼミ:ALT/DS-2013参加報告(ツォイクマン)~
- 2018年12月6日(木) 15:00 (8-07)
> 量子コンピュータの基本の続き (宮岡) ~

- 2013年10月24日(木) 
> (ERATO連携講座集中講義に振り替え)~

- 2013年10月31日(木) 
> (ERATO連携講座集中講義に振り替え)~

- 2013年11月7日(木) 
> (ERATO連携講座集中講義に振り替え)~

- 2013年11月14日(木) 15:00 
> 研究室ゼミ:(トーマス)ultrametricに基づく計算量の話~

- 2013年11月21日(木) 15:00 
> 研究室ゼミ:(フィリップ)これまでの研究の紹介~

- 2013年11月28日(木) 
> (北大情報系若手シンポジウムに振り替え)~

- 2013年12月5日(木)  
> (Microsoft Research Asia Forum に振り替え)~

- 2013年12月12日(木) 15:00 
> (北大電子研シンポジウムのためお休み)~

- 2013年12月19日(木) 15:00 
> TCS講究会:(孫)これまでの研究の紹介~
       (ガン)軌跡データマイニングの研究発表~

- 2013年12月26日(木), 2014年1月2日(木)
> (年末年始でお休み)~

- 2014年1月9日(木)
> (発表者準備不足のためお休み)~

- 2014年1月16日(木)
> (発表者準備不足のためお休み)~

- 2014年1月23日(木) 15:00
> 研究室ゼミ:修士論文進捗報告6件(鮑、井上、二木、細川、村上、ムキンバ)~

- 2014年1月30日(木)
> (教員出張のためお休み)~

(参考)

- 2014年2月6日 17:00 
> 修士論文提出期限(主査・副査宛)~

- 2014年2月12日  
> CS専攻卒業論文発表会~

- 2014年2月13,14日  
> CS専攻修士論文発表会~


Front page   New List of pages Search Recent changes   Help   RSS of recent changes