2024.09.11
https://www.youtube.com/watch?v=iCRmTiMZap4
前：2024.09.10
後：2024.09.12
#日報
メモ
今日はやる気が無くて何もできなかった
思った
ユトレヒト大学の哲学の先生からなぜか論理（特に様相論理）の形式化一緒にやりましょうという連絡が来たので返信をしていた
指導している学生は動的認識論理の形式化に興味があるらしい。
私は詳しくはないので助言くらいはできますが…と返答しておいた