研究室セミナー

下の全体セミナーの他にも，トピック毎のセミナーを基本的に毎日行っています． 現在のトピック： ラムダ計算，ハイブリッドシステム，量的検証，量子計算．学生さんは２〜３個選んで出席していることが多いようです．