電腦科學的聖杯
According to Wired News on Nov 10, 2005:
When Bill Gates announced that the technology was under development at the 2002 Windows Engineering Conference, he called it the holy grail of computer science
這篇講的是 Microsoft Research 的 SLAM Project。原文是：
“Things like even software verification, this has been the Holy Grail of computer science for many decades but now in some very key areas, for example, driver verification we’re building tools that can do actual proof about the software and how it works in order to guarantee the reliability.”
Bill Gates, April 18, 2002. Keynote address at WinHec 2002
這在玩什麼我就不多說了…反正有興趣的人真是少之又少…
待在這邊的大概就是超級強者之輩，還有我們這種跟在別人後面走的笨蛋…
（往好處想好了，知道自己是笨蛋代表知道還有那邊可以努力的地方；
真正的笨蛋是連自己是個笨蛋都不知道…）
之前 survey SLAM 看到這些話的時候只有一笑置之，後來在上個星期到 iis.sinica 聽
Edmund M. Clarke 的演講：Model Checking: From Hardware To Software And Back Again 看到投影片上面時就覺得很熟悉，今天老師提的時候才再想起來。
原來，我們打的是電腦科學裡面的聖杯戰爭阿！
看到這些消息，沒出息的在下，心中想到的卻是，
阿我的 Saber 在那裡呢？我也想要有個愛玩 cosplay 的魔法少女戰友阿！
不然…會作菜的溫柔學妹呢？（沒有補魔力還算聖杯戰爭嗎？）
不過只會白吃白喝的 Tiger 老師就不用了，謝謝。
以上不知道我在說什麼的請參考這邊。
不過，以後別人問說我的實驗室在幹什麼的時候，我就可以很帥(?)地說：
我們在打聖杯戰爭阿！
而不是說什麼：「簡單來說…就是在 debug 啦…」
阿阿，聖杯戰爭阿，原著的 45 個結局中，40 個是 Bad ending/Dead ending…
在魔術師的資質不如人，寶具又輸人家的情況下，這是場硬戰阿…
難到… 我只是個 Servant 嗎？雖然說真的有種被令咒命令的感覺就是了…Orz
看來，這篇的 categories 要加入 Anime/Game 了…我真是糟糕…Orz
你是寶具…
Comment by BlueCat — June 14th, 2007 @ 10:28
你這樣就不對了, saber 會黑化, 學妹會殺人, 怎麼說還是凜同學王道啊!
Comment by BlueCat — June 14th, 2007 @ 10:32
holy grail不是比喻说圣杯战争…是比喻以前大家都很想找到software verification，但是一直没有solution（就好比大家都很想找圣杯一样）.而MS在这方面跨出了一小步…
Grand Challenge in Verified Software这个全球project在2006才启动…15年的大项目，所以现在研究的人少些也比较正常.
另外觉得比较奇怪的就是…不管是何种formal techniques，都是在prevent error而非debug才对…
搜Bill Gates这篇资料的时候偶然进入这里，一点个人心得，请勿见怪。
Comment by DeathWish — September 2nd, 2007 @ 09:47