立派な王国が色あせていくのは、二流の共和国が崩壊する時よりずっと物哀しい。
Joined May 2015
- Tweets25K
- Following965
- Followers1.9K
- Likes45.4K
Early career researcher responses to AI in math
arxiv.org/abs/2610.40584
TT retweeted
Nintendo Switch 2 用ソフト『The Duskbloods』について、8月に開催したネットワークテストにおいて、ユーザーの皆様に評価いただいた、直接的な戦闘だけでなく、様々な立ち回りや多様な戦略で楽しめるという本作のコンセプトを、さらに高い水準で実現し、より良いゲーム体験をお届けするために、ゲームルールやバランスの最終調整の期間を設けることといたしました。これに伴い、発売時期を2027年に変更いたします。お待ちいただいている皆様には、大変ご迷惑をおかけすることとなりますが、何卒ご理解いただけますと幸いです。
『数学を偲ぶ』という題の文章をMeta-narratives in Mathematicsに寄稿しました。自分の思いの負の部分を、なるべく正直に書いたつもりです。
aiformath.jp/meta-narratives…
I've never been a fan of these calculators...
youtu.be/r_Byrs11ccM?is=5m5i… @YouTubeより
こちらの論文を大幅に改訂し、タイトルごと刷新しました。arXivに上げたその日に、Emil JeřábekさんにP≠NPの仮定を外す可能性について指摘していただきました。感謝です。
[2609.10872] Elementary modal logics and circuit complexity
arxiv.org/abs/2609.10872
それはそれとして、新しいプレプリントを公開しました。まさか人生で自分が(AIがではなく)P≠NPを仮定して何かを証明することになるとは思いませんでした。
[2609.10872] Non-elementary modal logics, assuming P $\neq$ NP arxiv.org/abs/2609.10872
初めてインスタでなんかいい曲に出会った。
music.apple.com/jp/album/the…
自分でゲームを作りたいんだけど、まずClaudeに100ドルを払って手伝ってもらうか、Claudeに100ドルを払えば手伝ってもらえることを自分でやるか、という選択をしなければならず、それにうんざりしてしまう。
わたしの診断結果は「くるり」でした。
あなたらしさを、もう一度。
汀精神病院「こころの余韻診断」
面白かった。
migiwa-hospital.pages.dev/re…
#こころの余韻診断
#この診断はフィクションです
