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

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

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

2018年度前期は原則として毎週木曜15:00(合同の場合は14:45〜)から開催します。場所は原則8-07セミナ室、合同の場合6-14室です。
//2018年度前期は原則として毎週木曜15:00(合同の場合は14:45〜)から開催します。場所は原則8-07セミナ室、合同の場合6-14室です。
//2017年度後期は原則として毎週木曜日14:45(合同の場合は15:00〜)から開催します。場所は原則8-07セミナ室、合同の場合6-14室です。
//2018年度前期のセミナについて決まりましたら更新します。
2020年度前期のセミナーについて決まりましたら更新します。今年度のセミナーの予定は例年より不安定のため、外部のオンラインセミナー等と関連する無料リンクを書いておきます。新型コロナウィルスのため、オンラインで実施される国際会議等が例年より聴講しやすいので興味のある人は参考にしてください。追加リンクや更新も歓迎です。

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

春ターム

- 2018年4月12日(木) 15:00 (8-07)
> 安全講習とこれからのゼミの予定 (スキップ)  ~
//- 2019年4月11日(木) 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)
- 2020年7月30日(木) 15:00 (オンライン開催)
> 最近の話題等(Bartek) ~

- 2018年5月17日(木) 15:00 (8-07)
> コルモゴロフ複雑性とNIDの話 (トーマス) ~
- 2020年8月11日(火) 科学技術英語演習直後 (8-07)
> 安全講習 (Skip) ~

- 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)
> (休み) ~
オンラインセミナー関連情報
- 計算機科学関連(英語):[[TCS+:https://sites.google.com/site/plustcs/]]

- 2018年8月30日(木) 15:00 (8-07)
> Proper Learning of k-term DNF Formulas from Satisfying Assignments (Rüdiger Reischuk, Lübeck)
- 数学、科学等(英語):[[researchseminars.org:https://researchseminars.org/]]

秋ターム
- Association for Computing Machinery (学会、youtubeで様々な講演):[[ACM@youtube:https://www.youtube.com/user/TheOfficialACM]]

- 2018年10月18日(木) 15:00 (8-07)
> Chor-Rivest Knapsack Cryptosystem (大庭) ~
- STOC 2020 (計算機科学の国際会議、英語、全ての発表はyoutubeで観れる):[[STOC 2020:http://acm-stoc.org/stoc2020/STOCprogram.html]] 

- 2018年10月25日(木) 15:00 (8-07)
> 前回の続き (大庭) ~
- Eurocrypt 2020 (暗号学の国際会議、多くの発表はyoutubeで観れる):[[Eurocrypt 2020:https://eurocrypt.iacr.org/2020/program.php]] [[IACR@youtube:https://www.youtube.com/user/TheIACR]]

- 2018年11月1日(木) 15:00 (8-07)
> 前回の続き (大庭) ~
- PKC 2020 (公開鍵暗号の国際会議、多くの発表はyoutubeで観れる):[[PKC 2020:https://pkc.iacr.org/2020/program.php]] [[IACR@youtube:https://www.youtube.com/user/TheIACR]]

- 2018年11月8日(木) 15:00 (8-07)
> 量子コンピュータの基本 (宮岡) ~
- MIT OCW (MITの様々なオンライン授業、英語):[[MIT OCW:https://ocw.mit.edu/index.htm]] [[Youtube:https://www.youtube.com/channel/UCEBb1b_L6zDS3xTUrIALZOw]]

- 2018年11月15日(木) 15:00 (8-07)
> 前回の続き (宮岡) ~
- Data-driven science webinar (東北大学、日本語):[[Data-driven science:http://www.tfc.tohoku.ac.jp/other-activities/online-seminars/2020dsw.html]]

- 2018年11月22日(木) 15:00 (8-07)
> 前回の続き (宮岡) ~
- ICALP 2020 (計算機科学の国際会議、全ての発表はyoutubeで観れる、英語):[[ICALP 2020:https://icalp2020.saarland-informatics-campus.de/]]

冬ターム
- LICS 2020 (形式論理の国際会議、全ての発表はyoutubeで観れる、英語):[[LICS 2020:https://lics2020.saarland-informatics-campus.de/]]

- 2018年11月29日(木) 15:00 (8-07)
> Roots and discrete logarithms (トーマス) ~
- SAT 2020 (SATの国際会議、聴講のため事前登録(無料)が必要、英語):[[SAT 2020:https://sat2020.idea-researchlab.org/]]

- 2018年12月6日(木) 15:00 (8-07)
> 量子コンピュータの基本の続き (宮岡) ~
- CCC 2020 (計算量理論の国際会議、全ての発表はyoutubeで観れる、英語):[[CCC 2020:https://www.computationalcomplexity.org/]] [[@youtube:https://www.youtube.com/channel/UCXgNLnzWOP4bM2-xfHDHUrw]]

- 2018年12月13日(木) 15:00 (8-07)
> Groverアルゴリズム (宮岡) ~
- FIT 2020 (国内大会の一つ、学生は今年度オンライン聴講無料、聴講登録必要、日本語):[[FIT 2020:https://www.ipsj.or.jp/event/fit/fit2020/adv_reserve.html]]

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

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


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