2023.08.28
https://www.youtube.com/watch?v=DFpGQ-sFVBM
前:
2023.08.27
後:
2023.08.29
#日報
思った
終わった.
読む
T. Kurahashi; "証明可能性述語の様相論理"