「MPC専用ソルバーの歴史」というテーマのホワイトペーパーを配信いたしました！ 汎用ソルバーから始まり、モデル予測制御の数理的な構造を活用した専用の特化ソルバーへの歴史的な道筋を解説してあります！ 特に高速なMPCに興味がある方は是非ご一読を！ mono.ipros.com/popup/downloa…

noteを書きました。 なぜAI全盛の今の時代に数学を学ぶのだろうか？｜深津卓弥 @takuya_fukatsu note.com/takuya_fukatsu/n/nd…

【業務連絡】明後日から東京日本橋で開催される理研シンポジウム「Mathematics and AI: Tokyo Symposium on the Mathematical Sciences and Formal Reasoning」（pri.riken.jp/symposium/ai4ma…）に先立ち、明日、CaltechのSergei Gukovさんによる「AI for Math入門講義」とMathlib InitiativeのDirectorであるJohan Commelinさんによる「LEANの使用法のチュートリアル」があります。 参加登録はすでに締め切られており、以下は登録者への連絡事項です： チュートリアルにご自身のPCで参加される方は、会場にお越しになる前に、必ず以下の準備と動作確認を完了してください。 (1) LeanおよびVS CodeのLean 4拡張機能をインストールする (2) GlimpseOfLeanリポジトリを取得し、VS Codeでプロジェクトとして開く (3) Project Actions → Fetch Mathlib Build Cacheを実行する (4) GlimpseOfLean/Introduction.leanを開き、Infoviewに「1 goal」と ⊢ を含むゴールが表示され、エラーが出ないことを確認する Mathlibキャッシュは数GBあり、ダウンロードに時間がかかります。また、PCのセキュリティ設定等によって追加の対応が必要になる場合があります。このため、チュートリアル直前に会場でインストールを始めても、開始までに完了しない可能性があります。単にLeanをインストールするだけでなく、上記 (4) までの動作確認を必ず事前に済ませてください。 それでも問題が残る場合には、GukovさんとCommelinさんのチュートリアルの間の休憩時間に、TAへご相談ください。Commelinさんのチュートリアル開始後は、進行上、個別のインストール対応はできませんので、あらかじめご了承ください。 当日は、セットアップ済みのPCをお持ちください。

PiLinkとProxima Technology、産業用Raspberry Pi向けスーパーキャパシタ内蔵UPSを共同開発 prtimes.jp/main/html/rd/p/00… @PRTIMES_JPより

博士を中心としたアカデミア人材の方に向けた、スタートアップからのラブコール記事です 博士/アカデミア人材のキャリアパスとしてのテック系スタートアップという選択肢｜深津卓弥 @takuya_fukatsu note.com/takuya_fukatsu/n/n0…

AIのトップスタートアップ（中国を除き）は、科学論文をほとんど発表していないという内容。 ・317社のAIユニコーン企業を対象とした論文を出している状況を分析した ・半数以上の52.4%が、科学論文やプレプリントを全く発表していない ・2025年に発表されたAI論文全体のうち、これら企業の割合はわずか0.1%にとどまる ・論文の発表は極端に偏っており、上位10%の企業が全体の引用数の96.8%を独占している ・AIが学術主導のオープンサイエンスから、利益追求型の産業へと移行している ・知的財産を守るため、米国の主要な企業はクローズドなアプローチに傾倒している ・ただ、中国のAI企業は論文発表に積極的 ・約3分の2が論文を出している 米国と中国のスタンスの違いが、数に出ている。 science.org/content/article/…