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