Sabitlenmiş Tweet
いりすう
6.4K posts

いりすう
@7Eekmath
北大新B1。数学好き。数学について考えたことを垂れ流したりします。北大総合理系数学重点合格 大学垢⟼@irisuugunnkenn
自由関手の右随伴 Katılım Aralık 2024
795 Takip Edilen893 Takipçiler

@coherence3cat 正直自分も雰囲気だけで笑って詳細がちゃんとわかっている訳では無いのですが、
書き方によってはHⁿ=Hom(n,-) Hₙ=Hom(-,n)
と表したりするのでそのようなものと解釈しました
日本語

いりすう retweetledi

#春から北大
北大新入生の皆さん!
また、かねてよりエルリスにご興味を持っていただいている皆さん。
この度、Googleフォームからの応募も受け付けることになりました。
エルリスに興味を持っているけど、DMで行くのは怖い…
そんな方はフォーム経由でご応募ください。
docs.google.com/forms/d/e/1FAI…
日本語

4/1に届くらしい
デスクトップのパソコンはまだないしノートパソコンの方は性能的にキツイからしばらくはこれのみかな〜
いりすう@7Eekmath
買うのはQuest 3Sになりそう お父さんが帰ってきたら言お
日本語

@7Eekmath ちなむとWindows上で直接動かすと遅いので、WSLを使うか、メインOSをUnix系にすると良いとされています。
(沼の住人)
日本語








