「科学・技術」の記事一覧
-
OpenTPU：Google TPUを再現したオープンソース実装
2025-05-27 23:10
科学・技術カリフォルニア大学サンタバーバラ校のArchLabが、GoogleのTensor Processing Unit（TPU）を再現したオープンソースプロジェクト「OpenTPU」を公開しました。PyRTLを用いて構築され、ReLUやシグモイドといった活性化関数にも対応。命令セットは独自で、推論フェーズに特化しています。Verilog出力やシミュレーション機能も備え、学術的および実践的な分析に活用できます。Google公式仕様は未公開のため、部分的な再現にとどまります。
-
ジェームズ・ウェッブ望遠鏡、宇宙の黎明期を深観測
2025-05-27 21:38
科学・技術ジェームズ・ウェッブ宇宙望遠鏡が、銀河団アベルS1063を利用した重力レンズ効果により、宇宙初期の銀河を過去最深で観測しました。120時間以上の長時間露光で取得された画像は、宇宙誕生初期の構造や銀河形成過程を明らかにする手がかりとされ、近赤外線9波長で撮影されました。これにより科学者たちは、宇宙論モデルの再検証を迫られる可能性もあります。
-
米エネルギー省、核融合実験で過去最大出力を達成
2025-05-27 21:38
科学・技術米国エネルギー省は、カリフォルニア州の国立点火施設で行った核融合実験で、これまでにない高出力のエネルギー放出に成功したと発表しました。これは核融合の商業化に向けた大きな一歩とされ、研究者たちは再現性の確認を急いでいます。実用化にはまだ課題がありますが、今後のエネルギー供給に変革をもたらす可能性があります。
-
LLM 0.26登場、ターミナルでツール実行が可能に
2025-05-27 20:53
科学・技術LLM 0.26がリリースされ、OpenAIやAnthropic、Gemini、Ollamaなどのモデルに対して、Python関数として記述したツールを実行させる新機能が追加されました。コマンドラインやPython APIからツールを定義・呼び出し可能で、数学計算やSQLクエリ、Web検索など多様な用途に対応。開発者にとってLLMの拡張性と応用範囲が大きく広がるアップデートとなっています。
-
なぜ初代Macの解像度は512×342だったのか
2025-05-27 20:02
科学・技術1984年に登場した初代Macintoshの画面解像度が512×342ピクセルだった理由について解説しています。主な要因は限られた128KBのメモリ、CPU負荷、スクエアピクセルの採用などで、より高解像度にすると動作が困難だったためです。当時のAppleは、性能・コスト・使いやすさのバランスを最重視して設計を行っており、この解像度が最適解とされました。
-
RoundtableのProof-of-Human技術者募集
2025-05-27 17:42
科学・技術Y Combinator支援のスタートアップRoundtableは、人間とAIの識別技術「Proof-of-Human」を開発する技術者を募集しています。業務は研究とエンジニアリングを半々で担当し、機械学習・認知科学・オンライン実験の知識が活かされます。プロダクトの迅速な実装と運用を目指し、デジタルID分野での不正防止や認証技術の進展に貢献します。
-
Pyreflyとty：Pythonの新しい型チェッカーを比較
2025-05-27 15:01
科学・技術Python向けの新たなRust製型チェッカー「pyrefly」と「ty」が登場しました。pyreflyはMetaが開発し、高速性と型推論の強化、オープンソースでの積極的な開発姿勢が特徴です。一方のtyはAstralによるもので、漸進的な型保証や明確なエラーメッセージ、交差型や否定型の導入など先進的な機能を持ちます。両者はまだα版ながら、mypyやpyrightを大きく上回る速度を実現し、今後のPython型チェッカーの進化に大きく貢献しそうです。
-
結果ベース強化学習による予測精度の向上
2025-05-27 13:33
科学・技術本研究は、結果ベースの強化学習を用いて未来予測の精度と信頼性を向上させる手法を提案しています。従来のRLVR手法に比べ、ノイズの多い実世界の予測タスクでも安定して動作するよう改良が加えられています。14Bモデルを使った実験では、標準的な大規模モデルと同等の精度を示し、特にキャリブレーションで上回りました。小規模LLMでも経済的価値ある予測ツールになり得ることが示されています。
-
信号を理解して狩りに活かすタカの知恵
2025-05-27 11:46
科学・技術テネシー大学の動物行動学者による観察で、都市に現れた若いクーパーハウクが、歩行者用信号音を手がかりに狩りのタイミングを見極めていたことが明らかになりました。信号の音が鳴ると車列が長くなることを理解し、それを利用して群れの鳥に見つからずに接近し攻撃を仕掛けていたのです。この個体は都市に来たばかりの移住鳥で、環境への高い適応力を示しました。都市に適応する猛禽類の知性と柔軟性に注目が集まっています。
-
ZK-LSTM：長文の文脈保持を可能にする新アーキテクチャ
2025-05-27 10:39
科学・技術独立研究者Zack Kinsmanが提案したZK-LSTMは、従来のLSTMの記憶保持能力を大幅に拡張し、文書全体レベルの文脈を記憶・処理可能なリカレントアーキテクチャです。論文の本文内で引用元を明示する構造が特徴で、1万単語以上のスケールでも一貫した文脈管理が可能。外部メモリは使わず、トークンごとの帰納的な状態更新で処理を行う。Transformerとは異なる系列モデルの新しい可能性として注目されています。
-
ロボット業界で割れる“ヒューマノイド”の是非
2025-05-27 08:50
科学・技術ヒューマノイドロボットの未来について、ロボット業界内でも意見が割れています。テスラの「オプティマス」などに注目が集まる中、多くの専門家は、人型である必要性に懐疑的です。工場などでの実用面では、移動可能なロボットアームの方が効率的とされる一方、安定性やバランスの観点からは人型が有利という意見もあります。技術的課題が残る中、現場での実用化には時間がかかると見られています。
-
日産、最新e-POWERハイブリッドを欧米展開へ
2025-05-27 03:17
科学・技術日産は独自開発したe-POWERハイブリッドの最新モデルを欧州で発表し、今後米国でも導入予定。今回のモデルは高速走行時の燃費性能を大幅に改善したとし、充電不要でEVのような走行感を実現する。e-POWERは同社の電動化戦略の中核技術として位置づけられている。
-
形式的不確実性の文法：LLMによる自動推論の信頼性評価
2025-05-27 02:27
科学・技術大規模言語モデル（LLM）は形式仕様の自動生成に有望ですが、確率的出力と決定論的検証とのギャップが課題です。本論文は、LLMが形式的推論で誤る要因と、不確実性の定量化手法の効果を検証しました。SAT/SMT問題においては分野依存の精度変動が顕著で、既存のエントロピー指標などでは誤りを十分に検出できませんでした。そこで、出力を確率文脈自由文法（PCFG）でモデル化し、文法エントロピーなどの新たな指標を提案。これにより選択的検証で誤り率を最大100%削減する方法を示しました。
-
Forester：科学的ハイパーテキストのための執筆・共有ツール
2025-05-27 01:00
科学・技術Foresterは科学や数学のためのハイパーテキストを構築・共有するためのツールで、StalwartのStacks Projectのような大規模知識ベースにも対応しています。タグベースの構造、静的HTML出力、OCamlでの単一実装、トランスクルージョンによる階層構成、科学的記述に必要な記法や図表にも対応しています。Unixベースで動作し、簡単なコマンドで導入・展開が可能。ユーザーは「森林」と呼ばれるサイトに自分の「樹木（ノート）」を積み重ねていきます。
-
AIチャットボットの科学要約、7割が誤解を招く表現に
2025-05-26 22:54
科学・技術最新研究によると、ChatGPTなどの大規模言語モデルは科学論文の要約において最大73％の確率で誇張や不正確な表現を含んでいる。特に「過去形」から「現在形」への変換や、限定的な研究結果を一般化する傾向が強い。研究者は、正確性を促すプロンプトを与えても逆に誇張が増える場合があると警告している。
-
AIが設計から許認可まで支援するSpacial
2025-05-26 22:50
科学・技術Spacialは、構造・MEP（機械・電気・配管）エンジニアリング図面をAIで自動生成し、ライセンスを持つエンジニアによるレビューとスタンプを経て、建築許可の申請までを一括支援するサービス。設計図をアップロードすれば、通常1週間以内に許可取得可能な図面が完成。AutoCADやRevitなどとの連携機能も充実しており、従来の手動作業を大幅に効率化する。全米の建築家やエンジニアとの連携も広がっている。
-
CSMWrap：UEFI環境にレガシーBIOSを復元するハック
2025-05-26 21:25
科学・技術CSMWrapは、UEFI専用のシステムで従来のBIOS環境を再現するためのツールで、SeaBIOSのCSMモジュールを利用してFreeDOSやWindows XPなどの起動を可能にする。実機でも一部動作するが、セキュアブートの無効化や4G超メモリの制限など、使用には注意が必要。
-
TSMCがマイクロLEDでAI向け光インターコネクトを強化
2025-05-26 17:15
科学・技術TSMCは米Avicenaと提携し、AIデータセンター向けにマイクロLEDを活用した光インターコネクト技術の開発に着手。従来のレーザーを使わず、カメラとディスプレイ技術を応用したAvicenaのLightBundleは、低消費電力で高信頼性を実現。10Gbpsで300チャンネルを束ねたリンクにより、最大3Tbpsの伝送が可能。成熟したLED産業を活用し、従来のシリコンフォトニクスより迅速な量産展開が期待される。
-
BQNでSchemeインタプリタを構築
2025-05-26 15:53
科学・技術本記事では、BQNという配列指向言語を用いてSchemeの部分的なインタプリタを構築する過程が詳細に解説されています。Peter Norvigのlispy実装を参考に、R5RS準拠を目指したものの、完全な対応には至っていません。BQNの特徴を活かした環境構築や、マクロ処理の導入など、メタプログラミング的な要素も含まれています。最終的には自己再帰的な式を出力するクワインの動作確認や、外部Scheme実装との比較検証も実施されています。
-
WaveBirdコントローラを復活させるオープンソースプロジェクト
2025-05-26 15:37
科学・技術任天堂の名作無線コントローラ「WaveBird」の通信プロトコルを再現するオープンソースプロジェクト「WavePhoenix」が登場。Silicon LabsのGecko SoCを使い、専用受信機のハードウェアとファームウェアを自作可能にしました。プロトコルの解読から実装、さらには3Dプリントケースまで含む再現度の高さが特徴。USB接続やN64互換、独自送信機の開発など、今後の発展も視野に入れられています。