イベントカレンダー
- 日程
- 2022年7月7日（木）
- 時間
- 16:20～17:50
- 場所
- Zoomによるオンライン開催
・発表者氏名：高木研斗
・指導教員名：鹿島亮
・論文題目：Studies on Propositional Connectives in Classical and Intuitionistic Logics
（古典論理と直観主義論理における命題結合子に関する研究）
・発表会日時：令和4年7月7日（木）16:20～17:50
・場所：オンライン（Zoom）。参加希望の方は鹿島（kashima@is.titech.ac.jp）まで連絡をください。
更新日：2022.06.30
