YONAPO RESEARCH
MedDSL（仮称）

RECORDS

研究記録

MedDSL（仮称）の研究記録119件を、段階ごとに並べた一覧。段階の区分は、このサイトでの整理です。原文にはありません。

119件の文書

6 DOCUMENTS

目的・設計・進め方

README

  1. MedDSL（仮称）README.md · 24 KB

vision

  1. 最終目標と設計原則docs/vision.md · 11 KB

architecture

  1. 設計メモdocs/architecture.md · 21 KB

roadmap

  1. 調査フェーズのロードマップdocs/roadmap.md · 56 KB

progress

  1. 進捗の記録docs/progress.md · 21 KB

research

  1. 先行仕様・研究の調査メモdocs/research.md · 24 KB

18 DOCUMENTS

調査(R1〜R6)

R1

  1. R1：最終目標と、移行支援という中間目標docs/research/01-use-case.md · 19 KB

R2

  1. R2：既存体系・研究・実装の一次比較docs/research/02-landscape.md · 23 KB
  2. R2 の出典・調査記録docs/research/02-sources.md · 13 KB

R2b

  1. R2b：変化の例・反例の台帳docs/research/02b-cases.md · 8 KB
  2. R2b：変化・不変条件・拡張原理docs/research/02b-change-model.md · 24 KB
  3. R2b：出典・調査記録docs/research/02b-sources.md · 11 KB

R3

  1. R3：実ファイルの取得・初期照合docs/research/03-acquisition.md · 11 KB
  2. R3：資料の入手元・版・利用条件docs/research/03-data-access.md · 23 KB
  3. R3：出典・確認記録docs/research/03-sources.md · 12 KB

R4

  1. R4：入力・問い合わせ・期待結果の仕様docs/research/04-cases.md · 22 KB
  2. R4：変化への耐性と中間用途の評価設計docs/research/04-evaluation.md · 20 KB
  3. R4：取得資料の少数追跡と評価への反映docs/research/04-material-probes.md · 8 KB
  4. R4：一次資料と確認範囲docs/research/04-sources.md · 3 KB

R5

  1. R5：基礎モデル・拡張・互換性の設計比較docs/research/05-model-study.md · 23 KB
  2. R5：採用候補の保存原理と成立条件docs/research/05-principles.md · 17 KB
  3. R5：一次資料の追加確認と適用範囲docs/research/05-sources.md · 5 KB

R6

  1. R6：P0 の意味・入出力・受入条件docs/research/06-p0-contract.md · 31 KB
  2. R6：最初の試作 P0 の仕様と着手判断docs/research/06-prototype-brief.md · 8 KB

4 DOCUMENTS

P0

P0-a

  1. P0-a：最初の実装と工学的検証docs/research/07-p0-a-results.md · 6 KB

P0-b

  1. P0-b：定義追加の認定と正の推論docs/research/08-p0-b-results.md · 9 KB

P0-c

  1. P0-c：主張・否定・未知能力の検証docs/research/09-p0-c-results.md · 10 KB

P0-d

  1. P0-d：比較機能と全22ケースの草案評価docs/research/10-p0-d-results.md · 10 KB

12 DOCUMENTS

P1

P1 設計

  1. P1：H01〜H20 の受入条件草案docs/research/11-p1-cases.md · 8 KB
  2. P1：意味と引き継ぎの契約草案docs/research/11-p1-contract.md · 15 KB
  3. P1：意味能力の追加とコア改訂の研究設計docs/research/11-p1-design.md · 8 KB
  4. P1：一次資料の確認範囲と独自の設計docs/research/11-p1-sources.md · 4 KB

P1-a

  1. P1-a：有限予測の実行契約docs/research/12-p1-a-contract.md · 7 KB
  2. P1-a：能力照合・有限予測の実装記録docs/research/12-p1-a-results.md · 6 KB

P1-b

  1. P1-b：四項関係を事象へ引き継ぐ実行契約docs/research/13-p1-b-contract.md · 8 KB
  2. P1-b：事象への引き継ぎ・原履歴・支持回答の実装記録docs/research/13-p1-b-results.md · 7 KB

P1-c

  1. P1-c：モデル被覆・合成・再実行の実行契約docs/research/14-p1-c-contract.md · 10 KB
  2. P1-c：モデル被覆・合成・再実行の実装記録docs/research/14-p1-c-results.md · 8 KB

P1-d

  1. P1-d：共通台帳・作成者草案の固定・総合評価契約docs/research/15-p1-d-contract.md · 6 KB
  2. P1-d：全20条件の固定と総合評価docs/research/15-p1-d-results.md · 7 KB

9 DOCUMENTS

独立確認・レビュー

