On the sunny day

看到新聞標題寫說東野圭吾遺作，想說怎麼有人程度那麼差，可以把「最新作品」說成「遺作」。結果還真的是遺作😢 東野圭吾的作品我讀的並不算多，幸運的是，我有讀過《白夜行》、《惡意》、《嫌疑犯 X 的獻身》這三本我認為可說是名人堂等級的作品。接下來就以我有限的閱讀經驗，盡量不暴雷的來分享一下心得。 出版了超過 100 本書的東野圭吾，當然是量產的作家。他在量產的同時還一直嘗試新花樣，在謀殺與推理的主題中不斷突破框架。 我認為，推理小說受制於「尋找兇手與手法」的框架，而有先天的上限。《白夜行》就是他打破框架突破上限的作品；《惡意》則是在盡量保留解謎的框架的情況下突破上限；《嫌疑犯 X 》則是留在框架內突破上限。當然，《嫌疑犯 X 》剛問世時，被挑戰說這不算本格派。於是不久後東野圭吾寫了《聖女的救贖》回應這項質疑。當然，要說評價的話，《嫌疑犯 X 》還是優於《聖女的救贖》，但《聖女的救贖》仍不失為一個好故事。 再來，我簡單聊一下我是怎麼接觸東野圭吾的作品，並夾雜一些簡短心得。同樣，盡量不暴雷。 我是從《偵探伽利略》的電視劇入門的，看了電視劇後，回頭補小說進度。那時候中文版已出的有短篇《偵探伽利略》、《預知夢》、《伽利略的苦惱》，長篇《嫌疑犯 X 的獻身》與《聖女的救贖》。再更之後有《真夏方程式》，我記得《真夏方程式》這本把食物描寫得很美味的感覺。 因為是從電視劇入門，所以我不像原作黨那樣不喜歡內海薰，反而喜歡看湯川與內海間若有似無的粉紅泡泡。看了《虛像的丑角》與《禁斷的魔術》後，感到怎麼《伽利略的苦惱》裡的粉紅泡泡，似乎完全消失了呢！ 從伽利略系列入門的我，一開始還沒意識到，東野圭吾的作品其實還蠻壓抑的呢。最初，我是喜歡伽利略系列的科學詭計。但後來我更喜歡加賀系列。理由也很簡單：小說裡面，人比科學詭計更好看。（同理，小時候喜歡福爾摩斯，但後來更喜歡克莉絲蒂。）伽利略系列我現在還記得的大概是那些炫砲的科技，短篇的故事細節大部分不記得了。 加賀系列中赤裸的展現出犯罪程度的校園霸凌、家庭問題、老人失智、與被寵出來的青少年罪犯……等等等社會問題。書中也沒有給這些問題溫馨的解答。是呀，真實世界的問題就在那裡，就算作者選擇溫柔的落筆，問題還是存在呀～ 加賀系列是從《惡意》、《紅色手指》入門。然後是《新參者》。我喜歡《新參者》中描述在一個地方裡每個人認真生活的樣子。但受限於...

第七天堂看板娘，姿容綽約普攻強。 雪崩戮力清魔晄，牆市驚奇鬥富商。 往事痛悲心欲鎖，情緣深絆意難藏。 同舟渡劫轉安後，再造舊時新故鄉。 剛好「第七天堂看板娘」這七字符合格律😆 「普攻強」這三字是隨手了點，但我思考一陣子後還是決定用遊戲的語言來表示。聽說重製版的蒂法不只普攻強，魔法也強。 雪崩反對過度開發魔晄而進行的激進行為用「清魔晄」這三字是不是到位，與古留根尾算不算是富商似乎可以再斟酌。不過就先這樣吧～

4 月 14 日是世界量子日！ （這就是我做理論的原因〜）

我在公園裡打瞌睡，一個開朗有活力的聲音驚醒了我。 「可以幫我畫波奇醬嗎？」 眼前是一個金色長髮的高中女生。下面這張圖是我能畫得最好的畫像了。當然，她本人遠比圖畫中可愛太多了。這不能完全怪我。畢竟，我上次動手畫圖已經不知是多久以前的事了。 我試圖回想波奇醬的長相，盡我最大的努力畫出了下面這張圖。 「臉太尖了。」 於是，我試著將線條修成圓潤一點。 「畫成槌形蛇了。」 我再度修改。 「太抽象了。」 一直被挑毛病，我沒耐性了。所以，接下來我草率畫了這張。 「這是完熟芒果紙箱，波奇醬太害羞了，她躲在在紙箱裡。」我如此解釋。 「太棒了，這正是我要的。」我沒想到她竟然高興的收下這張畫。「你覺得波奇醬能在紙箱裡彈吉他嗎？」 「當然沒問題。」 這就是我與大天使相遇的經過。

上一篇文章 中，我們開玩笑的說，考慮相對論中，空間與時間其實是同一個東西，我們得到了多項式空間就是多項式時間的結論。想當然耳，這種圖靈獎等級的事，不可能在這麼短的篇幅內搞定啊！ 從根本上反駁上篇文章的論述：一個計算問題所需要的時間與空間，分別是用需要幾個步驟，以及需要多少儲存空間來衡量。如果是用理論電腦科學家最愛的圖靈機來解問題，那麼就是圖靈機需要執行多少個步驟，以及會用到紙帶上多少個格子。 「多少個」步驟、「多少個」格子，聽起來很像純量對吧！在一個慣性坐標系 \(S\) ，如果計算一個問題 \(Q\) 需要 \(T\) 個步驟、\(W\) 個格子，那在另一個慣性坐標系 \(S'\) ，計算同一個問題 \(Q\) 還是要 \(T\) 個步驟、 \(W\) 個格子啊！ 那麼，接下來讓我們發揮想像力腦力激盪一下：相對論的確有說「在不同的坐標系，時間流逝的快慢不同。」儘管需要的步驟一樣多，我們有辦法利用時間流逝速度快慢不同這個事實，找到一個讓執行計算所需要的「實際時間」大幅縮短的慣性坐標系嗎？理論電腦科學家心目中的那種大幅縮短！如此一來，我們在新的坐標系做計算，就可以大幅加速了。 我們來試著講清楚所謂的「實際時間」是什麼意思。計算的過程要怎麼用物理來描述呢？想像一下計算過程的畫面。在理論電腦科學家眼中，這個畫面會是圖靈機的讀寫頭在紙帶上來回移動啦。把讀寫頭的運動畫在時空圖上，就是像下面圖中的鋸齒狀軌跡。 是的，時空圖習慣把位置畫成水平線，讓時間往上走。 在相對論中，要談所花的時間，首先要先定好「事件」。在我們想討論的問題中，很自然的會選擇開始計算、與結束計算作為兩個事件。讓我們用數學符號把話講得更清楚吧。先選好一個慣性坐標系 \(S\)。事件 1 是圖靈機開始工作，把此時的時間叫作 \(t_1\) ，讀寫頭所在的位置叫 \(x_1\)；事件 2 是圖靈機結束工作得到答案，把結束時的時間叫 \(t_2\) ，讀寫頭的位置叫 \(x_2\) 。計算所需的時間就是 \(t_2 - t_1\) ，把這個值叫作 \(T\) ；我們順便把讀寫頭結束與開始位置的距離差距 \(x_2-x_1\) 叫作 X。同樣的，換另一個慣性坐標系 \(S'\) ，我們一樣可以把事件 1 圖靈機開始的時間定義為 \(t_1'\) ，讀寫頭位置定義為 \(x_1...