「省略せず逐一書き下した」は英語で？
今日の1文
Anthropic used Claude to spell out a famously hard proof so computers can verify it.
和訳と区切りを見る
和訳アンソロピックがクロードを使い、難解で知られる証明を計算機が検証できる形に書き下した。
- 1Anthropic used Claude to spell outアンソロピックはクロードを使って書き下した
- 2a famously hard proof難解で知られる証明を
- 3so computers can verify it.計算機が検証できるように
今日の型はこれだけ
spell out XXを逐一はっきり書く・詳しく述べる
綴りを一字ずつ言うことから「省略せず全部はっきり書く・言う」。Let me spell it out. なら「はっきり言わせてもらう」。契約や手順の説明で頻出です。
音読の手順
- まず英文だけを見て、声に出して読む
- 和訳で答え合わせをする
- 区切りごとに、ゆっくり確認する
- 今日の型を押さえる
- 止まらずに3回、声に出す
今日の素材ニュース
Anthropic が Claude を使い、難解で知られる数学の証明を、計算機が一行ずつ検証できる形式に書き下したと発表した。人手では確認に膨大な時間がかかる証明を機械可読の形へ落とし込む作業で、モデルの長い推論を実際の研究に使った例になる（2026年9月 Anthropic ／ AI Weekly）