星期四, 2月 26, 2026

第一次中勒索病毒

 人生中第一次中勒索病毒成就達成!

不過是在 VirtualBox VM ,不是實體機器 QQ。

故事是:我和某年輕學弟一起做研究,我開發了一款傻瓜式資料標註軟體,專門用於本研究特有的資料標註問題,讓不擅長電腦的標註者也方便使用。結果傻瓜軟體完成了,但學弟只有 Mac,沒有好用的,全能的,穩定的 Windows PC,臨時也生不出來。想來想去,最後決定用自家 PC 架 VirtualBox VM,這樣比買 Windows VPS 便宜很多,設備和網路可靠性問題遇到再想辦法 XD。

為了方便學弟連,VM 網路設 Bridge 模式,開 RDP。額外裝了 AnyDesk,總有款有緣的方式可以連進來,最後學弟不會 RDP,都用 Anydesk。VM 除了系統只額外裝了傻瓜標註軟體、Dropbox 自動備份標註成果和 Anydesk。Windows 更新我為了方便暴力關了(!)

今晚,學弟用 LINE 聯繫,說 Anydesk 連不上,回家一看 VM 桌面寫著「Lockbit Black」搭配經典黑色桌面。不過 Dropbox 標註成果和我傻瓜軟體每次開啟的自動備份(.json)都沒事,有事應該也能透過歷史還原救一下 QQ

經過稍微分(問)析(AI),可能攻擊向量懷疑 AnyDesk 還有沒打更新的系統存在高危漏洞,而 VM 又用 bridge networking 裸奔。

查了一下 Anydesk 最近的 log,幾個成功登入 IP 都是來自南台灣,猜測為學弟正常登入。更進一步的 Log 分析我就沒有力氣做了。直接盲猜是中了高危漏洞,開大絕直接回滾正常快照,網路改 NAT,再將登入和 Anydesk 套上強密碼,一系列治療兼診斷,先看看會不會繼續中招在說。

全文連結

星期日, 2月 22, 2026

「公投法複決憲法裁判」之我見

在野黨最近推動「公投法複決憲法裁判」,本座作為一般百姓是支持的,這是整理後的個人想法(AI 有幫億點忙XD)

太長不看白話版:

小弟認為「公投複決憲法裁判」應有合憲空間,理由如下:

1. 憲法前言尊重孫中山先生遺教,第1條明定以三民主義為民主國原則之前提與構成要素。民權主義強調「人民四權監督政府五權」,對五權之核心職能進行抽象推論時,不應輕易推導「有治權絕對不受人民直接監督」,司法權並非例外。

2. 憲法第136條採開放式授權,創制、複決權「以法律定之」。結合三民主義之歷史解釋制度意旨,參政權不僅在於政策與法律之形成,更在於制度化人民對五權之監督。若符合「人民四權監督政府五權」之授權目的,且未牴觸其他憲法規範,其射程應屬立法形成空間,而非修憲專屬。

3. 固然,憲法解釋需具最終拘束力,惟通說認為,此拘束力不排除人民制度化主權行使及憲法內變更機制。否則修憲及司法院重新釋憲均成為不可能。除修憲及司法院變更見解,本文主張,依上開對憲法第1條民權主義及第136條開放式參政權之制憲原意理解,經適當設計的複決權,亦應理解為憲法制度內允許的人民對司法權監督機制,為第1條民權主義及第136條人民四權監督政府五權之直接實現。

4. 關於「多數暴政」疑慮,民權主義已有「權能區分」理論:人民得監督與管理,但不得自為裁判。此一設計兼顧民主正當性與專業治理,無須逕行移植與我國憲法體系未必相容之歐美「司法抗多數」理論。

5. 綜上,若國會立法僅限於暫緩憲法裁判之一般規範效力,交由司法機關重審,且設有嚴格門檻與防濫用機制避免破壞法安定性,則屬民主監督,而非取代司法。在此理解下,既未侵害第78條所保障之司法院核心職能,亦未破壞權力分立。應屬憲法第1條民權主義以及第136條人民四權監督政府五權之具體實現,符合第136條立憲原意及授權目的,應屬立法形成空間。其性質為憲法已授權之民主監督,而非對司法院職權之入侵,亦未動搖權力分立之基本架構,故應認具有合憲解釋空間。





