U+20E3 がつく方：emoji keycap sequence. UTS #51 (
UTS #51: Unicode Emoji
 ) より： > ED-14c. emoji keycap sequence — A sequence of the following form: > emoji_keycap_sequence := [0-9#*] \x{FE0F 20E3}" emoji-sequence.txt より（画像）： image U+20E3 がつかない方：emoji presentation sequence UTS #51 より： > ED-9a. emoji presentation sequence — A variation sequence consisting of an emoji character followed by a emoji presentation selector. > emoji_presentation_sequence := emoji_character emoji_presentation_selector emoji-presentation-sequence.txt より（画像）： image 別の emoji sequence なので、それぞれに別の絵文字が割り当てられている表示が正しそう。ただ公式の Emoji charts (
Emoji Presentation Sequences, v17.0
 ) では統合されて keycap のほうだけ示されているっぽいのがよくわからない。
Emoji Presentation Sequence の詳しい説明が読みたいのだけどあんまり見当たらない（というか Unicode のサイトが重い）
んーこれか？ "Keycap images (those with a * on the Name) are for sequences followed by U+20E3 COMBINING ENCLOSING KEYCAP." Emoji Presentation Sequences, v17.0
Emoji Presentation Sequences, v17.0
ゲーデルの伝記が読みたい
TA 業務で出会ったのだけど 1 / (2 + sin x) の不定積分をちゃんと書くのって結構難しい。こういうのを、t = tan(x/2) 置換じゃなくて、特異点を持つ関数を経由せずに導く一般論が気になる。
学究
以前もつぶやいたことがあるのだけど、石神のぞみさんの配信はエディタの裏で流すとすごく似合う
論文を読み始めると 1 時間くらいは集中できるのだけどそれくらいでだんだん飽きてくる。自分でなにかを考え始めるともうちょっと伸びて 3 ～ 4 時間くらいになる。その先は考えることから抜け出せないまま煮詰まった感じになりがち
動くぞ