2022.09.20
https://gyazo.com/be7079bcd5760f6803617dffdb1cc030
前：
2022.09.19
後：
2022.09.21
#日報
思った
女性のアバターを使う
逆ソクラテス的態度
もう誰も
ティーダのチンポ気持ちよすぎだろ！
の話してないな
一ヶ月あって
TaPL
一ページも読まなかったの申し訳無さすぎる
観た
カウボーイ・ビバップ 第12話
カウボーイ・ビバップ 第13話
知った
DeepLの改行を空白に置換するScript
LEAN 3
/
mathlib
こんな膨大な量の補題からどれ持ってこればいいんだよとというときのために備えて
library_search
という便利コマンドで補完できることを知った
頭良すぎる…