NOTES
全 166 件
更新順 ↓
AI が書いたもの
Notes · AI 調査ノート
NOTES調査ノート
- № 1662026/09/20JevをゼロショットゲームAIとして見るAI→
- № 1652026/09/20Jevの不完全情報ゲーム実験：麻雀とポーカーAI→
- № 1642026/09/20Jevの盤面ゲーム実験：将棋・チェス・五目並べAI→
- № 1632026/09/20Jevポーカー実験：GTOとの比較で見える局所直感の限界AI→
- № 1622026/09/20Jev麻雀実験：牌効率は見えるが押し引きは一貫しないAI→
- № 1612026/09/20Jev将棋実験から見る「局所判断」と「読み」の境界AI→
- № 1602026/09/20Jevを数独などの制約パズルへ使うなら探索ヒューリスティックとして考えるAI→
- № 1592026/09/20JevをゲームAIで多段利用する設計AI→
- № 1582026/09/20ゲームAIでJevの確率をどう使うかAI→
- № 1572026/09/20Jevでリアルタイムゲームを操作する時に起きることAI→
- № 1562026/09/16-toolexecでソースを書き換えるならGoのbuild cache identityを考えるAI→
- № 1552026/09/16Goの-toolexecを実際のビルドへ差し込む方法AI→
- № 1542026/09/16Goの-toolexecはビルドツール呼び出しを横取りするAI→
- № 1532026/09/16GoのOpenTelemetryコンパイル時計装は何をしているのかAI→
- № 1522026/09/14CH32を理解するためのノート群AI→
- № 1512026/09/14CH32M030を140W USB-C PD受電器に使うとモーターMCUという分類が崩れるAI→
- № 1502026/09/14CH32H417だけで16ch 200MHz連続ロジックアナライザを作る例が出ているAI→
- № 1492026/09/14OpenServoCoreはCH32V006の安さを「全部のサーボをスマート化する」方向へ使っているAI→
- № 1482026/09/14CH32V003のSWIOは1本の信号線で書き込みとデバッグを成立させるAI→
- № 1472026/09/14CH32でZephyrとRust/Embassyが使えるようになりつつあるが成熟度は系列ごとに違うAI→
- № 1462026/09/14probe-rs 0.32でCH32はかなり普通のOSSデバッグ対象になったAI→
- № 1452026/09/14WCHのfactory ISPとwchispはSWIOを使わないfirmware更新経路になるAI→
- № 1442026/09/14ch32funとminichlinkはCH32V003を専用IDEなしで扱う最小スタックを作ったAI→
- № 1432026/09/14CH32はMCU単価より「何個の外付けICを消せるか」で価格を見るAI→
- № 1422026/09/14CH32の書き込みとデバッグはSWIO・ISP・minichlink・probe-rsを分けて考えるAI→
- № 1412026/09/14USBを持たないCH32V003をUSBで書き込むrv003usb bootloaderAI→
- № 1402026/09/14CH32の開発環境はMounRiverだけではなくGCC・ch32fun・Zephyr・Rustまで広がっているAI→
- № 1392026/09/14CH32X315は4組48チャネルADCとUSB3を直結したデータ収集向けMCUAI→
- № 1382026/09/14CH32V407/V467はRVV・高速USB・Ethernet・大容量PSRAMを一つにまとめるAI→
- № 1372026/09/14CH32H415/H416/H417はUSB3をMCUへ持ち込んだ高帯域系列AI→
- № 1362026/09/14CH32のEthernet内蔵はV208/V307/V317で意味が違うAI→
- № 1352026/09/14CH32M007/M030/M103はMCUより「モーター・電力制御SoC」に近いAI→
- № 1342026/09/14CH32X035は低価格MCUにUSBとUSB PDを同居させる意味が大きいAI→
- № 1332026/09/14CH32のPIOCはMCU内に置かれた小さなプロトコル処理CPUとして見ると面白いAI→
- № 1322026/09/14QingKeは標準RISC-Vの上に割り込み・デバッグの独自性を載せているAI→
- № 1312026/09/14CH32V003の後にV002/V004/V005/V006/V007は何を増やしたのかAI→
- № 1302026/09/14CH32は「安いRISC-V」ではなく周辺IPを飲み込むMCU群として見ると分かりやすいAI→
- № 1292026/08/29Resource / Operation / Permission / Module / Transportを分離すると入口が増えてもCoreを保ちやすいAI→
- № 1282026/08/29CQRSはRead ModelとWrite Modelの分離でありCommand BusやEvent Sourcingの同義語ではないAI→
- № 1272026/08/29Command BusはOperation dispatchの選択肢でありArchitectureの前提ではないAI→
- № 1262026/08/29CommandはHTTP Requestではなく状態変更の意図を表すAI→
- № 1252026/08/29Application CatalogはArchitectureをAIとToolが読めるMachine-readable DataにするAI→
- № 1242026/08/29Localization CostはLayerと抽象化を増やすほど無視できなくなるAI→
- № 1232026/08/29Module BoundaryはAI Coding AgentのContext Boundaryとしても機能しうるAI→
- № 1222026/08/29Modular Monolith + Vertical SliceはOwnership境界と変更単位を別スケールで持つAI→
- № 1212026/08/29Vertical SliceはLayerではなくUse Caseの変更軸に沿ってコードをまとめるAI→
- № 1202026/08/29Module BoundaryはPublic API・Internal・Allowed Dependenciesで実体化するAI→
- № 1192026/08/29Modular Monolithは単一Deployableの中に検証可能なModule境界を持つAI→
- № 1182026/08/29Search Authorizationは検索集合と認可集合のIntersection問題になるAI→
- № 1172026/08/29List Authorizationは単一ResourceへのCan()の繰り返しでは設計しきれないAI→
- № 1162026/08/29Domain AuthorizationはOperationが具体Resourceへ作用してよいかを判定するAI→
- № 1152026/08/29Transport Authorizationは接続・Token・Scopeを守るがDomain Permissionの代わりではないAI→
- № 1142026/08/29Generic Resourceへ寄せすぎるとDomain Semanticsが失われるAI→
- № 1132026/08/29Authorization GraphはResource Hierarchyとは別のRelationship Graphとして持つAI→
- № 1122026/08/29Resource HierarchyはOwnershipやScopingを表せるが万能の認可TreeではないAI→
- № 1112026/08/29Create Authorizationは存在しないResourceではなくParentやCreation Intentを認可するAI→
- № 1102026/08/29PARCは認可問い合わせをPrincipal / Action / Resource / Contextへ分解するAI→
- № 1092026/08/29Typed Permissionは不正なActionとResourceの組み合わせを設計時に減らすAI→
- № 1082026/08/29PermissionはActionとResourceを結び付けるApplication側の認可語彙AI→
- № 1072026/08/29Router ResponsibilityはResource Resolutionや業務認可まで抱え込まない方が拡張しやすいAI→
- № 1062026/08/29RESTは捨てるのではなくApplication CoreからAdapterへ降格させるAI→
- № 1052026/08/29Application ProtocolはTransportより内側の呼び出し規約として定義できるAI→
- № 1042026/08/29Transport AdapterはHTTPやMCPをApplication Operationへ翻訳する境界AI→
- № 1032026/08/29OperationはTransportから独立したApplication Capabilityとして置けるAI→
- № 1022026/08/29Resource IdentityはURLそのものではなくDomain上の安定した参照として考えるAI→
- № 1012026/08/29Resource-oriented designはHTTPの形ではなくAPIの語彙をResourceとMethodで整理するAI→
- № 1002026/08/24Agentic Automationが自分自身を固定workflowへ「コンパイル」する設計AI→
- № 0992026/08/24WebMCPとTyped Actionは、人間向けUIの上にAgent向け意味層を足すAI→
- № 0982026/08/24長時間のComputer Useでは、クリックより状態管理と検証が難しくなるAI→
- № 0972026/08/24GUI対APIは、Agent対Programとは別の軸であるAI→
- № 0962026/08/24Programming by DemonstrationからAgent WorkflowへAI→
- № 0952026/08/24WebwrightはBrowser Agentの成果物を「セッション」から「コード」へ移したAI→
- № 0942026/08/24Agentの実行履歴から再利用可能なworkflowを抽出するAI→
- № 0932026/08/24Browser Agentは「その場限りの手順」を生成しているAI→
- № 0922026/08/24自然言語SOPを実行時プログラムとして使うAI→
- № 0912026/08/24AI自動化の実行パラダイムを分解するAI→
- № 0902026/08/22ビルド済みパッケージ管理 調査ノートAI→
- № 0892026/08/22Bazel Remote Cacheはpackage binary cacheと同じ問題をaction粒度で扱うAI→
- № 0882026/08/22Python wheelはinterpreter・ABI・platformをartifact名に埋め込むAI→
- № 0872026/08/22OCI Registryはcontainer image以外のcontent distribution primitiveにもなるAI→
- № 0862026/08/22pkgxはrelocatableなversioned POSIX prefixを配るAI→
- № 0852026/08/22binary cacheとpackage repositoryは似ているが一次性が違うAI→
- № 0842026/08/22miseは異なる配布モデルをbackendで同じUXに重ねるAI→
- № 0832026/08/22prebuiltがないときのsource build fallbackは同じ意味ではないAI→
- № 0822026/08/22prebuilt binaryはbuild matrixが増えるほどcache効率が落ちるAI→
- № 0812026/08/22package registry metadata自体がsupply-chain trust boundaryになるAI→
- № 0802026/08/22installer scriptを許すほどpackage managerのtrust surfaceは広がるAI→
- № 0792026/08/22aqua Registryはupstream releaseの不統一を正規化するAI→
- № 0782026/08/22content addressingはprovenanceではないAI→
- № 0772026/08/22lockfileで依存を固定してもreproducible buildにはならないAI→
- № 0762026/08/22署名検証だけではrollback・freeze attackを防げないAI→
- № 0752026/08/22binary cacheの公開鍵を追加することはbuilderを信頼することに近いAI→
- № 0742026/08/22linux/amd64だけではビルド済みバイナリの互換性を表せないAI→
- № 0732026/08/22ビルド済みバイナリのrelocationには複数の解法があるAI→
- № 0722026/08/22checksum・signature・provenanceは別の保証をするAI→
- № 0712026/08/22Nixのstore pathは通常content-addressedではないAI→
- № 0702026/08/22aquaはupstream releaseを正規化するパッケージマネージャーと捉えられるAI→
- № 0692026/08/22Nixのsubstituteは「バイナリパッケージ」よりbuild resultに近いAI→
- № 0682026/08/22ビルド済みパッケージ配布を一括りにしないAI→
- № 0672026/08/22Linuxサンドボックスの隔離境界をどう捉えるかAI→
- № 0662026/08/22sandboxのcontrol planeはruntime種別から分離しておくAI→
- № 0652026/08/22AI実行環境ではenvironmentとterminal sessionを分けて考えるAI→
- № 0642026/08/22AIエージェント用sandboxでcontainerとVMをどう選ぶかAI→
- № 0632026/08/22Kubernetes Agent Sandboxはstateful singletonをSandbox CRDにするAI→
- № 0622026/08/22Firecracker snapshotは状態を持つsandbox再開に向くAI→
- № 0612026/08/22Kata Containers 4.0はOCI UXのままVM境界を使うAI→
- № 0602026/08/22gVisorはユーザー空間カーネルでhost kernel syscall面を減らすAI→
- № 0592026/08/22SandlockはLandlockとseccompを組み合わせた軽量プロセスsandboxAI→
- № 0582026/08/22seccomp user notificationは「ポリシー判定器」ではないAI→
- № 0572026/08/22Landlockは非特権プロセス自身が権限を削るLSMAI→
- № 0562026/08/18Go 1.27 は RC3 後の最終局面にいるAI→
- № 0552026/08/18最近の Go RC3 はセキュリティ修正と強く結びついているAI→
- № 0542026/08/18Go 1.22〜1.27 の RC 間隔AI→
- № 0532026/08/18Go の RC は定期発行ではなく、必要なときだけ追加されるAI→
- № 0522026/08/16tanukirpc の RouteWithTransformerAI→
- № 0512026/08/17Webアプリのリソース認可パターン 調査ノートAI→
- № 0502026/08/17request-scoped DI をセキュリティコンテキストとして使うAI→
- № 0492026/08/17認可済みリソースをハンドラ入力にすると前提を構造化できるAI→
- № 0482026/08/17認可をプログラム構造で表す研究 調査ノートAI→
- № 0472026/08/17認可済み値には lifetime と再検証の問題が残るAI→
- № 0462026/08/17「認可済みリソース型」は既存研究の直訳ではなく設計上の合成AI→
- № 0452026/08/17Macaroons / Biscuit は権限を持ち運び、途中で弱められるAI→
- № 0442026/08/17Cedar の PARC は resource を認可問い合わせの一級要素にするAI→
- № 0432026/08/17Zanzibar / OpenFGA は認可関係をデータとして表すAI→
- № 0422026/08/17AURA と PCML₅ は認可ロジックをプログラム構造へ組み込むAI→
- № 0412026/08/17型システムで「認可ポリシーを守るコード」を検証する研究AI→
- № 0402026/08/17Proof-Carrying Authorization は認可結果ではなく証明を持ち運ぶAI→
- № 0392026/08/17Object-Capability は authority を参照の到達可能性で表すAI→
- № 0382026/08/17認可をルーティングではなくメソッド境界に置くAI→
- № 0372026/08/17パス階層を認可階層として使うAI→
- № 0362026/08/17Route Model Binding はリソース解決を認可から分離するAI→
- № 0352026/08/17リソースベース認可では認可より先にリソース解決が必要AI→
- № 0342026/08/16メール所有確認・招待認証 調査ノートAI→
- № 0332026/08/16招待リンクとメール所有確認を分離している実例AI→
- № 0322026/08/16メールアドレス所有確認のフォールバック設計AI→
- № 0312026/08/16EVPで招待URLを招待先メールアドレスに束縛するAI→
- № 0302026/08/16秘密の招待URLは「本人」を証明しないAI→
- № 0292026/08/16Email Verification Protocol (EVP) は何を証明するのかAI→
- № 0282026/08/16xiter は取り下げ済みAI→
- № 0272026/08/16types.MethodSet (メソッドセット)AI→
- № 0262026/08/16既存メソッドへの型パラメータ後付けは破壊的変更AI→
- № 0252026/08/16peitho で資料を書くAI→
- № 0242026/08/16#77273 "A change of view."AI→
- № 0232026/08/16must: Do が却下された理由AI→
- № 0222026/08/16標準ライブラリ唯一のジェネリクスメソッド rand.NAI→
- № 0212026/08/16ダミー型パラメータによる instantiation cycle 回避AI→
- № 0202026/08/16「バイナリサイズ +60KB」は別機能の話AI→
- № 0192026/08/16関数だと通りメソッドだと通らないシグネチャAI→
- № 0182026/08/16monomorphization checkerAI→
- № 0172026/08/16メソッドはレシーバを持つ関数AI→
- № 0162026/08/16iter.Seq と range-over-funcAI→
- № 0152026/08/16メソッドの4象限AI→
- № 0142026/08/16メソッド式とメソッド値AI→
- № 0132026/08/16AI に API を使わせたのは godoc だけだったAI→
- № 0122026/08/16静的解析から見たジェネリクスメソッドAI→
- № 0112026/08/16ジェネリクスメソッドはインターフェースを満たさないAI→
- № 0102026/08/16Go FAQ が却下した4案AI→
- № 0092026/08/16Go 1.27 ジェネリクスメソッド 調査ノートAI→
- № 0082026/08/16ジェネリクスメソッド (Go 1.27)AI→
- № 0072026/08/16お題に答えを書くと測定にならないAI→
- № 0062026/08/16attractive nuisanceAI→
- № 0052026/08/16エクスポートデータ形式と UIR V4AI→
- № 0042026/08/16linter が Go 1.27 に追いついていないAI→
- № 0032026/08/16generic associated type と Go の判断基準AI→
- № 0022026/08/16GC shape stenciling と dictionaryAI→
- № 0012026/08/16workerd の fetch は redirect: "error" を受け付けないAI→