「科学・技術」の記事一覧
-
アマゾンの新型ロボット「ヴァルカン」、倉庫効率を革新へ
2025-05-09 11:18
科学・技術アマゾンは、新型ロボット「ヴァルカン」を発表しました。倉庫内の物品の収納・取り出し作業において、人間を超える最適化能力を発揮しつつあります。ヴァルカンは触覚を持ち、在庫データを一括把握して効率的な配置を実現。現在、ドイツや米国の倉庫で運用されており、年間140億点以上の手作業を自動化する可能性があります。人間の創造性にはまだ及ばないものの、計画性と情報処理能力ではロボットが優位です。
-
Struct of ArraysをC++26で実装する試み
2025-05-09 10:52
科学・技術本記事では、ZigのMultiArrayListに触発され、C++26のReflection機能を用いてStruct of Arrays（SoA）を実装する試みを紹介しています。SoAは、構造体の各メンバを個別の配列として管理することで、キャッシュ効率やデータ処理速度の向上を図る設計手法です。記事では、型の反映、メンバ毎のメモリ割当て、push_backやoperator[]の実装に至るまで、段階的かつ詳細にコードとともに解説されています。Zigと比較しながらC++の柔軟性も示しています。
-
WebAssembly 2.0のコア仕様とは何か
2025-05-09 08:01
科学・技術WebAssembly（Wasm）は、安全でポータブルな低レベルコード形式であり、Web上での高性能なアプリケーション実行を可能にすることを目的としています。この記事では、2024年版のWasmコア仕様2.0を紹介し、設計目標、仮想命令セットとしての機能、安全性、型システム、スタックベースの実行モデル、バイナリおよびテキスト形式、エンベッダーとの関係など、詳細な技術的要素が解説されています。また、Web環境以外での応用やセキュリティへの配慮についても触れています。
-
シーメンスの1980年マニュアルに6502の非公式命令が記載
2025-05-09 06:19
科学・技術1980年にシーメンスが発行したPC 100のアセンブラマニュアルに、6502プロセッサの“非公式命令”が明記されていたことが判明した。通常、これらの命令は文書化されておらず、趣味的探求の対象であったが、同マニュアルではオリジナルの研究成果として紹介されている。これらの命令はアセンブラで直接使用できず、.BYT命令を用いて記述する必要がある点も特徴的である。
-
AIに必要なのは「検証する力」— 知識の自己評価の重要性
2025-05-09 05:10
科学・技術AI研究において、システムが自ら動作の正しさを判断できる能力、すなわち「検証」が極めて重要であるとする主張が提示された。従来の専門知識ベースのAIは複雑化と脆弱性に悩まされてきたが、自己検証が可能なシステムは信頼性と拡張性に優れる。検索型AIや強化学習のような手法においては、動作選択の正当性を内部で評価できることが成功の鍵であるとされる。
-
LegoGPT：テキストから物理的に安定したレゴ設計を自動生成
2025-05-09 04:55
科学・技術LegoGPTは、テキスト入力から安定性と組立可能性を兼ね備えたレゴ構造物を生成する初のシステムである。物理的に安定な4.7万件以上のレゴ設計データを元に、大規模言語モデルを訓練。物理法則や組立制約に基づくフィルタリングを実装し、現実に組立可能な設計を出力する。デザインは人間またはロボットにより再現可能であり、教育や創造的なプロトタイピングに新たな可能性を示している。
-
C++の型変換とオーバーロード解決の複雑さを解剖
2025-05-09 03:27
科学・技術C++のオーバーロード解決における「より適した（better）」変換の意味について、標準変換シーケンスと資格変換（cv-qualification）を中心に詳細な検討が行われています。ポインタの多重構造やnoexcept関数ポインタなどの例を通じて、変換ランキングや似た型の評価方法を整理し、曖昧なコンパイルエラーの理由や設計の背後にある意図を解明します。C++の型システムの柔軟性とその代償としての複雑さが浮き彫りになっています。
-
USENIX ATC、50年の歴史に幕
2025-05-09 03:18
科学・技術先端計算システムの研究者らの交流の場として50年間にわたり続いてきたUSENIX Annual Technical Conference（ATC）が、2025年7月をもって終了することが発表されました。ATCはUNIXの進化やオープンソース技術の発表の場として数々の歴史的瞬間を支えてきましたが、専門分野別の会議に分化が進み、参加者が減少。今後はUSENIX SecurityやOSDIなどの後継カンファレンスを軸に活動を継続していく方針です。
-
Starlink端末の構造とセキュリティを解析 DARKNAVYが調査報告
2025-05-09 03:03
科学・技術DARKNAVYがSpaceXの衛星インターネットサービス「Starlink」のユーザー端末（UTA）を分解・解析し、ハードウェア構成とセキュリティ設計についての調査結果を公表しました。解析ではカスタムSoCやセキュリティチップの搭載が確認され、ファームウェアにはテレメトリーデータを記録する機能も含まれていることが判明。SSH鍵の大量登録など、潜在的なセキュリティリスクも指摘されています。
-
fui：Cで作られたフレームバッファUIライブラリ
2025-05-08 22:05
科学・技術fuiは、C言語で記述されたTTYコンテキスト向けのフレームバッファ操作ライブラリで、複数レイヤーの描画、テキスト・図形の描画、キーボードやマウス入力、音声再生まで対応しています。libevdevとalsaを活用し、低レベルで直感的なUI開発が可能です。静的リンクでの導入も簡単で、ゲームやシステムツール開発に応用できます。サンプルにはアステロイド風ゲームも含まれています。
-
PostgreSQLで有限状態機械（FSM）を実装する方法
2025-05-08 20:22
科学・技術この記事では、注文管理システムの状態遷移ロジックを有限状態機械（FSM）としてモデル化し、それをPostgreSQLで実装する手法を紹介しています。ユーザー定義の集約関数とトリガーを用いて、状態遷移の整合性を保ちながらイベントの蓄積と検証を実現。さらにウィンドウ関数を用いた分析も可能で、業務ロジックの一元化と同時に高度な分析が行える点が特徴です。
-
LLMにおける「創発性」はなぜ起きるのか
2025-05-08 20:07
科学・技術大規模言語モデル（LLM）は、パラメータ数が増えると突然新たな能力を獲得する「創発性」を示すことがあります。これは自然界や機械学習の非線形性に起因すると考えられ、タスクを実現するのに必要な「ビット予算」が初めて十分になることで急に能力が発現するという仕組みです。数理的証明ではなく直感的な説明により、この現象の理解を深め、将来的には予測や制御につなげる可能性が探られています。
-
拡張可能なブロック拡散型言語モデルBD3-LMの提案
2025-05-08 18:18
科学・技術BD3-LMは、従来のオートレグレッシブモデルと離散拡散モデルの長所を統合し、柔軟な長さのテキスト生成や並列生成を可能にする新しい言語モデルです。トークンのブロック単位で拡散を行い、自己回帰的に文脈を捉えることで、精度を維持しつつ生成速度を向上させます。学習時にはノイズ率の最適化により高い安定性と低パープレキシティを実現し、従来の拡散モデルの限界を克服しています。
-
リザーバーサンプリングとは何か
2025-05-08 17:02
科学・技術リザーバーサンプリングは、データ総数が事前に分からない場合でも、公平にランダムサンプリングを行うアルゴリズムです。1件ずつ流れてくるデータから一定数をメモリ効率良く選ぶことができ、ログ収集などにも応用可能です。仕組みは、n番目の要素が選ばれる確率を1/nとすることで、すべてのデータに均等な選択機会を与えます。複数の要素を選ぶ場合も拡張可能です。
-
フュージョンエナジーベースの紹介
2025-05-08 15:49
科学・技術Fusion Energy Baseは、融合エネルギーに関する情報を集約するプラットフォームとして、組織やサプライチェーン、雇用情報、関連する記事の配信などを提供しています。サイトはTriple Product Inc.によって運営され、利用規約のもとで2025年までのコンテンツがCC BY-NC 4.0の条件で提供されています。具体的な技術や研究の紹介はありませんが、業界関係者や関心のある一般ユーザー向けの情報拠点として機能しています。
-
Apple IIのマウスカードIRQはVBLに同期していた
2025-05-08 12:19
科学・技術Apple IIのマウスカードによるIRQが垂直帰線期間（VBL）に正確に同期していることが明らかになりました。エミュレータと実機の表示差異に疑問を持った開発者が調査を行い、マウスファームウェアがVBL検知をソフトウェア的に行い、IRQの周期を設定していることが確認されました。NTSCとPALの違いにも対応しており、Apple IIプログラミングにおける正確な同期手法が解明されました。
-
Artifactが目指すAI時代のハードウェア開発革新
2025-05-08 12:01
科学・技術Artifactは、ハードウェアエンジニア向けのAIネイティブな統合開発環境（IDE）を提供するスタートアップで、設計から調達、製造、統合、テスト、保守に至るまで、すべての開発工程をシームレスに結びつけることを目指しています。前線配備型ソフトウェアエンジニアは、顧客と密接に連携しながらニーズを把握し、Artifactのソリューションを最適化して導入を支援します。同社は3.5百万ドルの資金調達を行っており、トレーサビリティの高い設計支援を強みとしています。
-
ウォルトン家、旧ウォルマート本社にSTEM大学設立へ
2025-05-08 09:36
科学・技術ウォルマート創業者の孫にあたるスチュアート氏とトム氏は、アーカンソー州ベントンビルに科学技術系の新大学を設立する計画を発表しました。自動化、バイオテクノロジー、物流、コンピューティングといった分野に特化し、柔軟な学位制度を導入する予定です。同地では近年、ウォルトン家による文化・医療・都市開発が進んでおり、この大学も地域振興の一環とされています。
-
NASA衛星が露ウクライナ戦線の電磁妨害を可視化
2025-05-08 08:52
科学・技術NASAの土壌水分観測衛星SMAPが、保護されている1.4GHz帯域で不自然な高輝度温度を検出。これはウクライナ・ロシア戦争における電磁妨害やジャミングの影響と見られます。同衛星の観測から、前線やドローンの通過ルートに一致する干渉源が浮かび上がり、オープンソースによる電磁戦の可視化例として注目されています。
-
Thunder Compute、GPU仮想化でAI開発を革新
2025-05-08 07:01
科学・技術Thunder Computeは、GPU資源の効率的活用を可能にする仮想化技術を開発中のスタートアップです。Y Combinatorの支援を受け、わずか3人のチームでGPUのアイドル時間を削減し、最大5倍の利用効率を実現する独自ソフトウェアを構築しています。ネットワーク越しにGPUを割り当てる技術により、研究者や開発者向けに低価格なクラウド環境を提供。現在、4人目のエンジニアを募集しており、高度なシステム設計に挑戦できる機会となっています。