![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
*研究室ゼミ予定 [#u47ea720] これは仮の予定です。都合により講演の割込みや日程変更をすることがあります。一部は有村研と合同で開催します。 過去のリストはこちら - [[SeminarFinished2018]] - [[SeminarFinished2017]] - [[SeminarFinished2016]] - [[SeminarFinished2015]] - [[SeminarFinished2014]] - [[SeminarFinished2013]] - [[SeminarFinished2012]] - [[SeminarFinished2011]] - [[SeminarFinished2010]] - [[SeminarFinished2009]] - [[SeminarFinished2008]] //2018年度前期は原則として毎週木曜15:00（合同の場合は14:45〜）から開催します。場所は原則8-07セミナ室、合同の場合6-14室です。 //2017年度後期は原則として毎週木曜日14:45（合同の場合は15:00〜）から開催します。場所は原則8-07セミナ室、合同の場合6-14室です。 2019年度前期のセミナについて決まりましたら更新します。 //TCS講究会と称する日を決めて、大学院生に論文紹介または自分の研究発表をしてもらいます。 春ターム - 2019年4月11日(木) 15:00 (8-07) > 合同ゼミ：安全講習 (有村先生) ~ - 2019年4月18日(木) 15:00 (8-07) > On the Usefulness of Characterization Theorems in the Inductive Inference of Recursive Functions（トーマス） ~ - 2019年4月25日(木) 15:00 (8-07) > 前回の続き （トーマス） ~ - 2019年5月9日(木) 15:00 (8-07) > 前回の続き （トーマス） ~ - 2019年5月16日(木) 15:00 (8-07) > 前回の続き （トーマス） ~ - 2019年5月23日(木) 15:00 (8-07) > (休み) ~ - 2019年5月30日(木) 15:00 (8-07) > (休み) ~ 夏ターム - 2019年6月13日(木) 15:00 (8-07) > 未定 （トーマス） ~ - 2019年6月20日(木) 15:00 (8-07) > 未定 （トーマス） ~ //秋ターム //冬ターム
