My QR-code try it !!

My blog QR-code try it !!

My FB QR-code try it !!

參考網址: http://qrcode.kaywa.com/

出沒

我現在都在噗浪出沒比較多
http://www.plurk.com/blophin

不過因為設定了噗浪會自動轉po facebbook (跟twitter)
所以facebook也會看到我的足跡
http://www.facebook.com/Blophin?ref=profile

從回應的族群屬性看來
在噗浪上回應的多屬於政治或經濟議題相關的網路社群
在facebook上回應的多屬於工作或生活議題相關的網路社群
雖然也有例外
不過目前大致是如此

至於國際上使用較廣泛的twitter
http://twitter.com/blophin
反而沒有多少人回應
應該是因為我的網路社族還沒那麼廣
目前都侷限於台灣

附帶一提的是
不知道是哪裏看到的資料
目前facebook已經成為台灣流量第二大的網站了(第一名是Yahoo)
若單以社群網站流量來看的話是第一大
下學期我準備用這個免費的平台來作一個e-learning的實驗研究

另外有人認為微網誌會取代網誌
不過我認為屬性不同
不能這樣看

如果網誌是書本的話
微網誌就比較像雜誌了
如果網誌是筆記本的話
微網誌就比較像一堆便條紙了
雜誌會取代書本嗎?或一堆便條紙會取代筆記本嗎?
短期中期看起來都還不會
所以或許可以比較保守的說是相輔相成

關於數學證明的一些筆記

數學證明分四個基本層次:
公理集合 ⊃ 公設集合 ⊃ 定理(Theorem)集合 / 引理集合 / 推理集合 ⊃ 命題(Proposition)集合

1.同類學科的不同的公理集合劃分出並行領域內的不同學科
比如: 數理邏輯學和度量幾何學

2.同一學科內的不同的公設集合劃分出並行的不同子學科
比如: 在平面幾何學中旗下的子幾何學有歐幾里德平面幾何學, 伽利略平面幾何學, 鮑耶爾雙曲幾平面何學等.
所有這些平面子幾何學它們的公理集合都相同, 但是公設集合不相同, 而且相互對立的矛盾公設都不會在同一個公設集合中. 比如: “過直線外的一點決沒有任何一條平行線的公設”屬於伴歐幾裏德平面幾何學, “過直線外的一點有無數條平行線的公設”屬於鮑耶爾雙曲幾平面何學等.

3.同一子學科內的不同的定理集合劃分出並行的不同篇章

4.同一子學科內的不同的命題集合都是需要使用一定的定理集合給予證明

以上整理自: http://sciscape.org/smf/index.php?PHPSESSID=8503c0d90f2a7b09a8a19b50bfb02e5a&topic=17922.msg36089#msg36089

***

* 名詞定義 *
定理(Theorem)
命題(Proposition)
引申定理(Corollary)
輔助定理(Lemma)

假設(Assumption)

* 名詞解釋 *
Theorem: 就是定理, 比較重要, 簡寫是 Thm

Proposition: 有人翻譯為"命題", 有些作者喜歡用, 大概也可以算是比較簡單的定理的一種稱呼

Corollary: 引申定理或推論, 由定理立即可推知的結果

Lemma: 輔助定理或小定理, 通常是為了證明後面的定理. 如果證明的篇幅很長時, 可能會把證明拆成幾個部分來敘述, 篇幅可能變多, 但脈絡較清楚

Property: 性質, 結果雖然值得一記, 卻沒定理來的深刻

Claim: 證明時先敘述一個結果, 再作證明. 看的人比較輕鬆

Note: 通常只是一個註解

Remark: 涉及一些結論, 比較起來"Note"比較像說明,  "remark" 則常是非正式的定理

至於"定義"可以想成是一個若且唯若的定理

以上整理自: http://hicammie.blogspot.com/2008/05/theorempropositionlemmacorollaryassumpt.html

Impact Factors Medical Informatics Journals

Check out this SlideShare Presentation:

Impact Factors Medical Informatics Journals

View more presentations from guest886354.

ㄧ些關於網址的常識

如同房子的住址

每一台電腦在網路(Internet)上都有一個位置供作定位

叫作IP

長相是阿拉伯數字(4個0~255間的數字)

ex. 140.112.8.116

(這數字本身在網路上是有意義跟邏輯關係的

不過這邊先略過不講)

