第131回東京大学公開講座(テーマ「論理」)で矢入教授が講義
東京大学公開講座第131回「論理」において、当研究室の矢入健久教授が、「動的システムの推論」という題目で講義を行いました。第131回公開講座は、当初、2020年の春季に予定されていましたが、コロナ感染拡大に伴う活動制限の […]
東京大学公開講座第131回「論理」において、当研究室の矢入健久教授が、「動的システムの推論」という題目で講義を行いました。第131回公開講座は、当初、2020年の春季に予定されていましたが、コロナ感染拡大に伴う活動制限の […]