●前言
撰寫此文的目的是分享這一路上所找到的資源（特別是國內有志於邏輯研究的人不多，出國留學的資源也沒有很好地彙整），並且以自己為借鏡，期許未來的學弟妹能走得順利。
準確來說，我一路上不是個好學生，雖然有出國的想法，但是在學術的累積上卻不是很充分。這種情況下的我也靠著蒐集資訊、積極聯絡和上天給我的幸運找到了出路，未來優秀的學弟妹們一定能比我做得更好。
●研究領域
數理邏輯、證明論和範疇邏輯
Mathematical logic, proof theory(in particular, structural proof theory), and categorical logic
●申請學校/結果
admitted: ANU CS PhD(w/o scholarship), Tallinn University of Technology(TalTech) CS PhD(paid position)
rejected: Western Ontario Math MS, Wesleyan University Math PhD, INSA-CVL CS PhD
●大學及考試成績
CCU, BA in Philosophy, 2012-16, GPA: 2.53
CCU, MA in Philosophy, 2017-20, GPA: 4.00
IELTS: 7.0
●申請過程準備
可以從我的成績和英文看到，我的各項指標都非常平凡，甚至有點差。大學畢業後想出國繼續做研究的我，從碩一上開始就一直積極關注國外招生的動態。
當然，我這樣子的走向也有點本末倒置，因為在最後要畢業的時候，反而是我已經拿到了 offer，畢業論文卻還沒完全搞定。
所以還是希望以後的學弟妹不要像我一樣望著遠方，卻忘記把腳下的路走好，最後走得磕磕絆絆的。
我大約從 2019 年 10 月底開始聯絡國外教授，探尋有無招生，尋找老師的方式就是先大致看他們的 Area of specialization 是否與我有關，若有的話再看他最近發的文章，我是不是有興趣。若也有的話就可以開始擬信件了，首先我會 10 字內的自我介紹，然後直接闡明來意，詢問對方是否有在招生，明年是否有名額。
第二個段落闡述自己目前論文的題目，並且如何與教授的研究相關，提出一些潛在的課題（未必是真的很有意義，但是必須表達出你寫信不是來亂的，是深思過的），最後希望能與老師有合作的機會，期待您的回覆。
我一共寄出了 27 封，其中 25 封有回覆。正面看待申請的佔大多數（罐頭性質的正面，期待我提交申請之類的），另外有一部分闡明自己目前沒有經費或者要退休了，推薦我聯絡其他教授（研究室），並且給我聯絡方式。
剩下的教授給的回應非常正面，有希望我講述論文細節（2 位），要我提供更多資料（2 位），還有 1 位直接給我一個計畫框架，叫我寫出來之後申請，以及直接希望 Skype 聊聊 （3 位）。
Skype 上的聊天其實還算滿輕鬆的，大部分老師就是想確認我是不是個怪人，以及我信裡所寫的是不是真的我自己寫的。整個過程都是閒聊居多，對於論文的著墨我認為是不多的（當然有問到一些細節，可是並不刁鑽）。
其實到這一步（Skype 上聊天）就已經一隻腳踏進錄取門檻了，但是 2020 是命運多舛的一年，許多經費無法到位，以及對於外國人的限制等等，導致最後只有 TalTech 的老師能保證有足夠資金，也促成了我最後的選擇（不過並不是說這間學校或研究組不好，其實這裡的研究跟我是意想不到的契合，是我當初寄信時也沒想到的，所以也只能說我真的很幸運）。
另外值得一提的是 ANU，當初我是有申請世界百大獎學金的，可惜最後我在聯絡上沒有做好，錯過截止期限，以致於沒有申請成功，也希望能讓大家引以為戒。
●結論
我在 2020 年 3 月的時候就收到 ANU offer 了，可是由於沒有獎學金，所以也無法真的成行，還好後來能遇到 TalTech 的老師，以及最後完成論文時，我的指導教授不辭辛勞地為我改論文，陪我討論，以及教育我做學術的態度。
沒有這些幫助以及幸運，我現在絕對無法在電腦前，做著我想做的事情，並且打下這篇文章。
●參考網站和 MailingLists
http://settheory.net/world
這個網站如其名，盡可能地收集了世界上邏輯和集合論的研究者和研究組，我當時就是一個一個找，找出與我興趣相符的教授。
http://resources.illc.uva.nl/LogicList/
這個 mailing list 專門收集邏輯學界的最新消息。
https://sites.google.com/site/sensereferenceandthought/
這是許多優秀的哲學系學長姐共同維護的網站，可以在上面找到許多關於哲學系的申請指南。
https://www.philosophicalgourmet.com/
這個網站彙整了世界排名靠前的哲學系 programs，當然也能找到數理邏輯和哲學邏輯的 programs。
https://www.liverpool.ac.uk/philosophy/philos-l/
這個 mailing list 可以讓你每天接收哲學界最新的消息（研討會、事件、PhD positions）。
https://www.zaik.uni-koeln.de/AFS/publications/dmanet/
這個 mailing list 專門收集有關離散數學界的最新消息，偶而也會有跟邏輯有關的 PhD positions。