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...