@rarun0705 とかわいいとプログラムと計算機が好き. Icon by: @soleil_paint VRC: Kory / こりー | Discord: kory33 | 鍵: @.Kory__3_key | @kory@misskey.io
Tokyo, Japan
- Tweets 270,307
- Following 1,418
- Followers 4,002
- Likes 132,430
16:30～17:20 に Track B で『弱い世界から分解するデータ型の概念』という題で発表します
資料が完成したので公開しておきます！
docs.google.com/presentation…
#fp_matsuri #fp_matsuri_b
32
83
12,570
Kory retweeted
計量g, g'があったらsg + tg'も計量（s+t=1, s,t≥0）だと聞いた。だとしたらある多様体上の計量のなす空間というのは可縮なわけだ（どうやって位相入れるべきかはいまいちわからんが）
可縮な空間から一点固定するのってそんなに暴力的な操作じゃない気がする
2
1
8
1,102
Kory retweeted
「多様体に計量を入れるのは虐待」というやつ、みんな言っているからなんとなくそういうもんなんだと思っていたけど、なんかそうでもないんじゃない？という気がしてきている。
1
8
45
4,528
コンパイラのコンパの部分 #03 いよいよ明日となりました！
参加者の枠はまだ空いておりますので是非ご参加ください。
compiler.connpass.com/event/… #compiler_compa
8
20
1,665