AI-001

  1. 保存条件の形式化とレビュー前の追加監査docs/research/16-pre-review-results.md · 8 KB
  2. 保存条件の証明義務と実装への対応docs/research/16-proof-obligations.md · 13 KB
  3. P0/P1 保存原理・認定器レビュー追補 AI-001：RV-01 の対応と RV-05 の裁定docs/research/16-review-followup-ai-001.md · 18 KB
  4. P0/P1 保存原理・認定器の独立レビュー計画docs/research/16-review-plan.md · 13 KB
  5. P0/P1 保存原理・認定器レビュー記録 AI-001docs/research/16-review-record-ai-001.md · 33 KB
  6. P0/P1 独立レビュー記録の様式docs/research/16-review-record-template.md · 2 KB
  7. 内部実施の完了記録（AI-001）と、外部レビューでの再開点docs/research/17-internal-run-ai-001.md · 18 KB
  8. 追加検査（AI-001）：compare 経路・split_roles・Python 3.11docs/research/18-additional-checks-ai-001.md · 11 KB

運営方針

  1. 独立確認の運用方針：現在のリポジトリと英語の別リポジトリdocs/research/29-review-repository-policy.md · 4 KB

69 DOCUMENTS

P2「意味能力の拡張契約」

P2 設計

  1. P2：意味能力の拡張契約の研究設計docs/research/19-p2-design.md · 38 KB

P2-a

  1. P2-a：拡張契約の宣言の書式と検査（実行契約）docs/research/20-p2-a-contract.md · 15 KB
  2. P2-a の結果：宣言の書式・10件の後付け・検査docs/research/21-p2-a-results.md · 13 KB
  3. P2-a の追加作業：拡張ホストの分離・防護例・宣言の固定docs/research/22-p2-a-hardening.md · 18 KB

P2-b

  1. P2-b：パイロット「概念の分割」の設計と義務の導出docs/research/23-p2-b-design.md · 18 KB
  2. P2-b の結果：パイロット「概念の分割」docs/research/24-p2-b-results.md · 12 KB

P2-c

  1. P2-c：併用の検査の設計と義務の導出docs/research/25-p2-c-design.md · 17 KB
  2. P2-c の結果：併用の検査docs/research/26-p2-c-results.md · 13 KB

P2-d

  1. P2-d：評価の固定、版の手順、独立確認の準備（設計）docs/research/27-p2-d-design.md · 26 KB
  2. P2-d の結果：評価の固定、版の手順、独立確認の準備docs/research/28-p2-d-results.md · 12 KB

P2 全体

  1. 次のパイロットの選定と今後の作業順docs/research/30-next-pilot-and-plan.md · 34 KB
  2. 拡張の設計原理（草案）：P2-b〜P2-j の知見の整理docs/research/49-extension-principles.md · 80 KB

P2-e

  1. P2-e：有効期間つきの主張の意味設計docs/research/31-p2-e-design.md · 22 KB
  2. P2-e：実装前の正例・反例と手指定の期待docs/research/32-p2-e-cases.md · 12 KB
  3. P2-e：有効期間つきの主張の最小実装と内部評価docs/research/33-p2-e-results.md · 12 KB

P2-f

  1. P2-f：単位つき数量の意味設計docs/research/34-p2-f-design.md · 20 KB
  2. P2-f：数量・単位・不確かさの一次資料の確認docs/research/34-sources.md · 4 KB
  3. P2-f：実装前の数量の正例・反例と手指定期待docs/research/35-p2-f-cases.md · 12 KB
  4. P2-f：量リテラルの最小実装と内部評価docs/research/36-p2-f-results.md · 12 KB

P2-g

  1. P2-g：数量と測定主張を結ぶ契約の意味設計docs/research/37-p2-g-design.md · 25 KB
  2. P2-g：測定の文脈・版・由来の一次資料の確認docs/research/37-sources.md · 4 KB
  3. P2-g：接続契約の手指定期待・反例・受入条件docs/research/38-p2-g-cases.md · 15 KB
  4. P2-g：内容指定の確認と数量計算の接続・内部評価docs/research/39-p2-g-results.md · 13 KB

P2-h

  1. P2-h：厳密な数量と表示の射影の意味設計docs/research/40-p2-h-design.md · 23 KB
  2. P2-h：丸め・表示・精度の一次資料確認docs/research/40-sources.md · 4 KB
  3. P2-h：表示射影の手指定期待docs/research/41-p2-h-cases.md · 17 KB
  4. P2-h：型付き表示の射影・最小実装と内部評価docs/research/42-p2-h-results.md · 16 KB

P2-i

  1. P2-i：時間と測定の併用契約の意味設計docs/research/43-p2-i-design.md · 21 KB
  2. P2-i：併用の手指定期待・反例と設計式の有限点検docs/research/44-p2-i-cases.md · 17 KB
  3. P2-i：期間つき数量主張の最小実装と内部評価docs/research/45-p2-i-results.md · 14 KB

P2-j

  1. P2-j：期間つき数量と表示を結ぶ契約の意味設計docs/research/46-p2-j-design.md · 20 KB
  2. P2-j：表示接続の手指定期待・反例と設計式の有限点検docs/research/47-p2-j-cases.md · 22 KB
  3. P2-j：期間つき数量の表示接続の最小実装と内部評価docs/research/48-p2-j-results.md · 16 KB

P2-k

  1. P2-k：確認済みの期間不明記録の精密化（意味設計）docs/research/50-p2-k-design.md · 28 KB
  2. P2-k：精密化の手指定の正例・反例・期待docs/research/51-p2-k-cases.md · 16 KB
  3. P2-k：確認済みの期間不明記録の精密化の最小実装と内部評価docs/research/52-p2-k-results.md · 13 KB

