2023.10.04
https://gyazo.com/dd4df8fda884be2d8c1d7a5f9a6e6649
このメドレーのこの部分が好きなのでここだけ作りました！合作
https://www.nicovideo.jp/watch/sm42372538
前：2023.10.03
後：2023.10.05
#日報
いいね: このメドレーのこの部分が好きなのでここだけ作りました！合作
GPWSっぽいな
https://www.youtube.com/watch?v=tLlJxYBLQ_U
これよかった
いいね: shiranai...
https://nicothumb2img.vercel.app/image/sm42842424#.png https://nico.ms/sm42842424
ぬるめたの音MAD風味だ
いいね: 大阪アスレチック
https://nicothumb2img.vercel.app/image/sm42746501#.png https://nico.ms/sm42746501
思った
/okka/トエイーク#651a1c19ddd67400000d1d01
何にキレてるんだ
やった
引き続き理想的な性質を満たしている算術の不完全性のLean 4での形式化を行っている
メモ: Y. Saito; “Master of Engineering”と呼ばれる学士レベルの学位"
https://www.niad.ac.jp/n_shuppan/gakui/gaku16/__icsFiles/afieldfile/2008/08/29/no9_10_no16_1.pdf