---------

國會擬推動修法,將憲法判決納入公民得以複決之事項。反對者據以主張此舉侵害司法權之「抗多數性」與「最終性」,難免違憲。然而,此項批評未充分注意中華民國憲法所體現之特殊立國理念。本文主張此「公投複決憲法裁判」倘僅限定於「凍結憲法裁判一般規範效力生效,未來交由專業司法機構進行重審」有合憲空間。

一、我國司法最後性之理解,依憲法應尊重三民主義


中華民國憲法前言明定:「依據孫中山先生創立中華民國之遺教」,憲法第1條復規定:「中華民國基於三民主義,為民有民治民享之民主共和國。」由此可知,三民主義並非單純政治宣示,而係構成我國憲法民主國原則之前提以及價值基礎。

固然,三民主義本身並非可直接適用之具體法律規範,然於憲法體系之解釋上,具有指導與補充功能。當憲法規範存在制度空隙或價值衝突時,解釋者不得作出明顯違背三民主義基本精神之理解,否則將動搖憲法所揭示之民主國原則。又如憲法第142條規定:「國民經濟應以民生主義為基本原則。」此一明文規範顯示,三民主義已內化為憲法秩序之一部分,並非僅具歷史象徵意義,而係制憲者所確認之基本國策及憲法價值原理。民權主義應被理解為我國民主國原則之內在構成要素。

依據三民主義之民權主義理念,人民乃國家一切權力之根源。孫中山先生所設計之政體,旨在使人民得以透過選舉、罷免、創制與複決四項政權,對行政、立法、司法、考試及監察等五權行使即時之制衡與監督。此種由人民直接行使之政治監督機制,體現人民對施政正當性與專業性之自主判斷權限,該權限具有獨立性,並不受其他專業機關判斷所拘束。是故,人民得以透過罷免,撤職其認為涉有違法行為之公職人員,而無須待司法機關作成確定認定;亦得以公民投票方式,就具高度專業性的重大政策(如能源政策)行使複決權,而不因其屬專業性事項而喪失人民裁量與監督之正當性。

在此體系脈絡下,司法權作為五權之一,與其他治權同樣並非超越人民所不可質疑之絕對權威。司法之專業判斷與其對憲法及法律之忠誠,亦應置於人民監督與評價之範圍之內。既然其他四權雖各具專業性與憲法授權,仍須接受人民之制衡,則司法權亦不因其負有「解釋憲法」之職能而例外於民主監督之外。「人民監督政府五權」應視為民權主義之核心價值與制度精髓。相關孫中山先生言論即明確揭示此一立憲理念:

「在人民一方面的大權,剛才已經講過了,是要有四個權。這四個權是選舉權、罷免權、創制權、複決權。在政府一方面的,是要有五個權,這五個權是行政權、立法權、司法權、考試權、監察權。用人民的四個政權,來管理政府的五個治權,那才算是一個完全的民權政治機關。」
 
「政府的一動一靜,人民隨時都是可以指揮的。像有這種情形,政府的威力便可以發展,人民的權力也可以擴充。」
 
「就是政府有了大權,一經發動做工夫之後,可以發生很大的力量,人民隨時要他停止,他便要停止。總而言之,要人民真有直接管理政府之權,便要政府的動作,隨時受人民的指揮」

倘若將司法院釋憲之效力最終性,理解為於現行憲法體制下具有絕對終局性,人民僅能透過憲法修正程序間接影響司法院之憲法解釋。修憲之後新憲法條文之具體意涵與適用,仍完全由司法權機關自行界定與詮釋,致使人民於授權後,事實上缺乏任何制度性機制或民主管道,得以監督司法院釋憲是否逾越職權、甚至可能以憲法解釋權之名行憲法扭曲之實。此種將憲法解釋權視為不受人民再加制衡之終局權力之觀點,實已違背三民主義所強調「人民得隨時指揮政府五權」之民權主義核心理念。若司法權得以藉「最終性」而超越人民監督,由此導致司法權之終局性轉化為對人民主權之否定,侵蝕以三民主義為基礎之我國民主共和原則。

