← 2025-12-14 の一覧へ戻るホーム
Cat Gap

2025/12/10 13:09

Cat Gap

RSS: https://news.ycombinator.com/rss

元のHacker News記事へ ↗
要約▶

日本語訳：

（欠落しているポイントを組み込む）

この記事では、北米が約1,000万年前の「猫ギャップ」（≈ 25–18.5 Ma）を経験したと説明しています。この期間は、化石記録に真のネコ科動物（フェリド）や猫型捕食者がほとんど現れなかった時期です。ニムラビダ（偽サーベルタイガー）は約26 Maまで支配し、その後消滅したため、空白を犬形目が埋めました。気候の冷却と森林からサバンナへの変化、27 Ma前のフィッシュキャニオン事件などの火山噴火が、この絶滅波の主因として挙げられています。グリーンランド–スコットランドリッジの沈下により北大西洋へ寒冷な極水が流入し、これらの気候変動を増幅しました。このギャップの間、小型のハイパーキャルニバーロウ（例：パレンヒドロシオン、エンヒドロシオン、メソサイオン）が進化しましたが、フェリドが到着した後は存続しませんでした。フェリドは約18.5 Maにベーリング陸橋を通じて入ってきたペスダイルルス系統から来ており、現代のすべてのネコ科はその系統に由来します。後期新世氷期（≈ 33.9 Ma開始）はさらに捕食者コミュニティを再編成し、犬形目にはより適した環境を、猫形目には不利な環境を作りました。化石データは28–20 Maの間に高い絶滅率が見られ、約18 Maで起源率が急上昇しています。これらのパターンは、大規模な気候または火山ショックが捕食者グループ間の優位性を変動させる可能性を示唆しており、こうした古代イベントを研究することで現代の捕食者が急速な環境変化にどう反応するかを予測しやすくなると述べています。

本文

Cat Gap – 概要

猫ギャップは、約2,500万年前から1,850万年前までの化石記録において、北米で猫類または猫に似た種の化石がほとんど見られない期間です。
原因は未解決ですが、以下のような説が提案されています。

  • 気候変動（地球規模の冷却）
  • 生息環境・生態系の変化
  • 猫類（特にニムラビド）がよりハイパーカーニバリズムへ進む傾向
  • 火山活動
  • 北米犬科の歯形態学的進化
  • ヴァンダー・ハメンサイクルと呼ばれる周期的絶滅

フェロフォーマル進化タイムライン

現代の肉食獣類（猫科を含む）は、約6600万年前から3,300万年前に生息したミアコイドから進化しました。
プロアイラリウス以前にも早期の猫様種は存在していましたが、プロアイラリウス（「猫の前」という意味、別名 レマンズ・ドーン・キャット）は約3,000万年前に出現し、本物の最初の猫とみなされています。

プロアイラリウス後は化石記録に約1,000万年の沈黙期がありました。少なくとも1,400万年間存続したにもかかわらず、統治末期にはほぼ化石が残っていません。この期間を 猫ギャップ と呼びます。
転換点は、新属 ペスウダエルウルス の登場で、初期ミオシンにおける猫類の多様化を促しました。

  • 初期ミオシンでは北米にほとんどフェロフォーマル化石が見られず、分散性が増加
  • ニムラビド（偽サーベルチョウ猫）は26Ma以降絶滅し、ペスウダエルウルスが中ミオシンに北米へ渡来するまで猫科は到着していませんでした。
  • ペスウダエルウルスは約1,850万年前にベーリング陸橋を横断しました。
  • すべての現代猫科はペスウダエルウルスから派生しています。

ニムラビド（偽サーベルチョウ猫）

  • 約4,000万年前に北米に初登場（パングーバルン）
  • ニムラビドの絶滅が猫ギャップの始まりを示す

ハイパーカーニバリズム傾向

肉食動物の歴史は拡大と縮小を繰り返します。

  1. エネルギー制約 と コープの法則（大きさが増すほどハイパーカーニバリズムへ）により多様化が進むが、

    90 ％以上を肉で賄う ハイパーカーニバリズム は絶滅脆弱性を高める。

