こう言うので良いんだよ
👻ハロウィン🎃は
本場のハロウィーンを楽しもう！
10/31(土)14時～18時に店頭で「トリック オア トリート」と唱えた18歳以下のお客様に「ソフトクリーム」と「特製ステッカー」を無料プレゼント！
#バーガーキング
長坂信宏 retweeted
今日も通りすがりのママから「そのビブス、どこで売ってるんですか…！」って聞かれたが
これは楽天の名入れで作りました
ワンオペ迷子防止に役立ちます
「じなんー💢」と雄叫びをあげなくてもよその親切な大人たちが「じなんくんあっちいったよ！」「じなんくん！ママあっち！」と教えてくれます
磁気テープ良いよな
2.5倍圧縮で最大100TB…
全部読み込むのに30時間かかるけどバックアップとしては一番良い
富士フイルム、磁気テープ20年ぶり大型増産 AIデータ保存リスク低く
nikkei.com/article/DGXZQOUC0…
長坂信宏 retweeted
これはヤバい！
【速報】人類史上もっとも巨大な数学の証明（15,000ページ）が、AIによって完全攻略されてTLが大パニックに。
定理：『有限単純群の分類（CFSG）』「対称性の周期表」と呼ばれる群論の最高峰。これをAIエージェント（AxiomProver）がLean 4で4,310万行のコードに変換し、カーネルの全検証（sorryなし）を完了！
【数学者 vs AIエージェント 】
人類の数学者「よし！過去100人の天才たちが書いた500本の論文（15,000ページ）を集めたぞ！誰ひとり全容を理解した奴はいないが、これで証明は完璧だ！」
AIエージェント「了解です！Leanコード4,310万行に分解して24日間で全ステップ機械検証しますね〜……あれ？」
人類の数学者「えっ」
AIエージェント「1986年の論文（UGT証明）のここ、PSL₂(49)のくだりで論理崩壊してバグってますよ？」
人類の数学者「ファッ！？！？ 40年間誰も気づいてなかったぞ！？」
AIエージェント「大丈夫です。僕がSolomonの理論をベースに『Theorem 2.3』っていう新しい定理を勝手に証明してコード補修しておきました👍（全34件の人間側のミスも修正済）」
人類の数学者「AIに証明のバグ出されて直されたんだが……？？？」
ここがヤバい↓
ヤニねこにメルセデスAMG GT3は勿体無いにゃ
もっとタバコの広告つけないとダメにゃ
アニメ『ヤニねこ』がクラフト・バンブー・レーシングとコラボレーション。GTワールドチャレンジ・アジア上海を皮切りに11月には大型コラボイベントも実施予定
as-web.jp/sports-car/1367538
#GTWorld #GTWorldAsia #ヤニねこ
メディアが、流れた情報が本物だったと証明してくれるのウケる
【速報】警視庁が個人情報公開された人に保護実施
47news.jp/15150078.html?utm_…
6インチ❗️
空間コンテンツソリューション群「XYN(ジン)」のハードウェアラインアップとして、6インチで小型の空間再現ディスプレイ『ELF-MN1』を発売します。
sony.jp/spatial-reality-disp…
長坂信宏 retweeted
富士フイルム、磁気テープ20年ぶり大型増産
nikkei.com/article/DGXZQOUC0…
データセンター事業者や金融機関、研究機関のデータバックアップに使われます。ネットワークから切り離し長期保存が可能。サイバー攻撃によるデータ改ざんや消失を防ぎやすいのが特長です。
