これは仮の予定です。都合により講演の割込みや日程変更をすることがあります。一部は有村研と合同で開催します。
過去のリストはこちら
2019年度前期のセミナについて決まりましたら更新します。
春ターム
合同ゼミ:安全講習 (有村先生)
On the Usefulness of Characterization Theorems in the Inductive Inference of Recursive Functions(トーマス)
前回の続き (トーマス)