「科学・技術」の記事一覧
-
トランプ政権、中東をAI拠点に育成へ
2025-05-18 13:05
科学・技術トランプ大統領はサウジアラビアやUAEと先端AIチップ供給を含む大規模な協力を発表し、同地域をAI大国へ育てる戦略を進めています。サウジでは新設AI企業にNVIDIA製チップ1万8000個が提供され、UAEには米国外最大規模のAIデータセンターが建設予定。民主党議員らは中国への技術流出リスクを懸念し批判していますが、政権側は安全保障と技術覇権の両立を強調しています。
-
Sun Enterprise 10000誕生の舞台裏
2025-05-18 12:43
科学・技術Sun Enterprise 10000は、もとは旧Cray ResearchのSan Diegoチームが開発したSPARCベースの並列コンピュータCS6400が原型です。このチームはSGIに買収されるも、Sun Microsystemsが1996年に約5,000万ドルで買収。Sunの支援のもと「Starfire」として製品化され、最大64プロセッサ・64GBメモリに対応する高性能SMPサーバとして商業的に大成功しました。これによりSunは大規模サーバ市場での存在感を高めました。
-
木材から超強化素材を実現、InventWoodが量産体制へ
2025-05-18 12:22
科学・技術メリーランド大学の研究成果を基に設立されたスタートアップInventWoodが、木材をスチールより強くする「Superwood」の量産を開始します。セルロース分子を強化し、水素結合を高める処理により、強度と耐久性を劇的に向上させたのが特徴です。建築業界での鉄鋼やコンクリートの代替材として期待されており、環境負荷の軽減にも寄与する可能性があります。初期製品は建物の外装用途を想定しています。
-
記憶定着革命：FSRSで進化する間隔反復学習
2025-05-18 11:42
科学・技術暗記の効果を飛躍的に高める「間隔反復法」は近年、FSRSという新アルゴリズムにより劇的に進化しました。これはカードの難易度や忘却曲線を機械学習で予測し、最適な復習タイミングを個人ごとに調整できるのが特長です。Ankiなどの学習ツールに組み込まれ、復習負担の軽減や効率向上に成功しています。従来の固定間隔法より柔軟で実用的な方法として注目を集めています。
-
Inigo Quilezが公開するSDFとグラフィックス技術の宝庫
2025-05-18 09:32
科学・技術Inigo Quilezの個人サイトには、距離関数（SDF）やレイマーチング、プロシージャルノイズといったコンピュータグラフィックス技術に関する数多くのチュートリアルが掲載されています。これらはデモシーンやリアルタイムレンダリングに携わる開発者にとって貴重なリソースであり、GLSLなどのコード例もMITライセンスで提供されています。
-
決定木とは何か？機械学習における基礎と仕組み
2025-05-18 02:56
科学・技術この記事は、機械学習における決定木の基礎を解説するシリーズの第1回です。決定木の仕組み、分類と回帰の違い、アルゴリズム（ID3, C4.5, CART）、および訓練時の分割方法、目的関数（ジニ不純度・エントロピーなど）を取り上げています。また、過学習、バイアス・バリアンストレードオフ、決定境界の可視化、階段効果、説明可能性などにも触れ、最終的には実装の準備として理解を深める構成です。
-
AniSora：アニメ動画生成の最前線を切り拓くAIモデル
2025-05-17 23:59
科学・技術Bilibiliが開発したAniSoraは、静止画やテキストから高品質なアニメ動画を生成できるオープンソースのAIモデルです。シリーズ動画、マンガ、VTuberなど多様なスタイルに対応し、直感的な操作でプロ品質のアニメを制作可能です。ユーザーは画像をアップロードし、簡単なプロンプトを入力するだけで、動きや感情の表現が豊かな動画を作成できます。創作活動の可能性を大きく広げる革新的なツールです。
-
ディスクはただのビットの集合
2025-05-17 21:19
科学・技術この記事は、ファイルシステムの中でもext4に焦点を当て、Linuxシステムにおけるファイルの実体であるinodeの構造と位置を詳細に解析した実践的な記録です。コマンドラインツールやC言語による構造体を用いて、実際にディスク上のバイナリデータを読み取り、メタデータの意味を明らかにします。さらに、メモリ上とディスク上のデータが一致することを確認し、ファイル内容の位置を特定して読み出すまでを実演しています。
-
気象庁、AIで予報精度向上へ
2025-05-17 20:41
科学・技術気象庁はAIの導入により天気予報の精度向上を目指しています。新たに設置された専門チームが、過去の気象データをもとにした深層学習と従来の数値予報モデルを組み合わせた新技術の開発を進めています。特に台風の進路予測などで精度向上が期待されており、2029年から稼働予定の新型気象衛星「ひまわり10号」との連携も計画されています。
-
AIは人間より説得力がある？LLMと人間の比較実験
2025-05-17 20:05
科学・技術最新の大規模言語モデル（Claude Sonnet 3.5）が、人間の説得者よりも高い成功率でクイズ回答者を誘導できることが、実験により示されました。正しい答えへの誘導のみならず、誤った情報を与えた場合でも同様の影響力を示し、LLMの説得能力の高さが明らかにされました。この結果は、AIの影響力の強さに警鐘を鳴らし、ガバナンスと倫理的整備の必要性を示しています。
-
Transformerの理解に向けたN-gram統計の応用
2025-05-17 19:56
科学・技術この論文は、Transformerモデルの出力をN-gram統計によって近似することで、モデルの予測がどのように文脈に依存しているかを明らかにしようとしています。これにより過学習の検出や、モデルが単純な統計ルールから複雑なものへ学習を進める様子を観察できます。TinyStoriesやWikipediaのデータセットで高い一致率が得られており、LLMの理解に貢献する新しい視点を提示しています。
-
「死んだ星もホーキング放射する」は誤解か
2025-05-17 17:54
科学・技術最近の論文で、通常の重い物体もホーキング放射を出すと主張され、死んだ星が質量を失い消滅する可能性があると報道されました。しかしこの主張は、1970年代以降に確立された量子場理論に反するものであり、専門家からの反論も出ています。既知の理論では、時空に時間対称性がある限り、粒子対の生成は起こりません。センセーショナルな報道が誤解を広げていることが問題視されています。
-
NINTENDO64で実現した疑似ライティング手法
2025-05-17 14:28
科学・技術本記事では、NINTENDO64向けデモで使用されたライティングと法線マッピングのトリックが解説されています。パレットテクスチャの更新を通じてCPUベースで照明効果を再現し、頂点カラーと環境マップによる疑似的なアンビエントライティングやスペキュラー効果も実装されています。高品質な見た目を維持しつつ、ハードウェア制約内で可能な表現を追求した創造的なアプローチが紹介されています。
-
MetaがRust製Python型チェッカーPyreflyを公開
2025-05-17 12:47
科学・技術MetaはRustで開発された新しいPython型チェッカー「Pyrefly」のアルファ版を公開しました。Pyreflyは高性能な静的型チェックと、型情報の自動推論、IDE連携を特徴とし、大規模コードベースでも1.8百万行/秒の解析性能を誇ります。既存のPyreを改良した新設計で、オープンソースとして公開され、開発者の生産性と安全性向上を目指しています。VSCode拡張やCLIも用意されており、フィードバックを募集中です。
-
Dezyneで構築する検証可能な並行制御ソフトウェア
2025-05-17 09:44
科学・技術Dezyneは、並行制御ソフトウェアを形式的に設計・検証・実装するためのプログラミング言語およびツール群です。状態遷移やメッセージパッシングに基づき、デッドロックや非決定性のないモデルを保証しつつ、構造と動作を統一的に記述可能です。特にサイバーフィジカルシステムや組込み分野に適しており、構成要素間の契約設計によって複雑性の管理を容易にします。オープンソースで提供されています。
-
コードの品質向上を目指す「Ifは上、Forは下」戦略
2025-05-17 09:31
科学・技術この記事では、コードの品質とパフォーマンスを向上させる2つの原則「Ifを上に、Forを下に」について解説しています。前者は条件分岐を呼び出し元に移動することで制御構造を集中させ、後者は繰り返し処理をバッチ単位にすることで効率化を図ります。特にデータ指向設計や高速化を意識したアプリケーションでは有効な手法です。
-
自然言語でコード生成するAI「OpenAI Codex」の進化
2025-05-17 07:42
科学・技術OpenAI Codexは、自然言語をプログラミングコードに変換する先進的なAI技術で、GitHub Copilotの中核を成し、ソフトウェア開発の効率化に寄与しています。現在はChatGPT内のコード生成エージェントや、ターミナル用のCodex CLIなどにも拡張されており、複数言語に対応。開発環境との統合も進み、ユーザーは直感的にコーディングが可能に。一方で、効率性や著作権、安全性への懸念も存在し、今後の運用に注目が集まっています。
-
言語学習に最適な会話型AIを求めて
2025-05-17 07:02
科学・技術オランダ語学習を目指すユーザーが、AIとの会話を通じた学習方法を模索しています。単なる発話支援ではなく、仕事交渉や電話応対など具体的なシチュエーション設定が可能なAIを探しており、会話の文字起こし表示も重視されています。既存ツールのGliglishは音声中心であり、学習支援には限定的。より柔軟な対話型AIへのニーズが浮き彫りになっています。
-
Martin-Löf型理論によるプログラミング入門
2025-05-17 06:30
科学・技術本記事は、Göteborg大学のNordströmらによる『Martin-Löf型理論によるプログラミング』の概要紹介です。この書籍は、直観主義的論理と型理論に基づくプログラミング手法を解説しており、形式的証明や構成的論理に興味のある読者に向けられています。1990年に出版され、現在はオンラインで無料公開されています。
-
LaTeXに最適なフォント紹介（前編）
2025-05-17 02:53
科学・技術この記事では、LaTeXで使える高品質な無料フォントを紹介しています。定番のComputer Modernに代わる選択肢として、Bembo、Palatino、Crimson、Libertineなどが挙げられ、それぞれの由来や視認性、数式対応、対応するサンセリフ体などについて詳しく解説されています。特にLuaLaTeXやXeLaTeXを活用することで、OpenTypeフォントをより柔軟に扱える点が強調され、フォント選びの幅が広がることが示されています。