なぜ英語は間違えられないのか

2023年1月、Andrej Karpathyがある一文を投稿し、それは擦り切れるほど引用された。「最もホットな新しいプログラミング言語は英語だ」

それが良い一文だったのは、ほぼ真実だったからであり、そしてその真実さが不快なものになるまでに2年かかったという点でも真実だった。2025年2月、Karpathy自身がその帰結に名前をつけた。彼はそれをvibe codingと呼んだ。「'vibe coding'と呼ぶ新しい種類のコーディングがある。完全にバイブに身を委ね、指数関数的なものを受け入れ、コードが存在することすら忘れる」。二度読む価値があるのは運用面の詳細だった。「私は常に『すべて受け入れる』を選び、もう差分を読まない」

Merriam-Websterは2025年3月にこの語をスラング・トレンド表現として取り上げた。Collins English Dictionaryは2025年の「今年の単語」に選んだ。

一瞬立ち止まってほしい。辞書、すなわちその全機能が意味を確認できるほど固定することにある機関が、出力を確認しないことを定義とする慣行に最高の年間栄誉を与えたのだ。これは制御不能になった技術業界の内輪ネタではない。作業がどこへ移動したかについての文化レベルの告白である。

興味深い問いは、vibe codingが良いか悪いかではない。この二つの引用の間の2年間が英語について何を明らかにするか、である。英語は指示言語へと昇格し、その仕事に就いて最初にしたことは、自分の仕事を検証するのをやめることだった。それはそれを使う人々の規律の欠如ではない。言語そのものの性質なのだ。

欠陥こそが美点である

英語は間違えられない。

「めったに間違えない」ではない。間違えられないのだ。英語の一文に対して実行し、falseを返す操作は存在しない。ある文に同意しないこと、誤読すること、役に立たないと感じること、あるいは後になって世界がその文と一致しなかったと発見することはできる。しかし文そのものは決して失敗しない。常にパースされる。自分自身を拒否する機構を持たない。

それぞれ完結して聞こえる三つの指示を考えてみよう。

「もっと速くしてくれ」 どの意味で速くか。レイテンシー、つまり一つのリクエストにかかる時間か。スループット、つまり秒間に処理されるリクエスト数か。体感速度、つまり何かが表示されるまでの時間で、これはまた別のものだ。作業単位あたりのコストか。これらは一つのアイデアの濃淡ではない。互いにトレードオフの関係にある。スループットの最適化はしばしばレイテンシーを悪化させる。「もっと速くしてくれ」への応答は、技術的には成功でありながら、指示としては完全な失敗になり得る。

「失敗したリクエストは再試行せよ」 これはルールのように聞こえる。実際にはルールの服を着た問いだ。失敗したリクエストとは何か。拒否されたリクエストか、それとも応答が返ってこなかったリクエストか。これらは外から見れば同じ見た目の異なる出来事だ。元のリクエストが成功していて応答だけが失われた場合、再試行はその作業を二度実行することになる。カードに二重に課金する。注文を二重に発送する。この文はただ一つの重要な点について沈黙しており、しかも断定的に聞こえながら沈黙している。

「管理者だけがアカウントを削除できる」 誰が管理者に含まれるのか。役割そのものか、それとも現在その役割を担える誰もがそうなのか。その権限は委任されるのか。もし委任されるなら、委任された者はこの文の目的においては管理者なのか。権限が剥奪されている最中に既に開いているセッションはどうなるのか。そのどれもが、この文が決めたように見えて、実は決めていない決定である。

これらはどれもいい加減な文ではない。ごく普通の文だ。自然言語はこのように機能するように作られている。曖昧さは圧縮である。話者は聞き手が再構築できるものを省略し、その再構築はたいてい正しい。文脈が残りの作業をこなす。矛盾は許容される。有能な聞き手が黙ってそれを修復し、先に進むからであり、両者はこれを推測ではなく理解として経験する。

これらは会話においては驚くべき性質である。指示においては欠陥である。指示の仕事は未来を排除することだ。四つの両立しない結果を許す文は、何も指示していない。ある領域を指し示し、読み手にその中の一点を選ばせているにすぎない。

これはソフトウェアに限らない。「来四半期の需要は強くなるだろう」は決して間違えられない予測である。「強い」には閾値がないからだ。まさにそれゆえに、その予測は自らが説明する四半期を生き延びる。「ケースバイケースで割引を承認せよ」は決して破られない方針である。「最もインパクトの大きい仕事を優先する」は、あらゆる可能な労力配分と両立する計画である。これらの文はどれも会議を通過する。どれも失敗し得ず、それこそが制約としては無価値でありながら言語としては人気がある理由だ。

形式的なシステムが実際に買っているもの

形式的なシステムは、まさにその許容が終わるところから始まる。

関数は型として正しいか正しくないかのどちらかだ。トランザクションはその制約を満たすか、データベースが書き込みを拒否するかのどちらかだ。スキーマはレコードを検証するか拒否するかのどちらかだ。生産計画はキャパシティに対して実行可能か実行不可能かのどちらかで、ソルバーがどちらかを教えてくれる。テストは合格するか不合格になるかのどちらかだ。

形式的なシステムについての通俗的な物語は、それが精密だというものだ。それは事実だが、要点ではない。精密さは機構にすぎない。産物は拒否である。

