DATE ARCHIVE
2026-09-25
この日に公開された記事 2026-09-25.

Haskellにおけるfoldlとfoldrの理解:結合性、評価、およびスペース使用法
この記事では、厳格および遅延の両方の言語において、foldlとfoldrが結合性、評価順序、スペース使用法でどのように異なるかを説明し、それぞれの変種をいつ好むべきかを示します。

リンジー・アイザックス氏の誤認逮捕における自動ナンバープレート読取装置の役割
フロリダ州在住の23歳、リンジー・アイザックス氏は、自動ナンバープレート読取装置のデータが自身の車両を死亡事故と誤って結びつけたことにより、不当に逮捕され13日間独房に収容されました。
AI主導の数学的発見の時代における人間的エージェンシーの未来
人工知能システムがますます複雑で重要な数学的洞察を生み出すようになるにつれ、研究コミュニティは人間の理解とエージェンシーを維持するという重大な課題に直面している。テレンス・タオのブログに掲載されたアミット・サハイによるゲスト投稿は、社会がこれらの画期的な成果を解釈し検証するための「展開可能な知的予備軍」としての数学者を育成することを優先すべきだと論じている。

AI主導のコンピューティング環境におけるオペレーティングシステムの役割の進化
人工知能がソフトウェア開発とユーザーインタラクションの間の伝統的な境界を解消するにつれ、固定機能アプリケーションを分離・管理するというオペレーティングシステムの根本的な目的は、パーソナライズされたAI生成ソフトウェアへの移行によって挑戦を受けています。

研究者がMicrosoft内部アナリティクスサービスにおけるJWT署名検証の欠如を発見
16歳のセキュリティ研究者が、Microsoft内部のTitanアナリティクスサービスが署名なしのJWTトークンを受け入れていたことを突き止め、これにより管理者としてサインインし、17兆行以上のデータに対してSQLクエリを実行できる状態となったことを明らかにしました。この脆弱性は報告後に修正され、研究者には5,000ドルの賞与が授与されました。
連続するAIモデルで『ペルシャの王子』をC#にポート:各ラウンドで学んだこと
Priyan R.は、1989年のApple IIゲーム『ペルシャの王子』を6502アセンブリからC#にポートする複数ラウンドの実験を行った。各新しいフロンティアモデルに同じソースコードを提供し、修正は行わなかった。最初のラウンドでは壊れたアーキテクチャが生成された。ブレークスルーアは、モデルが自身の出力をDOSBoxで動作する実際のDOSゲームと比較できるようになってから,并且最终的 Opus 5.5 が SDLPoP のルーム描画ルーティンをポートしたときにもたらされた。
ニューメキシコ州の陪審団、ケンブリッジ・アナリティカ事件でFacebookのユーザー欺瞞を認定
ニューメキシコ州の陪審団は、ケンブリッジ・アナリティカ事件に関連したプライバシー保護とデータ取り扱い慣行について、Facebookがユーザーを誤導したとして責任を認めました。同州は本件を継続して追求した唯一の州であり、今回の評決は重要な法的成果となります。

『Lemmings』が大衆向けの魅力を失ったわけ
『Lemmings』は、一見すると驚くほど単純な作品として大ヒットしました。しかし後続作は複雑さを増し、キャラクターの雰囲気を変え、3Dブームにも追随しました。その結果、シリーズ本来の魅力と、その後の方向性の間に溝が広がっていきました。

ゲベクリテペで初めて発見された無傷の埋葬が、サイト全体に散乱した何百もの人間の骨の起源を明らかに
トルコのゲベクリテペで、考古学者は紀元前8700~8000年にさかのぼる最初の2つの無傷の埋葬を発見しました。この発見により、記念碑的建物に散らばっていた928個の破片となった人間の骨の理由が明らかになりました。これらの骨は、高い場所にあった普通の床下埋葬が、後に侵食によって下流に運ばれたものであり、特異な葬送儀式によるものではないと考えられます。

MetaのMuseエージェントの分析により、サードパーティ製AIモデルの統合の可能性が判明
MetaのMuseエージェントのファイルシステムを分析した結果、同プラットフォームは主に内部インフラに依存しているものの、OpenAIやAnthropicなどの外部AIモデルにタスクを選択的にルーティングしている可能性が示唆されました。