「科学・技術」の記事一覧
-
AI System Targets Aging Infrastructure Risks
2025-04-30 16:29
科学・技術埼玉県八潮市の道路陥没事故を契機に、日本各地で老朽化した上下水道インフラのリスク対策が注目され、AIによる管路の危険度可視化システムが導入。衛星データや過去の漏水履歴をもとに、危険エリアを色分け表示し、自治体の迅速な点検と維持管理を支援。コストと時間の削減にも貢献している。
-
DeepSeek-Prover-V2：数理証明に革命を
2025-04-30 16:23
科学・技術DeepSeek-Prover-V2は、Lean 4に対応した形式的数学証明向けのオープンソースLLMで、DeepSeek-V3をベースに構築されました。複雑な定理をサブゴールに分解し、推論の連鎖を構築する冷スタートデータで訓練された後、強化学習により精度を向上。MiniF2Fテストで88.9%の通過率を達成し、PutnamBenchでも高い成果を示しました。新たに公開されたProverBenchデータセットは、数学オリンピックから大学初級レベルまで325問を収録しており、評価の基盤として機能します。形式・非形式の推論を融合させた新しいアプローチが注目を集めています。
-
伝説のBoseサスペンションが量産車に搭載開始
2025-04-30 10:27
科学・技術20年以上前に話題となったBoseの電動アクティブサスペンション技術が、ついに中国のEV「Nio ET9」で量産化されました。現在はClearMotion社が技術を引き継ぎ、Porscheとの提携やヨーロッパ展開も視野に入れています。道路の状況を記憶し、走行時に自動適応するRoadMotion技術も登場予定で、今後の高級車市場に革新をもたらすことが期待されています。
-
LinuxでPATHは幻想？実際のコマンド探索の仕組み
2025-04-29 22:35
科学・技術Linuxでコマンドがどのように実行されるかを解説した記事。環境変数PATHによりコマンドが探索されるように見えるが、実際にはシェル（dashなど）がPATHを解釈し、パスを決定してexecveを呼び出している。またPythonやGo、Rustなど各言語の標準ライブラリもPATHの探索処理を自前で実装している。つまり、PATHはカーネルレベルでは存在せず、すべてユーザーランドの実装で機能しているというのが実態。シェバンの記述でも絶対パスが必須となる背景もこれに起因する。
-
AIが自分と議論する時代へ：「Chain of Recursive Thoughts」
2025-04-29 17:19
科学・技術「Chain of Recursive Thoughts（CoRT）」は、AIに自己反省と再考の能力を持たせるプロジェクトです。Mistral 3.1などの中規模モデルにおいても、再帰的に思考を深めることで回答精度が飛躍的に向上。具体的には、AIが初期回答を出し、それに対し代替案を複数生成・評価・選別するというサイクルを複数回繰り返します。コード生成や複雑な推論に特に効果的で、自己改善型のAI開発に大きな可能性を示しています。MITライセンスで自由に利用・拡張が可能。
-
NIST、新型原子時計「NIST-F4」で時の精度を更新
2025-04-29 12:39
科学・技術米国標準技術研究所（NIST）は新たな原子時計「NIST-F4」の運用を開始し、世界最高水準の時刻精度を達成しました。セシウム噴水型の設計で、1億年動作しても誤差は1秒未満。米国および国際的な標準時UTCの精度向上に寄与します。この時計は、金融取引、通信、交通などあらゆる分野で用いられる時刻信号の信頼性を高めるものです。
-
電力網に潜む大気振動のリスク
2025-04-29 12:30
科学・技術電力網における「誘導大気振動」は、環境要因により発生するコロナ放電が送電のリアクタンスに影響を与える現象です。特に高温・乾燥条件下で発生しやすく、これにより送電システムが不安定化することがあります。従来のモデルでは対応しきれず、最新のインバータベースの送電方式では即応性が逆効果となることも。現代の気候変動と相まって、電力供給網の設計と運用には新たな対策が求められています。
-
FlashAttentionの実装解説
2025-04-29 05:47
科学・技術SGLangでFlash Attentionのバックエンドを実装する過程を解説した技術記事。基本構造からCUDA Graphの最適化まで段階的に紹介し、LLMの高速推論を実現する仕組みに迫る。
-
自動スパース微分の図解ガイド
2025-04-29 03:18
科学・技術本記事は、自動スパース微分（ASD）という効率的な手法を紹介します。ASDは、ヤコビアンやヘッセ行列がスパース（ゼロが多い）であることを活かし、通常の自動微分よりも高速・省メモリで導出可能にします。記事では、スパースパターン検出や行列の彩色法を解説し、Forward/ReverseモードのADと組み合わせて複数のベクトル積を一度で処理する仕組みを紹介。Juliaを用いた実演もあり、スパース構造を持つ関数に対するASDの有用性を実証しています。
-
大阪万博、空飛ぶ車で部品脱落事故発生
2025-04-29 02:48
科学・技術大阪・関西万博で展示されていた空飛ぶ車がデモ飛行中に部品脱落。運営側は原因究明を急いでいる。
-
13世紀の天才技術者アル・ジャザリーの機械装置写本
2025-04-29 02:16
科学・技術アル・ジャザリーによる13世紀の機械装置に関する写本が、ベルリンの図書館に保存されている。水時計や自動奉仕人形など精巧な装置が多数記載されている。
-
DECtalk：音声合成技術の歴史と進化
2025-04-29 02:09
科学・技術DECtalkは、1984年にDigital Equipment Corporation（DEC）によって開発された音声合成装置で、MITのデニス・クラットの研究に基づいています。初期モデルDTC-01は、電話システムや視覚障害者向けの支援ツールとして利用されました。後に、PC用のISAカード「DECtalk PC」や外付けデバイス「DECtalk Express」、USB接続の「DECtalk USB」など、さまざまなバージョンが登場しました。特に「Perfect Paul」などの音声は、スティーヴン・ホーキング博士の音声としても知られています。現在、DECtalkのアーカイブがオンラインで公開されており、音声合成の歴史を学ぶ貴重な資料となっています。
-
Qwen3公開：柔軟な思考モードと119言語対応の新世代モデル
2025-04-28 20:44
科学・技術AlibabaのQwenプロジェクトが、Qwen3シリーズを発表。大規模MoEモデルから小型モデルまで幅広く揃い、柔軟な思考モード切替、119言語対応、高度なエージェント機能を搭載。プレトレーニングとポストトレーニングの両面で大幅な改良が加えられている。
-
WorldGen登場：テキストから数秒で3D空間を生成
2025-04-28 18:39
科学・技術WorldGenは、テキストや画像から数秒で高品質な3Dシーンを生成する最新のジェネレーティブAIモデル。ユーザーは「水中都市」や「サイバーパンクの街並み」などのプロンプトを入力するだけで、360度の没入型空間が即座に構築される。生成されたパノラマ画像を3Dメッシュへ変換し、任意の視点から探索可能。開発者向けにGitHub上でコードも公開されており、ゲームや建築、映像制作などさまざまな用途に活用が期待されている。
-
リレーショナルデータに革命をもたらすGraph Transformer
2025-04-28 18:13
科学・技術リレーショナル・グラフ・トランスフォーマー（RGT）は、複雑な関係性を持つリレーショナルデータからの知見抽出において従来の機械学習を大きく上回る成果を上げています。RGTは、リレーショナルデータベースをグラフとして扱い、各テーブルやエンティティ間の構造を保ちながら学習を行います。これにより、精度向上、学習コスト削減、データ準備の省力化が実現され、顧客分析や不正検知など多様な業務に応用されています。Kumoは大規模データへのスケーリングや時間情報の活用、エッジの意味づけにも注力し、現実世界での高精度な予測を可能にしています。
-
Vision Transformerの性能向上に「レジスター」が必要
2025-04-28 16:53
科学・技術Vision Transformerでは推論時に不要な領域に高ノルムトークンが発生する問題があり、追加トークンを投入することでこれを解決。自己教師あり学習モデルの精度向上にも成功しました。
-
Sim Studio: オープンソースのエージェント構築プラットフォーム
2025-04-28 16:14
科学・技術Sim Studioは、LLMエージェントワークフローをビジュアルで簡単に構築・展開できるオープンソースプラットフォーム。クラウド利用・自前ホスティング両対応で、ローカルモデルにも対応可能。
-
Apple SiliconでLLMを自作サーブする入門講座
2025-04-28 11:24
科学・技術Apple Silicon環境でMLXを用いてLLMサービングを学ぶ講座『tiny-llm』を紹介。高レベルAPIを使わず、配列・行列操作からモデルサービングインフラを構築していく。
-
モメンタム最強説：なぜ加速するのか
2025-04-28 05:01
科学・技術モメンタム最適化手法の本質を、単なるスムージングや加速ではなく、数学的に最適な手法として解説。特に、病的な曲率の問題を乗り越えるためにモメンタムが有効であることを示す。
-
PEAR研究：意識と物理現象の異常な関係性
2025-04-27 21:49
科学・技術プリンストン工学異常現象研究（PEAR）は、30年にわたり人間の意図や感情が機械や物理現象に影響を与える可能性を示唆する実験結果を蓄積してきました。既存の科学理論では説明が難しいこれらの結果に対し、主観性を重視した新たな科学モデルの必要性が提唱されています。意識が現実構築に関与するという前提のもと、量子力学的アプローチや無意識の影響を組み込んだ複数のモデルが紹介されています。