イベントカレンダー
・発表者氏名:高木研斗
・指導教員名:鹿島亮
・論文題目: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