2024.11.13
https://www.youtube.com/watch?v=FypAqBwVpZ0
前：2024.11.12
後：2024.11.14
#日報
思った
VSCodeさえ動けば後はミニパソコン上にSSHで繋いで開発するという状況のため、メイン機の性能がひどすぎて失笑されたことある
メモ
https://wiki.archlinux.org/title/Touhou
Arch Linux Wikiに東方Projectあるのワロタ
https://wiki.archlinux.jp/index.php/東方Project
やっていた
A. Chagrov, M. Zakharyaschev; "Modal Logic"のExcerise
Modal Logic側のリファクタリング
メモ
この講義では、定理証明支援系を用いて数学を実際に形式化してみることで、我々が普段紙とペンを用いて行う証明や議論がいかに自由に行えるかを再確認し、もう二度と定理証明支援系を触りたくないと思ってもらうことを目標とする。
いらないバズが…