とても久しぶりにコーヒーを飲み、眠れません(それコーヒー飲むたびにやってない？)
March 24, 2025 at 7:31 PM
とても久しぶりにコーヒーを飲み、眠れません(それコーヒー飲むたびにやってない？)
今日まだコメダ珈琲で飲み物頼んだ時についてくるあの豆しか食べてない
June 20, 2024 at 12:13 PM
今日まだコメダ珈琲で飲み物頼んだ時についてくるあの豆しか食べてない
有限群論が背景にあるパズルゲーム、steamとかにないですかね
April 6, 2024 at 8:33 AM
有限群論が背景にあるパズルゲーム、steamとかにないですかね
児玉・永見のdevelopable spaceの定義に唐突に出てくる「局所ベース」って単語の意味は結局neighbourhood basisのことでいいの？
March 16, 2024 at 10:32 PM
児玉・永見のdevelopable spaceの定義に唐突に出てくる「局所ベース」って単語の意味は結局neighbourhood basisのことでいいの？
金縛りで目覚めたが、右手の接続がまだ良くない感じがある
March 12, 2024 at 5:15 PM
金縛りで目覚めたが、右手の接続がまだ良くない感じがある
今のところ、左R(環)加群の圏とA(可換環)加群の圏の違いはHomに(単にアーベル群ではなく)加群の構造が入るかどうかくらいしかなさそうに思える
左R加群も結局、ℤ加群として見れば可換環上の加群と同じ議論ができそうに見えるのだが……(exactnessなど)
有り体に言うと左乗法の存在感が薄いような気がしている
左R加群も結局、ℤ加群として見れば可換環上の加群と同じ議論ができそうに見えるのだが……(exactnessなど)
有り体に言うと左乗法の存在感が薄いような気がしている
February 7, 2024 at 2:51 AM
今のところ、左R(環)加群の圏とA(可換環)加群の圏の違いはHomに(単にアーベル群ではなく)加群の構造が入るかどうかくらいしかなさそうに思える
左R加群も結局、ℤ加群として見れば可換環上の加群と同じ議論ができそうに見えるのだが……(exactnessなど)
有り体に言うと左乗法の存在感が薄いような気がしている
左R加群も結局、ℤ加群として見れば可換環上の加群と同じ議論ができそうに見えるのだが……(exactnessなど)
有り体に言うと左乗法の存在感が薄いような気がしている
怠けていた過去の自分を締め殺したくなった(謹賀新年)
February 6, 2024 at 2:11 AM
怠けていた過去の自分を締め殺したくなった(謹賀新年)
ルービックキューブって生み出されてからまだ50年も経ってないんだ
December 26, 2023 at 3:36 PM
ルービックキューブって生み出されてからまだ50年も経ってないんだ
最近はアズレンと複素関数論とドイツ語の復習を少しずつ
December 23, 2023 at 7:01 AM
最近はアズレンと複素関数論とドイツ語の復習を少しずつ
初対面の人と音楽の話になって「メタルとジャズが好きです！」って言うとき、絶対めんどくさい人だと思われるんだろうな〜って
December 22, 2023 at 12:06 PM
初対面の人と音楽の話になって「メタルとジャズが好きです！」って言うとき、絶対めんどくさい人だと思われるんだろうな〜って
いよいよ学士課程の終わりも見えてきて、だいぶ大学に身体が順応した感じがある
December 21, 2023 at 4:23 PM
いよいよ学士課程の終わりも見えてきて、だいぶ大学に身体が順応した感じがある