「科学・技術」の記事一覧

• リザーバーサンプリングとは何か

  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人目のエンジニアを募集しており、高度なシステム設計に挑戦できる機会となっています。

• 北海道に“日本版シリコンバレー”構想、ラピダス中心に産業集積へ

  2025-05-07 15:33

  科学・技術

  北海道で次世代半導体企業ラピダスを中心とした“北海道版シリコンバレー”構想が進行中。チトセから石狩にかけてのエリアで関連企業の集積を目指す。ラピダスは2027年に2nm半導体の量産を目指しており、IBMとの技術連携も進む。政府の後押しもあり、地域振興と経済安全保障の両面で注目されている。クリーンな環境と再生可能エネルギー活用も強み。

• バイク用スマートブレーキライト「BrakeBright」の開発物語

  2025-05-07 11:06

  科学・技術

  長年離れていたバイクに再び乗り始めた著者が、エンジンブレーキ中でも後続車に減速を伝える必要性を感じたことから、スマートブレーキライト「BrakeBright」を開発。加速度センサーで減速を検知し、通常のブレーキ操作がなくても自動でブレーキランプを点灯・点滅させる仕組みです。市販品が不十分だったことから独自に設計・試作・改良を重ね、耐水・耐振動性を備えた製品へと進化。ソフトウェア更新やカスタマイズにも対応し、より安全で快適なライディング体験を目指しています。

• 日本の民間月面探査機、6月の着陸へ向けて月周回軌道に到達

  2025-05-07 07:33

  科学・技術

  東京のispace社が開発した民間月面探査機「Resilience」が、6月初旬の着陸を目指し、月の周回軌道への投入に成功しました。1月にSpaceXによって打ち上げられ、Firefly Aerospaceの探査機と共に宇宙へ。Fireflyは3月に月面着陸を果たし、ispaceにとっては昨年の着陸失敗に続く再挑戦となります。今回は小型ローバーを搭載し、月の表面サンプル採取などの実験を行う計画です。

• OpenAI、民主主義的AIの国際展開を推進

  2025-05-07 07:00

  科学・技術

  OpenAIは、各国と連携して現地データセンターの構築や地域特化型AIの提供を進める「OpenAI for Countries」構想を発表しました。この取り組みは、民主主義的価値観に基づくAIの普及を目的としており、中国を意識した地政学的な意味合いも含まれます。教育や医療分野での利活用が期待され、AI主導権を巡る国際競争が本格化しています。

• ソフトウェア膨張の危険性とその克服法

  2025-05-06 23:33

  科学・技術

  本記事では、現代のソフトウェアが抱える「膨張（bloat）」の問題と、それによるセキュリティ上の脆弱性を論じています。ソフトウェアが過剰に複雑化し、多数の外部依存を抱える現状は、セキュリティリスクを高めています。著者は、ソフトウェアの品質を高めるにはシンプルさと依存関係の最小化が不可欠であり、EUによる新たな法規制の必要性も強調しています。最後に、軽量な画像共有アプリ「Trifecta」の開発を通じ、実用的かつ安全な小規模ソフトウェア開発の可能性を提案しています。

• LLMアップグレードが信頼性指標を損なう理由

  2025-05-06 23:22

  科学・技術

  LLMのアップグレードにより、モデルの出力に対する信頼度指標が失われる現象を解説した技術記事。特にGPT-4.1-miniでは出力に対するlog-probが極端に高くなり、誤出力でも高信頼で出力する傾向が顕著に。これにより、コンテンツモデレーションやポリシー違反検知における誤検出が増加。対策として、明示的なポリシー引用やフィルタリングルールが導入されている。

• 強化学習の古典技法をPythonで実装

  2025-05-06 22:43

  科学・技術

  このGitHubリポジトリでは、Sutton著『強化学習入門』に基づいた様々な強化学習アルゴリズムがPythonで実装されています。マルチアームバンディットからモンテカルロ法、TD学習、方策勾配、Actor-Critic法まで網羅的に収録。基本的な遷移関数を定義することで各手法を実行可能であり、学習目的の利用に適しています。プロダクション用途ではないものの、強化学習の学習や実験には有用なリソースとされています。

• 脳波から見ている映像をAIで再構築

  2025-05-06 20:52

  科学・技術

  オランダ・ラドバウド大学の研究チームは、脳活動の記録から見ている映像を高精度に再現するAI技術を開発しました。従来よりも大幅に精度が向上しており、特定の脳領域に着目することで、AIの再現力がさらに高まることが確認されました。これは視覚認識や脳機能の研究に加え、将来的にはブレイン・マシン・インターフェース技術への応用も期待されます。

• ACE-Step、音楽生成の新たな基盤モデルとして登場

  2025-05-06 20:38

  科学・技術

  ACE-Stepは、高速かつ高品質な音楽生成を可能にするオープンソースの基盤モデルです。DiffusionとTransformerを融合し、歌詞・メロディ・伴奏の整合性を保ちつつ、生成速度を大幅に向上。ラップ、ボーカルデモ、リミックスなど多彩な応用が可能で、音楽制作の現場に新たな創造性をもたらします。研究者やアーティスト向けのツールとして期待されています。

• AI電力急増への解決策、スーパーキャパシタ

  2025-05-06 19:30

  科学・技術

  AIのトレーニングは短時間に大電力を消費し、電力網に大きな負荷を与えます。この課題に対し、スーパーキャパシタの導入が注目されています。短時間での充放電が可能で、バッテリーと異なり劣化が少ないため、データセンターでの電力ピークの平準化に有効です。EatonやSiemensなどが製品を展開し、再生可能エネルギーの不安定な供給にも対応できる手段として期待されています。

• Rust製のPOSIX互換シェル「brush」

  2025-05-06 18:47

  科学・技術

  「brush」はRustで実装されたPOSIXおよびbash互換のシェルで、LinuxやmacOSでの使用が可能です。bashスクリプトの多くが動作し、対話的な日常使用にも耐える性能を備えています。まだ完全な互換性はないものの、実用的な機能が豊富で、Rust学習やシステム開発者にとって魅力的な選択肢です。軽量で依存関係も少なく、AURやcargoで簡単に導入できます。

• TLA+と生成AIの融合に挑むチャレンジが始動

  2025-05-06 17:54

  科学・技術

  TLA+財団とNVIDIAが主催する「GenAI-accelerated TLA+ challenge」は、形式仕様記述言語TLA+と生成AIの融合を探る公開コンテストです。LLMを活用したツールやワークフローの開発が求められ、受賞者にはNVIDIAのGPUやGitHub Copilotのサブスクリプションが贈られます。仕様の可視化や自動補完、教育向けのツール開発など、多岐にわたる応用が想定されており、AI技術を形式検証に統合する先進的な取り組みです。

• C++の問題から見えるRustの強み

  2025-05-06 17:51

  科学・技術

  長年C++を使ってきた筆者は、Matt Godboltの講演を通じて、Rustがいかにコードの安全性と可読性を高めているかに気付きました。C++では型安全性を保つために多くの工夫が必要でしたが、Rustではコンパイラが間違いを事前に検知し、安全なAPI設計を自然に促します。特に値の型制限やエラーハンドリング、コンパイル時チェックによって、実行時のバグや混乱を未然に防ぐ設計がされています。Rustは単なるメモリ安全性以上の利点を持つ言語です。