二、我國憲法允許法律補充參政權射程範圍

依據歷史解釋與三民主義之理念,我國制憲者設計人民參政權之目的,並非僅在於使人民得以參與國家重大政策之形成或法律之複決,更在於落實「人民監督與管理政府五權,並對政府權力加以約束」之立憲理想。雖然孫中山先生於〈民權主義〉論述中並未具體闡明參政權於司法領域之適用樣態,然其明確指出:「民權之實情與民權之行使,當待選舉法、罷免法、創製法和複決法規定之後,乃能悉其真相與底蘊。」此一表述顯示,為實現人民對政府之民主監督功能,參政權之具體範圍與行使方式,得由立法機關依法律補充與規範,而非專屬於憲法修正程序所能界定。

我國憲法第136條明定「創制、複決兩權之行使,以法律定之」;另已停止適用之憲法第27條亦規定,除憲法修正外,創制與複決之行使範圍由法律定之。從歷史解釋觀之,結合三民主義對民主政治之制度構想,可見我國憲法對人民參政權之制度設計採取開放式設計,容許立法者於憲法授權目的之範圍內具形成空間。只要立法內容未違背「人民監督政府」之基本理念,亦未牴觸其他憲法規範,即得以法律形式有效具體化,並對政府行使拘束力。實務上,現行「公民投票法」所賦予之「法律複決」權,即為立法院依上述憲法授權目的加以具體化之例,並非源自憲法條文明示規定。又憲法本身並未明確界定創制權之適用範圍,倘若堅持認為創制權與複決權皆須憲法明文始得行使,則將導致創制權淪為具文,亦使現行法律複決制度形同違憲。此種過於狹隘之解釋顯難與憲法原旨相符,故不足取。
 
三、「人民四權監督政府五權」是否可當然排除司法權之運作?
 
基於上述可知,憲法第136條所採之開放式設計,既容許立法者於憲法授權目的範圍內具體化人民參政權之行使方式,則問題即在於:此一法律形成空間是否當然排除司法權之運作,抑或仍得及於憲法裁判之效力安排?此即有進一步檢討之必要。 
 
固然,我國憲法第78條明定司法院為統一解釋憲法之機關,違憲審查制度亦使憲法裁判於憲法未修正前原則上具有終局拘束力。然而,此種終局性並非絕對。例如,司法院本即得於適當情形下變更或廢止既有解釋,足見釋憲效力之「最終性」屬制度上之相對安定,而非不可變更之絕對狀態。

本文認為,基於憲法第1條所揭示之民權主義原則,以及第136條對創制、複決權所採開放式授權結構,釋憲效力之終局性不應僅限於司法機關之自我修正。除司法院重新釋憲外,人民亦應得於憲法第136條所保障之制度框架內,對憲法裁判之一般規範效力為一定程度之程序性調整。

憲法第78條與第136條同屬憲法明文制度設計,同受憲法承認,應為體系上之調和解釋,而非以司法終局性絕對排除人民之制度性參與。倘若全然排除立法者依制度化參政權所建構之人民對司法之監督機制,可能牴觸第136條開放式參政權「人民四權監督政府五權」之立憲意旨,並使司法權逸離第1條所揭示之民權主義原則。 

三、三民主義並非否定司法專業性及統一解釋憲法職權,仍兼顧保障少數人權及法安定性


反對者所憂慮,由人民即時監督司法之「多數暴政」或「群眾激情」破壞憲政秩序之虞,國父孫中山於其「權能區分」理論中早已回應。

其以阿斗與諸葛亮為喻,認為人民(阿斗)雖為主權者、具備管理權,雖得隨時委託、撤回對具專業知識之公務員(諸葛亮)之授權,惟治權之執行權仍須交由公務員,而非人民親自執行。此「人民管理、專業執行」之制度構想,為三民主義兼顧主權在民與政府專業化兩端,如何防範民粹之「官方解答」。

