Pinned Tweet
「nが大きいとき」の正体:Juliaで確かめる高校数学の統計的な推測|清水団
#JuliaLang 今回は有料のBookとなります。サンプルを見て気に入っていただけたら購入していただきたいです。
zenn.dev/dannchu/books/stati… #zenn
清水 団 Dan Shimizu retweeted
BaseModelica.jl: A Julia Interface for BaseModelica — Jadon Clugston
youtu.be/ASqj7Z7TZhc
「AIを使って学ぶ」ことと「AIについて学ぶ」ことは、別の話です。この2つを分けて考えると、海外のAI禁止のニュースも、日本の次期学習指導要領に向けた審議まとめも、読みやすくなります。
ニューヨーク市とノルウェーが止めているのは、「AIを使って学ぶ」ほうです。「AIについて学ぶ」ことまで止めたわけではありません。AIの仕組みや特徴を知ることは、むしろ小学生のうちから学んでほしいことです。
日本の次期学習指導要領の審議まとめも、同じ分け方で整理されています。小学校3・4年生はAIについて学ぶ。学年ごとの学習イメージでは、実際にAIを体験するのは5年生から、質問や依頼を入力して生成AIを使うのは6年生からです。
海外の判断も、暗中模索の中で選ばれた方針の一つです。「海外が禁止したから、日本も禁止しなければ」と短絡的に考える前に、何を、何年生まで、なぜ止めているのかを知っておきたいところです。
続きは番組で。リプ欄にリンク貼ってます👇
#先生のためのAIラジオ #AI教育 #次期学習指導要領
清水 団 Dan Shimizu retweeted
例によって、事例を追加しました。
qiita.com/munepi/items/7ff9d…
#テフライブ!
清水 団 Dan Shimizu retweeted
毎朝、子供たちの算数(など)の学習を見ている。
1540000÷6300の計算(商と余りを求める)において、
「商は15400÷63で求めたもの、余りは15400÷63の余りの右に00を追加したもの」
という方法がある。
これ、算数の先生方はどう教えているのだろう。暗記させている?理屈もきちんと教えている?(続く)
清水 団 Dan Shimizu retweeted
#AppleEvent 最後はPROLED XDRディスプレイを搭載した新型MacBook Pro!
M5 Pro/M5 Maxチップを搭載し、ディスプレイや操作性が大きく進化✨
14インチは1.38kg、16インチは1.82kgと、大幅に軽量化された点にも注目です。
そして、背面のAppleロゴが再び光る仕様に...👀
apple.com/jp/newsroom/2026/1…
清水 団 Dan Shimizu 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に証明のバグ出されて直されたんだが……???」
ここがヤバい↓
Markdownファイルを良い感じにPDF化するツールpfpdfを作って公開しました!LLM任せだと毎回違うデザインのPDFになったりしますが、pfpdfならリポジトリにMarkdownファイルさえ置いておけばコマンド1行で数式やコードハイライトを含めきれいにPDF化できるようになります。 preferred.jp/ja/blog/tech/17…
清水 団 Dan Shimizu retweeted
Open AIはIUT理論の問題も解決しようとしていた。そしてできなかったぽい。
OpenAIの数学リポジトリに、LANA-agentsが現れた日|加藤文元 @FumiharuKato note.com/katobungen/n/n20ae0…
清水 団 Dan Shimizu retweeted
Fast geospatial lookups across projections using SphericalSpatialTrees.jl — Fabian Gans
youtu.be/6QX1MZDn48w
清水 団 Dan Shimizu retweeted
Première prise en main du MacBook Pro tactile, mon avis à chaud :
- le tactile est très gadget. Cool pour faire défiler une page, le reste me servirait peu. Le trackpad me semble toujours le meilleur argument d’un Mac pour la navigation. Pas d’usage wahou auquel l’univers Windows n’avait pas pensé (il reste les développeurs pour en inventer).
- le Tandem OLED est sans surprise magnifique, très lumineux.
- peu d’adaptations de macOS au tactile étrangement. Les boutons grossissent, le dock apparaît avec un geste, les gestes du trackpad marchent à l’écran et on peut appeler Siri comme sur iPhone. Mais l’interface n’évolue pas quand on touche l’écran.
- La Dynamic Island est cool pour la musique, à voir ce qu’en feront les développeurs.
- La pomme lumineuse est la nouveauté la plus visible. Meilleure décision d’Apple niveau image et reconnaissance du produit, ça va revenir partout j’en suis sûr. Les premiers retours prouvent que les gens n’aimaient pas la pomme noire.
- Cool que ce soit plus léger, on sent la différence, mais dommage que le bas n’évolue quasiment pas. On dirait le même à part l’écran.
- C’est très cher et un peu dommage de ne pas tuer l’ancienne gamme Pro en même temps. Une gamme MacBook Pro avec cinq choix est difficile à comprendre, mais c’est un problème provisoire. D’ici 1 an, j’imagine que tous les Pro auront l’OLED tactile. D’ici 2-3 ans, le reste de la gamme ?
Je vais pouvoir poser des questions à Apple maintenant, histoire de mieux comprendre le choix du tactile. Une vidéo longue qui analyse leur stratégie arrivera demain matin sur le YouTube de Numerama. Pour l’usage du tactile au quotidien, il va falloir tester ! Pour l’instant, on va surtout faire un point sur le marché sans avis définitif sur le choix d’Apple.
J’écrirai une prise en main dans la soirée à lire sur Numerama, avec plus de détails
清水 団 Dan Shimizu retweeted
展開図好きなので
「競技展開図」なるものを知ってテンションあがってる
与えられた立体の展開図を作成するタイムを競うというもの
けっこう自信あったけど、難易度高いものは手に負えない。。
紙工作好きな人、
あと中学受験する子とかにもお薦め
kyoten5555.com/
公式 @kyoten5555
清水 団 Dan Shimizu retweeted
ワイが昔書いた掛谷問題(掛谷予想ではない)の記事いつ書いたっけと思い見返したら10年前だった。
10年前のワイよ、AIが掛谷予想を全次元で解いたってさ
清水 団 Dan Shimizu retweeted
Replying to @HirokazuOHSAWA @dannchu
いつも読んでくださり,ありがとうございます😊 私も@HirokazuOHSAWA 先生のポストを励みにしております。
