P2-l

  1. P2-l：拡張の版を上げる（依存される仕様の改訂と再固定）の設計docs/research/53-p2-l-design.md · 15 KB
  2. P2-l：版の更新の手指定の期待docs/research/54-p2-l-cases.md · 6 KB
  3. P2-l：拡張の版を上げる（単位表の改訂と再固定）の実装と内部評価docs/research/55-p2-l-results.md · 12 KB

P2-m

  1. P2-m：縦断比較（同じ slot の二時点の測定を比べる）の意味設計docs/research/56-p2-m-design.md · 26 KB
  2. P2-m：縦断比較の手指定期待docs/research/57-p2-m-cases.md · 18 KB
  3. P2-m：縦断比較（同じ slot の二時点の測定を比べる）の実装と内部評価docs/research/58-p2-m-results.md · 17 KB

P2-n

  1. P2-n：拡張の宣言に「継承」の欄を足す（契約の変更）の設計docs/research/59-p2-n-design.md · 15 KB
  2. P2-n：継承の欄の手指定期待docs/research/60-p2-n-cases.md · 11 KB
  3. P2-n：拡張の宣言に「継承」の欄を足す（契約の変更）の実装と内部評価docs/research/61-p2-n-results.md · 17 KB

P2-o

  1. P2-o：薄い臨床ライブラリの試作範囲と、実資料での評価の選定（案）docs/research/62-p2-o-selection.md · 11 KB
  2. P2-o：薄い臨床ライブラリ（操作 → 共通表現 → 出力先の要求）の意味設計docs/research/63-p2-o-design.md · 25 KB
  3. P2-o：薄い臨床ライブラリの手指定期待docs/research/64-p2-o-cases.md · 23 KB
  4. P2-o：薄い臨床ライブラリ（操作 → 共通表現 → 出力先の要求）の実装と内部評価docs/research/65-p2-o-results.md · 22 KB

P2-p

  1. P2-p（第二段）：FHIR R5 の Observation・Specimen への接地の監査docs/research/66-p2-p-grounding-audit.md · 16 KB
  2. P2-p：出力先の構造への写像の可否の診断（FHIR R5 Observation への接地）の意味設計docs/research/67-p2-p-design.md · 18 KB
  3. P2-p：構造への写像の可否の診断の手指定期待docs/research/68-p2-p-cases.md · 21 KB
  4. P2-p：出力先の構造への写像の可否の診断（FHIR R5 Observation への接地）の実装と内部評価docs/research/69-p2-p-results.md · 19 KB

P2-q

  1. P2-q：Observation の status・code の写像と Provenance への出力の意味設計docs/research/70-p2-q-design.md · 18 KB
  2. P2-q：Observation の status・code の写像と Provenance への出力の手指定期待docs/research/71-p2-q-cases.md · 16 KB
  3. P2-q：Observation の status・code の写像と Provenance への出力の実装と内部評価docs/research/72-p2-q-results.md · 17 KB

P2-r

  1. P2-r：記録に観察者を足す（中核モデルの変更の伝播）の設計docs/research/73-p2-r-design.md · 15 KB
  2. P2-r：記録に観察者を足す変更の手指定期待docs/research/74-p2-r-cases.md · 11 KB
  3. P2-r：記録に観察者を足す（中核モデルの変更の伝播）の実装と内部評価docs/research/75-p2-r-results.md · 17 KB

P2-s

  1. P2-s：任意の項目を必須にする版の更新（旧入力を拒否する）の設計docs/research/76-p2-s-design.md · 14 KB
  2. P2-s：任意の項目を必須にする版の更新の手指定期待docs/research/77-p2-s-cases.md · 8 KB
  3. P2-s：記録の観察者を必須にする（旧入力を拒否する版の更新）の実装と内部評価docs/research/78-p2-s-results.md · 21 KB

P2-t

  1. P2-t：Provenance の activity の符号と revision の entity の意味設計docs/research/79-p2-t-design.md · 20 KB
  2. P2-t：Provenance の activity の符号と revision の entity の手指定期待docs/research/80-p2-t-cases.md · 16 KB
  3. P2-t：Provenance の activity の符号と revision の entity の実装と内部評価docs/research/81-p2-t-results.md · 20 KB

P2-u

  1. P2-u：用語の版更新の監査（CPC 2026-09-08 → 2026-10-05）の意味設計docs/research/82-p2-u-design.md · 23 KB
  2. P2-u：用語の版更新の監査の手指定期待docs/research/83-p2-u-cases.md · 18 KB
  3. P2-u：用語の版更新の監査（CPC 2026-09-08 → 2026-10-05）の実装と内部評価docs/research/84-p2-u-results.md · 30 KB
  4. P2-u 追補：RxNorm API による、新版にない参照の状態の照会docs/research/85-p2-u-api-query.md · 13 KB

1 DOCUMENTS

補足

補足

  1. ニューロ・シンボリック／EDA から説明する MedDSL の役割docs/research/engineering-analogies.md · 11 KB