派︰昔有『 Thue 』者,其言曰︰
阿克塞爾‧圖厄【挪威語 Axel Thue】一位數學家,以研究丟番圖用『有理數』逼近『實數』問題以及開拓『組合數學』之貢獻而聞名。他於一九一四發表了『詞之群論問題』Word problem for group 啟始了一個今天稱之為『字串改寫系統』SRS String Rewriting System 的先河,如從現今的研究和發現來看,它與圖靈機的『停機問題』密切相關。上個千禧年之時,John Colagioia 用『Semi-Thue System』寫了一個『奧秘的』 esoteric 程式語言 Thue ,作者宣稱︰
Thue represents one of the simplest possible ways to construe 『constraint-based』基於約束 programming. It is to the constraint-based 『paradigm』典範 what languages like『 OISC 』── 單指令集電腦 One instruction set computer ── are to the imperative paradigm; in other words, it’s a 『tar pit』焦油坑.
,果然概念廣大能通天!!『 SRS 』卻是個『奧秘語言』??
洛基的賭注 Loki’s Wager
洛基乃北歐神話中以『詐騙』著名之神。傳說他曾與矮人打賭卻輸了。當矮人們依約來『提頭』時,洛基說︰『沒問題』,但是必須依照『約定』,只能取走『他的頭』,而不能動著『他的脖子』。於是彼此開始『爭論』該如何的『切割』:有哪些部分雙方同意『是頭』;又有哪些部分認同『是脖子』。只是脖子的『結束點』和頭之『開始點』究竟『是哪裡』,互相一直無法『取得共識』。於是洛基終於保住著了他的頭。
因 此『語言學家』在『定義』他們的『術語』時,通常採取數學家和邏輯學家的『方式』,舉例說,集合 代表一個『形式語言』中的『字彙』集合,也就是說 的元素是某種『抽象』語言的語詞。假使 ,『序連』 concatenation 是指像『』這樣的把語詞串接成『字串』,那麼要如何表達『任意多個字彙序連的字串論域 』呢?他們使用著美國數學家 Stephen Cole Kleene 的『Kleene star』Kleene之星遞迴的表示成︰
,『空字串』的集合,
,
,
…
。
雖然這樣作有點『麻煩』,作的好處就是『清晰可驗證』。此處的『 』是包含零的『自然數系』,而『 』是不包含零的自然數系,假使所指的論域不包含空字串,一般會記成︰
。
比方英國的哲學家 Antony Garrard Newton Flew 於 1975 年在一本名為『 Thinking About Thinking: Do I sincerely want to be right? 』書中講到︰
【沒有真正的蘇格蘭人 No true Scotsman】
想像一位名叫 Hamish McDonald 的蘇格蘭人,坐下打開他的《格拉斯哥先驅晨報》,看見一則新聞『布萊頓 ── 位於英格蘭南部 ──色魔再度犯案!』他震驚地說:『沒有蘇格蘭人會 幹這種事!』隔天他又打開報紙,看見新聞描述一位亞伯丁人 ── 該城位於蘇格蘭 ── 更殘暴的行為,相較之下布萊頓色魔還算是個紳士。這顯示 Hamish 的想法是 錯的,但他會承認嗎?似乎不會。這次他說:『沒有【真正的】蘇格蘭人會作這種事。』
今天這稱之為『訴諸純正』appeal to purity 的謬誤,是指在原先的普遍性宣稱遭遇反例時,隨即提出一個更『理想』的『標準』作為他辯護之依據。大概沒人知道這個 { □ | □是純正蘇格蘭人} 到底有哪些元素?難到它不會是個 嗎??
△ 傳說馬蓋先,深通物理及化學,只靠一把瑞士刀,百戰成天龍。
入高針,上行導阻是五十千,通 3V3 ,再串以一千、十千、百千之導阻者,將用『分壓』之理以及『電壓』準位規範『賦值』。實證之如下︰
# 超級者 sudoer 方可以出入無礙 pi@raspberrypi ~ $ sudo -s # 採用『派生』三 root@raspberrypi:/home/pi# python3 Python 3.2.3 (default, Mar 1 2013, 11:53:50) [GCC 4.6.3] on linux2 Type "help", "copyright", "credits" or "license" for more information. # 載入 GPIO 程式庫 >>> import RPi.GPIO as GPIO >>> GPIO.setmode(GPIO.BOARD) # 設定入高針 >>> 入針 = 23 >>> GPIO.setup(入針, GPIO.IN) >>> GPIO.setup(入針, GPIO.IN,pull_up_down = GPIO.PUD_UP) # 測試空接讀值 >>> GPIO.input(入針) 1 # 五十千與一千並 >>> GPIO.input(入針) 1 # 五十千與一千分 >>> GPIO.input(入針) 0 # 五十千與十千並 >>> GPIO.input(入針) 1 # 五十千與十千分 >>> GPIO.input(入針) 0 # 五十千與百千並 >>> GPIO.input(入針) 1 # 五十千與百千分 >>> GPIO.input(入針) 1 >>>
☿ 行︰此物簡單易得,正好在家自修『入低針』和『入浮針』其事!!☺ 或將可通之於…