7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
2022年11月28日(月)
次のスペイン戦(とドイツVSコスタリカの結果)でノックアウトステージへ進出できるか決まります。
・勝ち→進出
・引き分け→ドイツVSコスタリカの結果次第
・負け→敗退
さて、「日本がスペインに負けないこと」は「日本がノックアウトステージに進出する」為の何条件？
タグ：
posted at 07:14:30
中部縦貫道（高山～松本）の"足がかり"とも言うべき区間です。
【"高山市街スルー"最後のトンネル着手「高山清見道路」上高地・松本へさらに快適に】
trafficnews.jp/post/123004
タグ：
posted at 07:46:49
わたしはサッカー興味ないけど、盛り上がってるのは楽しそうでいいなと思いますよ。なぜこんな無理筋を報じるのかな。「熱狂は怖さをはらむ。熱狂の裏で、五輪の談合疑惑の捜査が進むなど忘れてはならない問題もある」／Ｗ杯ドイツ戦勝利でのお祭り騒ぎに戸惑う記者：東京新聞 www.tokyo-np.co.jp/article/216151
タグ：
posted at 08:08:01
「次、なんでしたっけ？」
サンダーの威圧感をもろともせず直接訊ねる水島！そのマイペース、嫌いじゃないぞ水島！＃舞いあがれ twitter.com/yosinotennin/s...
タグ： 舞いあがれ
posted at 08:09:39
僕は怒りそうになったときは怒らなくていい理由を頑張って構築する感じにしてるんだけど、それも疲れてたりすると論理が明らかに破綻してて上手く行かなかったりするので難しい。
（頭の中でコンパイルエラーが発生するような感覚）
タグ：
posted at 08:47:46
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
中国 精華大学の学生がフリードマン方程式を掲げてデモをしているらしい。
その理由はフリードマンの発音が、
''free 的 man'' (自由な人) に似ているから。
知的な検閲回避方法ですね。 twitter.com/nathanlawkc/st...
タグ：
posted at 13:21:24
今年の神奈川県の公立高校の入試問題で正答率0.7%という最も正答率が低かった平面図形の問題だが，座標平面で解くと乾いた笑いしか出てこなかった。 pic.twitter.com/sAHCiZYOsk
タグ：
posted at 13:51:44
2022年暗号及び情報セキュリティと数学の相関ワークショップ（CRISMATH 2022）
2022年12月20日(火)～12月21日(水)
@九州大学 伊都キャンパスとZoomミーティングによるハイブリッド開催
joint.imi.kyushu-u.ac.jp/post-7742/
#Dタイム情報
タグ： Dタイム情報
posted at 13:55:48
裳華房さんから山根英司さんの「手を動かしてまなぶ フーリエ解析・ラプラス変換」と梅原雅顕さんと一木俊助さんの「これからの集合と位相」が届きました。
それぞれ出版社、著者からの献本ということで、写真のような状態で送られております。
どちらも様々な場面で参考にさせて頂くことと思います。 pic.twitter.com/jlTVbVduCH
タグ：
posted at 14:41:43
汎用機というのはIBMのSystem/360に由来する言葉で、当時の計算機の主な応用は事務計算と科学技術計算であり、かつそれぞれ「専用機」だったものが、System/360はどちらもできるいう意味での「汎用機」ですね。360度すなわち全方位をカバーするというIBMらしい大げさなネーミングですな twitter.com/ebiebi_pg/stat...
タグ：
posted at 14:53:38
『数学の杜③代数群と軌道』太田琢也:西山 亨著
7700円（数学書房）
代数群の基本的性質からはじめて、その代数多様体への作用や、群の軌道と商多様体など
を多くを交えた、代数群の入門書。
書泉オンライン⇩
www.shosen.co.jp/shop/products/... pic.twitter.com/Rr0h5hcSCe
タグ：
posted at 16:51:59
国会要請終了後。今から祖国に向かいます。
議員会館では、委員会でよく見るめちゃくちゃでかいフリップを目撃。
食堂では、メニューが売り切れてるかどうかをインカムでやり取り。
そして手もぎのチケット。
あんなにアナログな議員会館の日本、本当のデジタル化はいつくるのか？
タグ：
posted at 17:13:25
弊社、株式会社Ｑは社員を若干名募集致します。
職種は映像ディレクター、アシスタントディレクターです。経験者優遇致しますが、やる気のある方なら誰でも！
勤務地は福岡です。
興味のある方は僕のアドレスまでお願いします。諸々の条件を提示させていただきます。何卒よろしくお願いします。
タグ：
posted at 17:26:40
新聞の影響力は、「団塊の世代」の退場とともに終わるだろう 佐々木俊尚の未来地図レポート Vol.732｜佐々木俊尚 @sasakitoshinao #note note.com/sasakitoshinao...
タグ： note
posted at 17:30:52
授業「数値計算」、次回（明日）から板書講義に変更する。
PCスライドを作るの疲れた。
私はA4一枚の書類さえ間違えないで書けないほど「間違えない」ことができないのだ。板書ならその場で修正ができるが、PCスライドだと不可能なので。
タグ：
posted at 18:19:02
必要条件・十分条件，日常の文脈でつかみづらいのは「十分条件だが必要条件でない」の1つだけで，他の3つは感覚的にも自然なので，これさえ乗り越えれば「論理と集合」は大丈夫だと思う。すなわち「十分条件だが必要条件でない」を理解することは，単元全体を理解するための十分条件だが必要条件でない
タグ：
posted at 18:26:42
いや，それは「必要条件だが十分条件ではない」じゃないの？ と思ったあなたは数学の文脈で考えすぎです，日常の文脈でつかんでください（混乱の極み） twitter.com/ysmemoirs/stat...
タグ：
posted at 18:28:46
非公開
タグ：
posted at xx:xx:xx
こんばんは。12/12に東京出張が決まりました。13日は有休を取って書泉グランデ に行きます。目当ては数学セミナー2022年12月号と、読了サポートさんがツイートされた志賀浩二さんの「集合への30講」です。集合の気持ちを掴みます。
タグ：
posted at 22:40:02
有限体の乗法群における離散対数の計算、とか書いてある省令 twitter.com/motcho_tw/stat... pic.twitter.com/fQeiTH5r6p
タグ：
posted at 23:17:27
げんがくさんだったか誰だったかが「行列の同一視の方法5選」みたいな記事を書いてた(共有してた)記憶があるんですが、リンクを失くしてしまったのでどなたかご存じでしたら教えて欲しいです
タグ：
posted at 23:20:59
総務、法務、経済産業大臣には、クソデカ有限体の乗法群や楕円曲線上の点がなす群の離散対数の、計算困難度の評価能力が求められる時代なんだな… twitter.com/00000a24/statu...
タグ：
posted at 23:47:55
2022年11月29日(火)
@deep_blue0723 テンソルの積をとる順序の集合に働く対称群の被覆として、補空間の基本群であるBraid群が現れるからということと、KZ方程式のモノドロミーとしてシューアワイルの相互律の一般化としてのBraid群の表現が現れるからと思っています。
タグ：
posted at 04:11:29
1000行くらいの一行アイデアメモを間違ってアルファベット順にソートしてしまったのだが、存外に面白いということがわかった。意外な発見がある。 pic.twitter.com/dPfX1Xp8zg
タグ：
posted at 08:55:54
長らく説明体系の土台をなしていた「数で表現される位置や速度」という概念がついにその役割を果たせなくなりました。五感と直結した概念が便利に使えていた時代が終わり、自然界を表現するための言葉をアップデートしなければいけなくなったのです。
#量子とはなんだろう
#ブルーバックス
posted at 10:47:38
ドメイン知識のない外部のデータサイエンティストを何千万も払って契約するよりも、最初からドメイン知識のある既存社員にプログラミングとAI知識を数ヶ月集中的に学ばせた方がお得かつ継続性があるという説
タグ：
posted at 11:39:08
外部のデータサイエンティストは高単価を要求する割に業態や要求を理解してくれず、既存社員はモチベーションも適性もないため二進も三進も行かないという様式美。 twitter.com/hisagrmf/statu...
タグ：
posted at 12:02:35
【某数学団体役員の啓蒙書フリークが選ぶ「すらすら読めてためになる本」フェア】
『定理のつくりかた』竹山美宏／著（森北出版）
ひらめきがないと、問題は解けない？いいえ、そうとは限りません。「才能」や「ひらめき」の根底にある問題解決の普遍的なテクニックを、現役数学者が優しくひも解きます pic.twitter.com/U3RgszxI6n
タグ：
posted at 12:37:00
拙著『探究する精神』に登場する自由書房は、一昨年に全店閉店になりました。
拙著出版後、社長をされていた方から、「自由書房の店内の様子がまことに正確に描写されていて、私にとってもなつかしくおもいだされました」と、丁寧なお手紙をいただきました。
www.amazon.co.jp/dp/4344986148
タグ：
posted at 12:48:33
f:X×Y→Zをとる。
f_x:Y→Z,f_x(y)=f(x,y)
f^y:X→Z,f^y(x)=f(x,y)
でf_x,f^yを定めたとき、如何なるx,yについてもf_x,f^yが連続であればfは連続か？
タグ：
posted at 14:27:51
数学カフェの運営で必要なので法律を色々調べて、極端な例を考えて議論することがよくあるんだけど、日常生活でちょっと極端な話をポロリと出してしまいこれは怖がらせてしまったか……とうんうんしてる
タグ：
posted at 16:41:18
新しい論文を書きました！
Incompleteness and undecidability of theories consistent with R
arxiv.org/abs/2211.15455
第一不完全性定理の一般化である Mostowski の定理と，R と無矛盾な理論の決定不可能性を示す Cobham の定理を導く Vaught の定理，それらを同時に拡張する結果を示しました．
タグ：
posted at 17:06:11
松坂集合位相入門開いたらp.194問18にあった
これって方向微分可能だけど全微分可能じゃないというやつだろうか twitter.com/nyan_haru_nya/...
タグ：
posted at 17:23:27
橋本幸士 Koji Hashimoto @hashimotostring
査読を一つ終えた。今回の著者の方々は、僕が指摘した問題点に真摯に取り組んで、一定の新しい計算結果を示してきて、僕は説得された。論文の主張も変わり論理的にリーズナブルになって、とても良かった。僕も学ぶことが多かった。
タグ：
posted at 17:46:34
残念だけど，必要があれば数理の誰かを介してきっと繋がれるだろう．と信じておこう．（はる師匠よろしく） twitter.com/tropicalrig/st...
タグ：
posted at 18:04:11
文章生成AIに、「全射の合成が全射なこと」「単射の合成が単射なこと」を証明してもらいました。
beta.openai.com/playground
（さっきのは出題文にミスがあったので再びやってもらった） pic.twitter.com/dVQIjUhbTw
タグ：
posted at 18:17:22
いや、僕んとこもいろんな愉快な仲間(意味深)が押し寄せては来るんです。そういうことができるのも含めて大学だという一種の信念があったけど、目に余るのがいたから施条を強化してもらったんですよぬ。しかしキャンパス内で襲われたらどうにもならんなぁ。
タグ：
posted at 21:31:45
１２月３日の「バツイチ」の東京公演のズーム打ち合わせ終了。若手時代お世話になった岡宗秀吾さんも今回ブレーンとして会議に参加してくださいました。
さすが岡宗さんでした。
渋谷でライブなんていついらいだろうか。
楽しみだな〜！！ pic.twitter.com/jsJNYx0qgj
タグ：
posted at 22:20:28
[学部] 現代数学は巨大なダンジョンであることを知る
[学部ゼミ]ダンジョンの奥に着実に進む方法を学ぶ
[修士]ダンジョンから初めて収穫物を持ち帰る
[博士]収穫物を定期的に持ち帰れるようになる
[ポスドク]持ち帰った収穫物が体系化してくる
[助教]ダンジョンの入り口を隈なく散策する（イマココ）
タグ：
posted at 23:16:14