人類不擅長記這一長串數字

所以就發明了domin name

如同取綽號ㄧ樣

長相是英文字(不ㄧ定是四個一組)

ex. www.ntu.edu.tw

這對人類來講比較可以意會

所以比較記得住, 或用邏輯思考就可以推演出來

例如: ntu是台灣大學, edu是教育部門, tw代表台灣

最前面的www就是機器本身的服務類型或名字

ㄧ般俗話說的"網址"就是指這個domain name

不過網路上的電腦仍然是用IP在定位

不是用domain name

那對大部分只知道domin name的人怎麼去對應IP呢?

當然不可能每個人自己帶ㄧ張對應表

所以就發明了ㄧ個負責對應這兩個名稱的機器叫做DNS(domain name server)

它裡面有紀錄對應表

會負責把你機器送出來的domain name自動翻成IP再丟回給機器

讓機器自己去尋找它要的電腦(位置)

你可以試著在瀏覽器上打140.112.8.116或www.ntu.edu.tw

出來的網站是同ㄧ個

上面說的是Internet上的命名

IP必須被配給

domain name則需要跟主管單位申請

如果沒去申請domain name

機器本身的定位就只有當初配給的IP

其它網路(例如: 網路芳鄰)也有自己的命名規則

這邊就不說了

介紹Google reader

今天介紹一下Google reader

0. 緣由

1. reader的種類

2. Google reader的用法

0.緣由

用reader(閱讀器)來訂閱RSS

以便瀏覽他人blog的文章這件事

對學電腦的人來講應該很簡單

不過因為blog(嚴格來說是BSP提供的環境)太簡單了

很多寫格子的高手其實沒有學過啥電腦

不需要懂太多工具

經營出來的格子就夠嚇嚇叫了

寫自己的格子沒問題

但看別人的格子就有一點小麻煩了

他們好像還是用土法煉鋼的方法一家ㄧ家去看

這個方法真的是土法煉鋼啊

因為也不是每ㄧ家格子是天天更新的

所以瀏覽起來真是曠日費時

結果有ㄧ些格友就問我: "那你都怎麼瀏覽別人的blog?"

我說: "就用reader啊"

"啥是reader?"

"reader就是#$^&* ..."

這樣的說明

我重複了好幾次

乾脆把它寫下來好了

1.reader的種類

所謂reader就是用來訂閱網路文章(只要有提供RSS)的工具

ㄧ般訂閱的通常是blog型式的文章

這樣以後只要該blog有出新文

經由push的技術(這聽不懂沒關係)

就可以直接在所使用的reader上看到新文章(的標題)

而不用ㄧ家ㄧ家去查看了

reader有三種

一種是獨立軟體

下載, 然後安裝在自己的機器上

缺點是每ㄧ台你可能用到的電腦都要安裝才能用

不知道算不算優點

訂閱的紀錄是記錄在機器上而不是網路上

ㄧ種是BSP提供的功能(例如: Xuit的"我的親友團")

把那功能拉到自己blog的版面上

就可以開始使用

進到那個功能

把要訂閱的網址貼上去就好了

這有ㄧ個好處:

上BSP寫blog時可以順便看別家格子是不是有出新文

(我沒用這個

我第一次設定"我的親友團"時

試著訂閱後

那個欄位還是ㄧ片空白

我就不用了)

我用的是最後一種

網路(頁)上提供的功能(例如: Google的"Google reader")

Google reader不愧是Google出品

很好用啊

走到哪用到哪

只要到Google上註冊一下帳號就好

也不用安裝軟體

(網址也不用記

Google上打reader就會出現)

以下就說明一下它的用法

2. Google reader的用法

格友註冊完帳號

就可以進入它的介面開始訂閱有興趣的格子

把要訂閱的格子首頁網址貼上就可以了

如果有固定使用的機器(及瀏覽器)

你登入過ㄧ次

瀏覽器會記住你的身分

以後每次進去就不用再打帳號了

(除非你登出)

所以在公用電腦用完這

記得要登出

不知道算不算缺點

如果要說有啥不妥的話

大概就只有訂閱紀錄是記錄在Google那邊

不是在自己的機器裡

這也許也是優點

不管哪一種

就選一個適合自己用的reader來看吧

不要再ㄧ家ㄧ家去點了

試reader的時候

我提供這個網址讓你試訂看看:

