原則として

フーリエ級数の歴史を調査する。フェルマーの最終定理の証明を理解したい。

[原則として @boxwhite1]

マッハ力学作ってみた.
https://t.co/QQ4pzYbAJ8

[セカヤサ@AI×Web制作💻小林 秀樹 @hideki_climax]

>無印良品「21年までクレカ番号で顧客を識別していた」

はああああああああああああ！？！？！？！？！！！！！！？？ｗｗｗｗ！？？？ｗｗｗｗｗ！！！！！！！？？？？？？？

GMOとか鼻で笑えるレベルの大事故だぞ？？！！？？！？？

どんな脳をしてたらこんな設計になるんだよ！！！！！！！

[Yahoo!ニュース @YahooNewsTopics]

【タマホーム 5年以上前から不正か】
https://t.co/gjnrTTlNeL

[原則として @boxwhite1]

プラパンチャ

[ultraviolet @raurublock]

"また、難易度を過大評価して作業を諦める場面では、人間による励ましが有用になり得るとしている"
https://t.co/r4VnV91DCA
よく聞く話だが、「スーザン・キャルビン博士みたいなAI心理学者が必要なのかもしれん」という気もしてくる

[活動銀河核 @activegalacticN]

teleparallelismという、曲率の代わりに捩率を使う重力理論があるらしい
でも一般相対性理論と等価らしい
https://t.co/sJZrVIMteF

[News Everyday @24newseveryday]

【速報】 高市政権、日本は緊急時に核兵器持ち込みOKとする方針に、安保3文書改定で明記検討
https://t.co/lyydkEqPp5

[原則として @boxwhite1]

ABCが左短完全列であることとAがBからCへの射の核になることが同値で、右随伴は核を保存するからOK

[原則として @boxwhite1]

右随伴は左完全って���違いじゃないか？chat GPT にも証明出来なかったし。

[原則として @boxwhite1]

自己解決

[原則として @boxwhite1]

今のところAI で数学の勉強は出来んわな。自分の知らない強い定理出してきてこれで証明出来ます言われてもなあ

[テッパン朝ライブ じゅーっと！ @ytv_juutto]

11/12(木)#天気マン の天気予報

☀️天気マンの天気アドバイス⚡️

「日差しが君の味方をするだろう！」

#じゅーっと

[「Adoのドキドキ秘密基地」公式 @ado_doki2kichi]

【お知らせ】
12/12(土)配信、ニコニコ20周年記念特番にAdoの出演が決定！

���INFORMATION】
Ado Confirmed for Niconico's 20th Anniversary Special Program, Streaming on Sat, 12/12!

▼詳細はこちら(Click here for more details)
https://t.co/asdfS8rv8f

#ドキドキ秘密基地

[原則として @boxwhite1]

わからない。グロタンディーク間違ってるおじさんになりそう

[ウニ @unununiq]

トークン余ってるしなんかAIにやらせるかと思い、むかし書いた数学の原稿を渡して全部Leanで形式化しろ！と命令。途中これMathlibにないんで研究級負荷ですよ…と泣き言を返してきたので/goalまでやれ！と突き返してたら、反例を作ってきてくれて草。しかも正しい。これからはAIと自分をシバく時代

[原則として @boxwhite1]

lean4 でleft exact functor が完全列を部分的に保存するという定理は形式化されてない？

[フリーBGM OpenTracks（旧DOVA-SYNDROME） @opentracks_jp]

【音楽ゲームでの音源利用について】

音楽ゲームでの音源利用について、下記ヘルプ記事の記載に関する補足と、既に公開されているゲームへの対応をご案内いたします。
https://t.co/dj4MNOUVBK

当サイトでは従来より、音楽ゲームの演奏対象として音源を利用することは、音源利用ライセンスの禁止事項6「エンドユーザーに音源を聴かせることを主な目的とした、または音源を再生すること以外に主たる機能を持たない仕���での製品、作品、アプリ、その他の制作物に音源を利用すること」に該当するものとして、通常のライセンスでは認めておらず、お問い合わせいただいた方にも、その旨をご案内しておりました。

以前からお問い合わせが多く寄せられていたことを受け、今回、具体的な利用範囲をヘルプ記事に明記しました。新たに禁止事項を追加したものではありませんが、これまでの説明では対象となる利用方法が十分に伝わりにくい点がありましたことを、深くお詫び申し上げます。

既存のゲームについては、制作者の皆さまへの影響を考慮し、2026年11月11日以前に公開されたゲームに既に組み込まれている音源に限り、本案内の日付である2026年11月11日から3年間を目処に、継続してご利用いただけることといたします。この期間中、対象となる利用について、���方から音源の削除やゲームの公開停止を求めることはありません。期間終了後は対象の音源利用を終了していただくか、事前にご連絡のうえ、別途ライセンス取得をご相談いただきますようお願いいたします。

また、今回のヘルプ記事を確認し、音源の削除やゲームの公開停止などに対応された場合も、2026年11月11日以前に公開されていたゲームであれば、従来組み込んでいた音源を使用した状態で再公開し、上記期間中はご利用いただいて問題ございません。
ただし、今後、新たに音源を追加することや、新作・別の作品に組み込むことは、この取り扱いの対象外となります。通常のライセンスではご利用いただけませんので、ご了承ください。

なお、当サイトと別途ライセンス契約を締結されている法人様は、その契約内容に従ってご利用いただけます。今回のご案内による変更はありません。また、法人様で新たに音楽ゲー���への音源利用をご希望の場合は、事前に当サイトへお問い合わせください。

これまで事前にお問い合わせいただき、当サイトからのご案内を受けて利用を見送られた方には、今回の対応との違いが生じることをお詫び申し上げます。

上記の方につきましても、当時ご相談いただいた作品・音源について、今回の措置に準じた対応が可能か個別に確認��たします。ご希望の方は、過去のお問い合わせ内容を添えて、当サイトのお問い合わせフォームよりご連絡ください。

ご理解、ご協力のほど、何卒よろしくお願いいたします。

[たかはしけい / Takahashi K @KayT0309]

高校物理分からなかった人は物理学科へ

みたいな

「俺は普通用の説明じゃ満足できなかったぜ。もともと才能があったんだぜ。あれは分かりにくいもんな？俺ら賢い側にとっては、な？」

みたいな態度嫌い

[原則として @boxwhite1]

子供向けの真剣な番組とかコンテンツが消えた結果^_^

[梅野留多浪 @sGWpnIdlanfU1Dw]

この動画が生成AIではないことに絶望

[ねむれるしし @SleepLion0227]

【数学ニュース】
タオ氏のサイトに、証明を組み立てるゲーム「Lean Grimoire」が登場！
命題を組み合わせてゴールを証明する20章・158問。論理や帰納法を遊びながら体験。制作にはClaude Codeを活用。

https://t.co/detJvR2pyI