12歳のパレスチナ少年が、イスラエル軍により車で家族を殺害されたことを語る。

2026/03/17 3:38

12歳のパレスチナ少年が、イスラエル軍により車で家族を殺害されたことを語る。

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

要約

Japanese Translation:

(欠落している詳細を補いながら明瞭さを保つ)**

記事は、ナブルスで買い物に出かけた後、タムン(ツバス近郊)でイスラエル軍がカーレッド・バニオデの両親と二人の最年少兄弟を致命的に射殺したと報じている。犠牲者は夜間に車のフロントガラスを通して撃たれた。盲目で障害のある六歳のオトマンは母の膝の上で死亡し、カーレッドは父がシャハーダ(信仰宣言)を唱える様子を見ていた。兵士たちはその後、車から生存した兄弟である八歳のムスタファを引きずり出し、尋問し、介入しようとしたカーレッドに暴行を加えた。37歳のアリ・バニオデと妻ワードの家族は日曜日に埋葬され、彼らは真夜中過ぎて数分前に自宅近くで殺害された。

イスラエル兵は車が彼らに向かって加速したと主張し、それが射撃反応を引き起こしたと説明している。近隣住民は、銃声が発せられる前に車両が停止していたと述べており、軍の報告に矛盾している。住民は現場周辺でイスラエル軍が使用する装填式ライフル(サイズ)の弾薬カセを50個以上見つけ、残骸の下にもまだ目立つものがあると報告した。パレスチナ赤新月救急隊員は、大量発射と両親および子供の頭部が吹き飛ばされた様子を描写していた。

ユダヤ人反対党イェシュ・アティド(Yesh Atid)のリーダー、ヤイル・ラピッドはイスラエルに家族への謝罪を求めず、「特別なニーズを持つ七歳の少年が大人たちの戦争で死ぬべきではない」と批判した。ムスタファの祖母、ナジャ・バニオデは、2023年10月7日のハマス攻撃以来、西岸地区でパレスチナ人に対する暴力が増加していると指摘し、入植者の乱闘や新たな安全壁を挙げていた。国連OCHA(2023年10月–2026年3月)のデータでは、西岸で1,071人のパレスチナ人が死亡し、そのうち少なくとも233名が子供であると示され、イスラエル側の犠牲者は比較的低い。

この事件は関係当局による調査を求める声を呼び起こした。イスラエル軍は調査中であり、警察への問い合わせを指示した一方で、家族や政治指導者たちは公式な捜査と謝罪を要求し、外交的または法的措置が取られる可能性を暗示している。

本文

ルーシー・ウィリアムソン
中東特派員、タムムン(占領下西岸)
ロイター


カーレッド・バニ・オデ氏の両親と末っ子二兄弟が帰宅途中に銃撃で死亡

警告 – この記事には銃撃事件のグラフィックな記述が含まれます。

銃撃直後の数秒間、家族車から引きずり出される前に12歳のカーレッド・バニ・オデは、自分だけが生存していると思い込んでいた。数秒前、占領下西岸で家族買い物を終えて帰路に就いていた彼の両親と末っ子二兄弟は、イスラエル軍によって車窓から撃たれ死亡した。死者には6歳のオトマン(盲目・障害者)が含まれ、母の膝で座っている最中に殺された。

「私の母は最後に叫んだあと静まり返った」
 カーレッド氏は語る。
「父は死ぬ直前にシャハーダ(イスラム教信仰宣言)を朗読した。」

イスラエル軍が唯一生存していた兄弟ムスタファを車から引きずり出そうとした際、カーレッドは介入しようとした。
「彼らは私を先に抜き取って背中で殴打を始めた」と彼は語る。「その後コーナーへ連れて行かれ、車内にいた人物について質問された。母と父だと答えたが、嘘だと非難され、暴力を振るわれた。」


エパアリ・カーレッド・バニ・オデ氏、その妻ワード、息子モハメドとオトマンは日曜日に埋葬

37歳のエパアリ・カーレッド・バニ・オデ氏と35歳の妻ワードは、土曜深夜0時過ぎにタムムン(ツーバス近郊)で死亡。親族は、エパアリがイスラエルで6週間工事現場に勤務した後、家に戻った直前に逝去したと語る。息子たちはイード・アル=フィトルの祝祭前にナブルスへ買い物に行くよう頼んだ。

当夜、ナブルスで食事を終えて帰路に就いた際、イスラエル軍はテロリスト活動疑惑者捜捕を目的としてタムムンで部隊と国境警備隊を配置していた。バニ・オデ家族の車は「勢いよく走り出し、兵士たちが危険を察知して撃った」と述べている。

