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

• Python、GIL撤廃で並列処理の新時代へ

  2025-05-16 09:42

  科学・技術

  Python 3.14では、GILを撤廃した「free-threaded」ビルドが正式に実装され、多くのパッケージが対応しました。Quansight社はMetaと連携し、NumPyやscikit-learnなどの主要ライブラリを対応させる大きな貢献をしました。これにより、PythonはマルチコアCPUの性能を活用しやすくなり、並列処理の性能向上が期待されます。今後もエコシステム全体の整備と、さらなる安定化が求められます。

• 音楽の“圧縮”が聴覚に悪影響を与える可能性

  2025-05-16 09:28

  科学・技術

  音楽の圧縮処理が聴覚に悪影響を及ぼす可能性が、モルモットを用いた実験で明らかになりました。研究によると、圧縮音を長時間聴くことで耳の中の重要な筋肉が弱まる可能性が示唆されました。音圧の平準化により音楽が聞きやすくなる一方で、過度な圧縮が耳への負担になる可能性があります。この発見は、音楽制作やリスニング環境の見直しに影響を与えるかもしれません。

• トランプ政権、湾岸諸国とのAI取引を推進

  2025-05-16 09:00

  科学・技術

  トランプ大統領は今週、湾岸諸国との間でAI関連の巨額契約を発表しました。これにより、米国企業が中東に進出し、AIチップやインフラ開発を加速する一方で、中国への技術流出を懸念する声も高まっています。特に、アラブ首長国連邦やサウジアラビアを経由した中国へのAIチップ流出が警戒され、議会では新たな法案も提出されました。一方で企業側は、国家安全保障とビジネス成長の両立を模索しています。

• 日本でサイバー攻撃への先制防衛が合法化

  2025-05-16 07:35

  科学・技術

  国会は、新たに「アクティブ・サイバーディフェンス」法を可決し、平時から通信データの監視と攻撃発生時の敵対サーバー無力化を可能にしました。対象は電力や鉄道など重要インフラで、事業者に通報義務も課されます。自衛隊の関与や独立審査機関の設置も盛り込まれ、安全保障強化を目指す一方で、通信の秘密の侵害を懸念する声に配慮し、個人権利保護の規定も追加されました。

• WebAssemblyの普及を支えるRustコンパイラエンジニア募集

  2025-05-16 07:00

  科学・技術

  スタートアップWasmerは、WebAssemblyをローカル・クラウド・エッジ向けに展開する次世代コンピューティング基盤を構築中です。Rustを中心にLLVMなどを活用し、C/C++やGoなど多様な言語で記述されたコードをWebAssembly化してあらゆる環境で実行可能にすることを目指します。現在、コンパイラエンジニアを募集中で、オープンソースへの貢献やグローバルな開発文化が特徴です。

• AIとの共存を考える視点

  2025-05-16 03:54

  科学・技術

  ニュージーランドで開催されたAIに関する非公開イベントの基調講演として、筆者が示したのは、AIとの共存を自然界の知性との共存にたとえる視点でした。AIをラップドッグ、羊飼い犬、カラス、トンボなどに例え、異なる危険性や人間への関心の度合いを軸に整理。教育現場でのChatGPTの使用が生徒の思考力を奪っている点や、人間の知的競争力を保つためには、便利さに頼りすぎず、知性を鍛え続ける必要性があると提言しています。

• Luaに型を導入するTeal言語とは

  2025-05-16 00:40

  科学・技術

  TealはLuaの方言として開発された静的型付き言語で、TypeScriptがJavaScriptに果たす役割に類似した位置づけです。関数や配列、ジェネリクスなどの型注釈が可能で、.tlファイルを.luaにコンパイルする仕組みを採用。CyanというビルドツールやVisual Studio Code拡張などの支援ツールも整備されています。Luaの軽量性を保ちつつ、大規模開発を支援する設計が特徴です。

• ボイジャー1号、20年ぶりに姿勢制御装置が復活

  2025-05-16 00:29

  科学・技術

  NASAは、運用開始から47年を超えるボイジャー1号の主姿勢制御スラスターを20年ぶりに再起動することに成功しました。以前は故障とされていましたが、技術者の直感により加熱器の電源を復旧させ、再び動作可能となったものです。この措置により、スラスター詰まりによる通信喪失のリスクを回避でき、宇宙探査を継続可能にしました。これは長寿命探査機のまた一つの奇跡とされています。

• 3命令でうるう年を判定するビット演算の最適化解説

  2025-05-15 21:57

  科学・技術

  うるう年判定を従来の方法より高速かつ分岐なしで行うため、ビット演算とマジックナンバーを用いた高度な最適化手法が紹介された。従来の複雑な条件分岐を3命令に圧縮し、最大10万年以上の範囲で正確な結果を出す。Z3などのソルバーを用いて導出された定数により、モジュロ演算を排し、比較とマスクのみで判定可能。実装例やパフォーマンス比較も示され、実用性が高いことが示された。

• トヨタとスバル、2026年に北米・日本で新型EVを発売へ

  2025-05-15 21:38

  科学・技術

  トヨタとスバルは、2026年に北米と日本で新型EVを共同発売すると発表しました。これは両社にとって2台目の共同開発EVとなり、トヨタは米欧の競合に追いつくためEV分野を強化しています。一方、トランプ政権下の関税強化や円高の影響で、今期の利益は前年比34.9％減少する見込みです。

