7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
2022年02月14日(月)
高三 和晃 / Kazuaki Taka @takasan_san_san
こんなのも出来るのか twitter.com/kimu3_slime/st...
タグ:
posted at 03:47:12
監督庁の監視のもと運用を強化している局面で、このポカミスが起こるのは非常にまずい。とはいえ現実に運用設計から見直して身綺麗になるためには何年もかかるのかな / “みずほ銀行で年末年始に2度のシステム障害、原因は設定ミス” htn.to/3uJBwxHK9X
タグ:
posted at 09:10:55
AIが犯罪者候補を抽出し、犯行前に警察が取り締まる。そんなSFのような話が 新疆 #ウイグル 自治区ではすでに現実に起こっている。
この衝撃の事実を描いた『 #AI監獄ウイグル』が重版決定! 佐々木俊尚氏 @sasakitoshinao の書評はこちらから↓
www.fsight.jp/articles/-/48566
posted at 10:26:19
高校生のとき、夏休みの宿題冊子に「チャレンジ問題」と称してカタラン予想がしれっと載っていたのを思い出す。解決はぼくが大学生のときで、解決までぼくは未解決だと知らなかった😓
youtu.be/lCkDFYh6fxo
タグ:
posted at 14:35:46
めっちゃ細かいことだけど、帽子パズルを出題するときには「囚人たちは釈放を願っている」と明記しておかなくてはいけないですね。シャバにでたくない囚人もいるかもしれないし。。。そんな囚人はゲームにも非協力だったり、自ら間違えにいくかもしれない。
タグ:
posted at 17:42:57
これはコンピューターが生まれてからの数学だとはそれなりに話が違っていて、例えばVandiverは岩沢理論を使ってp < 125000の時までフェルマーの最終定理を証明しました(コンピューターを使ってです。)
他にもマッカイトンプソン予想のような「ラマヌジャン的」な数学はコンピューターによって見つか twitter.com/ankokudan/stat...
タグ:
posted at 19:14:39
ってます。現代数学において大きい数字や複雑な級数が出ることはもはや当たり前なのです。しかし暗黒通信団様がいうことも一方で正しくて、理論を成り立たせるにはほぼすべての素数について成り立つ理論を建てないと行けないんですよね。でも実際には数論だと悪い還元と呼ばれる悪い素数が存在します。
タグ:
posted at 19:16:55
しかしその素数は有限個なので、有限のパターンを調べればいいことになります。それが有限個の少ない例外ということになります。そういう素数はだいたい小さいので、小さい素数に的を絞りがちになります
タグ:
posted at 19:17:57
非公開
タグ:
posted at xx:xx:xx
「裏切り」有り帽子パズルについて軽く考えてみると、いかに「裏切るメリット」があるようなルールを思いつくかどうかが鍵かもしれない。あとは「どう裏切るか」も。
「単に反転発言するだけ」なのか「正解可能なのにわざと無言を貫く」などと、それがゲームルールで許容されているかいなか、などなど
タグ:
posted at 21:39:34
Satoshi Ikeuchi 池内恵 @chutoislam
「武力による威嚇又は武力の行使」を「国際紛争を解決する手段」としたロシアの要求を「この方策しかない!」と言うなら、その口でもう二度と「護憲」とか言わないでほしい。 twitter.com/mas__yamazaki/...
タグ:
posted at 23:24:40