2006年9月10日 星期日
洪秀全之耶穌是我哥哥
這段有趣的歷史,一直以來,讓我有種感覺,
如果太平天國勝利,西方不曉得會怎樣看待這樣的說法^-^…
難道是…耶穌又找到了失散多年的弟弟了?
既然有人稱自已是耶穌的兄弟,
那麼耶穌在來到人間之前是上帝之子,
假設耶穌在當上帝之子前叫X,
X的朋友叫穌YA,
那麼我們只要找到穌YA,讓穌YA告訴我們X當時的行為,
也許我們也能藉著學習X的行為,來變成上帝之子。
也許存在這樣的管道,所以才有洪公…
因此,我們可以得到一個怪怪的結論^0^:
一、等主耶穌再降臨之時,來帶大家上天堂。
二、尋穌YA管道去天界^^。
2006年9月8日 星期五
John Sickels預言的王建民
John Sickels在個人網站上預言,王建民今年將再拿一勝,以17勝7敗防禦率3.77結束球季,接著John Sickels也預言阿民明年勝場降低,不過三振數將首度破百,而阿民20勝的夢想要等到2010年,而且那一年也是取得自由球員資格前最後一個球季。
John Sickels也預言,建仔2014年離開洋基王建民職棒生涯的巔峰不過到了2013年就會開始走下坡,繳出5勝12敗的成績,在2014年離開洋基隊,2015投效老虎隊,最後將在2017年結束大聯盟的選手生涯,王建民一共+會在大聯盟出賽13個球季,拿下126勝94敗防禦率4.10的成績。
…以上資料摘錄自奇摩新聞…不曉得準不準,先將它copy下來,
以後自有分曉。
2006年9月6日 星期三
4號公園裡的圖書館(三)
這幾天暑假結束,
圖書館的自習座位在星期一到星期五,又多了起來。
我注意到圖書館有很好的一點,
就是中文圖書,每個月好像都會更新。
不過我用網路查了一下"新進館西文圖書",得不到任何一筆結果。
而查"新進館視聽資料",也是得不到任何一筆結果。
也就是說西文圖書和視聽資料不是每個月都更新的,
這讓我有點小小的失望。
4號公園的這個圖書館,西文圖書區,是不開放外借的,
我想西文圖書除了比較貴以外,有啥麼理由是不外借的呢?
難道是因為智慧財產法?…不懂啊…
本圖書館的2f資訊區,
有一點,我一直覺得滿奇怪的,
就是有些電腦有灌無蝦米輸入法,有些電腦沒灌無蝦米輸入法,
而本人偏愛打無蝦米,所以感到有點困擾。
我知道無蝦米是有版權的軟体,
但還是希望哪天能把全部2F裡的電腦都灌無蝦米,
我會覺得方便許多。
2006年9月2日 星期六
求解任一考卷上(decidable)是非題在polynomial time可reduce成SAT問題?
最近在想一個問題,
令問題X為,求取求解任一考卷上decidable的是非題的程序,
X 是否在polynomial time能reduce to SAT(satifiability) problem?
我假設,考卷上的是非題目其中一題,是有限個字的,為n個字。
且所用的字,可以在一本符號大全的書上找到,
而這本書有X'個符號,(包含空字元符號),這我們把題目上的每一個字用logX'取上高斯的bit數來表示,
令bit數為K。則我們可以設計一SAT Algorithm把題目每一個字都輸入下去,看是否satisfy。
總共是輸入nk個bit看是否satisfy,若是satisfy 則 輸出為圈,否則輸出為叉.
所以求解任一考卷上的(decidable)是非題的問題應該是能在polynomial time reduce to SAT problem的!
再想想,若不是是非題的情況,
則假設答案是有限個字所能表示的情況,令最多可用i個字表示,
因為所選的符號書包含空字元符號,所以答案實際上為j個字<=i,
而答案是什麼,可想成答案中每一個字元的第y個bit是否為1 ,(y有i*k個),
若satisfy則為1。所以要run SAT i*k次。
PS. any NP problem reduce to SAT is trivial, but SAT reduce to NP problem X, X is called NP-Complete.
後記:所以這結論是trivial的…
NP Problem
這一、兩天花了一些時間在研究啥是NP,NP-Complete,NP hard,
首先介紹P,是找得到polynomial time可解決的problem,
而NP problem 就是Non-determistic polynomial time problem,
也就是找得到nd-choice在polynomial time可解決的problem.
至於NP hard:有一problem X,而所有的NP problem在polynomial time可reduce to X,
稱problem X為NP hard.
在這邊reduce指的是: A is reducible to problem B, 表示解了B就可以解決A問題,所以計算A問題,
不比計算B問題複雜(A cannot be harder than solving B)
NP-Complete:若是一個problem 屬於NP,也屬於NP hard,則此problem 是NP-COmplete.
而且若是一個NP-Complete problem存在一polynomial time的解法,
則所有NP problem都有 polynomial time的解法。
2006年8月29日 星期二
燒肉粽專賣店
中和安和路上,有一家燒肉粽大賣場哦,
裡面有賣粽子、四神湯、人參雞湯、碗桂…等,
他的粽子,有分南部水煮粽、北部蛋黃三寶粽…等,
是難得一見的肉粽專門店哦,
詳細地址在:台北縣中和市安和路141號
老饕麼可以去嚐一嚐^^
2006年8月27日 星期日
小明式哲學
就去問他旁邊的同學,
請問:鯨魚跟人,在神的評價中,哪個好?
他同學回答,你看鯨魚那麼大,當然是鯨魚好。
過了幾天,最後一名又想到一個相關的問題,
就去問小英:汽車跟人,在神的評價中,哪個好?
小英回答:在神的評價中,都是一樣的。
又過了幾天,最後一名又很苦惱,
他決定向小明請教這最難的一題,
他問:人和狗,在神的評價中哪個好?
小明很認真的回答:
狗大便比較小,人的大便比較大。
狗對地球的汙染比人小,
所以結論是…
最後一名:?
小明:人不如狗!
Lean 4 極簡教學 (Using VS Code on macOS)
1. Install Lean Environment: https://lean-lang.org/install/ 試著完Step one, two, three 2. 在VS code下,建一新的project: 取名Hello_World 3. 嘗試執行Main.lea...
-
之前安裝photoshop CS2常常不能破解, 今天總算安裝成功, 原來是忘了執行"crack.exe"。 詳細step as follows: 1.安裝photoshop cs2,在安裝過程中,必須"一直按下一步", 不能改目錄位置,也...
-
關羽跟張飛都掛了 劉備找孔明訴苦 劉備:「雲長魂歸故里,如今三弟也溘然長逝,真乃大悲啊」 孔明:「甜度?」 劉備:「大悲無言」 孔明:「我是問甜度,不是加不加鹽…」
-
今天中午,跟老姐一起看一公升的眼淚DVD, 後來老媽也加入來看, 看完之後,覺得還不錯, 劇中維持日劇一貫的風格,場景不多, 音樂非常優美,出場的人物不多, 主要圍繞在亞也、亞也他媽媽和醫生、同學間, 一公升的眼淚,是在1986年出的,現在也有中譯版了, 有興趣的網友可以去 博客...