異なる3研究を独立モジュールとテストへ分離し、入出力契約を明確化。
Separated three distinct studies into independent modules and tests with explicit I/O contracts.
01
主なポイント Highlights
Collatz値を用いるナップサック問題を、解の復元を含む厳密動的計画法で実装。
Implements an exact dynamic program with solution reconstruction for the Collatz-valued knapsack study.
ORFを2つの定義でシード固定シミュレーションし、Wilson区間で確率不確実性を報告。
Runs seeded ORF simulations under two definitions and reports probability uncertainty with Wilson intervals.
02
研究の流れ Research Flow
-
課題Problem
由来と方法の異なる小研究を、相互依存のない再現可能な単位へ整理する。
Turn small studies with different origins and methods into reproducible, independent units.
-
方法Method
厳格なTSV検証、厳密動的計画法、シード固定Monte Carloを個別モジュールとして実装する。
Implement strict TSV validation, exact dynamic programming, and seeded Monte Carlo as separate modules.
-
検証Validation
スキーマ・境界値・解復元テストと、シミュレーションの再現性・区間推定を確認する。
Check schemas, boundary cases, solution reconstruction, simulation reproducibility, and interval estimation.
-
成果Outcome
各研究を独立に実行・監査できる構成へ修復し、アルゴリズム部分を公開可能な形に整理。
Repaired the collection so each study can be run and audited independently, with algorithmic components suitable for presentation.
03
限界と適用範囲 Limitations & Scope
キュウリ原データの再配布権が未確認のため、そのデータと派生数値は公開対象外。
Redistribution rights for the cucumber source data are unconfirmed, so that data and its derived metrics are excluded from publication.
04
公開範囲 Publication Boundary
公開ケーススタディPublic case study
アルゴリズムと合成・シミュレーション部分は紹介可能だが、権利未確認のキュウリデータを含む完全公開は不可。
Algorithmic and simulation components can be presented, but a complete release cannot include cucumber data with unresolved rights.