7931

手が勝手に派

@hitochan_45 応援がんばります！

@wed7931 あら、遠征現地👏 今日は勝つぞ～✊✨ 応援よろしくお願いします🙇‍♀️

13年ぶりの仙台。 昨日と今日はファイターズ観戦。 昨日は残念だったけど、今日は勝ちたい！ #lovefighters

ベクトル空間の線形写像の表現行列についていま復習してて、初めて「各基底を飛ばした先さえわかっていれば、任意の元の飛ぶ先が分かる」ということに気づき絶頂してる（遅い）

@jaban_vina 応援がんばります。 昨日は風が強くて寒かったです。

@wed7931 わぁ〜良い天気ですね☀️ 昨日とはうってかわって晴天で風もない、、のかな？ 現地応援宜しくお願いします🙇‍♀️

AX=1と仮定。 (XA)^2=XAXA=XAより、XAは冪等変換。 冪等変換について tr(XA)=rank(XA) だから、n=tr(AX)=tr(XA)より XAはフルランク。 フルランクな冪等変換は恒等変換である！とかはいかがでしょうか！

これ謎ルールよな。 うちも「佃」って漢字を「つく田」って書かされててモニョった。 小学校ではもちろん、中学校でも習わないので一生書けないってことになるが？？？

道の駅 なかがわ(北海道中川町) 音中道路の開通記念グッズが販売中だった🛣️ 今更ではありますが、開通おめでとうございます！

実は素数だという悪問を作りたい

>RP ジョルダン標準型が共役作用による軌道分解の代表系，ってのは初めて知ったときは本当に驚いた記憶があるな．ジョルダン標準型も（なんなら加群の直既約分解も）共役作用も軌道分解も全部知ってたのに，まったく気づいてなかった．蒙が啓かれるとはこういうことかと思った．

固体の猫（右）と気化する寸前の猫（左）

大分市のかんたん交差点。漢字表記は「菡萏」。全然簡単じゃない。

AIと数学の話で終わる、終わらないというより修士の学生ぐらいで研究のやり方や勉強の仕方を学び方がどう変わるかの方が気になる。そのレベルだとマジでAIで解けてしまう可能性はあがるし、大幅にやることが変わる可能性もある。まあ、修論審査で聞かれるようなことを学生が考えればいいっていうことだけかもしれませんが。

フォッサマグナミュージアムに来ているんですがPC-98が動いていて構造線どころではない

日本領樺太、避暑地としてGWの人気旅行先になってそう

大阪出張のとき、2袋だけ密輸しました。

一方、 リーマン予想は1859年頃（167年前） P対NP問題(P≠NP予想)は1971年頃の定式化（55年前） はまだ未解決。 AIの活用で、近々「片付く」日が来るのだろうか。 x.com/IIJIMAS/status…

未解決だったのか解かれるまでに何百年かかったりしてたけど、AIの登場で、解決のペースが速くなるのかな。 フェルマーの最終定理：358年 四色問題：124年 ポアンカレ予想：98年 x.com/IIJIMAS/status…

AIと数学について。 フィールズ賞受賞者であるテレンス・タオ氏⬇️ "I don’t think AI will replace mathematicians, but it will complement them. There could be a division of labour: we decide what to prove and what we think is interesting. We could get instant feedback from the AI. We could propose a definition, make some conjecture and AI could instantly evaluate it. But who knows, it’s all changing." ‘The job description is changing’: mathematician Terence Tao on the rise of AI nature.com/articles/d4158…

この地図にはないけど、八郎潟の西部承水路をボートで移動してたら火気厳禁の旨を記した立て札が湖の中に立っていた それをみて、秋田で石油が取れるのは本当なんだなと軽く感動した記憶 ガラケーであっても 写真撮っておけば良かった