#17 AI時代にまさかのVim回帰—-CLI/TUIの時代へ

AIコーディングエージェント全盛のいま、なぜあえてVimに戻るのか？Claude Codeを使い込んだ先に待っていたのは、まさかのVim回帰とCLI/TUI時代の到来でした。スーパーエンジニアkuniwakの約15年にわたる開発環境の変遷を一気にたどります。

Perlの会社で素朴にVimを使っていた新人時代、クラッシュ多発のXcodeからJetBrains AppCodeに逃げ込んだiOS開発時代、「どの言語でもIDEがある」JetBrains教の時代。

そして定理証明支援系Isabelleで数学の証明に朝活で挑んだ日々を経て、Claude Code・Codex・Geminiを使い比べるAI時代へ。

へんてこの「もっと詳しく教えてください」に答えながら、「1+1=2はどう証明するのか」から「AI時代にエンジニアはどう生き残るか」まで、ゆるく深く語ります。

▼この回で話していること

・Vim→Xcode→JetBrains（AppCode/Rider/CLion）—エンジニア15年の開発環境遍歴

・定理証明支援系とは？Isabelleで「1+1=2」を証明する仕組み（ペアノの公理）

・SledgehammerとSMT/SATソルバー、定理証明ライブラリのセキュリティリスク

・Claude Code vs Codex vs Gemini—AIコーディングエージェントの使い分けと乗り換えの理由

・AIの日本語を自然にするjapanese-tech-writingスキル×Geminiという最強の組み合わせ

・「モデルよりワークフロー」説—サブエージェントによるコードレビューとフォーカスのさせ方

・Claude CodeのCtrl+GでVimが開く—Vim回帰とプラグイン断捨離、それでも手放せないvim-surround

・全部70点のAIに人間は「偏愛」で勝つ—AI時代のエンジニア生存戦略とエネルギー効率の話

▼こんな人におすすめ

・Claude Code・Codex・GeminiなどAIコーディングエージェントの使い分けに悩むエンジニア

・Vim・Neovim・ターミナル環境が好きな人、エディタ遍歴に一家言ある人

・AI時代のエンジニアのキャリア・生存戦略を考えたい人

▼関連リンク

・Vim: https://www.vim.org/

・vim-surround: https://github.com/tpope/vim-surround

・Claude Code: https://claude.com/claude-code

・Isabelle: https://isabelle.in.tum.de/

・Lean: https://lean-lang.org/

くわラジ（もっと詳しく教えてくださいラジオ）は、スーパーエンジニアのkuniwakに一般エンジニアのへんてこが「もっと詳しく教えてください」と質問しながら技術を深掘りする、ゆるくてディープな技術雑談番組です。感想はハッシュタグ #くわラジ でお寄せください。

─────────────

YouTube: https://youtu.be/h6I-_B9dpa4

Web: https://kuwa-raji.henteko07.com/

X: https://x.com/kuwa_raji