資訊探針微積分：數值資訊物件的觀測、細化、組合與停止條件

把「探針」定義為有型別、可部分定義的觀測算子，分六類（擷取、導出、比較、關係、光譜、雙向），並給出組合、成本、證書、閉包與停止規則。核心的一條引理——多加一個探針只會細化不可區分關係（∼_{P∪{P'}} ⊆ ∼_P）——是一行即可證明的事實。標題的「微積分」目前只是名稱：微分、積分與曲率各節都是一行占位，「探針範疇」明言暫不展開。