倘若立法機關於制度設計上,僅賦予人民得以透過公民投票凍結憲法裁判之一般規範效力,例如被宣告違憲之法案暫緩失效,而非由人民直接作成憲法解釋,亦不授予其命令司法機關如何釋憲之權限,則此安排符合三民主義「人民管理而非親自執行」之權能區分原則。於此體制下,若出現政治多數明顯違憲之情形,例如立法機關制定「同性戀一律死刑」等規範,司法機關仍得依據其專業判斷與憲法忠誠,在重新審查或再次釋憲時堅持既有正確立場,以維護少數群體之基本權利。同時,人民亦不得藉由公投命令司法機關撤銷對特定族群之保障,或逾越其憲法職權自行取代司法判斷。

反之,若司法權出現違憲行為,例如以憲法解釋為名侵蝕立法監督功能,進而強化行政權力以致走向獨裁,則人民得藉由其參政權對該違憲釋憲行使凍結效力,並藉此釋放明確政治信號,使行政、司法機關在制度上意識到民意監督之存在,進而促進司法自我修正與維持其獨立性之空間。

是以,所謂「憲法裁判公投」之設置,並非意在使民意凌駕於憲法之上,而係作為促使司法權恪遵憲法規範之機制。倘若司法權本於憲法忠誠及專業倫理行使職權,則公投結果僅導致憲法裁判之再行審理,其內容仍將受憲法與基本權保障之拘束,少數權益自得獲得維護。反之,若司法機關因外部輿論或政治壓力而偏離憲法之應然指引,則此一事實恰彰顯憲法裁判之結果未必等同於憲法本身之意旨,亦從而證成設置外部監督機制之正當性。


此一「權能區分」之制度構想,為民權主義之理論核心所在,其旨在兼顧五權專業職能與人民防範治權濫用之雙重功能,體現權力制衡之平衡性。既然我國歷次修憲均重申三民主義為民主共和國成立之前提與價值基礎,則司法權之專業性保障應在尊重三民主義民主國原則及制憲者制度設計下加以理解,而非全盤機械移植歐美所強調之「司法抗多數」理論,進而否定人民對司法權之監督與問責地位。

至於法安定性之維護,本文認為,立法者得針對「公投複決憲法裁判」設置較一般公投更為嚴格之成立與通過門檻,以防範制度濫用。惟須注意,對於法安定性與司法防範違憲多數之保障,固屬必要,但其設計不應以架空(例如將其門檻設計等同於修憲程序)或實質否定民權主義下人民監督政府之權能,否則形同否定人民監督五權之民權主義理念以及我國立憲精神。此外,我國憲法並未禁止同一憲法爭點重複受審,例如關於死刑制度存廢之爭議,即屢經憲法訴訟之檢驗。是以,「公投複決憲判」制度之設計重點,僅在於確保其啟動須經嚴謹條件與正當程序,以防濫用;而無須以「同一爭點僅得一次啟動」為必要限制。

四、結論

對於將公民投票機制適用於憲法裁判之合憲性評價,應置於中華民國憲法以三民主義為根本國策之體系脈絡下審視。三民主義不僅為立國精神之宣示,亦構成我國民主國原則之價值前提與內在要素,故相關制度設計之合憲性判斷,不得脫離此一規範背景。依憲法第1條所揭示之民權主義原理,政府權力原則上應受人民主權之監督,司法權亦不當然例外。

我國憲法 136 條創制、複決權採開放式設計之制憲本意,除令人民得參與重大公共政策外,尚包含對五權體系之制度性監督。而本條採開放式授權結構,賦予立法者形成空間,為前述「人民監督權」之具體化制度安排。國會立法若符合「監督政府」本意且未違背其他憲法規定,例如將釋憲主體由司法院改為總統或人民,則應然有效。

因此,人民依憲法 136 條,並由立法具體化之參政權機制,如及於司法權之運作,原則上仍屬憲法 136 條「人民四權監督政府五權」預設與授權範圍,尚難逕認為「以法律對抗憲法」。憲法第78條所體現之違憲審查功能及「司法抗違憲多數」以及憲法第136條所保障之參政權及「人民四權監督政府五權」,同屬憲法明文制度設計,均為我國憲法體系所承認。不應僅以釋憲效力之最終性,即排除任何人民回應憲法裁判之制度可能。