ニムラビドは26Maまでエコモルフィックな役割を担い、ハイパー‑猫様の行動と巨大体型が北米での絶滅に寄与したと考えられる。

気候・生息環境

  • 多くの猫科は樹上狩りを行うため、北米の森林が崩壊すると適応しづらい
  • 地球規模での冷却により森林がサバンナへ転換
  • ニムラビドは森林環境を好み、ユスミルス など一部種は開放地帯に適応

火山活動

火山噴火も猫ギャップの原因とされる。

  • コロラド州のラガリタ・カルデラが約2,700万年前に大規模なフィッシュキャニオン噴火を起こした
  • 約1万立方キューメートの灰層が形成され、熱帯雨林に熱帯風とマルチエージェント…（続き）

Late Cenozoic Ice‑A ?**

（※ここでは「Late Cenozoic …」という記述は省略してまとめて添付しない方がいいか…

We need finish.Cat Gap – 概要

猫ギャップとは、約2,500万年前から1,850万年前までの化石記録において北米で猫類または猫様種の化石がほとんど残っていない期間です。
原因は未解決ですが、以下の説が提案されています。

  • 気候変動（地球規模の冷却）
  • 生息環境・生態系の変化
  • 猫類（特にニムラビド）のハイパーカーニバリズムへの進行
  • 火山活動
  • 北米犬科の歯形態学的進化
  • ヴァンダー・ハメンサイクルと呼ばれる周期的絶滅

フェロフォーマル進化タイムライン

現代の肉食獣類（猫科を含む）は、約6600万年前から3,300万年前に生息したミアコイドから進化しました。
プロアイラリウス以前にも早期の猫様種は存在していましたが、プロアイラリウス（「猫の前」、別名 レマンズ・ドーン・キャット）は約3,000万年前に出現し、本物の最初の猫とみなされます。

プロアイラリウス後には約1,000万年にわたる沈黙期がありました。少なくとも1,400万年間存続したにもかかわらず、統治末期にはほぼ化石が残っていません。この期間を 猫ギャップ と呼びます。
転換点は、新属 ペスウダエルウルス の登場で、初期ミオシンにおける猫類の多様化を促しました。

  • 初期ミオシンでは北米にほとんどフェロフォーマル化石が見られず、分散性が増加
  • ニムラビド（偽サーベルチョウ猫）は26Ma以降絶滅し、ペスウダエルウルスが中ミオシンに北米へ渡来するまで猫科は到着していませんでした。
  • ペスウダエルウルスは約1,850万年前にベーリング陸橋を横断しました。
  • すべての現代猫科はペスウダエルウルスから派生しています。

ニムラビド（偽サーベルチョウ猫）

  • 約4,000万年前に北米に初登場（パングーバルン）
  • ニムラビドの絶滅が猫ギャップの始まりを示す

ハイパーカーニバリズム傾向

肉食動物の歴史は拡大と縮小を繰り返します。

  1. エネルギー制約 と コープの法則（体が大きくなるほどハイパーカーニバリズムへ）により多様化が進むが、

    90 ％以上を肉で賄う ハイパーカーニバリズム は絶滅脆弱性を高める。

ニムラビドは26Maまでエコモルフィックな役割を担い、ハイパー‑猫様の行動と巨大体型が北米での絶滅に寄与したと考えられる。

気候・生息環境

  • 多くの猫科は樹上狩りを行うため、北米の森林が崩壊すると適応しづらい
  • 地球規模での冷却により森林がサバンナへ転換
  • ニムラビドは森林環境を好み、一部種（ユスミルス など）は開放地帯に適応

火山活動

火山噴火も猫ギャップの原因とされる。

  • コロラド州のラガリタ・カルデラが約2,700万年前に大規模なフィッシュキャニオン噴火を起こした
  • 約10 000立方キューメートの灰層が形成され、熱帯雨林に冷却効果をもたらし、生態系に変化を与えた

後期中生代氷期

後期中生代氷期は約3,390万年前に始まり、南極大陸が氷結し北米へ広がった。
寒冷条件はフェロフォーマル獣類を不適合にし、犬科（イヌ・クマ・ミズーリなど）がハイパーカーニバリズムを担うようになった。