• C++の初期化はなぜかくも複雑なのか

  2025-05-15 21:27

  科学・技術

  C++の初期化にはdefault, value, zeroなど多様な形式があり、コードのわずかな違いが未定義動作を引き起こす可能性があります。例として、同じ構造体に対して=defaultの記述位置の違いが、初期化されるかどうかに影響し、未定義動作につながる点が解説されています。C++の仕様上の微細な違いが安全なコードと危険なコードの差となるため、明示的な初期化が推奨されます。

• ターミナルで動作する音楽制作ソフト「tek」

  2025-05-15 19:56

  科学・技術

  Rust製の音楽制作ソフト「tek」は、24ビット対応ターミナル上で動作する軽量なDAW（デジタル音楽制作ツール）。PipeWireやJACKを通じて録音・再生・再サンプリングが可能で、MIDI入力やLV2プラグインも対応。キーボード操作に最適化されたUIとシンプルなプロジェクト構造を特徴とし、AURなどからも入手可能。低リソースで常時起動可能な作曲ツールを目指している。

• TLA+ツール開発の現状と課題

  2025-05-15 18:53

  科学・技術

  2025年のTLA+コミュニティイベントでは、ツール開発の現状と今後の展望が議論されました。主要パーサやモデルチェッカーは複数存在し、多様な用途に対応していますが、コードのレガシー性と知識継承の課題が指摘されています。開発者の知識が断絶しがちな状況を克服するため、テストの充実、開発者オンボーディング、資金提供の3つが重要とされ、今後の発展にはコミュニティの連携と支援が不可欠とされています。

• 心理学に新たなパラダイム：制御系としての心

  2025-05-15 18:36

  科学・技術

  心理学の再構築を目指す書籍『The Mind in the Wheel』は、心を制御システムの集まりと捉える「サイバネティクス心理学」を提案しています。従来の心理学の多くが印象的・統計的アプローチにとどまり、根本的な理論が欠如しているとの批判から、著者は明確な「単位とルール」を持つ理論枠組みの必要性を主張。制御系の誤差が感情であり、誤差修正が幸福をもたらすという新しい解釈が提示されています。個性や精神疾患もこの枠組みで再定義できる可能性があります。

• トランプ氏が次世代戦闘機F-22 SuperとF-55を提案

  2025-05-15 17:02

  科学・技術

  トランプ大統領はカタールでの演説で、F-22の近代版「F-22 Super」と新型戦闘機「F-55」の開発を希望すると発言しました。これによりロッキード・マーティンなどの企業に注目が集まり、アメリカの空戦能力の向上が期待されています。既にペンタゴンでは複数の次世代戦闘機開発が進行しており、この発言はその延長線と見られます。

• Tinfoil：クラウドAIにプライバシーと検証性をもたらす新技術

  2025-05-15 16:19

  科学・技術

  Tinfoilは、安全なハードウェア環境でAIモデルを実行し、クラウド上でもデータの秘匿性を保証するスタートアップです。NVIDIAの最新GPUでのセキュアエンクレーブ機能を活用し、データはTinfoilやクラウドプロバイダでさえ閲覧できません。ユーザーは実行コードを確認し、環境の真正性を検証可能です。金融や個人データを扱う用途において、安全性と利便性を両立する革新的なソリューションとして注目されています。

• NumPyへの不満と配列言語の課題

  2025-05-15 16:05

  科学・技術

  著者はNumPyに対する愛着と失望を交えて、配列操作における設計上の問題点を詳細に論じています。特に、複数次元の配列計算やブロードキャスト、インデクシング、ドキュメントの難解さ、再利用性の欠如などが批判の対象です。np.einsumのような明示的な記法を評価する一方で、NumPyは抽象性が低く、拡張困難な構造になっていると指摘。より良い設計の可能性を示唆し、次回にその提案を予告しています。

• AirTagを盗難防止に強化するUndetectag

  2025-05-15 15:46

  科学・技術

  Undetectagは、AppleのAirTagを改良して盗難対策を強化するアドオン製品です。このツールにより、盗難品を追跡中にAirTagが発見・除去されるリスクを最大95%軽減できるとされています。通常のAirTagは他人に発見されやすいため、犯罪者に取り外される可能性がありましたが、Undetectagはその検知リスクを低下させることで、追跡可能性を高めるとしています。

• Wavelet Tree入門：ランククエリと圧縮の両立

  2025-05-15 15:27

  科学・技術

  Wavelet Treeは、複雑な文字列に対してランククエリを高速に実行しながら圧縮も可能にするデータ構造です。アルファベットを階層的なビットベクトルに分解することで、ログ時間で任意の文字の出現回数を取得できます。この記事では構造の再帰的構築法、ランククエリの実行手順、さらに圧縮手法RRRとの併用によりメモリ効率も確保できる点をわかりやすく解説しています。

• Rubyの並行処理を理解する：プロセスからFiberまで

  2025-05-15 13:56

  科学・技術

  Rubyは並行・並列処理のために複数の機構を備えています。プロセスは完全に独立したメモリ空間を持ち、RactorはRuby 3で導入されたメッセージベースの並列処理を実現する仕組みです。Threadは軽量ですが、GILの制約で同時に1スレッドしか実行できません。Fiberはさらに軽量な非同期処理の単位で、明示的な制御が必要です。用途や目的に応じて、適切なレベルの並行処理を選ぶことがRuby開発では重要です。