誠然,人民複決憲法裁判可能引發多數干預司法專業之疑慮。然而,三民主義之「權能區分」理論已區辨人民之管理權與政府之專業執行權,以維持民主正當性與專業治理之平衡。人民得行使監督與管理,但不直接取代專業裁判活動。此一制度理念為我國制憲者於「民權主義」中對抗「多數暴力」之明確制度構想,歷史脈絡可稽,屬立憲原意,無須援引與民權主義核心精神不相容之外國「司法抗多數」理論以為依據。

準此,倘若制度設計僅賦予公民投票暫緩憲法裁判之一般規範效力,而不變更裁判內容,並將爭點交由司法機關重行審理,且設有嚴謹門檻與程序保障以防濫用,則尚難謂已變動權力分立之基本架構:此種安排毋寧係對憲法既有人民監督理念之具體化,而非創設新的國家權力;其影響亦未必等同於侵害司法獨立,而是在我國三民主義民主國原則下司法權及其他四權本就不得完全排除人民主權回應機制。

至於現行釋憲實務及學說所吸納之「司法終局性」與「抗多數」理論,其是否已超越憲法變遷之邊界,已實質改變憲法意旨:「五權都受到人民監督,但司法權例外」,其是否違背我國三民主義民主國原則,其正當性實有深入討論之必要。

 

Update:

2026/03/08:整個重寫,果然外行人做功課是做不完的 

2026/03/09:繼續改

全文連結

星期五, 1月 16, 2026

佐賀偶像是傳奇夢幻銀河樂園(雷)

看到 C_Chat 版,才發現這部劇場版終於上映了。幸好台灣還沒有下檔,趕忙去威秀看。

整體作畫符合預期水準,歌好聽,劇情簡單粗暴爽。小遺憾是沒有訂到 4DX 的票,只能看普通版。

劇情緊接第二季結尾,真的在演殭屍大戰外星人。中間當然夾雜佐賀元素。某團員終於成功恢復了記憶,整個劇情中英姿颯爽,很遺憾恢復只是臨時的。期待這一部是否會有第三季!



全文連結

星期二, 12月 16, 2025

財劃法行政院不副署之我見

 個人認為不副署違憲,以下內容請 deep research 幫了億點忙後手動整理:

一、拒絕副署構成對總統憲法職權之實質妨礙

首先,依憲法第 72 條明文:立法院通過法律案後,總統「應」於收到後十日內公布。副署乃法律公布的必要程序環節,行政院長拒絕副署將導致總統無法履行公布法律之憲法義務。

憲法學者許宗力教授曾闡述「憲法機關忠誠」原則,強調「憲法機關忠誠指的是憲法機關彼此間所負之相互扶持、尊重與體諒的義務,不得阻撓其他憲法機關行使職權,也不得使其他憲法機關陷於癱瘓,其具有限制憲法機關權力濫用之功能。」。司法院大法官釋字第613號解釋理由書也明確指出:「惟權力之相互制衡仍有其界限,除不能牴觸憲法明文規定外,亦不能侵犯各該憲法機關之權力核心領域,或對其他憲法機關權力之行使造成實質妨礙」

以上原理均旨在維護憲政體制中各機關職權行使之順暢與核心功能不受侵害。行政院聲「不副署是制衡立院的手段」,已逾越正當權力制衡之界限:任何制衡措施都不能以癱瘓他機關的憲法職權為代價。依憲法規定,總統應於立法院通過法律案後十日期限內公布,此為總統不可推卸之憲法義務;倘總統怠於公布即構成違憲。行政院長拒絕副署,將直接導致總統無從依法定程序行使職權公布該法律,使總統陷於違憲失職的困境。換言之,行政院長以消極不作為手段阻斷總統行使公布法律之職權,已對總統憲法職責造成實質妨礙,依上述原理應屬違憲的權力濫用。

二、拒絕副署違背憲法覆議機制、架空立法權

按照增修條文第三條第二項但書規定,在法律案覆議程序完成(立法院維持原案)後,行政院長「應即接受該決議」並執行之。然而拒絕副署意味著行政院長並未真誠履行「接受」立法決議的義務,而是透過程序瓶頸讓法案無法生效。這種作法形同由行政機關自行宣告法律無效,不但違反憲法權力分立原則架空立法權,更違反憲法覆議程序規定。