犬科の対応

一部古生物学者は、猫類が空いたハイパーカーニバリズムの領域を犬科が埋めたと主張する。

  • 早期アリカレーン（約2,800万年前）にヘスペロシノウス・ペラニヒドン などが登場
  • その後、アンフィシオニダ、ミズーリン・クマ類などのハイパーカーニバル種が増加

他の研究は、ニムラビド絶滅前に既に多くのハイパーカーニバリズム犬科が存在し、猫類が北米へ到達するまでには大きな侵入は起こらなかったと指摘している。

参考文献（抜粋）

  1. Meehan, T. J.; Martin, L. D. (2003). Extinction and re‑evolution of similar adaptive types (ecomorphs) in Cenozoic North American ungulates and carnivores – Naturewissenschaften, 90(3): 131–135。
  2. Hunter, L.; Hinde, G. (2006). Cats of Africa: Behavior, Ecology, and Conservation. Cape Town: Johns Hopkins University Press. pp. 40–42。
  3. Poust, A.; Barrett, P. Z.; Tomiya, S. (2022). “An early nimravid from California and the rise of hyper‑carnivorous mammals after the middle Eocene climatic optimum.” Biology Letters, 18(10): 333–347。
  4. Joeckel, R. M.; Peigneb, S.; Hunt, R. M.; Skolnick, R. I. (2002). “The auditory region and nasal cavity of Oligocene nimravids.” Journal of Vertebrate Paleontology, 22(4): 830–841。
  5. Antón, M. (2013). Sabertooth. Bloomington, Indiana: University of Indiana Press. pp. 47–90。
  6. Averianov, A.; Obraztsova, E.; Danilov, I.; Skutschas, P.; Jin, J. (2016). “First nimravid skull from Asia.” Scientific Reports, 6: 25812。
  7. Castellanos, M. (2024). Hunting Types in North American Eocene and Oligocene Carnivores and Implications for Nimravid Extinction (卒業論文)。
  8. Retallack, G. J. (2004). “Late Oligocene bunch‑grassland and early Miocene sod‑grassland paleosols from central Oregon.” Palaeogeography, Palaeoclimatology, Palaeoecology, 207(3–4): 203–237。
  9. Flannery, T. (2002). The Eternal Frontier: An Ecological History of North America and Its Peoples. New York: Grove Press. pp. 113–114。
  10. Haggart, B. A. (2000). “Ice‑age theories.” In The Oxford Companion to the Earth. New York: Oxford University Press。

（※他の文献は省略）

同じ日のほかのニュース

一覧に戻る →

2025/12/14 7:58

Linux Sandboxes and Fil-C

## Japanese Translation: メモリ安全性とサンドボックスはプログラムの異なる部分を保護するため、両方が強力なセキュリティに必要です。純粋な Java プログラムはメモリ安全であってもファイルシステムの syscalls を通じて任意のファイルを書き込むことができるし、逆にすべての能力を取り消したアセンブリプログラムでもメモリバグがある場合がありますが、カーネルが特権 syscalls を殺すためサンドボックスから逃げられません。サンドボックスは意図的に許容範囲を広く設計しているため、攻撃者は残されたメモリ安全性のバグを利用してブローカー・プロセスへ到達することができるので、両方の防御を組み合わせるとより強固な保護が得られます。 本書では、C/C++ 用に設計され、システムコールまで安全性を保証し、init や udevd などの低レベルコンポーネントで使用できるメモリ安全ランタイム「Fil‑C」への OpenSSH の seccomp ベース Linux サンドボックス移植方法について説明します。OpenSSH は既に chroot を採用し、`sshd` ユーザー/グループとして特権なしで実行し、`setrlimit` を使用し、非許可 syscalls を `SECCOMP_RET_KILL_PROCESS` で殺す seccomp‑BPF フィルタを適用しています。Fil‑C はその runtime 内で自動的にこれらの syscalls を許可することで簡素化します。背景スレッドは存続させつつスレッド生成を防ぐため、Fil‑C は API `void zlock_runtime_threads(void)` を追加し、必要なスレッドを事前確保してシャットダウンを無効にします。 OpenSSH の seccomp フィルタは強化されています。失敗時の挙動が `SECCOMP_RET_KILL` から `SECCOMP_RET_KILL_PROCESS` に変更され、mmap 許可リストに新たに `MAP_NORESERVE` フラグが追加され、`sched_yield` が許可されています。サンドボックスは二つの `prctl` コール（`PR_SET_NO_NEW_PRIVS` と `PR_SET_SECCOMP`）で構築され、エラー検出も行われます。Fil‑C のランタイムは `filc_runtime_threads_handshake` で全スレッドとハンドシェイクし、各スレッドが no_new_privs ビットと seccomp フィルタを持つことを保証します。複数のユーザー スレッドが検出された場合、安全エラーが発生します。 メモリ安全性とサンドボックスを組み合わせることで、OpenSSH はより厳格な隔離を実現し、メモリバグによる権限昇格リスクを低減します。このアプローチは他のセキュリティクリティカルプロジェクトにも採用を促す可能性があります。