http://blog.xuite.net/blophin/blog < copy這網址貼到reader的"新增訂閱"就可以

social health space 相關

1. social health space /SHS

輔大資工建置
使用OSS Content Management System Drupal作平台建置

整合目前全球最大的虛擬世界second life(免費註冊)跟Google calender
(如何mix? 需花時間實作才知道, 技術重點?)

SHS內設計有個人健康紀錄(health portfolio)的基本功能
依照日期時間紀錄
由個人紀錄之
紀錄可匯出匯入
病友用分享機制控制其他病友(重症肌無力), 志工或專業人士(如醫生)的存取權限

故情境為慢性病病友社會網路

***

Drupal: 內容管理系統

secon life 第二人生(參閱下文)

***

2. social learning space

socail learning space: learning with virtual and social services part1 / part2 / part3~

secon life 第二人生介紹 / linden lab製作 介紹

Gartner / 中文介紹

immersive experience 沉浸式經驗

avatars AVs 虛擬分身 / residents 住民
一人可以有兩個(以上?)帳號

2.0 Era

...

Computng machinery and intelligence 單字/雜記

Oil preserves metal form rust.

duplication (mirror as a logical one / a physical two) V.S. replication (copy as an independent one)
other http://forum.wordreference.com/showthread.php?t=482787

adaptation / adaption 適應 V.S. adoption 採用

machine > machinery

Gallup poll

interrogator

be written, or better still, typewritten

The medicine did not avail 幫助 against the disease.

ado: 麻煩, 費力

flesh and blood

specimen 樣本 questions and answers / question and answer method

human endeavor 努力

penalize 使不利 the machine / a man

he often brags about how well he plays golf.

on the ground 在普通人中

She made no definite answer.

deviate 脫離;越軌

moderately 適度的

p.433~p.437

夠不夠份量?

有一天跟朋友聊到impact factor(IF: 影響係數)

發現彼此的經驗有些不ㄧ樣

主要是他記得的IF是介於0~2之間

我則是記得看過比2還大的IF

念了這幾年書

並沒有好好去看過IF的定義(ISI/institute for science information的定義)

所以趁這次機會來查一下

手邊工具書一下就查到了

網路上也有

直接來借用一下:

"某年度之中引用某特定期刊前兩年發表的文章的總數除以該期刊前兩年的文章總數。

舉個例子，假設我們要知道貓頭鷹期刊（虛構）的2005年的impact factor，

如果貓頭鷹期刊在2003年與2004年總共出版了100篇論文，

而這100篇論文在2005年被引用了300次，那impact factor就是300/100 = 3。

這是很不錯的數字了。"