三、「副署」意義在於承擔責任,非賦與「額外實質審查權」

從比較憲法觀察,「副署」制度的設計旨在強調行政團隊願意承擔執行責任,而非賦予副署者對該決定內容的最終否決權或實質審查權「副署是一項憲法規定,要求總理或部長簽署已由國家元首簽署的官方文件,國家元首簽署後即對該文件承擔政治和法律責任。」(A countersignature is a constitutional requirement requesting the Prime Minister or a Minister to sign an official act already signed by a head of state, who by signing it assumes political and legal responsibility for this act)

上述意涵可從日常組織運作類比理解:公司内部請假,需行政人員簽核,行政人員不簽即無效,董事長請假亦需行政人員副署,以確認請假流程完備,並進行後續作業。然而,行政人員副署意義僅在於「請假流程由本人負責」,若事後流程發生問題由其承擔責任;並不代表行政人員可以實質審查、否決董事長的請假。在請假要件符合規定的前提下,行政人員無權不簽,不簽即屬於逾越職權。

同理,在民主憲政運作中,立法院依法通過且程序完備的法律案移交總統公布時,行政院長的副署旨在責成「行政院長必須執行該法,並對執行負政治責任」,而不是給予行政院長二次否決機會。

四、其他論點反駁

有論者主張:行政院與立法院在憲法位階上「平級」,主張行政院無須配合立法院所通過之法律。然憲法機關間之平等,非否定憲法所明定之職權分工,此一關係可由組織運作之類比理解:在公司內部,業務部門與財務部門位階相同,然涉及財務申報事項時,業務主管仍須依財務承辦人意見辦理,並非因財務承辦人官位較高,而係因該事項屬於財務職權範圍。憲法機關間之互動,亦同此理。

另有論者主張,於憲政機制失靈(憲法法庭停擺)情形下,行政院得援引「抵抗權」拒絕副署法律。然依比較憲法通說 (連結),抵抗權僅於顯然、重大且立即不可回復之違憲侵害,且在所有制度內救濟途徑均已失效之極端嚴格情況下,始得成立,且其行使主體原則上限於人民,而不及於國家機關或公務員。歷史上抵抗權之適用,多涉及極權政體下對人民生命或基本人權之即時侵害,與一般政策性或預算性立法爭議存有本質差異。若承認行政機關得在非最嚴重、明顯情形得以抵抗權拒絕依法行事,將使公務員是否守法取決於恣意判斷,與法治國原則顯然不符。



TL;DR 

1. 拒絕副署將導致總統無法公布法律(憲72),屬妨礙總統行使憲法職權及義務

2. 覆議失敗後行政院應即接受該決議(憲法增修條文3-2),覆議失敗後拒絕副署,讓法案無法生效,顯非「接受該決議」。

3. 「副署」本意在於「宣告對此負責」(請假須行政人員副署,只代表行政人員負責跑流程,不是有權審查)。將副署作為二次審查權濫用,違背副署制度本意。

4. 用「行政院與立法院平級,沒必要絕對服從」及「行政院有抵抗惡法的權力」均不成立。

  • 「平級」不代表「不需尊重對方職權」。業務與財務平級,但牽涉財務,業務主管仍需服從財務承辦人意見,規定如此,與官位大小無關
  • 抵抗權僅限極為嚴重、明顯無爭議、有立即無法恢復違憲侵害之特殊情形(例如極權政體即時侵害人民生命權),且屬人民對國家機器的防衛權,並非國家機關對守法的豁免權。


以上


全文連結

星期四, 11月 27, 2025

Autohotkey 自動監測啟動 VirtualBox VM

用 GPT 產生的腳本,蠻好用的 XD。作用是在每次 Windows 開機時,自動監測某個 VirtualBox VM 是否已經自動運行。如果沒有運行,就自動啟動它。

需求背景是研究計畫中請了一位學弟妹幫忙,而標註程式需要用到 Windows,結果學弟家裡只能使用 Mac 囧,只好自己在 VirtualBox 上架設一個 VM。如果不這樣做,線上的 VPS 提供者所給的套餐都很貴資源又少。用 1GB 或 2GB 的 RAM 搭一個 shared vCPU core 跑 Windows,性能實在不敢想像。

