「科学・技術」の記事一覧
-
Rustでのメモリ管理との格闘
2025-05-03 21:01
科学・技術Rustのメモリ管理に関する連載の第5回では、所有権と借用による制約を克服するための実践的な工夫が紹介されています。forループでVecを直接消費することで値が移動し、以降使用できなくなる例や、メソッド呼び出しと借用ルールの関係、また所有権を保持したまま安全に複数回アクセスする方法として、クローン、再借用、コード構造の工夫などが議論されます。Rustの安全性と制約のバランスについての深い理解が得られます。
-
アマゾンの極秘衛星プロジェクトKuiperの実態が一部明らかに
2025-05-03 09:37
科学・技術アマゾンの衛星インターネット構想「プロジェクトKuiper」がついに初の運用衛星27基を打ち上げ、衛星の実物映像が初公開されました。これまで衛星の詳細は非公開で、打ち上げ時の映像も最小限にとどまっていました。今回の映像公開により、ライバルであるSpaceXのStarlinkやOneWebに後れを取っていた情報開示の姿勢に変化が見られます。アマゾンは今後、約3,200基の衛星を80回以上の打ち上げで展開する予定です。
-
C64をマイコンで完全再現、Connomore64プロジェクト
2025-05-03 03:04
科学・技術Connomore64は、複数のRP2040マイコンを並列接続して、Commodore 64をリアルタイムかつサイクル単位で忠実にエミュレートするプロジェクトです。HDMI出力や実機の周辺機器との互換性も備え、FPGAに代わる手軽な再現手法として注目されています。GPIOの正確なタイミング制御やPIOの活用により、従来のPCエミュレータでは困難だったリアルタイム動作を実現しています。
-
国産の持続可能な航空燃料、初めて航空機へ供給
2025-05-03 02:23
科学・技術日本で初めて、使用済み食用油などから製造された国産の持続可能な航空燃料（SAF）が航空機に供給されました。大阪府堺市の工場で生産されたこのSAFは、温室効果ガスの排出を大幅に削減できるとされ、輸入に頼っていた状況から国産化に一歩踏み出しました。今後は他の航空会社にも供給される見込みです。
-
スマートグラスで楽譜を表示して演奏をサポート
2025-05-03 01:46
科学・技術スマートグラスに楽譜を表示し、ピアノやギターなどの演奏時に視線を移さずに譜面を確認できる革新的な試みが紹介されました。テクノロジーと音楽の融合によって、演奏の自由度や効率が大きく向上する可能性があります。開発の背景にはサンフランシスコ発のスタートアップによる技術革新があり、視覚支援や教育用途への応用も期待されています。
-
自動で不等式を検証するツールの試作
2025-05-02 19:09
科学・技術数学者が、漸近的不等式の検証を自動化するPythonベースのツールを試作しました。このツールは、正の実数と四則演算・指数・最大最小関数を用いた不等式をケース分けにより判定し、真であれば簡易な証明を提示します。線形計画法を応用した構造で、証明過程もログとして出力されます。複雑な多変数不等式や関数空間上の評価に応用可能であり、SageMathなど既存プラットフォームとの統合も今後の課題として挙げられています。
-
旧ソ連の金星探査機残骸、地球大気圏再突入に注目
2025-05-02 19:02
科学・技術1972年に打ち上げられた旧ソ連の金星探査機「コスモス482」の残骸が、地球の大気圏に再突入する見込みで注目されています。衛星追跡者によると、探査機は耐熱性の高い着陸カプセルであるため、大気圏突入後も原形を保つ可能性があります。現在、地球周回軌道にあるこのカプセルの画像も公開されており、今後の動向に関心が集まっています。
-
Anukari：3D物理シミュレーションで音を作る新型シンセ
2025-05-02 18:12
科学・技術Anukariは、3D物理シミュレーションを基盤とした新しいソフトウェアシンセサイザーです。質量やバネといった要素を組み合わせて独自の楽器やエフェクトを構築し、MIDI入力でリアルタイムに演奏できます。GPUでの処理により膨大な演算が可能で、従来のMIDIやMPEコントローラーに対応。VST3やAUなどプラグインとしても使用でき、ライブ演奏用の3Dビジュアル出力も可能です。
-
Ubicloudがcgroups v2でバースタブルVMを実現
2025-05-02 16:45
科学・技術Ubicloudは、Linuxのcgroups v2を活用してCPUリソースを柔軟に管理する「バースタブルVM」を実装。低コストなクラウド環境を提供し、負荷が一時的に高まった際に一部のリソースを追加利用できる仕組みを実現しました。cgroupの階層構造やCPUバーストの仕組みを詳細に解説し、VMの起動時間に影響を与えず運用可能な点も強調されています。
-
プログラミング学習に重要なのは「言語脳」だった
2025-05-02 15:19
科学・技術ワシントン大学の研究によると、Pythonプログラミングの習得には数学的能力よりも言語能力が大きく影響することが明らかになりました。実験では、事前に言語や問題解決力を測定し、その後Pythonを学習させたところ、学習速度と習得度は言語能力と強く関連していました。特に脳波のβオシレーションが高い被験者ほど学習が速く、理解も深い傾向が見られました。この研究結果は、プログラミング教育や多様性促進のあり方に影響を与える可能性があります。
-
510バイトに収まる極小OS「OSle」の魅力
2025-05-02 05:53
科学・技術OSleはブートセクタに収まる超小型のリアルモードOSで、x86アセンブリで記述されています。シェル、ファイルシステム、プロセス管理など基本的な機能を510バイトに詰め込んでおり、ユーザーランド用のSDKも付属。BochsやQEMUを使って容易に動作確認ができ、自作プログラムの作成やパッキングも可能です。低レベルOS開発の教育用にも最適なプロジェクトです。
-
高速なデータ照合を可能にするBloomフィルターの仕組み
2025-05-02 03:46
科学・技術Bloomフィルターは、ある要素が集合に含まれているかを高速かつ省メモリで確認できる確率的データ構造です。ビット配列と複数のハッシュ関数を使い、否定の確認には確実性があり、肯定の場合にはごく稀に誤判定が含まれます。Go言語での実装例も紹介され、1秒間に数千万件の検査も可能です。特にアクセスの大半が否定となる用途で真価を発揮します。
-
felix86：RISC-V向けx86-64ユーザ空間エミュレータ
2025-05-02 00:07
科学・技術felix86は、RISC-Vデバイス上でx86-64ユーザー空間プログラムを実行するための新しいエミュレータです。特にゲームでの高性能を目指して開発されており、初期段階ながらすでにいくつかのゲームが動作しています。開発は始まったばかりですが、将来的にはより多くのソフトウェアをRISC-V上で動作させる基盤として期待されています。
-
NASA astronauts step outside space station to perform 5th all-female spacewalk
2025-05-01 21:37
科学・技術NASAの宇宙飛行士アン・マクレインとニコール・エアーズが、国際宇宙ステーションで史上5回目となる女性だけの船外活動を実施しました。マクレイン飛行士は2019年にスーツのサイズ問題で初の女性船外活動に参加できず、今回ついに実現。二人は太陽電池パネルの準備やアンテナの移動作業を行いました。NASAの有人宇宙飛行における女性の活躍が注目されています。
-
なぜキウイの卵はこんなに大きいのか？
2025-05-01 19:58
科学・技術キウイは飛べないニュージーランド原産の鳥で、体重の25%にもなる巨大な卵を産むことで知られています。かつては大型の祖先の名残とされていましたが、近年のDNA研究により小型の飛翔性の祖先を持つことが判明。この特異な卵の大きさは、孵化直後から活動できる雛を産むための進化的適応と考えられています。捕食者の少ない環境での生存戦略が背景にあるとみられ、鳥類の多様な進化の一例として注目されています。
-
Waymo、自動運転による重大事故の大幅削減を実証
2025-05-01 18:49
科学・技術Waymoは、自社の自動運転車が重大事故や歩行者などの弱者を巻き込む事故の大幅削減に寄与していることを発表しました。人間の運転と比較して、歩行者との事故が92％、自転車との事故が82％減少するなど顕著な成果が示されました。交差点での事故も96％減少しており、赤信号の検出精度が高いことが要因とされています。これらの結果は、Vision Zeroの実現に向けた大きな一歩と評価されています。
-
C++26で広がるconstexpr対応：標準ライブラリの進化
2025-05-01 18:36
科学・技術C++26では、標準ライブラリにおけるconstexpr対応が大幅に進展します。従来の制限を超え、stable_sortやuninitialized系のメモリアルゴリズム、<cmath>、<complex>の関数、さらには多くのコンテナがコンパイル時に使用可能となります。constexpr化により、より効率的で信頼性の高いコードが書けるようになり、静的解析や高速起動などの恩恵が広がります。本記事はその主な提案と影響をわかりやすく紹介しています。
-
OpenEarable：カスタマイズ可能なBLE対応オーディオデバイス
2025-05-01 18:29
科学・技術OpenEarableは、LEAudioを使った音声ストリーミングやデータ取得が可能なウェアラブルデバイスで、オープンソースのファームウェアと専用アプリを備えています。BLEスキャナやSDカードフォーマットなど初期設定が必要ですが、Androidスマートフォンでの利用が想定され、FOTAには未対応です。教育や研究用途に適しており、高度なカスタマイズ性が魅力です。
-
超軽量ニューラルネット構築への挑戦
2025-05-01 18:10
科学・技術著者は、6つのセンサーから得られる非線形なデータを用いて物体の姿勢推定を行うため、小型マイコン上で動作する超軽量なニューラルネットを構築しようと試みます。TensorFlowによる量子化訓練を用いてモデルを作成し、RustクレートMicroFlowで実行しますが、推論時に浮動小数点演算が必要で、目標とする整数演算オンリーの実装には至りません。著者はJAXによるカスタム量子化訓練を用いた手法を模索しており、200行以下で理解可能な美しく軽量なネットワークを目指しています。
-
人間レベルの卓球プレイを実現したロボット
2025-05-01 18:03
科学・技術Google DeepMindの研究チームは、人間と対等に卓球をプレイできるロボットの開発に成功しました。本研究は視覚認識、モーター制御、戦略判断など複数のAI技術を統合し、動的なスポーツ環境での対人応答を実現した点が特徴です。研究にはStickman StudiosやHoku Labsの協力も含まれ、AIの運動学習と人間とのインタラクションの可能性を広げる画期的な成果として注目されています。