2025.10.02
https://gyazo.com/3c3da5f26d98763e2c77f1faba6b8b5e
メモ
https://nicothumb2img.vercel.app/image/sm45468405#.png https://nico.ms/sm45468405
うわーーーーーーーこれマジで良い良い
こいつの頭の中すげえ楽しそう
思った
Spotifyで原曲アニソンDJが出来るようになったのでやってみたけどどうしても選択肢の中にある普通にクラブミュージックと混ぜるという欲望に負けてしまう
メモ
「定理証明支援系で数学の形式化をしたときそのコードの保守性や再利用可能性はどうなっているのか・どうすれば高まるか」みたいなソフトウェア工学的な観点から分析する分野をそのまま証明工学と呼ぶらしい．本当に？ メモ
公理$ \sf Bに対する近傍意味論の完全性，通るのか？