一人目の証言者はイスラエル軍の説明に異議を唱える。「名前は公開しないので本人識別は行わない。」
住民は窓から離れた場所で偶発的な銃声を聞いた後、車が左折して彼の通りへ入る際に急停止したと語り、イスラエル軍の報告とは対立する。

「警告音や先射撃は聞こえなかった」と証人は付け加える。「直接的に車を標的にした。女性が叫び、子供たちは死ぬ前に泣いていた。」

ニューヨーク・タイムズの報道ではワード氏が男性に停車を要請し、バッグ内を探すために路上で止めるよう頼んだと記載。イスラエル軍は事件調査中と述べた。

警察への問い合わせに対して回答は待っている状態。


カーレッド・ムスタファ・バニ・オデ祖母ナジャの家で葬儀

カーレッドとムスタファの祖母、ナジャ氏の自宅では、黒・白・茶色の厚手ウールショールに包まれた遺族が集結。八歳のムスタファは時折女性から抱きしめられ、顔には包帯を巻いていた。「それは破裂した車窓ガラスの粉砕片で、外科手術が必要」とナジャ氏は説明。

家族は帰宅途中に村内で軍事作戦が行われているとは知らなかった。
「彼らは学校エリアを通り抜けるところに特殊部隊が潜んでいた。子どもたちは歌い、楽しんでいた。モハメド(幼稚園児)は母と父の間に座っていたが、撃つ瞬間にムスタファの膝へ落ち、血で服を汚した」と語った。


8歳ムスタファ・バニ・オデは破裂ガラスで負傷

パレスチナ赤十字救急隊員ハッサン・フーコアは「他の事件とは全く異なり、両親と子ども一人が頭部に大きなダメージを受けた」と述べる。車周辺には大量の弾殻が散乱し、「非常に激しい射撃で直接車を狙った」ことを指摘。

住民はイスラエル軍が使用するアサルトライフル型の50個以上の弾殻を発見し、当局へ引き渡した。路上の瓦礫の下に残るもう一つの弾殻も確認できた。

イスラエル野党「イェシュ・アティッド」の首長ヤイル・ラピドは、子どもの死亡について家族への謝罪がないと批判。「特別なニーズを持つ7歳児が大人の戦争で命を失うべきではない」と述べた。

ナジャ・バニ・オデ祖母は「西岸におけるパレスチナ人への暴力増加が続いている」と語り、イスラエル兵や入植者による殺害が10月7日以降急増していると指摘。「入植者が男性・女性・子どもを攻撃し、我々は石を投げてしか防衛できない」「彼らは土地から追い出そうとしており、壁を建設し、誰でも近づけば無差別に射撃する」と述べた。

10月7日以降の2023年から2026年3月15日までの期間、国連人道関係事務所(OCHA)は西岸で1,071名のパレスチナ人が死亡し、そのうち少なくとも233名は子どもだったと報告。10月2023年以降、中間オクタブまでにイスラエル民間人19名、軍・警備隊23名が死亡したとのこと。

同じ日のほかのニュース

一覧に戻る →

2026/03/17 5:59

MistralがLeanstralをリリース --- (※「Leanstral」はそのまま固有名詞として扱います。)

