2025.09.26
https://gyazo.com/c8c5b64659573348f91a3f45a0789728
メモ
https://gyazo.com/a6b6848fbc027484b09c545afbfed65b
メモ
いいなと思ったイラストレーターの人が個人サイト自作していてよかった． 思った
自分は紙とペンでは集中力が1時間と持たないがコードを書く作業なら平気で10時間ぶっ通しで書ける人間だから，もっとLeanをうまく使いこなせれば数学がガリガリ出来るような気もする]
メモ