やっぱりこれくらいの時間までなんも動けぬ
ねる
うーむ
風呂へ
どうにかはしていないか……（数学とはそういうもの）
一節読むのに丸四日以上かけてるのにこれが 100 以上あるのどうにかしている
自分で手を動かすフェーズをすっ飛ばしてネタバレを食らっている気分だ
時間をかけて読んでいる教科書が、証明を無視すれば意外と飛ばし読みできることがわかり、飛ばし読みフェーズを同時進行している
んぬぬぬぬぬ
タバス湖
今日も今日とて怠惰
昨日、脂の乗った良いお肉を食べたら、夜に少し気持ち悪くなってしまった。胃腸の敗北を感じる
んぐう
寝るぜ
絶対知られてるはずだなあという構成があるんだけどどの文献を当たればいいのかわからない
引きこもって勉強するぞの心意気だったが、引きこもっただけの成果はあまり得られていない
良っ
なんか流行っている
たらこパスタを食べた
回転行列慣れればイメージで行ける気がしてきた。余弦定理はベクトルの内積使った導出があるじゃん。割といけるな？
確かに加法定理より回転行列を覚えたほうがよいな……（回転行列、微妙に覚えていないのでいつも不安になる）
今ならまだしも当時それをやるのは無理だ～
加法定理は頭の中で回転をイメージすることで回転行列を書いてそれを掛け算していたという人を聞いたことあるような気もする
覚えないとしんどい公式ランキングは加法定理とか余弦定理がつよそう
二次方程式って解の公式ってかなり覚える必要なさそうだけど、式変形そのものに慣れないうちに中学でやるからみんな覚えちゃう気がする。覚えずにその場で平方完成してた人どれくらいいるのだろう？
運動習慣がないんだけど、運動しなくても人間って大丈夫なのかな……と不安になることがある
そう、データベース化に力を入れすぎて管理コストが大変なことになっている Zotero をなんとかせねば
ところで fibered category の日本語訳を知らない。単に「ファイブレーション」という人が多いのかな
fibered category の essentially algebraic theory を考えて（つまりまず strict category で考えて）それをもう一度 category とみなします、みたいなの、本当にうまくいくならすごすぎる
んぬぬぬ
fibered category 信者になりつつあり、そのためにもちゃんと使えるようにならねば