AI ファースト開発、コーディングガードレール、使い捨て前提のアーキテクチャを探求します。https://autotomy.dev/jahttps://autotomy.dev/ja/blog/git-bisect-binary-search-commit/https://autotomy.dev/ja/blog/git-bisect-binary-search-commit/git bisectは手動のコミット探索を自動化された二分探索に変える。すべてをチェックアウトすることなく、バグを導入した正確なコミットを見つける方法を解説する。Tue, 25 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/production-crash-capture-replay/https://autotomy.dev/ja/blog/production-crash-capture-replay/スタックトレースはクラッシュの発生場所を示すが、原因ではない。ここでは、本番のクラッシュを実際にデバッグ可能なローカルテストケースに変える、キャプチャ＆リプレイのパターンを解説する。Mon, 24 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/symbolic-execution-integer-overflow-coverage/https://autotomy.dev/ja/blog/symbolic-execution-integer-overflow-coverage/ユニットテストは特定の入力をチェックする。symbolic executionはあらゆる可能な入力をチェックする。仕組み、コスト、始め方を解説する。Sun, 23 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/pii-tracking-code-pipeline/https://autotomy.dev/ja/blog/pii-tracking-code-pipeline/ほとんどのチームは顧客からの苦情の後にPII漏洩を発見する。ここでは、機密データを取り込みから出力まで追跡し、今日から使えるコード例を紹介する。Sat, 22 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/api-contract-testing-ci/https://autotomy.dev/ja/blog/api-contract-testing-ci/ほとんどのCIパイプラインは構文エラーや論理バグを検出する。しかし、実際に本番を落とすAPI contractの破壊変更は見逃している。修正方法を解説する。Fri, 21 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/crash-correlation-triangulation/https://autotomy.dev/ja/blog/crash-correlation-triangulation/statistical debuggingはクラッシュと相関するpredicatesを見つけるが、相関はファイル名と行番号ではない。相関スコアから実際のバグの場所へと導くランキング、フィルタリング、トライアングレーションの方法を解説する。Thu, 20 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/sentry-seer-trace-root-cause/https://autotomy.dev/ja/blog/sentry-seer-trace-root-cause/Seerはtrace tree、関連付けられたエラー、プロファイリングデータを取り込んで分散問題を診断する。実際にどう機能するか、どこで輝き、どこでまだ人間の助けを必要とするかを解説する。Wed, 19 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/statistical-debugging-adoption-challenges/https://autotomy.dev/ja/blog/statistical-debugging-adoption-challenges/statistical debuggingはプログラムの動作と失敗を相関させることでバグを正確に特定することを約束した。このアイデアが研究論文から本番システムに移行しなかった理由を解説する。Tue, 18 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/statistical-debugging-production-data-anomalies/https://autotomy.dev/ja/blog/statistical-debugging-production-data-anomalies/statistical debuggingは本番データを信号として扱い、バグをその異常として捉える。unit testを1つも追加せずに、データの破損、オフバイワンエラー、静かな失敗を見つける方法を解説する。Mon, 17 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/metamorphic-testing-production-bugs-compiler/https://autotomy.dev/ja/blog/metamorphic-testing-production-bugs-compiler/Metamorphic testingはGCC、LLVM、Vulkanシェーダコンパイラ、ADASシミュレータで実際のバグを発見してきた。この記事では、その手法を実行可能なコードとともに解説し、あなたのテストスイートのどこに位置づけるべきかを示す。Sun, 16 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/llm-metamorphic-relations-brainstorming/https://autotomy.dev/ja/blog/llm-metamorphic-relations-brainstorming/大規模言語モデルはtest oracleの発見において悪くないブレインストーミングパートナーだが、性質を幻覚し、ドメイン制約を見落とす。それらを、怪しいテストをリリースすることなく使う方法を解説する。Sat, 15 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/metamorphic-relation-quality/https://autotomy.dev/ja/blog/metamorphic-relation-quality/すべてのmetamorphic relationsがバグを捉えるわけではない。弱いrelationは虚偽の自信を与え、強いrelationだけが本当の欠陥を見つける。どう違いを見分け、実際に機能するrelationセットを構築するかを解説する。Fri, 14 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/metamorphic-testing-oracle-problem/https://autotomy.dev/ja/blog/metamorphic-testing-oracle-problem/Metamorphic testingを使えば、正しい出力が何かを知らなくてもコードの正しさを検証できる。その仕組み、限界、そして使い始める方法を解説する。Thu, 13 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/typescript-phantom-types-protocol-state/https://autotomy.dev/ja/blog/typescript-phantom-types-protocol-state/Phantom typesと `this` パラメータを使い、違法なプロトコル遷移を実行時のバグではなくコンパイルエラーに変える方法。Wed, 12 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/openapi-session-types-protocol-gap/https://autotomy.dev/ja/blog/openapi-session-types-protocol-gap/OpenAPIの仕様はリクエストとレスポンスのスキーマを記述するが、有効なメッセージの順序までは規定しない。ここでは、どこまで自動抽出できるか、そしてどこに手作業で補う必要があるかを説明する。Tue, 11 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/session-types-research-to-production/https://autotomy.dev/ja/blog/session-types-research-to-production/セッション型は通信プロトコルを型システムにエンコードし、実行時のプロトコルエラーをコンパイル時のエラーに変換する。プロダクションコードが使用できるようになるまでに30年間の研究論文に費やされた理由はここにある。Mon, 10 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/session-types-deadlock-compiler-errors/https://autotomy.dev/ja/blog/session-types-deadlock-compiler-errors/セッション型は通信プロトコルを型システムにエンコードし、コードが実行される前にメッセージパッシングの不一致をコンパイルエラーに変える。Sun, 09 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/infer-abstract-interpretation-ci/https://autotomy.dev/ja/blog/infer-abstract-interpretation-ci/Inferを使ってCIパイプラインで形式的静的解析を実行する方法。動作する設定と現実的なトレードオフを紹介する。Sat, 08 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/llm-static-analysis-triage/https://autotomy.dev/ja/blog/llm-static-analysis-triage/大規模言語モデルは静的解析の偽陽性の選別に役立つが、抽象解釈のようにプログラムの意味論を理解しているわけではない。両者を組み合わせる方法を解説する。Fri, 07 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/facebook-android-abstract-interpretation-races/https://autotomy.dev/ja/blog/facebook-android-abstract-interpretation-races/Facebookがどのように抽象解釈と意図的なunsoundnessを用いて、数百万行のAndroidコードにおける競合状態を大規模に発見したか。Thu, 06 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/meta-infer-100000-bugs-static-analysis/https://autotomy.dev/ja/blog/meta-infer-100000-bugs-static-analysis/MetaのInferは抽象解釈と双方向誘導を用いて、コードの構造を推論することでヌル参照、メモリリーク、競合状態を検出する。実行は不要だ。仕組みと自社コードベースでの活用方法を解説する。Wed, 05 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/static-analysis-aviation-abstract-interpretation/https://autotomy.dev/ja/blog/static-analysis-aviation-abstract-interpretation/抽象解釈はあらゆる可能なプログラム状態を過大近似する。抽象化の中でゼロ除算が到達不可能なら、実際のコードでも到達不可能である。以下に、その仕組みと限界を解説する。Tue, 04 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/abstract-interpretation-runtime-error-proof/https://autotomy.dev/ja/blog/abstract-interpretation-runtime-error-proof/抽象解釈を使えば、実行前にランタイムエラーが発生しないことを証明できる。実際の仕組み、難しさ、そしてツールチェーンでの位置づけを解説する。Mon, 03 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/cheri-c-porting-hybrid-abi/https://autotomy.dev/ja/blog/cheri-c-porting-hybrid-abi/CHERIのハイブリッドABIを使えば、Cコードを段階的にキャパビリティハードウェアへ移植できる。コンパイル方法、どこが壊れるか、そして codebase 全体を rewrite せずに修正する方法を解説する。Sun, 02 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/capability-hardware-cheri-history/https://autotomy.dev/ja/blog/capability-hardware-cheri-history/1970年代から、ハードウェアレベルでのメモリ安全性は可能だった。なぜケイパビリティ・アーキテクチャがフラット・メモリ・モデルに敗れ続けたのか、そしてなぜCHERIがついに状況を変えているのか。Sat, 01 Aug 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/c-library-wasm-sandbox/https://autotomy.dev/ja/blog/c-library-wasm-sandbox/単一のCライブラリを隔離するためにコンテナを使うのは大げさすぎる。WebAssemblyにコンパイルし、WASIサンドボックス内で実行すれば、メモリ安全性、ケイパビリティベースのファイルシステムアクセス、クラッシュ封じ込めをDockerなしで実現できる。Fri, 31 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/mobile-memory-tagging-extension/https://autotomy.dev/ja/blog/mobile-memory-tagging-extension/ARM Memory Tagging ExtensionとGWP-ASanにより、最新のモバイルデバイスで本番環境のメモリ安全性検出が可能になった。その仕組みとトレードオフについて解説する。Thu, 30 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/cheri-hardware-buffer-overflow-prevention/https://autotomy.dev/ja/blog/cheri-hardware-buffer-overflow-prevention/CHERIは、すべてのポインタを境界付きcapabilityに変換するハードウェア拡張である。CPUレベルでバッファオーバーフローを阻止する仕組み、コスト、および実機での試用方法を解説する。Wed, 29 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/llm-cleanroom-proof-obligation-automation/https://autotomy.dev/ja/blog/llm-cleanroom-proof-obligation-automation/クリーンルーム検証では、検証条件の生成と解消が必要である。ここでは、LLMがアノテーションとVC生成を自動化し、開発者が実際に難しい証明に集中できるようにする方法を説明する。Tue, 28 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/cleanroom-pragmatic-subset/https://autotomy.dev/ja/blog/cleanroom-pragmatic-subset/Cleanroom software engineering は defect rate を 100 倍に削減するが、フル導入には分離した test team と formal proof が必要。ここでは、overhead なしにその大半の benefit を得られる pragmatism なサブセットを紹介する。Mon, 27 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/ibm-cleanroom-zero-defects-disappearance/https://autotomy.dev/ja/blog/ibm-cleanroom-zero-defects-disappearance/IBMのCleanroom engineeringは業界平均より100倍優れたdefect rateを達成し、その後忘れ去られた。消えた理由は、それが機能したかどうかとは無関係だった。Sun, 26 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/ibm-cleanroom-10000-lines-zero-defects/https://autotomy.dev/ja/blog/ibm-cleanroom-10000-lines-zero-defects/Cleanroom software engineeringは、デバッグではなくmathematical verificationによって零欠陥のインクリメントを約束した。我々はIBMの実プロジェクトデータを見て、その主張が成り立ったかを確認する。Sat, 25 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/cleanroom-box-structure-three-layers/https://autotomy.dev/ja/blog/cleanroom-box-structure-three-layers/Box Structureは、モジュールが何をするか、何を記憶するか、どう動作するかを、3つの独立した検証可能な層として定義することを強制する。Cleanroomがどうやってデバッグを排除するか、ここで解説する。Fri, 24 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/ibm-cleanroom-01-defects-per-kloc/https://autotomy.dev/ja/blog/ibm-cleanroom-01-defects-per-kloc/IBM の Cleanroom エンジニアリング・プロセスは、バグを発見するのではなく未然に防ぐことで、業界平均より 100 倍優れた defect 率を達成した。それがどう機能したか、なぜほとんど誰も使わないのか、そして今日あなたが取り入れられるものとは。Thu, 23 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/ci-literate-programming-tangle/https://autotomy.dev/ja/blog/ci-literate-programming-tangle/Literate programming は単一事実情報源を約束するが、手動の weave と tangle のステップが CI/CD パイプラインを破壊する。Markdown ファイルを正規のものに保つため、抽出とドキュメント生成を自動化する方法を紹介する。Wed, 22 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/llm-rubber-ducking-bug-rate/https://autotomy.dev/ja/blog/llm-rubber-ducking-bug-rate/30日間、LLMにコードを依頼する前に設計の説明を書き続けた。その結果は、私のrubber-duckingに対する考え方を変えた。Tue, 21 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/literate-programming-markdown-python/https://autotomy.dev/ja/blog/literate-programming-markdown-python/Literate programmingは、Markdownファイルをsingle source of truthにすることで、ドキュメント、テスト、実装を同期させ続ける。Python30行で実装する方法を紹介する。Mon, 20 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/claude-thread-to-documentation/https://autotomy.dev/ja/blog/claude-thread-to-documentation/LLMの対話には意図、却下された代替案、そして動作するコードが含まれています。これこそがドキュメントであるべきものです。以下に、短寿命なチャットをナラティブを失うことなく、永続的で検索可能なドキュメントに変換する方法を説明します。Sun, 19 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/structured-editing-ast-text-editors/https://autotomy.dev/ja/blog/structured-editing-ast-text-editors/すべてのコンパイラはコードをツリーとして見ているが、エディタは生のテキストを編集させる。構造化編集が実際にどう見えるか、なぜ普及しなかったか、そしてツールを変えずにその利点を取り入れる方法を解説する。Sat, 18 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/knuth-literate-programming-history/https://autotomy.dev/ja/blog/knuth-literate-programming-history/Literate programmingは、コードは人間のために先に書かれ、機械のために次に書かれるべきだと約束した。40年後、ほとんど誰もそのように書いていない。なぜソフトウェア文書化における最もエレガントなアイデアが、私たちの働き方を変えられなかったのか。Fri, 17 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/fagan-causal-analysis-defects/https://autotomy.dev/ja/blog/fagan-causal-analysis-defects/ほとんどのチームは欠陥を修正して先に進む。同じ欠陥が戻ってくる。フェイガン検査の中で因果分析を実行し、同じバグを二度書かないようにする方法を解説する。Thu, 16 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/pr-reviews-catch-15-to-30-percent-defects/https://autotomy.dev/ja/blog/pr-reviews-catch-15-to-30-percent-defects/IBM、AT&T、HP、Microsoftを対象とした複数の研究により、非公式なコードレビューが欠陥の約4分の1を検出することが確認されている。データが実際に示していること、その数値が低い理由、そして改善方法を解説する。Wed, 15 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/fagan-structured-checklist-defect-detection/https://autotomy.dev/ja/blog/fagan-structured-checklist-defect-detection/大半のレビューチェックリストは、善意のコピペリストに過ぎない。Fagan inspectionスタイルの構造化チェックリストは、実際の欠陥データから構築され、特定のアーティファクトタイプを対象とし、個人の準備段階で使用される。機能するチェックリストの構築方法は以下の通りだ。Tue, 14 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/llm-fagan-inspection-preparation/https://autotomy.dev/ja/blog/llm-fagan-inspection-preparation/フェイガン査読は250行をレビューするのに4〜6人と2時間を要する。大規模言語モデルは準備作業とチェックリストの遵守を担うことでそのコストを削減できるが、最も高価な欠陥を見つける人間の役割は代替できない。Mon, 13 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/fagan-inspections-disappearance-ibm/https://autotomy.dev/ja/blog/fagan-inspections-disappearance-ibm/IBMでMichael Faganが開発した構造化レビュー・プロセスは、コードがコンパイラに到達する前にほぼすべての欠陥を捉えていた。しかし、その代償として総プロジェクト工数の15〜20%を消費していた。ソフトウェア史上もっとも効果的だったこのレビュー手法がなぜ消えたのか、そしてチームが実際に失ったものは何か。Sun, 12 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/fagan-reviewer-defect-detection-variance/https://autotomy.dev/ja/blog/fagan-reviewer-defect-detection-variance/シニアエンジニアであっても、非構造化のレビューで欠陥のごく一部しか検出できない。Michael Fagan のIBMにおける研究がその理由を示し、構造化されたインスペクションプロセスを構築して修正した。Sat, 11 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/fagan-inspections-90-percent-defects/https://autotomy.dev/ja/blog/fagan-inspections-90-percent-defects/非公式なコードレビューは欠陥の15〜30%を見つける。50年前に確立された構造化プロセスであるFagan Inspectionは、一貫して60〜90%の除去率を報告している。その仕組み、チームが避ける理由、そして軽量版の実行方法を解説する。Fri, 10 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/autoverus-llm-rust-verification/https://autotomy.dev/ja/blog/autoverus-llm-rust-verification/AutoVerusはLLMエージェントのネットワークを用いてRustコードのVerus正しさ証明を生成し、SMTソルバーのフィードバックによって駆動される生成・修復・ dischargeループにより、90%以上の証明義務を自動化する。Thu, 09 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/llm-rust-formal-proofs-hallucination/https://autotomy.dev/ja/blog/llm-rust-formal-proofs-hallucination/大規模言語モデルは驚くほど質の高いRustコードを書くが、形式的証明を求めると、不変条件を幻覚で見つけ、どの検証器も受け付けない構文をでっち上げる。それらが実際に正しい部分、壊れる部分、それでも使う方法を解説する。Wed, 08 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/model-checking-race-conditions/https://autotomy.dev/ja/blog/model-checking-race-conditions/model checkingが、concurrency bugを発見するためにアプリを数日間実行することをどう凌駕するか、そして自分のコードにどう応用するか。Tue, 07 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/is-there-a-model-checker-that-doesnt-require-learning-temporal-logic/https://autotomy.dev/ja/blog/is-there-a-model-checker-that-doesnt-require-learning-temporal-logic/Kaniのような境界付きモデル検査器やAlloyのような関係モデルファインダーは、通常のアサーションと制約で性質を検証できる。活性の証明を諦める代わりに、学習曲線は週ではなく時間単位で測られる。Mon, 06 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/rust-model-checking-kani-state-space/https://autotomy.dev/ja/blog/rust-model-checking-kani-state-space/Kani のようなモデル検査ツールを使えば、形式的証明の代わりに表明で Rust の性質を検証できる。問題は、ループの境界が小さくないときに何が起きるかだ。Sun, 05 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/distributed-protocol-model-checking-tla/https://autotomy.dev/ja/blog/distributed-protocol-model-checking-tla/分散バグはデプロイ後の修正コストが高い。モデル検証を使えば、実装コードを1行も書く前にそれらを発見できる。以下はTLA+を使った方法である。Sat, 04 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/infrastructure-config-dsl-per-context/https://autotomy.dev/ja/blog/infrastructure-config-dsl-per-context/インフラストラクチャチームが、環境間の差異を明示的かつ型安全にする文脈単位のDSLを使って、dev、staging、production間の設定を管理する方法。Fri, 03 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/grammar-constrained-decoding-llm/https://autotomy.dev/ja/blog/grammar-constrained-decoding-llm/LLMはトークンを確率的にサンプリングするため、構文を幻覚させる。文法制約付きデコーディングは各ステップで語彙をフィルタリングし、構文的妥当性を保つトークンのみを出力する。Thu, 02 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/english-to-theme-deterministic-design-tokens/https://autotomy.dev/ja/blog/english-to-theme-deterministic-design-tokens/英語の平易な記述からデザイントークンを生成できるが、その記述をスキーマ契約とスナップショットテストを伴う限界付きコンテキストDSLとして扱う場合に限る。Wed, 01 Jul 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/typescript-parser-combinators-dsl/https://autotomy.dev/ja/blog/typescript-parser-combinators-dsl/Bounded Context向けの小さなDSLに、パーサージェネレータは大げさすぎる。パーサーコンビネータなら、アプリケーションと同じ言語で動作するパーサーを、生成コードもビルドステップもなしに構築できる。Tue, 30 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/config-validation-build-time/https://autotomy.dev/ja/blog/config-validation-build-time/スキーマ検証とビルド時チェックを用いて、アプリケーションがトラフィックを処理し始める前に設定ミスを捕捉する方法。Mon, 29 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/javascript-capability-security-lockdown/https://autotomy.dev/ja/blog/javascript-capability-security-lockdown/Ambient Authorityとは、Node.jsプロセス内のあらゆるコードがファイルシステム、ネットワーク、環境に触れられる状態のことだ。ここでは、lockdown、compartment、明示的なcapabilityの受け渡しによってそれを剥ぎ取る方法を解説する。Sun, 28 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/service-authentication-without-ambient-authority/https://autotomy.dev/ja/blog/service-authentication-without-ambient-authority/サービス間の信頼の大半は暗号学的証明ではなく、ネットワーク上の位置関係に基づいている。以下では、ケイパビリティ、相互TLS、SPIFFEを使ってサービスが環境的権限なしに認証する方法と、その実現が予想以上に難しい理由を解説する。Sat, 27 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/rust-cap-std-capability-filesystem/https://autotomy.dev/ja/blog/rust-cap-std-capability-filesystem/Rust の標準ライブラリはあらゆる依存ライブラリに対して、暗黙的なファイルシステム権限を付与する。cap-std はそれを能力ベースの API に置き換え、コードがパスを開く前にそのアクセス権を証明することを強制する。Fri, 26 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/whats-a-confused-deputy-attack-and-how-do-i-prevent-it/https://autotomy.dev/ja/blog/whats-a-confused-deputy-attack-and-how-do-i-prevent-it/Confused Deputy Attackは、特権を持つサービスを騙してその権限を悪用させる攻撃です。ここでは、攻撃者が暗黙の信頼をどう突くか、そしてcapability-based securityがなぜ解決策になるかを解説します。Thu, 25 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/typescript-capability-based-security/https://autotomy.dev/ja/blog/typescript-capability-based-security/ケイパビリティベースセキュリティは、散在するロールチェックを改ざん不可能な権限トークンで置き換える。コードを読みにくくすることなく TypeScript で実装する方法はこちら。Wed, 24 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/capability-based-security-permissions/https://autotomy.dev/ja/blog/capability-based-security-permissions/ほとんどのコードは ambient authority のもとで動作している。つまり、すべての関数があらゆるリソースに暗黙的にアクセスできる。capability-based security はこのモデルを覆し、関数に明示的でスコープ化された権限を受け取らせる。Tue, 23 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/should-i-stop-throwing-errors-and-start-returning-them/https://autotomy.dev/ja/blog/should-i-stop-throwing-errors-and-start-returning-them/例外を投げると、型システムから失敗の経路が見えなくなる。明示的なエラー返却がコードをより正直にする理由と、それを苦痛なく導入する方法。Mon, 22 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/rust-newtypes-zero-cost-safety/https://autotomy.dev/ja/blog/rust-newtypes-zero-cost-safety/1フィールドのラッパー構造体が、1バイトのオーバーヘッドも増やさずに単位混在バグや型の混同を防ぐ。Sun, 21 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/is-there-a-better-way-than-switch-statements-for-type-safe-matching/https://autotomy.dev/ja/blog/is-there-a-better-way-than-switch-statements-for-type-safe-matching/TypeScriptのswitch文は、ケースの欠落を黙って許してしまう。以下は、実行時ではなくビルド時に失敗する、網羅性チェック付きのパターンで置き換える方法だ。Sat, 20 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/typescript-exhaustiveness-state-machines/https://autotomy.dev/ja/blog/typescript-exhaustiveness-state-machines/マシンに新しい状態を追加するのは簡単だ。すべてのswitch文を更新することを覚えておくのは難しい。TypeScriptに、ケースを忘れたときにコンパイルを拒否させる方法を紹介する。Fri, 19 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/typescript-currency-types/https://autotomy.dev/ja/blog/typescript-currency-types/TypeScriptはすべての数値を同一に見なす。ここでは、コンパイラが本番環境に到達する前に通貨換算のバグを捕捉できるよう、USDとEURの違いを教える方法を紹介する。Thu, 18 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/typescript-unit-types-compile-time/https://autotomy.dev/ja/blog/typescript-unit-types-compile-time/ミリ秒を要求される場所に秒を渡すようなバグは、どんなテストも通り抜けてしまう。ここでは、単位を TypeScript の型システムに直接エンコードして、実行時コストゼロで混在をコンパイル時に検出する方法を解説する。Wed, 17 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/typescript-branded-types-newtypes/https://autotomy.dev/ja/blog/typescript-branded-types-newtypes/TypeScript の型エイリアスは区別された型を作らない。ブランド型は作る。コンパイル時に識別子を混同するのを防いでくれる。Tue, 16 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/differential-testing-common-mode-failures/https://autotomy.dev/ja/blog/differential-testing-common-mode-failures/Differential testingを使えば、正解を知らなくてもバグを見つけられる。問題は、相関した誤りが合意に見えることだ。盲点を見つける方法は以下の通り。Mon, 15 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/function-equivalence-smt-solvers/https://autotomy.dev/ja/blog/function-equivalence-smt-solvers/N-version programmingは実装が一致することを前提とする。テストがなぜ不十分なのか、SMT solverがいかにして等価性を実際に証明できるのか、そして「十分に良い」と「形式的に検証済み」の境界線をどこに引くべきかを見ていく。Sun, 14 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/llm-variant-disagreement-resolution/https://autotomy.dev/ja/blog/llm-variant-disagreement-resolution/複数のLLMを並列実行すると、どの単一モデルも見逃すエラーを捕捉できる。実際に機能する不一致解決システムの構築方法を解説する。Sat, 13 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/n-version-implementation-selection/https://autotomy.dev/ja/blog/n-version-implementation-selection/N-version programmingは単純に聞こえる。複数の実装を実行して最良の答えを選ぶ。しかし実際には、「最良」を定義することは「最も一般的」を定義するよりはるかに難しい。Fri, 12 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/llm-n-version-diverse-implementations/https://autotomy.dev/ja/blog/llm-n-version-diverse-implementations/LLMによるN-version programmingに複数のモデルは不要。プロンプト、ペルソナ、推論の制約を変えることで、単一モデルから多様で正しい実装を引き出せる。Thu, 11 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/nasa-n-version-programming-knight-leveson/https://autotomy.dev/ja/blog/nasa-n-version-programming-knight-leveson/N-version programmingは、独立したチームが独立したミスをすると約束した。KnightとLevesonの1986年の実験はその逆を証明し、NASAは静かに撤退した。Wed, 10 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/cucumber-skipped-scenarios-diagnosis/https://autotomy.dev/ja/blog/cucumber-skipped-scenarios-diagnosis/Cucumberの「skipped」ステータスには、全く異なる3つの問題が隠れている。テストスイートを蝕んでいるのがどれか診断し、それを止める方法を解説する。Tue, 09 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/gherkin-specs-automated-sync/https://autotomy.dev/ja/blog/gherkin-specs-automated-sync/Gherkin仕様は、人間に手動更新を任せた瞬間から乖離し始める。featureファイルを正直に保つための自動検証の方法を紹介する。Mon, 08 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/architecture-tests-ci-enforcement/https://autotomy.dev/ja/blog/architecture-tests-ci-enforcement/多くのチームはアーキテクチャルールをWikiに記載している。依存グラフが逸脱した時にCIを失敗させる実行可能なテストとして書く方法を紹介する。Sun, 07 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/clean-architecture-domain-infrastructure-ci/https://autotomy.dev/ja/blog/clean-architecture-domain-infrastructure-ci/クリーンアーキテクチャの図はホワイトボード上では美しい。ここでは、ビルドパイプラインが依存方向を強制し、ドメインコードがインフラストラクチャに到達できないようにする方法を紹介する。Sat, 06 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/architecture-docs-code-generated-diagrams/https://autotomy.dev/ja/blog/architecture-docs-code-generated-diagrams/アーキテクチャ資料は、保存した瞬間から陳腐化する。コード生成ダイアグラム、ADR、自動化されたアーキテクチャテストを使って、資料を正直な状態に保つ方法を解説する。Fri, 05 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/idempotency-keys-api-retries/https://autotomy.dev/ja/blog/idempotency-keys-api-retries/タイムアウトやクラッシュは、APIリクエストが消失したことを意味しない。idempotency keyがどうやってリトライを安全にするか、そして実際に重複を防ぐストレージパターンについて解説する。Thu, 04 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/distributed-leases-fencing-tokens/https://autotomy.dev/ja/blog/distributed-leases-fencing-tokens/インメモリのミューテックスはサーバー再起動時に消滅する。フェンシングトークンとTTLを持つ分散リースが、クラッシュを跨いだ重複作業をどう防ぐか、そしてどこで破綻するかを解説する。Wed, 03 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/circuit-breaker-lazy-recovery-no-goroutines/https://autotomy.dev/ja/blog/circuit-breaker-lazy-recovery-no-goroutines/ほとんどのサーキットブレーカーライブラリは、復旧を検知するためにバックグラウンドスレッドを起動する。それは不要だ。ここでは、正確性を損なうことなくすべてのバックグラウンドオーバーヘッドを排除する、リクエスト駆動型の設計を紹介する。Tue, 02 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/crash-only-software-web-services/https://autotomy.dev/ja/blog/crash-only-software-web-services/クラッシュオンリーソフトウェアは、あらゆる障害をクラッシュとして扱い、あらゆる起動をリカバリーとして扱う。Webサービスにとってこれは、シャットダウンロジックを削除し、kill -9でも生き残る状態を設計することを意味する。Mon, 01 Jun 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/killing-surviving-mutants/https://autotomy.dev/ja/blog/killing-surviving-mutants/ミューテーションテストで生存者が見つかったが、そのミューテーションが何をしているのかまったくわからない。ミュータントを理解せずに正しいテストを書くためのステップバイステップの方法を紹介する。Sun, 31 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/mutation-score-per-module-risk/https://autotomy.dev/ja/blog/mutation-score-per-module-risk/コードベース全体に単一のmutation scoreを課すのが間違いである理由と、実際のリスクに応じたモジュールごとのthresholdの設定方法。Sat, 30 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/my-tests-pass-but-my-mutation-score-is-40-whats-a-surviving-mutant/https://autotomy.dev/ja/blog/my-tests-pass-but-my-mutation-score-is-40-whats-a-surviving-mutant/コードカバレッジは安全だと言う。ミューテーションテストは、テストのほとんどが飾りだと言う。生存ミュータントがその差をどう晒し、どう埋めるか。Fri, 29 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/rust-mutation-testing-cargo-mutants/https://autotomy.dev/ja/blog/rust-mutation-testing-cargo-mutants/cargo-mutantsは、コードを検証したふりをしているテストを見つけ出す。Rustでのmutation testingの仕組み、何が捉えられるのか、そしてコンパイル時間のコストに見合う価値があるかを解説する。Thu, 28 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/ai-coding-validation-spectrum-backend-web-mobile/https://autotomy.dev/ja/blog/ai-coding-validation-spectrum-backend-web-mobile/AIコーディングは検証の勾配に従う。バックエンドはミリ秒で検証し、Webは数分、モバイルは数時間かかる。フィードバックループがAIコーディングの有効範囲を決める。Wed, 27 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/monkey-machine-gun-aimbot/https://autotomy.dev/ja/blog/monkey-machine-gun-aimbot/AIコードガバナンスとは、ジュニア開発者やAIエージェントからツールを取り上げることではない。すべての弾丸を標的に命中させ、巻き添え被害を出さないguardrailsを導入することだ。Wed, 27 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/mutation-testing-takes-4-hours-how-do-teams-actually-use-it-in-ci/https://autotomy.dev/ja/blog/mutation-testing-takes-4-hours-how-do-teams-actually-use-it-in-ci/ほとんどのチームはすべてのコミットでフルのミューテーションテストスイートを実行していない。ここでは、ビルドパイプラインを破壊することなく、エンジニアリングチームが実際にミューテーションテストをCIに統合する方法を紹介する。Wed, 27 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/database-persistence-testing-mocks/https://autotomy.dev/ja/blog/database-persistence-testing-mocks/モック化されたデータベースのテストはSQLの構文を検証するだけで、クラッシュや並列書き込み、スキーマの不整合を経ても行が存続するかどうかは検証しない。永続性を本気でテストする方法を紹介する。Tue, 26 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/fear-vs-steamroll-ai-coding-divide/https://autotomy.dev/ja/blog/fear-vs-steamroll-ai-coding-divide/AIコーディングが機能するのは、どんな混乱からも立ち直れるエリートチームだけ。それ以外に残るのは恐怖とCI失敗と放棄された実験。格差の本質はモデルではない。Tue, 26 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/redux-testing-real-state-transitions/https://autotomy.dev/ja/blog/redux-testing-real-state-transitions/すべてのReduxアクションをモックすると、テストは変更履歴の検証ツールになってしまう。実際の状態遷移を使ってストアをテストする方法を紹介する。Mon, 25 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/ai-coding-in-production-autotomy-framework/https://autotomy.dev/ja/blog/ai-coding-in-production-autotomy-framework/ほとんどのチームはAIコーディングを試し、QAに不合格になるコードをリリースし、そして諦める。問題はモデルではない——AIの出力を信頼できるものにするガードレールの欠如だ。Sun, 24 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/property-based-testing-run-count/https://autotomy.dev/ja/blog/property-based-testing-run-count/Property-based testingのデフォルト100例は統計的戦略ではなく社会的妥協だ。自分の信頼性の要件とCI予算にマッチする実行回数の選び方を解説する。Sun, 24 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/fuck-u-code-deterministic-quality-gate-ai-pipeline/https://autotomy.dev/ja/blog/fuck-u-code-deterministic-quality-gate-ai-pipeline/型チェック、lint、設計ルールはある。でも deterministic スタックは複雑性、重複、命名の惨状を見抜けない。$0で解決する方法を紹介する。Sat, 23 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/rust-property-based-testing-quickcheck/https://autotomy.dev/ja/blog/rust-property-based-testing-quickcheck/例ベースのテストは思いついた入力だけをカバーする。プロパティベースのテストはランダムデータを生成し、不変条件を検証し、失敗を最小の反例まで縮小する。Sat, 23 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/ai-coding-why-version-one-is-never-the-problem/https://autotomy.dev/ja/blog/ai-coding-why-version-one-is-never-the-problem/AIコーディングツールはバージョン1の生成に優れている。本当のエンジニアリング上の課題はバージョン4から始まる — チームが他のすべてを壊さずに何かを変更する必要が出たときだ。Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/ai-generated-code-replaceability-principle/https://autotomy.dev/ja/blog/ai-generated-code-replaceability-principle/AI生成コードの品質を測る真の基準は、初日に動くかどうかではない。30日目に他のすべてをrewriteせずにそのコードを置換できるかどうかだ。Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/deterministic-guardrails-ai-codebases/https://autotomy.dev/ja/blog/deterministic-guardrails-ai-codebases/人間のレビューは一貫性がない。AIレビューはさらに悪い。AI生成codebaseに対するスケーラブルな唯一の防御は決定的enforcement — 無視される提案ではなく、ビルドを失敗させるルールだ。Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/i-write-unit-tests-why-do-bugs-still-slip-through/https://autotomy.dev/ja/blog/i-write-unit-tests-why-do-bugs-still-slip-through/コードカバレッジのメトリックは偽の安心感を生む。ここでは、ユニットテストがなぜ実際に寝不足を引き起こすバグを見逃し、代わりに何をテストすべきかを解説する。Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/rust-zero-cost-runtime-contracts/https://autotomy.dev/ja/blog/rust-zero-cost-runtime-contracts/Rustはdebug assertionsを自動で除去するが、本物のdesign-by-contractにはdebug_assert!以上のものが必要だ。リリースバイナリーから完全に消えるゼロコストのランタイムcontractsを作る方法を紹介する。Thu, 21 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/production-assertion-decision-framework/https://autotomy.dev/ja/blog/production-assertion-decision-framework/開発者はアサーションを紙吹雪のように撒き散らすか、あるいは完全に避けるかのどちらかだ。有用な不変条件と本番クラッシュのトリガーを分ける判断フレームワークを紹介する。Wed, 20 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/declarative-runtime-contracts-validation/https://autotomy.dev/ja/blog/declarative-runtime-contracts-validation/手作りのバリデーションは codebase を膨張させ、それでもエッジケースを見逃す。宣言的なスキーマで runtime contracts を enforce し、実装に干渉しない方法を解説する。Tue, 19 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/typescript-strictnullchecks-runtime-nulls/https://autotomy.dev/ja/blog/typescript-strictnullchecks-runtime-nulls/strict modeはあなたが書いたnullを捉えるが、APIやDOMクエリ、JSON.parseから実行時に到達するnullは捉えない。型システムが終わり、あなたの防御が始まる境界はここだ。Mon, 18 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/code-review-becomes-specification-review/https://autotomy.dev/ja/blog/code-review-becomes-specification-review/AI が仕様から実装、テスト、contracts まで生成できるようになると、人間が最も大きなレバレッジを発揮する仕事は上流へ移る。最も厳しく吟味すべきものは、仕様そのものだ。Sun, 17 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/ai-safety-stack-types-contracts-property-tests-mutation/https://autotomy.dev/ja/blog/ai-safety-stack-types-contracts-property-tests-mutation/AI-generated code を production で持たせたいなら、code review だけでは足りません。type constraints から mutation testing、runtime containment までの layered safety stack が必要です。Sat, 16 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/meteor-development-is-real/https://autotomy.dev/ja/blog/meteor-development-is-real/この言葉が刺さるのは、チームが実際に動き続ける要件、固定の締切、半分しか固まっていない作業範囲の中で開発しているからです。Autotomy は幻想的な計画を直せませんが、開発を止めない構造は作れます。Sat, 16 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/stanford-cs146s-ai-architecture-gap/https://autotomy.dev/ja/blog/stanford-cs146s-ai-architecture-gap/Stanford CS146S を AIアーキテクチャの観点からレビューし、AI coding への評価は正しい一方で、置き換え可能性を支える設計規律が欠けている点を批評します。Sat, 16 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/engineering-ideas-ai-economics/https://autotomy.dev/ja/blog/engineering-ideas-ai-economics/Design by contract、property-based testing、mutation testing、model checking は悪い考え方だったわけではありません。継続運用に必要な専門知が重すぎただけです。AI はその前提を変えます。Fri, 15 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/ai-react-native-guardrails-scaling/https://autotomy.dev/ja/blog/ai-react-native-guardrails-scaling/AI なら React Native MVP をすばやく ship できるが、guardrails がなければ小さな変更ひとつで無関係な flow まで壊れる。速度を fragility に変えないための declarative constraints を説明します。Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/app-lifecycle-resume-status/https://autotomy.dev/ja/blog/app-lifecycle-resume-status/dev では問題ないのに、昼休みのあと戻ると白画面になる。ネイティブの lifecycle を正しく扱う resume status パターンを説明します。Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/dependency-tiers-hard-soft-optional/https://autotomy.dev/ja/blog/dependency-tiers-hard-soft-optional/optional SDK が core infrastructure と同じように初期化されると、app は起動直後に crash する。non-critical な tool が production を巻き込まないための dependency tier system を説明します。Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/nativewind-vs-stylesheet-contract/https://autotomy.dev/ja/blog/nativewind-vs-stylesheet-contract/Cursor で週末に MVP を出したのに、brand color を 1 つ変えるだけで 47 ファイルに find-and-replace が必要になる。出血を止める styling contract を説明します。Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/o1-guards-vs-llm-reviews/https://autotomy.dev/ja/blog/o1-guards-vs-llm-reviews/LLM コードレビューは非決定的で遅く、アーキテクチャ違反を見逃す。コードを本当にクリーンに保つ O(1) ガードスタックを紹介します。Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/refactor-by-replacement/https://autotomy.dev/ja/blog/refactor-by-replacement/既存コードを守る発想をやめ、削除前提で設計する。Autotomy パターンがモジュールを安全に差し替えられる理由を説明します。Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/service-boundaries-composition-root/https://autotomy.dev/ja/blog/service-boundaries-composition-root/React Native の画面から外部 SDK への依存を切り離すには。service boundaries、interface、composition root を使い、AI が変更する範囲を明確にします。Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/url-validation-expo-router/https://autotomy.dev/ja/blog/url-validation-expo-router/deep link、push payload、shared URL はすべて untrusted input です。壊れた param が screen に届く前に、Expo Router boundary で validate する方法を説明します。Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/ja/blog/useSyncExternalStore-pattern/https://autotomy.dev/ja/blog/useSyncExternalStore-pattern/memory leak したり state update を取りこぼしたりする useEffect subscription はもうやめる。bulletproof な external state のための React 18 pattern を説明します。Thu, 14 May 2026 00:00:00 GMT