(以上引號內文字轉貼版權自: http://owlet.pixnet.net/blog/post/211672)

簡單的式子(舉例IF2005年)就是這樣:

IF2005=(C2003+C2004)/(P2003+P2004)

C(年): 被引用次數

P(年): 出版文章數

所以大於2是有可能的

至於我朋友講的那個數值是什麼

我就不知道了

不同學門或不同性質的期刊

ㄧ率用IF打死

其實並不ㄧ定合理或公平

但這邊暫不討論

"不可盡信的impact factor"有稍微提到

大家可以參考

雖然IF不是那麼完善

不過, 在某種程度上, 它仍是衡量一篇paper"影響力"的重要指標

(說穿了就是夠不夠份量啦)

還沒"上車"的人

跟我ㄧ樣, 目前暫時還是只能先照著遊戲規則走

blog到底有什麼用?

我舉個例:

我用Google reader訂閱了Library Views圖書館觀點好一陣子

雖然從沒在上面留言

(還是有留過一兩次言? 我忘了)

不過的確是從那邊獲得了許多東西

對格主Ted的工作與分享充滿了敬意

Ted應該是圖書館管理人員

所以常常可以從他的文章裡

得到許多圖書館經營的知識跟最新訊息

除此

上面也整理了很多關於blog這種書寫工具(或說現象)的筆記(附文末)

先不講格主自己觀點的文章

光引介或幫忙翻譯國外學者或blogger的文章這一點

就讓我省下了很多時間

就算不提個人生活分享或情感抒發的好處

在廣義的知識管理活動上

blog提供了觀點, 知識, 最新訊息

最起碼也提供了整理過(and/or翻譯過)的筆記

重要的是

在Web2.0上有成千上萬像Ted這樣的人

這網路效益是不容忽視的

***

這裡順帶提一下Ted這篇筆記:

(習慣看英文的人可以直接看原文

跟我一樣的人, 哈哈, 沒關係可以看Ted的整理)

2008年底Chris Brogan寫了這篇27 Blogging Secrets to Power Your Community

裡面提供了27招不錯的寫格子的竅門

Ted翻譯的中文寫在27個部落格書寫的秘訣這篇裡面

大家參考看看, 也許有用

以下列表轉貼(版權): http://libraryviews.blogsome.com/2009/02/04/783/

"Starter Moves(編按: 翻譯成"入門")

1. 吸引人的文章標題。

2. 在文章裡插入一張圖片也可以吸引眼球。

3. 在文章一開頭就先問讀者問題，如此一來讀者會在閱讀你文章的同時或之前就思考你的問題。

4. 善用字型的變化，如用粗體字強調某些重點....等。

5. 最重要的是要寫些對人有用的東西。

6. 文章內容要力求簡潔。

7. 不要把所有的東西都寫出來，留一些給讀者來回應或提供看法，這樣也可以達到讀者參與的目的。

8. 每篇文章長短不一，這樣讓人感覺起來好像在讀雜誌或報紙。

9. 利用彙總表(editorial calendar) 來紀錄你已經寫了那些類型的文章，以及你打算要寫的文章類型，這會幫助你的文章多一些變化。

Technical Stuff(編按: 翻譯成"技術")

10. 一個乾淨美觀的部落格模版(theme) 是很重要。

11. 讓人很輕易的就可以訂閱你的部落格，例如可以透過 Email、RSS…等多種方式，並且同時提供一些簡易訂閱RSS的工具。

12. 在一些知名的部落格搜尋引擎設立你部落格的資料，例如 Technorati。

13. 考慮改變你部落格文章的靜態連結(permalink) 結構，例如 Change it to custom and put /%postname%/。

14. 如果你擔心文章被別人 “剪貼” 過去，或者你歡迎別人轉載，那就在文章中加一些連結，讓人們知道文章的來源。

15. 仔細評估你所使用的每一個外掛和 widget，是否它們讓部落格的速度變慢，或者它們是否讓你的部落格變的更聰明了?

16. 多學一點 HTML，例如如何連結、新增圖片、不同的字體...等。

17. 不要強迫人們必須註冊後才能留言。

18. 科技是用來服務你的社群及內容的，不是好玩而已。在使用這些新技術或工具前可以好好加以思考這樣的問題。

The Bonus Round(編按: 沒有翻譯, 我想是"加分"的意思吧?)

19. 在一些社會性平台分享你的部落格文章，例如用 Twitter 也可以訂閱你部落格的 RSS。如果不需要每一篇文章都分享，也可以手動分享到 Twitter。

20. 一些社會性網站都可以將你部落格的文章整合進去，例如 Facebook 及LinkedIn。

21. 文章中要經常連結到其他部落格。

22. 在其他人的部落格上留言，這是與別人交流、交朋友的好方法。

23. 記得要回覆別人在你部落格裡的迴響。

24. 展示出你的社群，作者的範例在這裡。(LV註：或者可以試試MyBlogLog 或 Google Friend Connect)

25. 要持之以恆。雖然不必每天都要寫一篇文章，但至少每週一篇吧!

26. 有時可以老調重彈，把一些舊的、重要的內容再寫過，這特別對新的社群成員很有用。

27. 施比受更有福。實在無法期待可以從社群中獲得些什麼，但可做的是持續對你的社群付出，例如分享你的一些秘訣等等。"

***

Library Views圖書館觀點中關於經營blog的文章列表:

寫部落格的 20個秘訣

27個部落格書寫的秘訣

部落格要寫些什麼內容才能夠吸引人?

如何讓你的 blog 更受歡迎

10 個讓 Blog 可以獲得更多迴響的技巧

如何在你的部落格建立社群

如何成為一位成功的 Blogger

部落格經營的重點與要訣

Usable sentences

不充分(一直被忽略)的研究
1. So far the study of ~ has been superficial.
2. Little attention has been given to the point.
3. Only few attempts [Surprisingly few studies] have so far been made at ~

完成的研究
4. Over the past few years [decades] a considerable number of studies have been made on ~
5. Over the last few years [decades], ~ has been the subject of controversy.

研究了, 但不充分
6. Although ~ has been an object of study for a long time, there is little agreement as to ~
7. A great deal of effort has been made on ~. what seems to be lacking, however, is ~

***

論文主題是~
8. We are concerned with ~ [We deal with ~]
9. The purpose [aim] of this paper is to consider [show / demonstrate / examine / formulate / solve the problem of / answer the question of / profound a theory of / advance a new theory to explain] ~
10. This paper is intended as an investigation of ~

排除與論文無關者~
11. We are not concerned here with ~
12. ..., but this is not our present concern.
13. A close study of ~ is not necessary for our purpose.

各章主題ex.
14. Chapter 1 attempts to illustrate that ... Chapter 2 survey ~ with special emphasis on ~. Chapter 3 analyzes ~ presented in the first two chapters. Chapter 4 furnishes an argument against ~.

持有證據

15. There is evidence in plenty to show that ... (很多支持)
16. There is evidence in favour of [in support of, to support] ~ (支持)
17. There is evidence against the idea. (反對)
18. There is further evidence to suggest that ... (更多證據)

19. It would be possible to argue (thought the evidence is not compelling) that ... (沒有證據, 但可譯論)

20. the authenticity for ~ is doubtful [remain uncertain]. (懷疑)

以上整理自"崎村耕二, 英文論文寫作技巧, 2002"

erlang測試紀錄

我自己看的筆記, 生人勿近, 沒有解釋, 看了會頭暈

老闆說: "你測一下這個erlang"

在這之前沒聽過這個語言

但是聽說很紅

(真是學海無涯啊!)

說是用來跑分散式計算很好用

又追加ㄧ句: "期末做一下報告!"

"喔好~"

所以就這樣開始了

1.erlang有Windows跟Linux兩種binary版

Windows版的連結在這裡: http://www.erlang.org/download.html

點進去 > 選清單最新版 > 下載(網路太慢了ZZZ) > 依序安裝就可以了

2.這邊也有原始碼

嫌事情太少的人可以自己設定組態make成binary檔

(這樣做好像沒啥好處)

作法: 略

3.或者利用它的工具包CEAN安裝

(這是啥?)

有空我再來搞懂

http://cean.process-one.net/download

接1.的步驟:

已經安裝好erlang了

這就開始吧

先玩一下erlang shell看看

出現:

(BEAM) emulator version 5.6.5 [smp:2] [async-threads:0]

Eshell V5.6.5  (abort with ^G)

1>_

測試一下指令:

%: 註解

.: 句點表指令結束, 初學者常忘記

每一指令執行完, 提示數字會加1

計算能力很強

我測了這個:

99999999999999999999999999999999999999999999999999999999999999999999999*999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999.

結果:

99999999999999999999999999999999999999999999999999999999999999999999998999999999999999999999999999999999900000000000000000000000000000000000000000000000000000000000000000000001

雖然沒驗算, 應該沒錯

erlang使用任意長度的整數, 整數算術沒有溢位(overflow)的問題(其它呢?)

指令變色麻煩, 下面筆記自己辨識囉

也可以使用其它基底運算, 像這樣:

16#cafe*32#sugar.

1577682511434

儲存變數:

X=123.

123

erlang規定變數名必須是大寫開頭

所以

X*X*X.

1860867

但是再輸入X=1234.會出錯

書上說:

1.X不是ㄧ個"變數", 至少不像在Java中慣用的那樣(但是在erlang中還是稱作變數variable)

2.=不是assignment operator

這兩點對新手(就是我)都很詭異, 原因?

erlang具有"單一指定"變數

單一指定變數只能夠被賦予值一次

已具有指定值的變數稱為bound variable

未.........................unbound

變數一開始都是unbound

=是pattern matching(模式比對)operator, 如果X unbound, =的行為就等同assignment operator

X=X+1在erlang中不能用

所以 > X1=X+1

/: 浮點數除法

div: 整除

rem: 求餘數

(單引號或小寫字母開始的)atom(原子)用來表示非數值的常數

CH2 p25~ tuple(值組), list(清單), 沒有字串

可不可以跳過直接看CH7, CH8的重點?

待續...

代理成本(Agent Cost)

學校系所評鑑

搞得天翻地覆

(除此當然還有其它一堆大大小小的內部評鑑)

剛好讀到"代理成本"(Agency Cost)的理論這段

很能解釋為何企業會發生"評鑑"這種事

所謂"代理成本"的定義就是:(林東清, 資訊管理, 2008)

"由於企業主與代理(例如: 員工或外包廠商)之間目標的差異所造成的成本,

包括監督成本(Monitor Cost), 束縛成本(Bonding Cost), 殘餘成本(Residual Cost)"

監督成本: 是指企業主為了要監督代理人或管理者為了監督員工, 所花費非生產性的額外成本

束縛成本: 是指代理人為了應付監督, 所要額外從事非生產性的表單製作等工作所花費的成本

殘餘成本: 是指除了監督成本與束縛成本外造成企業主損失的其它成本, 例如政治鬥爭, 權力遊戲, 粉飾太平, 本位主義, 不合作等(Jensen & Mechling, 1976)

評鑑的原始用意也許是好的

不過如果評鑑過了頭

倒果為因

反而忘了評鑑的結果只是為評核了企業原來的生產性目標

監督成本跟束縛成本大幅提升

(並導致或放任殘餘成本的增加)

大大超過評鑑所能帶來的有形或無形利益

企業主就必須有所深思與取捨了

Greedy Method之希望雪隧大塞車

兩天ㄧ夜的宜蘭行

跟台南家人在太平山腳道別

她們繼續南下花蓮...

我們ㄧ家4.5口(昨天)從宜蘭回來

回程採用"Greedy method"的方式

(這是啥?)

所謂"Greedy method"

ㄧ般翻譯成"貪婪演算法"

是演算法裡用來解決問題的ㄧ種方法

用白話講就是:

"短視近利"

"短視近利"這句形容要用中性的角度來看

才不會誤解原意

並沒有文學上負面的意涵

只是在形容一種處理資料的作法

講得文謅謅一點, 也就是:

"只看(選擇)我當下的最佳解

不管整體或未來如何"

如果資料長得好

Greedy method可能剛好就是最佳解法

如果運氣不好, 也就是資料長得不好

Greedy method反而可能就變成最差的解法

或解不出來

所以我們昨天的Greedy method成效如何?

1. ㄧ開始是上礁溪的交流道大塞車(還有一個小車禍)

Greedy method告訴我們要往前走

不要上交流道

2. 然後是9號北宜跟2甲濱海

看地圖9號北宜ㄧ開始就是九彎十八拐

Greedy method告訴我們要走較平坦的2甲濱海

(pm5:00東北角天色就暗了, 開始後悔沒走北宜)

3. 近瑞芳時

遇到62號快速道路指標

"之前好像開過, 會不會接中山高? 忘了..."

Greedy method告訴我們要走熟悉的平面道路

(後來慢慢推進到中山高路口, 才發現62號也接過來了, "我咧!")

4. 然後是十八標跟平面中山高

Greedy method告訴我們要走十八標

約pm6:30"路過"三重

這裡有個小插曲

原本行程中還預定要去格友向日葵三重的店突擊"微服"交關

結果...

"路太過"了

我南下一號中山高是開十八標

下了十八標...

"咦? 已經接收費站了? 三重咧?"

這時才發現

原來那個要開平面高

"我咧, 這條路大概走過101次了, 還不知道喔?"

原來自己也很烏龍

(好吧! 那只好先記在牆壁上

下次有機會再去"微服"交關)

pm3:35離開太平山腳

7:00多才到達林口吃飯

(還漏了三重向日葵的點)

這就是這ㄧ次採用Greedy method的結果

又累又餓...

我們唯一能做的事就是:

詛咒雪隧大塞車...

p.s.真的在雪隧塞到車的人不要罵我啊

我只是在阿Q我自己而已

再p.s.繞去向日葵格子看一下

原來他們的店星期天公休

沒看清楚...

還好昨天沒去

不然就撲空了

這是這次Greedy method惟一的好處

寫paper . 談戀愛

昨天找老闆meeting

他說:

'你寫paper要集中火力

不要拖太久

如果分開寫

有時候光熱身

就要很久

這樣是寫不出來的

我們預期寫paper的進度會是:

10% > 20% > 30%> ... > 90% > 100%

可是通常都會是:

10% > 20% > 25% > 30% > 32或31%...

然後就完了

寫不了

所以要一鼓作氣

最多最多最多

ㄧ篇paper不可以超過3個月

(編按: "3個月"這個時間是可以算出來的)

所以當你"開始"寫ㄧ篇paper的時候

站著也要想paper

坐著也要想paper

吃飯睡覺都要想著paper'

最後這段

真像是在談戀愛

但是可不要談了3個月的戀愛不到

就被甩了

眉批形式的格子文章

blog最早出現的用意之ㄧ

就是用來整理格主的知識或新知的連結

有時並附加眉批

幾天前我在昆蟲那邊又看到這樣的寫法

就把這樣的文章形式節錄過來(***號後)

善用超連結的特性

我們可以看到原始blog不同於傳統文章的寫法

也可以觀察到這種原始blog與現在一般格子的表現方法跟樣版不大相同

對照現在格子的寫法

雖然這種型態可以稱得上是"懷舊"了

不過因為功能性還很強

我想這應該不會退流行吧

以個人知識管理來講

我也很喜歡這種寫法

暨省時間又方便整理

***

"本來想一週整理一次，奈何時間有限，這些大概是十多天的資訊 :

英國用恐怖份子條例凍結冰島在英國的資產 : (Time)

British government …  invoked a 2001 antiterrorism act to freeze an Icelandic bank’s assets in Britain.

中國美耐皿（三聚氫胺）麻煩可能會越來越大 (Time).

用左手的人比較壓抑、害羞 (BBC)

多雨多自閉兒 (BBC):

The US study found autism rates were higher among children whose states experienced higher rainfall in their first three years.

中國製造業在十月大幅下降 (BBC)

中國殺警嫌犯受到廣泛同情 (The Econmist)

全世界 iPod nano 的價格(paul.kedrosky.com)

憤怒的台灣人圍住中國特使的旅館 (Fox News)

IMF 看到 2009 年全球經濟衰退（Wall Street Journal )

