翻訳:ロバート・コワルスキ『計算論理と人間の思考』/ 性自認:上Hessenberg行列/ 主張: 豚肉食文化へのヘイトを許すな/ 興味:超準解析/仕事: プログラミング/ 絵垢:dif_pic /鍵垢からのフォロー基本お断り

ホーアルシンゲンモスケン
Joined February 2011
ここは、モンゴルの東の果てに位置する、ハルハ・ヌムルグの自然保護区です。中国との国境に接するこの地は、厳重な保護・管理のもとにあり、一般の人々が自由に立ち入ることはできません。 また、歴史的にも、第二次世界大戦の始まりと終わりの舞台となった、深い意味を持つ場所でもあります。 ここで、どちらが勝ち、どちらが敗れたのかを語るつもりはありません。ただ、この無意味な戦争で、あまりにも多くの若者たちが命を落としたという事実を、心に刻んでおきたいのです。 私はこれまで、日本政府に対し、せめてこの地で命を落とした兵士たちの遺骨を収集してほしいと、何度も働きかけてきました。しかし、真剣に取り合ってもらえることはありませんでした。 当時、外務大臣を務めていた河野太郎氏にも直接伝えましたが、返ってきたのは「検討する」という言葉だけでした。@konotarogomame
203
3,905
188
17,275
389,973
dif_engine retweeted
TKGの名を伊達にはつけてないってことであえていうけど 「日本の衛生管理が凄いから生卵が食える」って言われがちだけど、因果関係は完全に逆なんだよな。 TKGの元祖は明治初期(岸田吟香)だし、江戸時代から滋養強壮で生卵を丸呑みしてた。つまり衛生管理もへったくれもない時代から生で食ってた。 1980年代にサルモネラ菌が世界中の養鶏場で大流行した時、欧米は「中までしっかり火を通せ(生食禁止)」という合理的判断を下した。 一方、日本人は「どうしても生で食うのをやめたくない」という執念で、親鶏ワクチン・殺菌洗浄・低温輸送・生食用賞味期限という狂気的な衛生インフラを力技で整備した。 「安全だから食べた」んじゃなくて、「食うのをやめないから国レベルで安全にせざるを得なかった」のがTKGの歴史。 因果関係間違えないでね。 執念ですよ執念。生で食べたいというね。
日本人!!!🇯🇵🇯🇵🇯🇵 本当に理解できないんだけど…… 日本人って生卵を そのままご飯にかけて食べるよね??? 卵かけご飯って、 そんなにおいしいの??? 一生食べずに死んだら損するレベル?🥚🥚🥚
92
6,382
304
27,316
1,126,641
dif_engine retweeted
「島のナポレオン」というお酒を見かけ、それはもう末期のやつでは…?と思いました
69
1,414
95
4,889
154,316
dif_engine retweeted
満州引き揚げ時、ちばてつや先生一家をかくまった人も凄いんだよね 文化大革命時に、日本人をかばった過去を糾弾されて収監されたけど、晩年になっても自分のやったことは間違ってなかった、ちばさん一家と過ごして楽しかったと言ってたって娘さんが話していた(以前NHKのドキュメントでやってた)
16
2,581
25
14,285
514,717
Replying to @MEIyama_888
>長文を読んでいただきありがとう餃子いました。餃意見伺えますと幸いです! 😮😓⁉️ 大変興味深いお話をありがとうございます 饅頭の伝播と普及に、石臼の伝来が必要だというのは目から鱗でした たしかに小麦粉には石臼が必要ですね!
1
2
385
情報幾何学というワードを使ったワイには「(根も葉もなく)テーマ盗用だ」と誹謗中傷したポスドクの人が、富谷さんのこちらのポストには自分の情報幾何学の論文を宣伝するコメントをしていて、知名度のある人には擦り寄る姿勢なんだなぁと思った。
4次元Yang-Millsの連続極限に数学的証明がついたかも、という話が話題ですが、(関係はないですが)場の理論の連続極限について情報幾何学から考察してみました。場の理論でくりこみ条件を置きながら正則化を外すというのは、m座標とe座標を両方考えろ、ということになります。 arxiv.org/html/2610.34277
4
31
4,320
10数年前に、藤原さんの講義を受けてていつか場の理論x情報幾何で研究したいな〜と思ってたことがようやく形になりました。
5
27
2,656
dif_engine retweeted
最終兵器扱いにセミナーに抗議しに行ったら最終兵器扱いされた claude.ai/share/5105c1bd-186…
言語学愛好者は素人とのケンカに最終兵器を初手で持ち出してしまう。
2
3
631
ドヤコンガ(牝2) 今日デビュー戦で3着 馬名申請のとき、牧場主が従業員の冗談を良い名前だと真に受けて申請。牧場の生配信で視聴者から由来を知らされるも時すでに遅し ファンからは「ウマ娘になったらCVはあの人で」「水無月S、逆瀬川S、高瀬川Sのどれか走ってほしい」の声
63
4,514
526
11,946
1,317,749
dif_engine retweeted
うるさいですね…
1
6
699
dif_engine retweeted
挨拶しないと暴れる
1
7
688
dif_engine retweeted
ドヤコンガ荒すぎやろ 挨拶無視されたんか
1
16
1,334
dif_engine retweeted
原作再現度高いなオイw
3
16
2,486
パドックで暴れるドヤコンガさん可愛い
1
2
27
14,036
dif_engine retweeted
ドヤコンガ暴れてて草
14
1
115
13,650
dif_engine retweeted
不快な広告を排除するのではなく、むしろ皇居と国会議事堂をブルーアーカイブの広告で埋め尽くす方向で行きたい
29
2
174
13,288
Next is America 🇺🇸
250
1,439
75
26,817
789,460
dif_engine retweeted
ベルリンのウォーキングツアーのガイドさんが「ヒトラーは人生の最後のあたりはドラッグ中毒だったんだ。そこだけは真っ当なベルリン市民だったんだよね」というジョークをかまして、友達も含めて周りは爆笑していたけど私は笑っていいのかよくわからなかったです。確かにハイな人たくさん見かけた。
1
1
1
6
845
Given the history of uncertainty about whether the proof of CFSG was 100% correct, this seems like great news, even if the formalization itself is horrible. (I don't know whether it actually is horrible, but that would be my guess.)
The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.
12
20
1
290
18,575