"Til"
- Satir 四種不一致姿態：人在壓力下會丟掉自己、他人或情境其中一項
被質問的當下說出了自己也不同意的話時，用來標定剛才丟掉了什麼——這是自我觀察的檢查表，不是人格分類
- 心理安全感：群體裡的人願不願意講壞消息
看到某個團隊的回報一切正常卻結果不對時，用來理解沉默的機制：它衡量的是說出問題會不會被懲罰，而不是氣氛好不好
- 後見之明偏誤：事後看得一清二楚的因果，在當下並不存在
檢討會議裡出現「他當時怎麼會沒注意到」這種問句時，用來理解那個問句本身就建立在錯誤的前提上
- 偏差正常化：每次放寬都有理由，累積起來走到災難
回頭看某個決定覺得離譜、但當時所有人都同意時，用來理解標準是怎麼一步步被重新定義的
- 火箭發射團隊的組織概念：JAXA 打上げ管制隊按次編成、執行與安全監理分成兩條指揮線
看到火箭發射團隊分成氣象、射場安全、飛行安全等組別的說法時，用來理解實際發射體制的組織概念：編組的性質、誰指揮、怎麼分線、各班做什麼
- 工程讀者為什麼要理解緊緻性
測試覆蓋、抽樣、容量規劃都在賭「用有限掌握無限」可行，緊緻性是這個賭注在數學裡有完整成立條件的版本。需要把工程裡的有限控制假設逼到明處、或釐清類比的誠實邊界時讀
- 有界：整個集合裝得進一個有限大小的範圍
有界指存在一個有限大小的範圍能把整個集合裝進去，管的是延伸多遠、跟邊界收不收無關。需要判斷集合有界或無界、或釐清它與閉集合的分工時讀
- 波爾查諾–魏爾斯特拉斯定理：有界序列必有收斂子序列
有限範圍裝進無限多個點、必定在某處堆積出聚點——這是序列緊緻性在歐氏空間成立的支撐論證。需要理解收斂子序列為何擠得出來、或有限維前提為何不能省時讀
- 為什麼從哲學面思考緊緻性：存在性論證的共同形狀
定義與定理的細節會淡忘、跨定理重複出現的論證模式才是能帶走的東西。需要認出「把無限收束成有限」這個形狀、或釐清存在保證與實際構造的距離時讀
- 海涅–博雷爾定理：在歐氏空間、閉且有界等價於緊緻
海涅–博雷爾定理把緊緻性的開覆蓋定義翻譯成閉且有界這個好檢查的條件，適用範圍是有限維歐氏空間。需要確認這條捷徑何時能用、兩個條件為何缺一不可時讀
- 閉集合：把自己的邊界全部收進來的集合
閉集合包含自己所有的邊界點，等價說法是集合內序列的極限跑不出去。需要判斷一個集合閉或非閉、或讀到「閉且有界」時讀
- 開集：每個點周圍都留有餘裕的集合
開集是每個成員點周圍都還有一圈空間同屬集合的集合，拓樸學用它定義連續、收斂與緊緻。需要區分 (0,1) 與 [0,1] 的身分、或讀到一族開集（family of open sets）時讀
- 極值定理：緊緻定義域上的連續函數必取得最大最小值
最大值的存在來自定義域的緊緻——連續像保持緊緻、再由閉且有界接住頂與底。需要理解存在性從哪個條件長出來、或最大值為何可能永遠取不到時讀
- 歐幾里得空間：數線、平面、立體空間的統稱
歐幾里得空間 ℝⁿ 是 n 個實數座標構成、以直線距離度量的空間，「有限維」的精確意義在此。讀到 ℝⁿ 符號、或需要分辨有限維與無限維的分界時讀
- 緊緻性：用有限掌握無限的能力
用有限資訊掌握無限集合的能力，是數學分析大量存在性結果的共同底層。需要順著開覆蓋這條概念線理解緊緻性、或釐清「閉且有界」跟定義本身的分工時讀
- alleviate：減輕當下的難受
alleviate 與 mitigate 的語感差異：緩解痛苦、負擔或症狀、讓當下好受些；字源 levis 輕，搭配 alleviate poverty/pain/pressure
- ambiguous：可作兩種解讀
ambiguous 與 vague 的語感差異：一句話能作兩種以上解讀、指向不明，多為貶義，與褒義的 nuanced 相對；字源 ambigere 兩邊走，搭配 ambiguous wording/result
- bolster：加碼補強既有基礎
bolster 與 support 的語感差異：透過政策資源進一步強化鞏固既有基礎、主動加碼；字源本義是長枕墊高撐住，搭配 bolster confidence
- cogent：條理清晰而有力
cogent 與 convincing 的語感差異：論證清晰、邏輯緊密而具說服力、訴諸理性；字源 cogere 逼使聚合，搭配 cogent argument/case/reason
- compelling：強到不得不信服
compelling 與 convincing/plausible 的語感差異：強到讓人無法抗拒、被迫接受或投入注意；字源 pellere 驅動，搭配 compelling evidence/argument/reason
- curb：把失控趨勢勒回可控
curb 表示抑制遏止快速擴大的趨勢、封頂減緩而非根除；字源 curvus 經勒馬嚼子引申為約束，搭配 curb inflation/emissions
- entrenched：掘壕固守般根深蒂固
entrenched 與 established 的語感差異：制度利益觀念深植難以撼動、改革困難；字源 trench 掘壕固守，搭配 entrenched interests/views
- erode：一點一點被磨掉
erode 與 undermine 的語感差異：漸進、常無主地磨損消耗（信任/購買力/優勢）；字源 rodere 啃咬，搭配 erode confidence/trust/margins
- exacerbate：讓已經糟的更糟
exacerbate 與 worsen 的語感差異：使原本已經不好的情況惡化加劇、是 mitigate 的反義；字源 acerbus 苦澀尖銳，搭配 exacerbate tensions/the problem
- feasible：現實條件下辦得成
feasible 與 possible 的語感差異：在資源成本技術時間限制下實際可執行、非僅理論可行；字源 facere 做得出來的，搭配 feasible solution/plan
- mitigate：減輕已成的壞影響
mitigate 與 reduce 的語感差異：減輕已存在壞事的嚴重程度（傷害/風險/衝擊）、非泛指減量；字源 mitis 柔和，搭配 mitigate risk/damage、mitigating circumstances
- nuanced：分得清細微差別的層次感
nuanced 與 complex 的語感差異：討論有層次、能兼顧條件脈絡與例外、非二分法、屬褒義；字源 nubes 雲的細微漸層，搭配 nuanced discussion
- plausible：說得通但未經證明
plausible 與 possible 的語感差異：在現有證據下合理可信、值得認真對待但尚待驗證；字源 plaudere 值得鼓掌，搭配 plausible explanation
- precarious：懸在邊緣的脆弱
precarious 與 unstable 的語感差異：局勢已岌岌可危、依賴外力勉強維持；字源 precari 祈求而來、隨時可能被收回，搭配 precarious situation/position
- resilient：受挫後彈得回來
resilient 與 robust 的語感差異：受衝擊後能復原回彈、非單純不被打垮；字源 resilire 跳回，搭配 resilient economy/system、emotionally resilient
- rigorous：不留捷徑的嚴謹
rigorous 與 strict/thorough 的語感差異：方法嚴謹精確、不放過步驟、禁得起檢驗；字源 rigor 僵硬，搭配 rigorous testing/analysis/standards
- robust：禁得起考驗的強健
robust 與 strong 的語感差異：強健且禁得起壓力、挑戰或嚴格檢驗，研究裡指結論站得住；字源 robur 橡木，搭配 robust evidence/findings/growth
- salient：最突出顯眼的那點
salient 與 important/main 的語感差異：在眾多裡最突出、最先跳進眼裡的；字源 salire 跳躍，搭配 salient point/feature、the salient facts
- scrutinize：帶著懷疑仔細審視
scrutinize 與 examine 的語感差異：帶批判懷疑地審視資料方法、預設要挑出漏洞；字源 scrutari 翻找破布垃圾，常見搭配 scrutinize the evidence
- sustainable：撐得久、不吃老本
sustainable 與 viable 的語感差異：能長期維持而不耗竭基礎、非只是當下活得成；字源 sustinere 從下托住，搭配 sustainable growth/development
- tenuous：細得快斷的薄弱
tenuous 與 weak 的語感差異：連結或依據薄如細絲、勉強維繫；字源 tenuis 細薄，搭配 tenuous link/connection/grasp
- undermine：從基礎暗中削弱
undermine 與 weaken 的語感差異：從根基逐步、常帶暗中地侵蝕削弱，是 bolster 的反義；字源 under + mine 在底下挖坑道，搭配 undermine confidence/authority
- underscore：事實自然凸顯重要性
underscore 與 emphasize 的語感差異：由結果或事實自然襯托出另一件事的重要、非說話者刻意反覆強調；論文常見 The findings underscore
- viable：行得通、活得下去
viable 與 feasible 的語感差異：不只辦得成、還能長期存活運作（尤其經濟上），字源 vita 生命；搭配 viable alternative/business，區辨 feasible 辦得成、viable 活得下去
- volatile：劇烈震盪的變動
volatile 與 unstable 的語感差異：變化劇烈、波動幅度大又難預測；字源 volare 飛、易揮發，財經常用 volatile markets/prices
- warrant：足以構成…的理由
warrant 當動詞與 justify 的語感差異：某事嚴重或重要到值得、需要某個回應；字源與 guarantee 同源的擔保；搭配 warrant further investigation/attention
- alert fatigue：告警疲勞
alert fatigue 是 false positive 持續累積造成的人因後果——誤報太多、人對告警逐漸麻木，連真正重要的也忽略
- false alarm：監控的偽警報
false alarm 指監控、告警或入侵偵測系統觸發了，但實際沒事，是 monitoring / IDS 領域的 false positive。字面就是「假警報」，與訊號偵測的 false positive 同源
- false negative：假陰性是 false positive 的另一半
false negative（假陰性）是偵測器漏掉真實存在的東西——說「沒有」，真實卻是「有」。它和 false positive 同屬混淆矩陣的兩個錯誤格，統計叫 Type II error、訊號偵測叫 miss
- false positive：訊號偵測理論借給全世界的詞
假陽性常被當成醫學詞，源自二戰的訊號偵測理論。任何「偵測器判斷 × 真實狀態」的二乘二場景都需要這組詞，統計、程式、醫學各自沿用
- false trigger / 誤觸：守衛被不該觸發的東西觸發
false trigger（誤觸）指守衛或偵測器被「形似但非真意圖」的輸入觸發，是 hook / guard 場景的 false positive。常見機制是 over-match，典型例子是關鍵字守衛對引用該關鍵字的文字誤觸
- flaky：時綠時紅的測試
flaky test 指同一份程式碼、同一個測試，不改任何東西卻時過時不過。它是測試的 false positive（該綠卻紅）裡特指「間歇、非確定性」的那種
- noise：淹沒真訊號的低價值輸出
noise（噪音）指大量低價值訊號累積、淹沒真正重要的訊號。來源包括 false positive 與正確但無關緊要的告警，借自訊號處理的訊噪比概念
- over-match：規則比對過寬而誤命中
over-match（又稱 over-broad match、spurious match）指規則或樣式寫得太寬，命中了不該命中的目標。它是許多 false positive 的機制層成因，常見於 regex 與 glob
- precision：報出來的有多少是真的
precision（精確率）= TP /(TP + FP)，衡量偵測器說「有」的之中有多少是真的。false positive 越多，precision 越低。與 recall 成對、構成評估分類器的兩端
- recall：真的之中抓到多少
recall（召回率、又稱敏感度 sensitivity）= TP /(TP + FN)，衡量真實存在的之中偵測器抓到多少。false negative 越多，recall 越低。與 precision 成對
- spurious failure：偽失敗
spurious failure 指測試或建置失敗了，但失敗的原因不是被測對象本身（環境、網路、暫態），屬測試的 false positive。與 flaky 的差別在強調「這次的因非真因」而非間歇
- spurious warning：linter 的偽警告
spurious warning 指靜態分析或編譯器報的警告，但其實沒有問題，是 linting / 編譯領域的 false positive。常因規則過嚴或分析器無法證明安全而起
- Type I error：統計學給假陽性的編號
統計假設檢定把 false positive 叫 Type I error、false negative 叫 Type II error。對應到顯著水準 α 與檢定力、兩者此消彼長的取捨
- Type II error：統計學給假陰性的編號
Type II error 是 false negative 在假設檢定裡的稱呼：沒拒絕為假的虛無假設、漏掉真實效果。與 Type I error 成對，機率記為 β，檢定力 power = 1 − β
- 守衛和規則為什麼會誤觸
一個守衛、linter 或規則明明邏輯沒錯，卻命中了不該命中的目標。多半是規則寫太寬。描述這種誤觸的詞各有切面，這是它們的入口
- 你的自動判斷會犯兩種錯：誤報與漏接
任何會自動判斷有/無的機制——測試、掃描、分類器、守衛——都會犯兩種錯：說有實無（誤報）與說無實有（漏接）。這是理解一整組偵測術語的入口
- 告警太多，反而沒人看
當監控、掃描、linter 的誤報多到一個程度，真正重要的訊號會被淹沒，人也會對告警麻木。這一連串問題各有名字，這是它們的入口
- 怎麼量一個偵測器準不準
當你想說「這個偵測器有多好」，光講準確率不夠。誤報與漏接要分開量，於是有了 precision 和 recall 兩把尺。這是它們的入口
- 測試紅燈不一定是真的壞
測試報紅，未必是被測程式碼有問題。可能是間歇性不穩定，也可能是環境暫態。這兩種測試的誤報各有名字，這是它們的入口
- candidate 的字源：穿白袍的人
candidate 源自拉丁文 candidatus（穿白袍的人），古羅馬競選者穿漂白托加袍象徵清白，同字根家族還有 candid、candle、candor、incandescent
- Snippet、Template、Skeleton 的差別
從一般英文與技術寫作兩個角度，整理 snippet、template、skeleton 三個常見詞的差異。