自己電腦建 VM,然後把 RAM 和 Disk 切多一些,使用FRP Tunnel出去,體驗實在好太多。唯一問題就是 ADSL 有時不穩定,這點還要設法剋服。

; --- settings ---
VBoxManage := "C:\Program Files\Oracle\VirtualBox\VBoxManage.exe"
VMName := "win10"
CheckIntervalMs := 1000 ; how often to check when running
BackoffAfterStartMs := 5000 ; wait a bit after starting to avoid rapid retries
; -----------------

#NoEnv
#SingleInstance, Force
SetBatchLines, -1

Loop
{
	; Build: "C:...\VBoxManage.exe" list runningvms | findstr /I /C:""Win10""
	Cmd := """"  VBoxManage  """" "list runningvms | findstr /I /C:" """""" VMName  """"""
	RunWait, % ComSpec " /C " Cmd, , Hide
	if (ErrorLevel != 0) {
	; Not found -> start headless
		Run, % """" VBoxManage """ startvm """ VMName """ --type headless", , Hide
		Sleep, %BackoffAfterStartMs%
	} else 
	{
		Sleep, %CheckIntervalMs%
	}
}
全文連結

星期二, 11月 18, 2025

影片:這才是審稿人眼中漂亮的 discussion!

出處

好影片,紀錄一下影片重點:

好的 Discussion 分成五步驟。所有討論都有一個目的:to tell people what they can know from your research!

一、概括當前研究

進行具體討論前,先對 current study 做一個回顧,因為讀者讀到 discussion 這里有可能已經忘記你研在幹麻,所以要提醒一下讀者。一段話就夠了!

* 再次指出你的研究問題(research question)
* 回顧你的研究方法(methodology)
* 強調重要研究成果(key findings)——注意是最核心的研究結果,而不是所有在 results 部分呈現的結果
* 告知讀者 discussion 的結構(the structure of discussion):這部份 ChatGPT 給了一個示範,放在 Discussion 第一段最後一兩句:The discussion is organized into three parts. The first part interprets the key findings of this study. The second part compares these findings with previous literature. The final part addresses the limitations and provides directions for future research...


二、討論本研究與已有文獻的關系
discussion應該要和文獻對話里找到的文獻相呼應起來。
這一部分,核心問題:
* 你的研究結果是否與現有文獻「一致」?哪些一致?怎麼一致?
更重要:你的研究結果是否與現有文獻「不一致」?哪些不一致?
* 為什麼不一致?如何解釋它們的不一致?
要提出三點左右的發現和能解釋它們不一致的原因(這里需要大量的 critical thinking!)這里也需要盡量找到有參考文獻的支持!

同時可以討論,為什麼一些理由不適用於解釋當前的不一致?這樣會讓 discussion 部分顯得更加的 critical!

* The findings match those observed in earlier studies
* Our findings are in accord with recent studies indicating that…
* There are similarities between the current study and …

「與現有文獻不一致」萬能句型
* In contrast to/Contrary to earlier findings, however, …
* The results provide evidence against the widely held assumption in …
* The results/findings go exactly counter to the idea that …

「對結果進行解釋」萬能句型
* A possible explanation for this might be that…
* We speculate that this might be due to …
* Two types of accounts could be proposed for the …. The first account assumes that… The second account assumes that…
* The difference between … and … could be attributable to…

三、討論意外,或預料之外的發現(unexpected or surprising findings)

是否有一些結果是和預想的不符,意想不到的?可以從中進行討論,並給出解釋理由,比如是否有一些結果並不顯著(statistical significance)
其他次要的結果,也可以簡單的進行討論+解釋
更重要的是這些意外發現的價值在哪裡?對這個研究領域能有什麼樣的implication? Any new insights that emerged as a result of your research?

* Surprisingly, ...
* What is surprising is that...
* One unanticipated finding was that...
* Contrary to expectations, this study did not find...
* It is somewhat surprising that...

描述意外結果的 implication 萬能句型
* The experiment provides a new insight into the relationship between...
* These results should be taken into account when considering how to...
* The data contributes a clearer understanding of...
* While previous research has focused on X, these results demonstrate that Y.
* The findings have extended our knowledge of...