## Japanese Translation: --- ## Summary Leanstral は **Lean 4 専用に設計された最初のオープンソースコードエージェント** であり、Apache 2.0 ライセンスの下でリリースされ、重みファイルをダウンロードできるほか、一時的な無料 API エンドポイント(`labs-leanstral-2603`)と公開された技術レポートがあります。 このモデルは **証明工学タスクに最適化された非常にスパースな 6 B‑パラメータアーキテクチャ** を採用し、Lean を完璧な検証器として活用した並列推論を実現しています。モデルは **lean‑lsp‑mcp データセット** 上で訓練されており、Mistral Vibe 経由で任意の Model‑Composed Pipelines(MCP)をサポートします。 **FLTEval** で評価すると—FLT プロジェクトにおける形式的証明の完了と新概念の定義をベンチマークし、単独の数学問題ではなく実際のタスクを測定する—Leanstral‑120B‑A6B は **pass@2 スコア 26.3 と pass@4 スコア 29.3** を達成し、GLM5‑744B‑A40B(≈16–20)や Kimi‑K2.5‑1T‑32B よりも優れた性能を示しています。Claude 系列モデルと比較すると、Leanstral は **$36 で pass@2 スコア 26.3** を達成し、Sonnet の $549(スコア 23.7)に対して同等の性能です。また **pass@16 スコア 31.9 が $531** で得られ、Sonnet の $8,031.9 と比較しても大幅に低価格です。Claude Opus 4.6 モデルは依然として最高品質ですが、$1,650 という価格は Leanstral の同等スコア時の費用の約 90 倍以上になります。 実際のケーススタディでは、その実用性が示されています: * Lean 4.29.0‑rc6 の破壊的変更を診断し、`def` と `abbrev` 間の定義等価性問題を特定して正しい修正案を提示し、ユーザーに説明しました。 * Princeton の CS 441 コースから Rocq 定義を Lean に変換し、カスタム記法を扱い、証明が提供されていないプロパティも自動で証明しました。 Leanstral は **Mistral Vibe** に統合されており、ユーザーは `/leanstall` エンドポイントを呼び出してゼロセットアップのコーディングと証明を行えます。一時的な API エンドポイント(`labs-leanstral-2603`)はフィードバックと観測データ収集のために利用可能です。ユーザーはモデル重みをダウンロードし、Leanstral をローカルで実行したり、Mistral Vibe にサインアップして完全なドキュメントへアクセスすることもできます。 この軽量かつコスト効果の高いツールは、開発者や研究者が形式的検証ワークフローを加速させるために活用でき、コミュニティへの貢献と学術界および産業界での広範な採用を促進します。

2026/03/17 3:12

Meta、jemallocへの再挑戦を強化

## Japanese Translation: ``` ## Summary Meta は、Linux カーネルや Meta のインフラストラクチャ内のコンパイラなど重要なコンポーネントを動かす高性能メモリアロケータである jemalloc に注力することを決定しました。この移行は長期的なメリットに基づいており、保守コストの削減、コードベースの近代化、および進捗を遅らせていた技術的負債の排除が目的です。今回の取り組みの一環として、オリジナルのオープンソース jemalloc リポジトリはアーカイブから外されました。 主な改善領域は以下の通りです: - **技術的負債削減** – 効率と信頼性を向上させるためにクリーンアップとリファクタリングを実施。 - **Huge‑Page Allocator (HPA)** – CPU の効率化を図るためにトランスペアレントヒュージページ(THP)の使用を改善。 - **メモリ効率** – パッキング、キャッシュ、およびパージング機構の最適化。 - **AArch64 最適化** – ARM64 プラットフォームでのアウト・オブ・ザ・ボックス性能を確保。 Meta はオープンソースコミュニティに貢献を呼びかけ、jemalloc の将来ロードマップを共に形作ることによって、Meta 自身のソフトウェアユーザーとこのアロケータに依存する広範なエコシステム双方に利益をもたらすよう促しています。 ```

2026/03/17 2:17

小さなWebは、あなたが考えているよりもずっと大きいものです。

## 日本語訳: **概要** 本文は、**「小さなウェブ」― 通常のブラウザとサーバーでアクセスできる非営利・個人向けサイトが依然として膨大かつ活発だが、1 ページだけでまとめるにはあまりにも大きい」という事実を説明しています。** - **背景**:Gemini プロトコルは世界中に約 6,000 のカプセル(capsule)という独自のエコシステムを持ち、そのフォーラムには主に IT 専門家で構成される約 100 名が参加し、商業的利用は推奨していません。 - **手法**:著者は Kagi が公開する更新フィードを配信しているサイトのリストを使用しました。このリストは昨年の約 6,000 件から今日では約 32,000 件に増加し、多くはプライベートブログや企業がホストするサイト(例:Blogger)です。 - **フィルタリングプロセス** 1. 各フィードをダウンロードし、タイムスタンプと有効な XML があることを確認した結果、約 25,000 サイトに絞られました。 2. 月間更新が 1 回未満のサイトを除外すると、約 9,000 のアクティブサイトが残ります。 - **結果**:3 月 15 日時点でこれら 9,000 サイトは 1,251 件の更新(主に新しいコンテンツ追加)を生成し、過去の日付とほぼ同程度です。毎日の更新量を見ると、単一ページの集約は非実用的であり、小さなウェブはその規模と活発さからそのような表示には不向きです。 - **結論**:サイズが大きいにも関わらず、小さなウェブは成長を続け、主流プラットフォームに対する広告なしの代替手段として機能します。 - **行動喚起**:著者は読者に対し、このページへの参照 URL を含む Webmention を送信してもらい、継続的な関与を促しています。