2025/12/14 9:34

An Implementation of J

## Japanese Translation: ## 改訂版要約 本書は、技術仕様の構造化された目次であり、以下のように整理されています。 1. **第0章 – はじめに** 2. **第1章 – 文を解釈する** - 1.1 単語生成 - 1.2 構文解析 - 1.3 トレイン（列車） - 1.4 名前解決 3. **第2章 – 名詞** - 2.1 配列 - 2.2 型 - 2.3 メモリ管理 - 2.4 グローバル変数 4. **第3章 – 動詞** - 3.1 動詞の構造 - 3.2 ランク - 3.3 原子（スカラー）動詞 - 3.4 オブヴァース、同一性、および変種 - 3.5 エラー処理 5. **第4章 – 副詞と接続詞** 6. **第5章 – 表現** - 5.1 原子表現 - 5.2 ボックス化された表現 - 5.3 木構造表現 - 5.4 線形表現 7. **第6章 – ディスプレイ** - 6.1 数値表示 - 6.2 ボックス化表示 - 6.3 フォーマット済み表示 主要セクションの後に、付録A〜F（インキュナブルム、スペシャルコード、テストスクリプト、プログラムファイル、外国接続詞、およびシステム概要）が補足資料として提供されます。書末には参考文献・用語集・索引が付されています。 この構成（目次 → 詳細セクション → 付録 → 参照資料）は、読者に全体枠組みを最初に把握させたうえで、必要に応じて詳細へ掘り下げたり補足資料を参照したりできる明確かつ階層的な道筋を提供します。

2025/12/14 8:39

Closures as Win32 Window Procedures

## Japanese Translation: **改訂版要約:** この記事では、Win32 のウィンドウプロシージャに追加のコンテキストポインタを渡す方法を示しています。これは、WndProc が通常 4 つしか引数を取らないため、ネイティブ API には備わっていない機能です。著者は x64 アセンブラで小さなトランスペイル（trampoline）を作成し、実行時に JIT コンパイルして 5 番目の引数スロットを挿入し、呼び出し前に必要なコンテキストを格納します。これにより、各ウィンドウがグローバル変数や `GWLP_USERDATA` を使わずに独自の状態を保持できるようになります。トランスペイルは GNU アセンブラで書かれ、`.exebuf` セクション（`bwx` フラグ付き）から 2 MiB の実行可能バッファが確保されます。C ヘルパー関数 `make_wndproc(Arena *, Wndproc5, void *arg)` は 2 つのバイトオフセットプレースホルダーを修正してトランスペイルを生成します。作成後は `set_wndproc_arg(WNDPROC p, void *arg)` を使ってコンテキストを変更できます。アロケータ例では、異なる状態オブジェクト用に複数のトランスペイルを生成したり、動的に切り替えたりする方法を示しています。この手法は、トランスペイルがアンウインドテーブルを持たないため Windows Control Flow Guard 下でも安全に機能し、グローバル変数を使わずにウィンドウごとのデータを付与する低レベルの手段を示しています。