- エージェントの業務ルール評価では拒否すべき依頼をデータの状態と組み合わせる
- ユースケースの目的は今の仕事と対象システムの範囲で区切る
- 後からよい設計が見つかっても当初の判断が誤りだったとは限らない
- 設計の記録には選択を見直す条件を残す
- 設計の振り返りでは当時の費用に見合う情報の得方を探す
- 技術者は設計のための知識を実践から生み出す
- コンセプトの振る舞いがドメインモデルに含める情報を絞る
- コンセプトの境界は利用者の理解にも関わる
- コンセプトの粒度は独立して果たせる一つの目的から考える
- コンセプトの状態は振る舞いに必要な関係を記録する
- コンセプト間の接続規則は合成時の同期に置く
- コンセプトはデータの名前より振る舞いから見つける
- コンセプトは個々のオブジェクトをまたぐ関係を所有できる
- コンセプトは発明された仕組みとして改良される
- デザインのコンセプトはメンタルモデルの根拠になる
- 汎用的なコンセプトは対象を変えても同じ振る舞いを保つ
- AIを使った開発では受け継いだ設計を具体的に明示する
- AIへの依頼の改善は高速化だけでは測れない
- ビルド成果物の再利用は入力に影響する変更を漏れなく検出できることに依存する
- AIの出力は文章規則を具体化すると確認しやすくなる
- 共通性は同じ理由で変わるという仮説である
- 設計パターンの適用判断は具体的な変更を当てて確かめる
- Template Methodは処理手順を共通の契約として固定する
- ドメインモデルの純粋性を守るために業務ルールの分散を許容できる
- 人間との評価相関が高くてもLLMの採点が公平とは限らない
- サブネットマスクは宛先が同じIPサブネットに属するかを判定するために使う
- LLMによるコード生成が速くなるほど短いフィードバックループの価値が増す
- 同期処理と非同期処理の境界は操作の成立条件から引く
- コンポジションは実装の再利用とサブタイプ関係を分離する
- リスコフの置換原則は同じ結果ではなく上位型の契約を保つことを求める
- 副作用を境界へ集めると業務判断を純粋な関数にできる
- 成熟したソフトウェアの変更では壊れる暗黙の前提を探す
- 高可用性は一部の処理を意図的に失敗させることで保たれる
- 過去の経験から得た制約は現在の目的に照らして問い直す
- 本番影響レビューはコードの変更と稼働中のシステムの振る舞いを結び付ける
- CIの最適化は待ち時間とランナー時間を分けて測る
- 借入コストには現在の限界調達金利を使う
- DCFは将来キャッシュフローを資本コストで現在価値に直す
- EBITDAは資本提供者が自由に使えるキャッシュフローではない
- 日本企業のスタンドアローンDCFが類似会社比較より高くなるのは前提が非対称だからである
- 利益指標は帰属する資本提供者の価値と対応させる
- PSRは将来の利益率を説明できるときに使える
- 公正価値で行う自己株取得は一株価値に中立である
- エージェントスキルの評価は改善の運用周期として設計する
- 回答候補が既知の判定は生成処理から分離できる
- Kotlinのジェネリクス構文は型についての別々の問いに答える
- 抽象化は複雑さを隠すが下位層の性質までは消せない
- Jevの型安全な出力は判断根拠の透明性を保証しない
- 時相論理は医療オーダーの依頼と実行をまたぐ整合性を検査できる
- 時相論理は状態の列にまたがる性質を記述する
- AIソフトウェアファクトリは人間のレビューへ届く仕事をゲートで絞り込む
- 参照透過性を守るとドメインモデルの自己完結性が下がることがある
- Southerは業務上の結果と実行失敗を別の経路に置く
- Decision パターンは言語を問わず判断の中断を型にする
- B+木索引の性能は訪問するページ数で捉えられる
- 人間が外側のループを所有するとは本番境界の決定を引き受けることである
- Dumb Jump trades semantic resolution for language-specific text search
- HotSpotは実行中の観測結果を使ってJavaコードを最適化するJVM実装である
- JEP 544はHotSpotのAOTキャッシュに最適化済みネイティブコードを加える
- 無制限な再試行は部分障害を全体障害へ増幅する
- プロジェクト固有の文脈は版管理されたエージェントの引き継ぎ資料にする
- AIによるコード生成は認知的関与を置き換えると新しい技能の形成を妨げる
- 滑走路は地盤から空域まで安全機能を分担させている
- AIエージェントの費用最適化は価値を生まないトークン消費を実行環境から除く
- アフォーダンスは操作を示すがケイパビリティは権限を与える
- 状態に応じて可能な操作を返すAPIは業務規則の重複を減らす
- ケイパビリティ注入が最小権限を保証するには大域的権限を遮断する
- Capability URLは漏えいを前提に個別失効できるようにする
- 業務改善は所要時間を実作業と待ちに分解してから設計する
- AI導入は既存業務への機能追加より先に業務プロセスを再設計する
- テストはあり得る誤実装を正しい実装から区別できる必要がある
- インターフェース設計は操作効率だけでなく考えを整理する過程まで扱う
- LeSS のフィーチャーチームは SVPG が批判するフィーチャーチームとは異なる
- LeSS は局所的な実験の参考にできるが、部分導入は LeSS ではない
- UIの発見可能性は操作に必要な推論の差から説明できる
- UIの発見可能性は正しい操作へ到達する負荷の分布で比べる
- agent-shellとGhostelはエージェントを異なるプロトコル層でEmacsに統合する
- comintはプロンプトと入出力を管理するが端末をエミュレートしない
- libvtermは端末状態を提供しemacs-libvtermがそれをEmacsへ接続する
- GraphQLのユースケース志向はクライアントが用途に合わせて操作を組み立てることを指す
- ユースケースという語の意味は対象となる成果物で見分ける
- ユーザーストーリーとユースケースは要求を記述する目的が異なる
- 集約境界は強整合を要求する不変条件の所有者から引き直す
- エージェントの自己改善は人間の指摘をレビュー可能なスキル更新に変える
- 可逆性の異なる変更は概念境界の手がかりになる
- 概念設計は予見できない変更をなくすのではなく局所化する
- 委任基盤は自然言語の意図をAIエージェント向けの検証可能な仕様へ変換する
- AIエージェントへの委任は検証可能性から分解する
- ソフトウェアの境界は重なり合う現実の目的別の投影である
- ソフトウェアの設計パターンはアレグザンダーの生成過程を部分的に継承した
- 都市のセミラチスは意味ある単位の複数所属を保持する
- 構成的ダイアグラムは要求を満たすために必要な物理的関係だけを表す
- 副作用の型付けは何を追跡するかによって保証が変わる
- ボトムアップな生成は最小の尺度から始めることではない
- パタンは都市に必要な重なりを局所的に生成できる
- 都市の単位のまとまりは複数の大きなシステムへの所属から生じる
- JEP 198はJSONをストリームと木の両方で扱う標準APIを提案した
- JEP 540はJavaに外部ライブラリなしで使える最小限のJSON APIを追加する
- アレグザンダーのダイアグラムは上位には単位として下位にはパターンとして働く
- アレグザンダーのプログラムはダイアグラムを制約するが導出しない
- アレグザンダーのプログラムは要求集合を相互作用に基づいて階層化する
- 不適合間の相互作用から設計問題を分解すると区分の根拠を検査できる
- Emacs Canvasは画素バッファの直接更新によって高頻度な描画を可能にする
- Blumeは文書をエージェントが読める公開面にもする
- ループエンジニアリングは人間がエージェントに指示を出す役割をシステムに置き換える
- Southerはドメイン分析で見つけた制約と状態遷移を実行可能なモデルにする
- エバーグリーンノートは独立した考えをリンクで育てる
- このガーデンはエージェントが編集している