中國失業造成大城市的出走潮 (BBC)

台灣是世界第一個限制購買Freddie Mae, Fannie Mae, Freddie Mac (FRE) 和 Ginnie Mae的國家 : (白痴金管會）

Taiwan’s financial regulators reportedly have ordered that nation’s insurance companies to pare their holdings of the debt and mortgage-backed securities of Fannie Mae, Freddie Mac (FRE) and Ginnie Mae securities, according to a report on the Internet site of Asian Investor magazine.

中國的經濟部長謝旭人飛了 32 小時到 Peru，還沒參加會議就被召回處理經濟危機（有那麼急、那麼嚴重嗎？）

中國第二個月停止進口柴油

綠地對健康有益 (BBC)

New Hampshire 州容許十年級的高中生畢業去大學上課 (Time)

中國製的有毒血液稀釋濟被查扣 (Scientific America)

連假藥都不用，水就有藥效了 (Scientific America)

市場十大法則

中國十月用電較去年少 4 %

中國空航運大衰退 :

China Eastern (Shanghai-based)

Revenue Passenger Miles (RPM): -13.4%

Air China (Beijing-based)

RPM: -7.9%

China Southern (Guangzhou-based)

RPM: -5.4%

Freight is down too (tonne-kilometers):

China Eastern: -21.5%

Air China: -14.3%

China Southern: -15.2%

中國關廠、工人受苦 (New York Times)

謝清志控訴鷹犬走狗檢察官

中國宣佈 $US 586,000,000,000 的振興景氣方案 [1] [2]"

以上整理轉貼(版權): http://insectlin.wordpress.com/2008/11/20/recent_info/

doctoral studenot

Lab meeting之前都是碩士生報告

今天博士生第一次報proposal草稿

報完之後老闆給評論

維持他一貫的溫文儒雅

每一個字的發音

都是輕聲細語和顏悅色

可是經過空氣傳到我的耳朵裡

卻是如雷貫耳擲地有聲

像這樣...

報告完

同學們也依序發問, 評論與建議完

最後是老闆講評

依然輕聲細語:

"我對博士生的要求比較高, 你們(指台下的同學)不能只是發問, 評論, 建議 , 而是要challenge上面報告的人..."

經過空氣傳到我的耳朵裡, 用白話翻譯, 聽起來像這樣:

"你們這些博士生還在混嗎?

連提個問題都不會啊?"

另外一個評語

"你今天報的這個還少一塊, 你報的是introduction, 還有一塊是related work沒介紹..."

(老闆一眼就看穿這個報告的不完整)

經過空氣傳到我的耳朵裡, 用白話翻譯, 聽起來就成了這樣:

"你在混什麼? 根本沒作嘛!

下來, 不要報了, 下次弄好再報!"

之前只是突然有感而發

想到在報告的投影片上署名身份"doctoral studenot"自嘲

這下子真的"博士, 生不出來"了

後記:

老闆說話的樣子一向都是"輕如鴻毛"

可是我聽起來卻都是"重如泰山"

(老闆就是有這種神奇的力量)

不過比起其他聽過的慘不忍述的case

我真的是遇到一個好老闆

再怎麼感恩都不為過

但是今天開車回來停好車

還是在車子裡鬱卒了一個小時才有力氣走上樓

進度落後

已經沒有時間悲傷了...

First order logic (首階邏輯 / ㄧ階邏輯)

除了希臘字母

寫Algorithm或computer science方面的paper

常用到正規(正式/形式)演繹系統(formal deductive system)

這套演繹系統叫做"First order logic" (FOL)

有人翻譯成"首階邏輯"

Wikipedia裡則是翻譯成"ㄧ階邏輯"

為什麼需要FOL呢?

FOL使用正式或正規已定義好的符號跟用法來敘述邏輯關係

以解決自然語言, 如英文, 無法直接程式化的問題

上面兩個連結就是Wikipedia裡的英文跟中文兩個版本的連結

(中文版翻得不是很順, 建議看英文版)

不過貼完就天黑了

有需要的人自己連進去看

這邊僅收錄Logical symbols及其變化:

"Logical symbols

Besides logical connectives such as , , , and , the logical symbols include quantifiers, and variables.

1. An infinite set of variables, often denoted by lowercase letters at the end of the alphabet x, y, z,... .


2. Symbols denoting logical operators (or connectives):
   
   
   
   • The unary operator (logical not).
   
   
   • Binary operators (logical and) and (logical or).
   
   
   • Binary operators (logical conditional) and (logical biconditional).
   
   
   
   


3. Symbols denoting quantifiers: (universal quantification, typically read as "for all") and (existential quantification, typically read as "there exists").


4. Left and right parenthesis: ( and ). There are many different conventions about where to put parentheses; for example, one might write x or (x). Sometimes one uses colons or full stops instead of parentheses to make formulas unambiguous. One interesting but rather unusual convention is "Polish notation", where one omits all parentheses, and writes , , and so on in front of their arguments rather than between them. Polish notation is compact and elegant, but rare because it is hard for humans to read it.


5. An identity symbol (or equality symbol) =. Syntactically it behaves like a binary predicate.

Variations

First-order logic as described here is often called first-order logic with identity, because of the presence of an identity symbol = with special semantics. In first-order logic without identity this symbol is omitted.

There are numerous minor variations that may define additional logical symbols:

• Sometimes the truth constants T for "true" and F for "false" are included. Without any such logical operators of valence 0 it is not possible to express these two constants otherwise without using quantifiers.


• Sometimes the Sheffer stroke (P | Q, aka NAND) is included as a logical symbol.


• The exclusive-or operator "xor" is another logical connective that can occur as a logical symbol.


• Sometimes it is useful to say that "P(x) holds for exactly one x", which can be expressed as x P(x). This notation, called uniqueness quantification, may be taken to abbreviate a formula such as x (P(x) y (P(y) (x = y))).

Not all logical symbols as defined above need occur. For example:

• Since ( x)φ can be expressed as (( x)( φ)), and ( x)φ can be expressed as (( x)( φ)), one of the two quantifiers and can be dropped.


• Since φψ can be expressed as (( φ) ( ψ)), and φψ can be expressed as (( φ) ( ψ)), either or can be dropped. In other words, it is sufficient to have or as the only logical connectives among the logical symbols.


• Similarly, it is sufficient to have or just the Sheffer stroke as the only logical connectives.

There are also some frequently used variants of notation:

• Some books and papers use the notation φ ψ for φ ψ. This is especially common in proof theory where is easily confused with the sequent arrow.


• ~φ is sometimes used for φ, φ & ψ for φ ψ.


• There is a wealth of alternative notations for quantifiers; e.g., x φ may be written as (x)φ. This latter notation is common in texts on recursion theory."

以上"Logical symbols及其變化"轉貼剪輯自(版權): http://en.wikipedia.org/wiki/First-order_logic (retrieved 11/16)