既知 既知の未知 未知の未知 にも対応してくる。 認識論のちょっと違った角度の議論・整理としても面白い気がしている。 a/bテストでそもそも何なら検証可能なのかという話にも関わる。 必要な方程式の数と持ちうる独立変数の数からそもそも解が定まりうるものに直面しているのかなど整理しうるフレームワークなのかな。