群に密着位相を入れたときに群演算は連続になるけどそういうのはあんまり位相群とは言わないことに最近気がついた。だけどちょっとした分離公理を仮定しようとすると一気に正規性までわかっちゃってすごい。
August 5, 2024 at 10:23 AM
群に密着位相を入れたときに群演算は連続になるけどそういうのはあんまり位相群とは言わないことに最近気がついた。だけどちょっとした分離公理を仮定しようとすると一気に正規性までわかっちゃってすごい。
This work was not supported by JSPS KAKENHI.
August 1, 2024 at 9:53 AM
This work was not supported by JSPS KAKENHI.
これは集中してやらなきゃいけないから夏休みにやるぞというような事柄ばかり溜め込んでしまった。
July 29, 2024 at 2:37 PM
これは集中してやらなきゃいけないから夏休みにやるぞというような事柄ばかり溜め込んでしまった。
第二基本形式の計算がずっと合わなくて風来のシレンやってるみたいで楽しい。
July 16, 2024 at 9:22 AM
第二基本形式の計算がずっと合わなくて風来のシレンやってるみたいで楽しい。
河澄響矢さんのトポロジーの基礎を読み始めた。
March 26, 2024 at 10:48 AM
河澄響矢さんのトポロジーの基礎を読み始めた。
群の対合ってのがどのくらいあるかが重要ですね。
February 28, 2024 at 1:19 PM
群の対合ってのがどのくらいあるかが重要ですね。
午前中に「すべての予定を破壊するそれらは再生できない」状態になった
February 26, 2024 at 12:44 PM
午前中に「すべての予定を破壊するそれらは再生できない」状態になった
最近だらけてるので、時間割を組んでいろいろな作業をしてみようかな。
February 24, 2024 at 10:23 AM
最近だらけてるので、時間割を組んでいろいろな作業をしてみようかな。
１４日だけじゅうよっかとよむのを発見した
February 21, 2024 at 1:52 PM
１４日だけじゅうよっかとよむのを発見した
ズームミーティングが終わるときにみんな一気に退出して自分の顔のドアップがいきなり映るのやめてほしい。
もっと優しい何かを映してほしい。子犬とか。
もっと優しい何かを映してほしい。子犬とか。
February 16, 2024 at 10:53 AM
ズームミーティングが終わるときにみんな一気に退出して自分の顔のドアップがいきなり映るのやめてほしい。
もっと優しい何かを映してほしい。子犬とか。
もっと優しい何かを映してほしい。子犬とか。
今日やぶからぼうにPythonの質問されて、僕には全然わからないし答えられなかったけど、とにかく聞いてみるという姿勢に勢いがあって良いと思った。
February 14, 2024 at 9:34 AM
今日やぶからぼうにPythonの質問されて、僕には全然わからないし答えられなかったけど、とにかく聞いてみるという姿勢に勢いがあって良いと思った。
スコールにもラグナにもなれないまま大人になってしまった。
February 11, 2024 at 12:25 PM
スコールにもラグナにもなれないまま大人になってしまった。
履いてるズボンのチャックが壊れかけてるので、トイレに行くたびにチャックが閉まらなくなるリスクを抱えているので、マイルドなロシアンルーレットをしている気分です。
February 11, 2024 at 11:18 AM
履いてるズボンのチャックが壊れかけてるので、トイレに行くたびにチャックが閉まらなくなるリスクを抱えているので、マイルドなロシアンルーレットをしている気分です。
回転寿司の軌跡を限りなく小さくすると無回転寿司になるのか
February 10, 2024 at 1:54 PM
回転寿司の軌跡を限りなく小さくすると無回転寿司になるのか
妻がやってるff7の体験版を見ている。かっちょえー
February 9, 2024 at 1:46 PM
妻がやってるff7の体験版を見ている。かっちょえー
確定申告の作業をしようとすると無量空処されてるみたいになる
February 8, 2024 at 5:20 AM
確定申告の作業をしようとすると無量空処されてるみたいになる
原稿をチェックするたびに a は the の気がするし the は a なきがするのでaとtheの重ね合わせの冠詞の登場が待たれる
February 8, 2024 at 3:09 AM
原稿をチェックするたびに a は the の気がするし the は a なきがするのでaとtheの重ね合わせの冠詞の登場が待たれる
Mathjax使えるようにできる？
February 8, 2024 at 12:25 AM
Mathjax使えるようにできる？