それが英語には存在せず、与えることもできない性質だ。型システムが価値を持つのは、あなたの意図を優雅に記述するからではない。それが受け入れないプログラムが存在するからこそ価値を持つ。拒否する能力を取り除けば、システムを弱めたのではなく、それを消し去ったことになる。すべてを受け入れる型システムはコメントにすぎない。決して縛らないキャパシティ制約は余白のメモにすぎない。決して失敗しないテストは装飾にすぎない。

経済が逆転しても、誰も動かなかった

知識労働の歴史のほとんどにおいて、成果物こそが高くつく部分だった。コードを書くこと、モデルを構築すること、文書を起草すること、計画を作ること、そこに時間が費やされた。確認は比較的安価であり、たいていは暗黙的だった。その物を作ること自体が、それをよく考え抜くことを強制していた。遅さは帳簿に載らない検証作業をこなしていた。何を意味しているかを決めずには、その段落を書くことはできなかった。

その結びつきは今や消えた。生成はほぼ無料に近づき、成果物は数秒で届く。

確認は安くならなかった。それはパイプラインの中で唯一コストが変わらない部分であり、だからこそ周囲のすべての価格が崩落するにつれ、全体に占めるその割合はほぼすべてになった。希少なものはもはや成果物を作る能力ではない。それを拒否する意志と能力を持つ何かの存在である。

そしてここで二つの性質が衝突する。間違えられない指示は確認できない。確認できない指示は、量が増えれば信頼できない。

「量」がここでの働き者の言葉だ。生成された草稿が一つなら問題ない。人がそれを読み、その判断が確認になる。生成された草稿が千あれば、それは読めない。そして人による確認は決定によってではなく、算術によって静かに止まる。これが「もう差分を読まない」の正直な中身だ。それは怠惰ではない。検証されるものが人が吸収できる速度より速く届き始めたとき、あらゆる手作業の検証ステップに起きることだ。確認は覆されるのではない。追い抜かれるのだ。

複雑さについて、正直に述べる

これらすべての明白な読み方は「最初から常に精密であれ」だ。その読み方は間違っており、しかも高くつく形で間違っている。

曖昧さは初期には本当に有用だ。曖昧な意図は仕事の始まり方だ。「顧客の更新に何かがおかしい」は仕様ではなく、仕様であることはできない。まだ誰もそれを書けるほど十分に知らないからだ。その文の曖昧さこそが、異なる専門性を持つ四人がその前に立ち、それぞれ異なる扱いやすい問題を見出すことを可能にする。時期尚早な精密さはそれを殺す。誰もその物事を理解する前に書かれた仕様は、問題を捉えているのではなく、それを封じ込めている。早すぎる形式化は、開かれた問いを、良い姿勢をした間違った答えに変えてしまう。

だからこの主張は形式性が最初に来るべきだというものではない。曖昧なものは最終的にはそれを拒否できる何かに着地しなければならない、というものだ。探索は一つの段階であり、終着点ではない。文はまだ形を探している間は柔らかいままでいてよく、そのあとで拒否する力を持つ何か、スキーマ、型、制約、実行可能性チェック、テスト、閾値のついた数字に出会わねばならない。

この瞬間特有の失敗モードは、人々がその着地を飛ばしてしまうことだ。なぜなら出力がすでに完成しているように見えるからだ。流暢さはかつて配慮の弱い証拠だった。整った、自信ありげな、よく構造化された成果物を作るにはコストがかかり、そのコストはほとんどが思考だった。今ではそれは何のコストもかからない。読み手が能力として読み取ることを何十年もかけて学んだその表面的なシグナルは、能力から完全に切り離されてしまい、人間のパターン認識はまだ追いついていない。

レバレッジはどこへ行ったのか

生成が無料で拒否が希少なら、レバレッジは制約を保持するもののところにある。

プロンプトにではない。プロンプトは英語であり、何でも受け入れる。モデルにでもない。その流暢さこそが、出力が確認をすり抜ける理由である。レバレッジは、不正な形式のレコードを拒否するスキーマに、コンパイルされない型に、ソルバーが満たせずそう告げる制約に、失敗するテストに、結果が届く前に定義された受容閾値にある。

その仕事は地味であり、そこに価値は移動した。今や誰もが計画を作れる。希少なスキルは、何がそれを実行不可能にするかを事前に述べることだ。誰もが予測を作れる。希少なスキルは、それが好都合になる前に、それを間違いにする数字を名指すことだ。誰もがコードを生成できる。希少なスキルは、それを受け入れないものを構築することだ。

Karpathyの2023年の一文は正しかった。英語は最もホットな新しいプログラミング言語であり、2025年はそのコストを制度化した。英語はあなたが告げるものなら何でも受け入れる。モデルもそうだ。どこか下流で、何かがノーと言える能力を持たねばならない。そしてもし連鎖の中に何もそれができるものがなければ、何も検証されなかった。ただ生成されただけだ。

---

Sources

• Karpathy, A. (2023). "The hottest new programming language is English." X/Twitter, 24 January 2023.
• Karpathy, A. (2025). Post coining "vibe coding." X/Twitter, February 2025.
• Merriam-Webster. (2025). "Vibe coding," Slang & Trending listing. March 2025. merriam-webster.com
• Collins English Dictionary. (2025). Word of the Year 2025: "vibe coding." Announced 6 November 2025. collinsdictionary.com
• BBC News. (2025). "Vibe coding" named word of the year by Collins Dictionary. 6 November 2025. bbc.com
• The Independent. (2025). What does vibe coding mean? The AI term crowned Collins word of the year. 6 November 2025. independent.co.uk