ドメイン移管完了
お名前.com -> dynadot DNSの反映待ち等を含めて約30分程度かかりました。 基本的なonboardingの安定性からUI/UXまで、dynadotは今の所期待以上です。
daily thoughts and activities
お名前.com -> dynadot DNSの反映待ち等を含めて約30分程度かかりました。 基本的なonboardingの安定性からUI/UXまで、dynadotは今の所期待以上です。
ε-δ論法について 「ε-δ論法」というのは、数学科に入ったばかりの1年生にとって、ちょっとした通過儀礼のような存在のようである。入学してほどなくして、講義でいきなり といった、見慣れない論理 … 続きを読む
YouTube: 総務省「内容は検討しますが予算は4000億円です」→安野「戦略目的が決まってないのに4000億?」 冒頭の動画を見た感想・批評として書くが、元より私は昔から、「目的」とか「義務」といった概念を既定のもの … 続きを読む
序章 2026年現在、私たちはAIとともに数学を語り、発見する時代に生きている。かつて数学の発見は、時間をかけ、専門文献を読み、問題の輪郭をゆっくりと捉える営みだった。未知の理論に触れ、数年に及ぶ忍耐と直感の積み重ねを経 … 続きを読む
RファイルやRmdで資料を作る作業の効率化にIDEを導入しました。 分析資料を作ったり推論処理のPoCを記録する際に、どうせツールをたくさん同時に使うのでもっと早くに導入すけば良かったと今では思ってます。 それくらい便利 … 続きを読む