5uperb0y's blog

黑幫神枝組與久利山組的龍頭之爭終於來到了最後環節。為了避免警方干預，他們一直以歌唱或大胃王等非流血項目一較高下。在決定幫派前途的最後一役，雙方決議要以戀愛決勝負：誰能獲得名警朝川真紀之女的芳心，誰就能凌駕另一方成為東京都的霸主。

偶像歌凜在引退後加入了聲優事務所，意外與帶領她的前輩鈴音成為好朋友。鈴音是歌凜的死忠粉絲，所以不願表露自己崇拜的心情，深怕粉絲與偶像的地位差異會破壞她們融洽的關係。不過隨著兩人的距離逐漸拉近，鈴音察覺自己對歌凜的感情似乎不止於景仰，還有些在意，以及很多很多的喜歡。

《少女妄想中》是四則彼此相關的短篇組成的故事，描述三名少女幻想的、無望的以及悖德的愛戀。

火星是最靠近地球的適居行星。探索火星不僅具有科學價值、也能刺激技術發展、凝聚人類社群。作者 Robert Zubrin 主張，我們現今已具備載人火星任務所需的技術。因此，任務的成敗不在於更先進的能源或引擎，而在於政府的決心與大眾的支持。

《巴黎馬卡龍之謎》是小市民系列的番外篇，收錄了米澤在 2009 至 2020 年間創作的四則短篇故事。這些故事發生在春季篇與夏季篇之間，描述小鳩跟隨小佐內四處品嘗甜點時發生的事件。

《夏日計劃》的完結篇為眾神的恩怨畫下句點。陳晞、浩瑜與秋天再度回到過去。這一次，陳晞將魔力歸還世界之樹，捨棄作為巴德爾轉世者的身份，期望能以此終結與霍德爾的宿仇。

最近，我們碰到一個棘手的技術問題。其他同仁反映，我們開發的變異分析工具在執行 GATK 時意外中止，並呈現以下錯誤訊息：

1

The provided VCF file is malformed at approximately line number 1: Duplicate allele added to VariantContext: TA

我檢查該步驟使用的 VCF 檔，發現其中一列的 REF 與 ALT 欄位內容重複，導致 GATK 報錯：

1

chr1	100	.	TA	GT,TA

標準的 VCF 檔只記錄實際存在的變異，不應出現 REF 和 ALT 欄位相同的狀況。即使該位置沒有變異，通常也會以點號（.）標記。因此，我推測問題的源頭不是分析工具本身，而是上游的 variant caller。

為了再次見到又夏，陳晞費時多年打造了一台時光機。然而重逢後，陳晞發現又夏喪失了與她相處的所有回憶。儘管想重新追求對方，身患重病的陳晞深知自己來日無多。因此，陳晞決定全力阻止迫在眉睫的「諸神黃昏」，只為留給又夏一個安穩的未來。於此同時，單戀陳晞的浩瑜也隨她回到過去，竭力尋找能拯救世界又可以挽救陳晞性命的方法。

在孤兒院長大的又夏擁有操控時空的能力。為了保護心儀對象陳晞免遭不幸，同時確保孤兒院院生的安全，又夏穿越不同的時空，試圖阻止悲劇發生。在這段過程中，她反覆經歷與陳晞的相處與離別，累積了深厚的感情。

在修改程式碼之後，開發人員會執行測試以確保軟體的各項功能運行無誤。由於測試通常以程式碼實現，所以它們也可能存在 bug。鑒於這種風險，有些人可能考慮撰寫測試的測試，試圖為軟體的品質把關。

不過，依據這個想法，測試的測試也應該被檢驗其正確性，因此需要額外的測試來支持既有的測試。以此類推，它們會衍生出無窮個測試，形成軟體測試的無限後退難題（infinite regress）。

在實務上，無窮測試顯然不可行，那麼開發人員應該如何確保測試的可信度與有效性呢？