ゲーデルの伝記が読みたい

TA 業務で出会ったのだけど 1 / (2 + sin x) の不定積分をちゃんと書くのって結構難しい。こういうのを、t = tan(x/2) 置換じゃなくて、特異点を持つ関数を経由せずに導く一般論が気になる。

学究

以前もつぶやいたことがあるのだけど、石神のぞみさんの配信はエディタの裏で流すとすごく似合う

論文を読み始めると 1 時間くらいは集中できるのだけどそれくらいでだんだん飽きてくる。自分でなにかを考え始めるともうちょっと伸びて 3 ～ 4 時間くらいになる。その先は考えることから抜け出せないまま煮詰まった感じになりがち

動くぞ

うあー

みゃあ

Night Shift + ホワイトポイントを下げる + グレースケールで画面の刺激がだいぶ下がっている

X を見ないと様々な知りたい情報が入ってこないけれど X を見なくて済む代償ということにする