平成30年度　計算理論ゼミ（Foundations of Computing）

講演

• 平成31年2月28日（木）16:30～　石畠正和氏（NTT研究所）
• 平成30年9月19日（水）14:50～　イゴル・ポタポフ氏（英・リヴァプール大学）
• 平成30年7月5日（木）16:40～　フロリアン・シュタインベルク氏（仏国立情報学自動制馭研究所）
• 平成30年4月4日（水）15:30～　ディーター・シュプレーン氏（独・ジーゲン大学）

定例ゼミ

平成30年度後期

• 2月27日（水）12:00　1021室　リム・ドンヒョン氏（韓国科技院）「Representation theory of compact metric spaces and computational complexity of continuous data」
• 2月7日（木）15:00　1021室　フロリアン・シュタインベルク氏（仏INRIA）「Sequences, duality, complexity」
• 2月4日（月）12:30　1021室　奥村恭平氏（東京大学経済学研究科）「複数の巡査による線分警邏のゲーム理論的分析」
• 1月31日（木）～2月1日（金）は未解決問題ゼミがあります。
• 1月22日（火）12:00　1020室　神﨑「Rainbowにおけるmulti-stepについて」
• 11月20日（火）12:00　1020室　神﨑「Rainbowとハイパーパラメータの調整について」
• 11月6日（火）15:30　1021室　山田「circular arc coloring problem からの変換による、直線上でのdial a ride problemの問題クラス判別」
• 10月30日（火）12:00　1021室　神﨑「Rainbow: Combining Improvements in Deep Reinforcement Learning」（論文紹介）
• 10月23日（火）12:00　1021室　ティース「Second-order complexity and computability in linear time」

平成30年度前期

• 9月11日（火）12:00　1021室　濱本「On proving parameterized polynomial time computability of compositions of fundamental functions」（発表練習）
• 8月1日（水）13:00　1021室　神﨑「DQNの実装とその改善方法」
• 7月24日（火）12:00　1021室　山田「数直線上を巡回するバスの最短なルート探索の多項式時間での解法についての考察」
• 7月10日（火）12:00　1021室　ティース「Average-case complexity for Hamiltonian dynamical systems」
• 7月3日（火）12:00　1020室　豪雨のため中止
• 6月26日（火）12:00　1021室　濱本「基本関数の合成で表現される実関数の計算量とその応用としてのソリトン解の扱いについて」（修論中間発表練習）
• 6月12日（火）12:00　1021室　神﨑「強化学習を用いて行うAtari2600プラットフォームにおけるゲームのプレイ」（論文紹介）
• 5月29日（火）12:00　1021室　ティース「Parameterized polynomial-time computability of analytic ODE solving」
• 5月21日（月）13:00　1020室　山田「Search on a line with faulty robots」（論文紹介）
• 5月15日（火）12:00　1021室　濱本「Computability of solution operators of KdV equations」（論文紹介）