MIT professor shot at his Massachusetts home dies

2025/12/17 6:52

MIT professor shot at his Massachusetts home dies

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

要約

Japanese Translation:


要約

MITの核科学・工学教授である47歳のポルトガル人、ヌーノ F. ゴメス ロレイロは、月曜の夕方にブルックライン郊外の自宅で複数発射撃を受け、翌朝病院で死亡しました。警察は午後8時30分頃に3回の大きな音を聞いたと報告し、捜査官は容疑者がまだ特定されていない現行犯殺人事件として取り扱っています。MITはロレイロ氏の死去を確認しました。

ロレイロは2000年にリスボンのインストゥトゥート・スーペリエール・テクニコで物理学のB.S.を取得し、2005年にイングランドのインペリアルカレッジ・ロンドンで博士号を完成させました。2016年にMITの教員に加わり、2024年にはプラズマ科学と融合センター(Plasma Science and Fusion Center)の所長となりました。彼の研究は磁場下での荷電粒子の運動―すなわち磁化されたプラズマのダイナミクス―に焦点を当て、気候変動対策としての融合エネルギーへの応用可能性を探求していました。追悼文では、「彼は融合真空室の中心部や宇宙の端で複雑な問題に取り組んだ」と記されています。

MIT関係者と地元リーダーのデニス・ワイテ(Dennis Whyte)およびディープト・チャクラバルティ(Deepto Chakrabarty)は、ロレイロを「優れた科学者であり、メンター、教師、同僚、そしてリーダー」と称賛しました。彼は若い家族と共にMITキャンパス近くに住んでいました。MITは、彼の死に対して悲しむコミュニティへ向けて焦点を絞ったアウトリーチとサポートを提供しています。


本文

マサチューセッツ州の大学教授が自宅で銃撃され、死去したとキャンパス関係者は述べています。

ポルトガル出身の核科学・工学の教授、ヌーノ F ゴメス=ロレイロ(47歳)は月曜日に「複数回」に射殺され、火曜日朝に病院で死亡したとブルックライン警察およびマサチューセッツ工科大学(MIT)の関係者が報じました。警察は午後8時30分頃、アパートの銃声を受けて出動し、ロレイロは救急車でボストンの病院へ搬送され火曜日朝に死亡しました。容疑者は未だ拘束されておらず、事件は「現在進行中の殺人捜査」として扱われていますとノーフォーク郡地方検事室が述べました。

CBSニュース(BBCの米国メディアパートナー)は、近隣住民が月曜夕方に「3回の大きな音」を聞いてアパート内で誰かがドアを叩くのではないかと疑ったと報じています。長年その地域に居住していたアン・グリーンウォルド氏は、教授には若い家族がおり、近隣の学校へ通っていたとCBSに語りました。

ロレイロは2000年にリスボンのインストゥイト・スーパーリエール・テクニコで物理学を専攻し、2005年にロンドン帝国大学(Imperial College London)で物理学の博士号を取得しました。彼は磁化プラズマダイナミクス―外部磁場によって荷電粒子の運動が影響される状態を研究する分野―で数々の賞を受賞したことで知られ、Nature にも取り上げられました。ロレイロは2016年にMITの教員に就任し、2024 年にはMITプラズマサイエンス・フュージョンセンター(PSFC)の所長に任命されました。同センターの追悼文によれば、彼の研究は「融合真空チャンバーの中心部と宇宙の端に潜む複雑な問題」に取り組んでおり、クリーンな「融合発電」を用いて気候変動と戦う方法も探求していました。

MITのスポークスパーソンはBBCに提供された声明で「彼の家族・学生・同僚、および悲しみに暮れるすべての人々に深い哀悼の意を表します」と述べ、大学側は教授を知る者たちへのケアとサポートを目的としてMITコミュニティ内で「集中したアウトリーチと対話」が行われていると付け加えました。

