証明に謎の2変数の写像が出てきて, 可算選択公理3連打でゴリ押ししている
November 6, 2025 at 12:59 PM
証明に謎の2変数の写像が出てきて, 可算選択公理3連打でゴリ押ししている
具体例を試さずに証明しようとしたら反例があった
September 27, 2025 at 11:36 AM
具体例を試さずに証明しようとしたら反例があった
△ 語彙を増やす
○ できるだけ簡単な単語にいいかえられる
○ できるだけ簡単な単語にいいかえられる
September 26, 2025 at 3:33 PM
△ 語彙を増やす
○ できるだけ簡単な単語にいいかえられる
○ できるだけ簡単な単語にいいかえられる
Lindelöf空間の復習をしていたら, 可算選択公理の必要性を感じている
July 28, 2025 at 5:53 PM
Lindelöf空間の復習をしていたら, 可算選択公理の必要性を感じている
数年ぶりに知り合いと話しました。
たくさん話せて楽しかった。
たくさん話せて楽しかった。
July 10, 2025 at 3:08 PM
数年ぶりに知り合いと話しました。
たくさん話せて楽しかった。
たくさん話せて楽しかった。
ホモトピーをホモトポーって入力してしまう
June 20, 2025 at 5:33 AM
ホモトピーをホモトポーって入力してしまう
Coqでケーニヒの補題を実装する気力が起きない
May 22, 2025 at 5:04 AM
Coqでケーニヒの補題を実装する気力が起きない
ChatGPTに数学の質問をして、間違いを訂正し続けると、ChatGPTの口数が減る
May 18, 2025 at 8:13 PM
ChatGPTに数学の質問をして、間違いを訂正し続けると、ChatGPTの口数が減る
今のところ写経→証明支援系の流れが一番数学が進む。
黙読、音読だと理解した感じがしない。
写経か手計算だけも計算ミスを見逃すから、どこかで機械を使った方が精度が高い。
黙読、音読だと理解した感じがしない。
写経か手計算だけも計算ミスを見逃すから、どこかで機械を使った方が精度が高い。
May 5, 2025 at 1:41 PM
今のところ写経→証明支援系の流れが一番数学が進む。
黙読、音読だと理解した感じがしない。
写経か手計算だけも計算ミスを見逃すから、どこかで機械を使った方が精度が高い。
黙読、音読だと理解した感じがしない。
写経か手計算だけも計算ミスを見逃すから、どこかで機械を使った方が精度が高い。
・今日の数学
参考文献「この写像は合成できるので」
ぼく「合成できない」
～終～
参考文献「この写像は合成できるので」
ぼく「合成できない」
～終～
May 3, 2025 at 1:16 PM
・今日の数学
参考文献「この写像は合成できるので」
ぼく「合成できない」
～終～
参考文献「この写像は合成できるので」
ぼく「合成できない」
～終～
最近のワイ：
数学の文献を読む→
文章の添削を始める→
読みやすくなる→
証明に不備を見つける→
ご機嫌斜め
数学の文献を読む→
文章の添削を始める→
読みやすくなる→
証明に不備を見つける→
ご機嫌斜め
April 28, 2025 at 11:18 AM
最近のワイ：
数学の文献を読む→
文章の添削を始める→
読みやすくなる→
証明に不備を見つける→
ご機嫌斜め
数学の文献を読む→
文章の添削を始める→
読みやすくなる→
証明に不備を見つける→
ご機嫌斜め
Reposted by 名前OS/めいぜんおーえす
April 23, 2025 at 7:08 AM
参考文献の写像の構成が読み取れずに3日が過ぎた
April 17, 2025 at 8:13 AM
参考文献の写像の構成が読み取れずに3日が過ぎた
とまっていた数学の時間が動き始めている
April 4, 2025 at 7:23 PM
とまっていた数学の時間が動き始めている