2024.11.18
https://gyazo.com/2b77e027802e8369995180b66431789f
前：
2024.11.17
後：
2024.11.19
#日報
やっていない
全身が痛くて何も出来ていない
メモ
新幹線や宿を取ったので，
TPP2024
に参加/発表します．
Formalized Formal Logic
の
様相論理
について現状の進捗を話すぐらいの感じで臨みます．