Suiは、「LLMが100%正確にコードを書ける」ことをコンセプトに作られた、LLMのためのプログラミング言語。名前は漢字の「粋」から取られており、洗練し、無駄を削ぎ落とす美意識に基づいて設計されている。LLMにSuiを覚えさせるためのプロンプトも用 ...

AIが数学の定理を理解し、証明し、自分で正しさをチェックする――。そんな時代が近づいている。これまで人間が担っていたひらめきや証明、検証にAIなどのコンピューターが挑み始めている。 東京・銀座の 歌舞伎 座タワー。7月上旬、12階の一室に数学者30人が集まっていた。東京大や京都大の准教授らや、米国や カナダ で活躍する数学者の姿もあった。

小学校のプログラミング教育が必須化されて5年以上が経ちました。小学校では、算数や理科、総合的な学習の時間でプログラミングが利用されています。そのきっかけとなったのは、1人1台の端末が配布されたGIGAスクール構想でした。子どもたちの手元にいつでも使える端末があることが、自然とICTの活用や情報について考える機会になっています。さらにプログラミングを経験した子どもは、プログラミング的に考えることが出 ...

12月2日に開催された「TECH+フォーラム クラウドインフラDay 2025 Dec. AI時代のITインフラ最適化戦略～2026年に向けた現実解と未来像～」に大阪大学 量子情報・量子生命研究センター 特任研究員の森俊夫氏が登壇。「量子コンピュータ ...