「科学・技術」の記事一覧
-
Xcode不要でiOS開発可能に xtoolがマルチプラットフォーム対応
2025-05-17 02:10
科学・技術xtoolはLinuxやWindowsでもiOSアプリを開発・ビルド・デプロイ可能にするオープンソースツールです。SwiftPMに対応し、Apple Developer Servicesとの連携、署名、インストールまでをコマンドで実行可能。Xcodeが不要な代替手段として注目されており、開発者はクロスプラットフォーム環境でもiOS開発が行えます。XKitライブラリも提供され、自作アプリでの統合も容易です。
-
小型電波望遠鏡ネットワークによるSETI観測の可能性
2025-05-17 02:02
科学・技術小型電波望遠鏡のネットワークは、コストや可用性の面で大規模観測所にはない利点を持ちます。新たにテストされたWow@Homeシステムでは、1970年代のSETI観測手法を模倣しつつ、自律運用と広視野観測が可能です。感度や分解能では限界があるものの、教育・市民科学向けとして有効で、複数局での同時観測により誤検出の防止にも貢献します。今後は干渉計機能や追尾機能の導入も検討されています。
-
Home Assistant導入で実現する家庭の電力と快適性の最適化
2025-05-17 01:36
科学・技術カーネル開発者がHome Assistantを用いて自宅を完全に監視・制御する体験記です。クラウド依存の太陽光発電モニタリングから脱却し、自前のデータ取得を実現。電力消費の可視化により、家電の効率運用や異常検知、設備診断が可能となりました。また、Mitsubishi製ヒートポンプとの連携による冷暖房の自動化や最適化も紹介。DIY精神に満ちた実践例から、Home Assistantが提供する自由と制御の可能性が浮き彫りになります。
-
WebGLで遊ぶグレイ・スコット反応拡散系
2025-05-17 00:46
科学・技術WebGLベースのシミュレーターで、グレイ・スコット反応拡散モデルの多様なパターン形成を体験できます。マウス操作で初期条件を設定し、様々なプリセットでスパイラル波や迷路模様、スポットの自己複製現象などを再現。スライダーによるパラメータ調整やカラースキームの変更も可能です。数学的にも興味深く、教育や芸術、科学的直感の探究に最適なインタラクティブツールとなっています。
-
無教師あり深層学習による初期値問題の物理解法
2025-05-16 21:45
科学・技術本研究は、無教師ありのディープラーニング手法を用いて、物理に基づく初期値問題を解く新たな枠組みを提案しています。自由粒子や振り子、複雑な非線形系であるヘノン・ハイレス系などのモデルに対し、ニューラルネットワークがエネルギー保存などの物理法則を満たす軌道を再現できることを示しました。特に、確率的活性化関数の導入により、解の安定性と精度が向上しています。本手法は、物理における非線形力学系の解析に有効なアプローチとなる可能性があります。
-
日本、月探査協力継続を表明 NASA予算削減でも
2025-05-16 21:03
科学・技術日本の宇宙航空研究開発機構（JAXA）は、トランプ大統領がNASA予算を60億ドル削減する方針を示す中でも、月探査ミッションへの協力を継続する意向を示しました。NASAの有人月面探査「アルテミス計画」では、日本人宇宙飛行士やトヨタ製ローバーの搭載が予定されており、JAXAは精密着陸技術や水資源データなどで貢献を継続する考えです。
-
MacOSのIPCを悪用したサンドボックス回避の研究
2025-05-16 20:27
科学・技術GoogleのProject Zeroによるこの技術記事では、MacOSのMach IPCメッセージを利用して、権限の低いプロセスから高権限のシステムデーモンにアクセスする「サンドボックス回避」手法が詳細に検証されています。筆者はcoreaudiodデーモンを対象に、独自のファジングハーネスを構築し、クラッシュ分析やコードカバレッジを通じて脆弱性を発見。プロセス間通信の脆弱性を突く高度な攻撃手法が解説されています。
-
ClojureScript 1.12.42がリリース、Java 21と独自Closure Libraryに移行
2025-05-16 20:20
科学・技術ClojureScriptの新バージョン1.12.42がリリースされ、Google Closure Compilerの更新に伴いJava 21が必須となりました。また、Googleが開発を停止したClosure Libraryに代わり、Clojureコミュニティが保守するフォーク版が導入されました。これにより、以前の安定性とライブラリ互換性が復元され、古いClojureScriptライブラリの再利用が可能となります。Webアプリ以外にも汎用的なJavaScript開発に対応する強力な選択肢として位置づけられています。
-
KVSplit、Apple Silicon向けLLMのメモリ効率化技術を公開
2025-05-16 20:04
科学・技術GitHubプロジェクト「KVSplit」は、Apple Silicon上で大規模言語モデルを効率的に動作させるために、Attention機構のKVキャッシュにおけるキーとバリューを別々の精度で量子化する手法を提供しています。K8V4構成（キー8ビット・バリュー4ビット）では、メモリを59％削減しつつ精度劣化は1％未満。Metal最適化による高速推論や、直感的な可視化ツール、簡単なセットアップも特徴です。最大72％のメモリ削減が可能で、長文コンテキスト処理にも効果的です。
-
関数型並列配列言語の比較研究
2025-05-16 19:50
科学・技術新興の関数型並列配列言語であるAccelerate、APL、DaCe、Futhark、SaCの5言語を対象に、N体シミュレーションやFlash Attentionなど4つのベンチマークで性能と表現力を比較した研究です。各言語はGPUとマルチコアCPUでコードを生成可能で、アーキテクチャに依存しない高い移植性を示しました。関数型アプローチにより、コードは短く理解しやすく、従来の最適化手法と同等以上の性能が得られる可能性があると結論付けています。
-
乱流の数学に迫る「超拡散」証明
2025-05-16 17:08
科学・技術乱流の謎に挑む数学者たちが、物体が通常より速く拡散する「超拡散」を初めて厳密に証明しました。この現象は1906年の気球レースや火山灰の観察に由来し、物理学者リチャードソンの仮説に基づいています。これまで曖昧とされていた物理学的な手法を、数学的に厳密な「ホモジナイゼーション技法」で置き換え、300ページ超の証明で実現しました。この成果は乱流研究にとどまらず、他分野への応用も期待されています。
-
行列積XXᵗを高速化する新アルゴリズムRXTXが登場
2025-05-16 15:45
科学・技術arXivに投稿された研究によると、行列とその転置の積XXᵗを従来より5％少ない演算で計算できる新アルゴリズム「RXTX」が開発されました。このアルゴリズムは機械学習による探索と組合せ最適化の融合で生み出され、小規模な行列においても既存手法より高速に動作します。数値計算や大規模行列処理における処理効率の向上が期待され、数理最適化や応用数学の分野でも注目されています。
-
天気予報は何日前まで正確なのか
2025-05-16 15:27
科学・技術天気予報の精度に関する疑問に対し、この記事は最新の研究や統計を交えながら説明しています。1970年代以降、気温予測の精度は1日分ずつ向上し、現在では4日後の予報が10年前の2日後予報と同等の精度に達しています。降水確率についても、気象庁の予報は高い一致率を示しており、7〜9日先の予報にも一定の信頼性があります。誤解や認知のずれが予報の評価を下げている要因とも指摘され、情報の正しい理解が重要であるとされています。
-
xAIのGrok、誤回答の原因は「無許可のプロンプト変更」
2025-05-16 14:48
科学・技術イーロン・マスクが率いるxAIは、Grokが南アフリカにおける「白人ジェノサイド」に関する誤情報を回答した件について、内部ポリシーに反する無許可のプロンプト変更が原因だったと説明しました。マスク自身も同様の主張をしており、政治的偏向の懸念が再燃しています。xAIは透明性向上のため、プロンプト内容をGitHubで公開する方針です。
-
ブラックホールは風ではなく“弾丸”のようにガスを放出
2025-05-16 13:12
科学・技術福岡教育大学の研究チームが、超大質量ブラックホールが滑らかなガスの風を出すのではなく、断続的な“弾丸”状の高速ガスを放出していることを発見し、英科学誌『Nature』に論文を発表しました。この観測は人工衛星によるデータを基に行われ、従来の常識を覆すものです。ブラックホールの形成理論や銀河の進化との関連、量子重力理論への接続など、多方面での影響が期待されています。
-
Java誕生30年、ジェームズ・ゴスリングの軌跡
2025-05-16 13:05
科学・技術Java誕生30周年を迎えるにあたり、その生みの親ジェームズ・ゴスリングの歩みが改めて注目されています。貧しい少年時代から独学でプログラミングを習得し、Sun MicrosystemsでJavaを開発。オブジェクト指向とクロスプラットフォームを実現するJavaは、今なお多くのシステムを支え続けています。ゴスリングはAIの誇大広告に懐疑的で、実用主義と倫理を重視した開発姿勢を貫いてきました。
-
Xen Orchestraを10年試用し続ける企業の実態
2025-05-16 12:03
科学・技術Vates社は、仮想マシン管理ツール「Xen Orchestra Appliance（XOA）」の試用版を10年間にわたり繰り返し利用する企業の実態を暴露しました。この企業は多数の従業員を使い回しながら個人アドレスで試用登録を繰り返し、有料版を回避しています。XOAはオープンソースで自己ホスト可能であるにも関わらず、安定性と利便性を理由に試用版を継続使用。Vatesは倫理的問題と持続可能なOSS開発の阻害要因として警鐘を鳴らしています。
-
AIでハードウェア設計を革新するDalusの挑戦
2025-05-16 12:01
科学・技術Dalusは、ロケットや原子力プラントなど複雑なハードウェアシステムの設計を、AIで効率化する新興企業です。従来の旧式ツールの限界を乗り越え、少人数チームでも迅速かつ安全に開発できるソフトウェアを提供しています。Y Combinatorの支援を受け、航空宇宙や防衛産業と取引を開始。現在は創業エンジニアを募集しており、製品開発と組織形成における重要な役割が期待されています。
-
Linuxカーネル活用で超高速Pub/Subサーバを実現
2025-05-16 10:30
科学・技術「jetrelay」は、Blueskyのデータフィード「jetstream」に対応した軽量なPub/Subサーバで、Linuxカーネルの機能を駆使して高効率を実現しています。sendfileによるカーネルバイパス、io_uringによる並列送信、fallocateによるディスク領域管理などの技術により、10Gbpsのネットワークを8コアで飽和させる性能を持ちます。構造はシンプルながら、極めて高性能な設計となっており、Push型インターネットの将来像を体現しています。
-
Torの.onionアドレスとDNSリーク防止の課題
2025-05-16 09:42
科学・技術.onionドメインはTorネットワーク専用であり、通常のDNSで解決しようとすると通信情報が漏洩するリスクがあります。これを防ぐため、curlはRFC 7686に従い、.onionアドレスの直接利用を拒否する仕様を導入しました。しかしTorの新ツール「oniux」ではcurlのこの仕様が利用を妨げる結果となり、開発者から議論が起きています。セキュリティと利便性のバランスが課題です。