前所長デニス・ワイテ氏はMIT News に語った際、ロレイロを「卓越した科学者かつ素晴らしい人物」と称し、「メンター、友人、教師、同僚、リーダーとして輝く光を放ち、その明瞭で思いやりのある姿勢は万人に尊敬されていた」と述べました。

MIT物理学部長ディープト・チャクラバルティ氏も同様の感想を述べ、ロレイロがプラズマ物理学の擁護者であり、彼の最新研究は「特にエキサイティングな新しい科学的方向性」であると語りました。

※訂正(12月16日):以前の記事では教授が研究していたプラズマの種類を誤って記載していました。

同じ日のほかのニュース

一覧に戻る →

2025/12/17 6:14

Prediction: AI will make formal verification go mainstream

## Japanese Translation: > 記事は、人工知能がソフトウェアが仕様を満たしていることを数学的に証明する「形式検証」を、ニッチな研究活動から日常のエンジニアリング実務へと導くと主張しています。Coq、Isabelle、Lean、F*、Agda などの証明支援ツールはすでに OS カーネル、コンパイラ、暗号スタックなど大規模システムを形式的に検証することを可能にしています。現在では言語モデル型コーディングアシスタントが実装コードとそれに付随する証明スクリプトの両方をドラフトでき、極小の検証済みチェッカーは無効な証明を拒否し、AI エージェントが幻覚(hallucinate)した場合には再試行を強制します。2009 年に公開された seL4 マイクロカーネル(8,700 行の C コードで 20 人年と 20 万行の Isabelle コード)が示すように、従来は労力集約的な検証が行われてきましたが、世界中で数百人程度の専門家しかそのような証明を作成できず、コストはバグ修正費用を上回ることも多いです。著者は AI がこれらのコストを低減するにつれて、より多くのソフトウェアが形式検証され、人間によるレビューではなく AI 生成コードに依存するようになると予測しています。残された最大の障壁は正確な仕様書を書くことです——仕様書作成は証明より容易ですが、それでも専門知識を要します。AI は自然言語での要求を形式的に翻訳する手助けができるかもしれませんが、ニュアンスの損失リスクがあります。広範な採用はバグと脆弱性を削減し、エンジニアリングワークフローを再構築し、仕様書作成に関する新たなスキルを要求しますが、文化的受容こそが主流化への主要障壁となります。

2025/12/17 1:54

alpr.watch

## Japanese Translation: 米国全土の自治体は急速に監視技術を導入しており、既に8万台以上のカメラが設置されています。 新しいプラットフォーム **alpr.watch** は、市議会の議題リストから「flock」「license plate reader」「ALPR」などのキーワードをスキャンし、それぞれの議論をマップ上にピン留めします。住民はこれらのシステムについて議論が行われている場所を確認でき、必要に応じて行動を起こすことができます。ユーザーはメールアドレスで登録すると、自分のエリア内の会議通知を受け取ることが可能です。 12月中旬以前に収集された全データは未検証です。今後提出される情報は正確性を確認するためにモデレートされます。 **ALPR** システムは、24時間365日すべての通行車両からナンバープレートデータを取得し、読み取り、保存します。最大規模のメーカーの一つである **Flock Safety** は、そのユニットを直接近隣住民や警察署に販売しています。カメラは機関・管轄区域間でデータを共有し、数百万の米国人を追跡する監視ウェブを構築します。これらのシステムは、意図された範囲を超えて拡張されることが多く、例えば移民取り締まりに使用されたり、恒久的なインフラストラクチャーとなったりします。 Electronic Frontier Foundation(EFF)、ACLU、Fight for the Future、STOP、Institute for Justice、および地域コミュニティグループなどのプライバシー擁護団体は、すでにこれらの動向を監視しています。 *この改訂された要約はリストからすべての主要ポイントを反映し、未確認推測を含まず、メインメッセージを明確かつ簡潔に保っています。*

2025/12/17 4:20

No Graphics API