7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
2023年04月09日(日)
定理証明支援系がフレンドリーに使えるようになったら
あなた/周りの主張は数学的に間違ってる！うんぬんから、あなた/周りはいつも分かってくれないあのときもこのときも…みたいなだんだん元の数学的主張の真偽とは関係のないやり取りが始まる流れが減るといいね…()
定理証明支援系に打てばよくなる
タグ：
posted at 23:47:22
沢山見て頂いたようなので念の為の追記です．尾高さんの言葉をそのまま書くと「 数学者の世界は数オリとは異なり、数オリは数学界の登竜門では決してない」．私も同感です．もちろん数オリ出場の数学者は世界に沢山いて素晴らしい才能の持ち主です．
タグ：
posted at 21:45:42
「AI が証明をできるようになって数学者がいらなくなる」と考えるより「AI にエンパワーされて数学者が一気に増える」と考える方が夢がありそうだと今思った。
タグ：
posted at 21:03:24
個々の内容はさておき「字開きしている候補者名でも脇に小さくひらがなと漢字を入れかえた表記があるので，正しいフルネームが必ず分かるようになっている」というただ一点について共産党の選挙公報は毎度素晴らしい。なぜ他の党はこれをやってくれないのか（字開きに異様に執着するアカウント定期）
タグ：
posted at 20:06:13
この三平方の定理の証明はすごいですね。式を追うよりも。この図をじーっと見つめる方が、わかりやすいと思います。 twitter.com/qrjam/status/1... pic.twitter.com/plrHfW71qp
タグ：
posted at 18:59:57
採血いやすぎて、採血中に
「NNの幅極限と深さ極限、どっちがガウス過程でどっちがNTKなの？！？！」
みたいなことを必死に考えてたら、なんか急にひらめいて、
「あの問題、解けんじゃね？？」
ってなったので、採血帰りにそのまま研究室に行って計算したら本当に解けた。 twitter.com/physics303/sta...
タグ：
posted at 18:00:22
証明を読みました。
素晴らしいです。
三平方の定理という古くから知られる有名な定理に対して、高校数学の範囲で新たな証明を見つけるのは、才人の暁光だよ。
すげえよ。
本当の才能だよ。
こういう人こそ
数学者になるべきだよ。 twitter.com/mootastic/stat...
タグ：
posted at 17:22:03
本日の千葉県議会議員選挙15時30分時点での投票率。各地域とても低いです。皆さんの大切な投票権を行使して下さい。市と県との連携は不可欠です。 www.pref.chiba.lg.jp/senkan/kengise...
タグ：
posted at 16:36:54
プロ初勝利☝️🌟
ここからスタートです⚾️
#金村尚真 #新時代 #lovefighters pic.twitter.com/EHoHahjXAN
タグ： lovefighters 新時代 金村尚真
posted at 16:31:36
こんにちは😊5月の発表に向けて、一つひとつの言葉の定義から確認が必要です。年末に書き表したBernstainの定理の証明について、証明の流れを追いながら、なんで❓を繰り返しています。まるで仕事のなぜなぜ分析です🤔『数学は言葉』にはそのお気持ちの大事さが書かれています🔰
タグ：
posted at 16:28:09
最も有名な単位で次元を自然に代表してしまうから「単位解析」のように感じる…？（m/s と 尺/日は単位が違うけど次元は同じ、みたいな） twitter.com/physics303/sta...
タグ：
posted at 16:11:27
人はいつなぜSchur-Weyl双対性に出会うのだろう．私はB4のときに神保「量子群」の自主ゼミで初めて知った記憶が．古典的な方はそれまで知らなかった :)
タグ：
posted at 11:43:18
つよ〜く同意します．具体的には「ご連絡ありがとうございました．標記の件承知致しました」とリプライするだけでokです．
（新たにメールを書く人も多いのですが，「リプライ」が重要です）． twitter.com/yokoemon2112/s...
タグ：
posted at 11:25:47
長らくお待たせしてしまいましたが、先ほど複式家計簿 ver.2.1.13をリリースしました。
google playへの反映まで数時間を要するかと思いますが、ご確認ください。
しばらく技術的な課題をクリアできず更新が滞っていましたが、協力者のSasaさんのお力添えもあり、なんとか復活することができました。
タグ：
posted at 11:23:07
例外型の場合の双対性って知らないなぁ．
#例外型の極小表現を利用するのはある
Kac-Moody になってもいいから，E_n 型の双対性とかあると面白い．そういえば E_{10} って論文もあったねぇ．
posted at 11:20:32
そういえば自分のことばかりで忘れていたが，
量子群 vs ヘッケ環
B,C,D 型 vs BMW代数
の双対性もあるね．どちらも半単純だが，簡単じゃない．量子群は1の冪根のときに半単純じゃない．
どちらも日本人の貢献は大きい．
#双対性 twitter.com/mathraphsody/s...
タグ： 双対性
posted at 11:17:03
確かに、結婚して子供ができた若手研究者のツイートを見ていると、子育てに奮闘しているし、土日どころか平日夜の仕事も厳しいと思うし、「土日も研究しろ」なんて圧があったら、業界への参入障壁が上がると思う。 twitter.com/T45356/status/...
タグ：
posted at 10:27:15
新年度になると「学生さんから教員へのメイルの書き方」が話題になりますが、私感としては「質問のメイルに教員が返事しても受領の連絡がない」ほうがもっと問題だと思います。事故で届いてない可能性もあって気を揉みますし、教員も人間ですから心証はあまりよくありません。お互い気をつけましょう。
タグ：
posted at 10:19:35
新山祐介 (Yusuke Shinyam @mootastic
ニューオリンズの高校生2人が、無限級数を使ったピタゴラスの定理の新しい証明を発見。彼女らがこれを米国数学会で発表して話題に。
keith-mcnulty.medium.com/heres-how-two-...
タグ：
posted at 10:15:50
コンクリートをぶちこんだのだから、コンクリートを剥がす公共工事をしらたいいと思っている。作る時の数倍はかかるだろうが、公共工事で生きる業者にはむしろ好都合。業者に自然再生技術を開発させて、税金をぶちこんで、公共工事で暗渠を明渠化したい。 twitter.com/oikawamaru/sta...
タグ：
posted at 09:39:45
「直前に出せば慌てるだろう」みたいなのがあるのかもだけど、人に深夜労働させる意識がないとか抵抗がないとかはとてもよろしくない…
business.nikkei.com/atcl/NBD/19/sp... twitter.com/sasakitoshinao... pic.twitter.com/4HlqvEcHmQ
タグ：
posted at 08:33:45
これだけ指摘されてるんだから即刻改善してほしい。これも＞「閣僚が答えに窮している姿を見せつけるため具体的な通告内容を教えない議員も。答弁者を慌てさせるのが論客の能力だと考えているなら勘違いだ」／質問通告遅延「官僚が過労で倒れかねない」松井孝治氏が懸念 www.sankei.com/article/202304...
タグ：
posted at 08:14:00
直接投票所に行くなんて非効率だと思っていたけども、ああいう厳かな場の中で投票し、お疲れさまでしたと声をかけられることで、投票活動がこの社会において重要なものなのだ、というメタメッセージが伝わっていくのだろうなとちょっと感じた。
タグ：
posted at 07:56:36
昔、よく相手をしてもらっていた小学生がこんなに大きくなって好青年になっていてびっくり。
ストップやネットインが多い私のプレーに、多分イライラしつつも、何度も「試合お願いします」と言って来てくれたのを覚えています。 twitter.com/trickyorsteady...
タグ：
posted at 07:21:16
不変式環の理論、シルベスターケイリーの個数定理や半不変式環と共変式との対応性に様な美しいけど複雑な関係式があるけど、最後に最後で射影空間の3点のモジュライ空間という簡潔な理論に落とされるの美しすぎる pic.twitter.com/8Jby720y1o
タグ：
posted at 06:13:24