四、闡明本研究結果與相關理論模型的關系

說完和之前具體的 study 的關系,要開始討論理論部分了!這邊要把眼光放長遠,要想到整個bigger picture!這部分也是想要拿到高分的重點,因為這都是研究contribution!

* 基於你的研究結果,可以對現有的理論作出任何貢獻嗎?
* 你的結果是否與某理論觀點不符?
* 是否可以改變某個理論觀點?
* 或者可以補充一些什麼觀點?
* 是否可以基於你的研究,提出一個更新版的模型呢?


五、本次研究的不足之處(limitation)

任何一個研究都會有局限性,不可能有一個研究是完美的!所以只需要承認這些局限性就可以了,這里也是你critical thinking的展現之處。

* 有哪些局限性?(如樣本量小,研究結果普適性(generalisability)較低,實驗器材有局限性)
* 為什麼會有這些局限性?
* 這些局限性會帶來什麼影響?

全文連結

星期一, 11月 10, 2025

論文閱讀:Free Transformer

Arxiv 連結

來記錄一下最近在 GPT 幫助下讀過的最難的 paper:Free Transformer。這篇的數學難到撞牆。

這篇核心概念,就是在 Transformer 裡面明確在模型裡顯式引入潛變量 Z。(論文 Z 不是單一全局變數而是序列 Z1...ZT)


 

在原本 Transformer 結構,潛變量 Z (例如影片是正評、負評)是通過學習序列預測來進行隱式學習。這種方法存在幾個缺點。首先,要計算我們感興趣的變量 Z,會涉及很複雜的計算,並且這類計算容易出錯。只要序列生成中出現錯誤,整個序列以及根據該序列推導出的 Z 都會是錯誤的。此外,沒有顯式表達 Z,把產生 Z 建立在序列預測,也可能在新資料因為序列預測表現不同而影響泛化,這也是論文 (1)(2) 式舉例想表達的。


另一個難點是論文中 (3)。這個(3)邊際似然(marginal likelyhood)P(S)和論文中 loss function 有關,loss function 其中一部分近似 logP(S) 的證據下界(ELBO),因此當 loss 降低時,意謂 ELBO 提高,從而提高對 logP(S) 的下界。而 P(S) 基本上可以看作在先驗 P(Z) 下對 P(S|Z) 的期望。如果P(S)夠高,那麼在模型生成的過程中,只要採樣Z,就會有足夠的機會讓模型產生的 S' 能夠對應到真實的序列 S。而 Z1...ZT 並非參數,是隨機採樣出來的,編碼器參數(確定 Q)與解碼器參數(確定 P(S|Z))才是需要學的。


接下來難點是所謂 free bit 設計。Free bit 目的在於避免 KL collapse ,也就是,VAE decoder 以及後面的模型直接將採樣的 Z 丟棄不用,然後 VAE 訓練出的分佈 Q(Z|S) 直接套先驗分佈,然後 KL Loss 歸零成功最小化,但 VAE 就整個沒用。為了避免這種情況,模型引入了 free bit,使得 Q 分佈與先驗分佈之間可以允許一定程度差異,不會計入 Loss。

接下是所謂的 Binary Mapping。它的模組有一層,不是直接輸出 2^H 次方個 output,而是將輸出 H 個互相獨立的 Binary Bit,具體輸出 class number 則是這 H 個 bit 對應的 binary number。學習 H 個(例如 16 個)互相獨立的 binary classification 會比直接學 2^H 個 class(如 65536 個)訓練更好,降低參數量、避免大多數輸出都是在 0 附近微調,訓練速度慢並且容易被 noise 干擾,也避免資料不夠長尾類別學不到。


剩下的部分是實際測試。首先是 free bit 的設定。Kappa 太低,模型表現與正常 Transformer 相同,實際上就是 KL collapse,導致 VAE 沒有作用。然後,當 Kappa 的值過大,模型會在 Z 藏太多資訊,實際上是 overfitting,測試中連雜訊都學進去了。然後後面 benchmark 的部份就沒有細讀。更多的細節我看不懂 XD





全文連結