2023.07.11
https://gyazo.com/e741907a0e27d9738e44df7292a9bda7
Godel(oの上に2つ点が付く)
業務連絡
よろしくおねがいします.いつまで続くかな?
このアカウントでは
- 日報
などが放送される予定です。よろしくおねがいします。
Lean 4による命題論理/様相論理の成果の形式化の進捗や、論理学についての話題については、文章が長くなりそうなのでFedibirdでやるようにシフトしていく 思った
https://www.youtube.com/watch?v=KbiSxunJatM
思った
https://www.youtube.com/watch?v=0E2Q7kr4L2c
やった
まああんまり使用感は変わらない
メモ