【渾水一片:還原香港海界爭議發展史】 (上篇) #都市化洋謀 #9月專研
過往在香港討論有關海洋邊界爭議,往往是香港以南的南海主權問題。事實上近年的焚船污染、明日大嶼、12人越洋、走私不斷等當下議題,都與海洋空間規劃、定界及海權問題有關,而香港早年殖民期的海界及海權作為各種海洋亂象之源,卻少有人深入探討。
翻查一系列關於香港水域爭議的英國解密檔案,整理過往殖民地時期有關香港「含糊」水域爭議的發展史,揭示牽涉複雜的海洋邊界政治,除了作為當時中英政治角力的前緣,亦有助我們了解現時香港水域範圍的歷史脈絡及源起。
一條海界 兩個表述
殖民地時期早年,香港的水域範圍一直未有公開確實的版本,亦引伸出有兩種不同的界線表述。
於20世紀初,根據《展拓香港界址專條》的香港地圖顯示,香港水域呈「方型」界線(square boundary )。根據一份關於新界邊界及現況的英國解密檔案(1962 CO 1030/1334 Status and boundaries of Hong Kong New Territories),當時中方海關經常巡邏於以大嶼山以西大澳水域一帶(方型界線以外),似乎更視其為中方水域。然而,早在1901年英方已有向港督提及,按照國際上的海洋慣例,一般領海 (normal territorial waters)寬度應為3海里 (three nautical miles),因而,香港領海界線應呈現為「彎曲型」(sinuous),比起「方形」範圍雖然多了大嶼山以西水域,同時卻損失了東南方一大片水域,作為最早期的香港水域範圍的兩個表述。
後續1911年修訂《釋義條例》(Interpretation Ordinance) 時,由於港督的錯誤公告字眼(wording of an incorrect Proclamation),令到香港水域繼續被闡釋為方型。
而這個錯誤的公告去到1950年被修訂。英方於1950年重新檢視與領海相關的條例,表示若沿用1937年英方對於《釋義條例》的闡釋,地圖所顯示的「方形」界線,只是英方租用中方領土的一條分界線(merely a line of delimitation of the area within which all territory was leased) ,並不是租用香港3海里以外的水域範圍(this did not mean that there was a purported lease of any waters outside normal territorial waters),可見,內部確立「彎曲型」的領海範圍。
參考一份1950年關於香港水域的英國解密檔案 (1950 CO 537 6036 Territorial water) 中的英方外交部內閣大臣Jim Griffiths跟港督的電報來往中顯示,因當時中日關係惡劣,為了保持當時英方中立 (neutral) 的立場。英方亦想盡量避免中日雙方於香港水域範圍發生衝突 (Jørgensen N. H. B., 2019),早於1937年至1939年,英方曾經指示香港水域要跟隨國際慣例,將領海寬度收窄至3海里。無獨有偶,1950年修訂《釋義條例》,已有英方法律意見表示當時擔心如果國、共兩軍在新海界(彎曲型)及舊海界(方型)之間的位置發生衝突,將會造成英方外交上尷尬,要盡快修例避免尷尬事件。可見,英方變動水域邊界時明顯有其政治考量。
即使已修例,1952年當時國際法庭 (International Court of Justice) 有關英挪漁業案(Anglo Norwegian Fisheries case)的判決 (Jørgensen N. H. B., 2019),提及使用哪種基線方式來劃定領海的爭議,促使香港律政司重提「方型」領海是否合法地代表香港水域,但建議被英方否決。其後在1958年,即使英國外交部再次表示「方型」範圍只是表示港英領土的一條分界線 (all land within the line thus shown is Hong Kong territory),但同時亦保留方型界線,聲稱為免影響航空航線。
早年香港水域邊界一直未被確實,即使在法律層面上,英方內部確立「彎曲型」領海範圍的合法性。然而,其後英方一直未有公開與中國共產黨政權講述其水域範圍,或擔心會侵犯中國領海主權。可見,香港水域一直受到變動中的海緣政治影響,經常遊走在當時國際上認可海洋慣例(彎曲型)與中英簽訂的《展拓香港界址專條》(方型)之間。
中方圍堵香港水域的預言?
水域範圍、基線劃定的方法及國際航海權一直是國際外交上一個十分敏感的議題。香港作為英國殖民地,卻緊貼住中國的領海範圍,除了香港水域定界,船隻來往香港的航道亦一直是英方十分頭痛的問題,稍有不慎,就會有被冠上侵犯中國海權的「辱華」罪名。
中方於1958年第一次聯合國海洋法公約(United Nations Convention on the Law of the Sea),已經單方面將其領海範圍擴展至12海哩,英國宗主國當時內部表明會反對中方單方面的領海宣稱,擔心會發生圍堵香港水域的情況。
根據新界邊界及現況的英國解密檔案(1962 CO 1030/1334 Status and boundaries of Hong Kong New Territories)中的電報來往,當時港英內部評估,認為中方擴展領海將對香港造成「海陸空」影響,除了會收窄飛機的航道、需要重新佈線電纜和無線電纜、亦會限制海軍的演練空間,大大影響香港的船隻來往,來往公海的航道走廊更會收窄到1海里(corridor of international waters could be reduced to about one mile),形容「接近完全圍封香港」 (almost completely envelope Hong Kong)。
隨著國際共識的改變,在1972年第三次聯合國海洋法會議前夕,英方亦打算將國土領海範圍的3海里擴展至12海里。翻查另一份1972年關於香港水域爭議的英國解密檔案 (1972 FCO 21 1024 Territorial waters dispute between China and Hong Kong),當時英方內部考慮這次擴展海界,應否包括香港殖民地,並計劃在香港附近水域進行海道測量 (Hydrographic survey),明顯想放風測試中方反應。
然而,根據英國外交部及港英的內部電報來往,英方雖然一度打算在翌年與中方在第三次聯合國海洋法會議上提及香港殖民地水域擴展,但英方內部亦指出中方定會反對香港的水域擴展至12海里,除了因為香港擴展會跟中國水域重疊,中國亦一直視香港為固有領土,不可視香港為獨立的行政個體 (separate entity),應該維持現狀,限制今次香港擴海界。
呼應早期50年代有關中方圍堵香港水域的擔憂,英方擔心如果掀起討論,更有可能令香港航道問題惡化 (a risk that any such discussion would vitiate the present adequate though limited freedom of passage)。按英國外交部理解,中方只不過默許船隻在不進入擔桿列島5海哩範圍的前提下進入香港;如果中國「執正嚟做」嚴格實踐其12海里的主權宣稱,則連博寮海峽都不能通行 (a 12 mile limit strictly adhered to in this area would make normal surface access to Hong Kong through the Lemma Channel impossible)。最後,英方外交部為免觸動到中方神經,加上「信唔過」中方 (their good will… cannot be relied on a year ahead),建議的對策卻是避免「打草驚蛇」(let sleeping dogs lie),絕口不提香港擴海界。
直到1987年,英國正式將水域擴展到12海哩,但香港並沒有納入被擴展的範圍。在香港前途談判過程中,亦未有正式提及香港水域擴展12海里一事(Jørgensen N. H. B., 2019)。可見,面對中方進取的領海主權宣稱,英方在香港水域邊界問題上,尤其顯得無力。
香港「渾水」邊界的潛規則
面對中國擴海界後將會圍堵香港的擔憂,根據一份有關香港水域及其爭議的英國解密檔案(1968 FCO 21 547 Dispute with China about territorial waters),當中牽涉中英雙方就香港海界爭議鮮為人知的權宜之計(modus vivendi)。
事緣1968年一艘美國貨船於萬山群島近珠江口一帶(Lema Channel in the estuary of the Pearl River)被中方海軍的警告已入侵中方水域,檔案中有一份美國國務院情報與研究局官員Thoms L. Hughes事後對中國共產黨於香港鄰近水域的主權宣稱(Communist assertions of sovereignty over waters in the vicinity of Hong Kong)進行一份內部評估報告,提到中方不時會「放生」來往香港的商船。
於50年代初,船隻可以經萬山群島近珠江口一帶接近香港水域,可謂當時的潛規則(local ground rule)。然而,在中方宣稱12海里領海後,於1959年曾發出達20次警告,外國商船透過萬山群島近珠江口一帶接近香港期間入侵中方水域,並禁止一切外國船隻通往萬山群島近珠江口一帶,評估報告中亦提及多次美國商船及軍艦通往香港遇上中國海軍的事件。
然而,中方不但少有採取實際軍事行動,多是「口頭」表示抗議及警告外國船隻侵犯中國水域,更沒有對外公開批評數次入侵事件。就以上例子,美方評估中國當時並不是新的「強硬路線」宣示領海主權(new harder line from Peking),只是由於過多船隻進入萬山群島內沿而作出的回應(is a reaction to an increasing number of passages through the interior Lema Channel)[萬山群島內沿被中國視為內海]。
而當時美方估計中方「放生」的動機,很可能取決於政經考量,其一為不想失去香港作為(kill the goose)來往外國商船主要來往中國的航道,以及香港為中國帶來的外匯,而另一原因則是避免發生中國海軍與美國軍艦於海上起衝突。
此外,除了英方一直未有公佈香港水域邊界,中方一直並未有公開宣稱香港以西南的珠江通道12海里的精準劃界(public silence regarding the exact limits of its claim)。中英雙方基於政治考量,對於香港水域劃界及航道,更被美方稱靈活的實用主義(flexible pragmatism)。
而美方認為英方亦知悉船隻來往香港的「後路」,根據一份英方未被公開的非正式文件( informal note)顯示,除了船隻背後的註冊國家將成為影響進入香港的政治因素,英方更提及最合適的接近香港水域的航道,是經萬山群島以南以及擔桿頭島五海里以外(keep to the south of the Lima Group and five miles or more off Tam kan Head),港英政府早於五十年代,已廣傳這份文件到商船公司及中方,有共識地默許外國船隻經香港東南方水域,作為當時來往香港的「後路」。
可見,比起香港陸上的邊界,早期香港水域由定界、擴界到圍堵,可謂「渾水一片」。而當中牽涉複雜的海緣政治,亦顯示香港水域並非一條確確實實的邊界範圍,反而是中英雙方的妥協空間。而後來香港水域邊界將如何落實為現時版本?當中牽涉多少談判?而所引伸的一系列有關領海執法權以至政府管轄權的問題,將揭示香港水域日後跨境執法以至逃犯移交的爭議。(下集待續)
參考資料
Jørgensen, N. H. B. (2019). The (Unequal) Relationship between Hong Kong’s Waters and China’s Baselines. Asia-Pacific Journal of Ocean Law and Policy, 4(1), 1–27.
1950 CO 537/6036 Territorial water
1962 CO 1030/1334 Status and boundaries of Hong Kong New Territories
1968 FCO 21/547 Dispute with China about territorial waters
1972 FCO 21/1024 Territorial waters dispute between China and Hong Kong
1974 FCO 18/154 Hong Kong territorial waters
💪 研究自主 月捐撐起最新專研系列:
https://liber-research.com/support-us/
🔸FPS ID:5390547
🔸HSBC PayMe 捐款支持:https://bit.ly/32aoOMn
🔸戶口號碼:匯豐銀行 640-198305-001 (LIBER RESEARCH COMMUNITY (HK) COMPANY LIMITED)
👨👩👧👦義工招募:https://bit.ly/2SbbyT3 ▫️
同時也有2部Youtube影片,追蹤數超過27萬的網紅真電玩宅速配,也在其Youtube影片中提到,講到近期《勇者鬥惡龍》改編手遊最受矚目的例子,絕對是9月中在日本上市的《勇者鬥惡龍 WALK》,這是一款類似《精靈寶可夢GO》結合位置情報技術的AR手遊,雖然目前台灣仍未上市,但已經有不少玩家熱烈期待中。 今天要介紹的這款《星之勇者鬥惡龍》,最早於2015年10月在日本雙平台推出,累計下載次數突破...
「圖靈測試例子」的推薦目錄:
- 關於圖靈測試例子 在 本土研究社 Liber Research Community Facebook 的最佳貼文
- 關於圖靈測試例子 在 健身教官-應充明Jimmy Facebook 的最讚貼文
- 關於圖靈測試例子 在 Taipei Ethereum Meetup Facebook 的最佳解答
- 關於圖靈測試例子 在 真電玩宅速配 Youtube 的最讚貼文
- 關於圖靈測試例子 在 啟點文化 Youtube 的最佳貼文
- 關於圖靈測試例子 在 [閒聊] AI繪圖圖靈測試- 看板C_Chat - 批踢踢實業坊 的評價
- 關於圖靈測試例子 在 從圖靈測試到人工智能的終極目標,了解一點簡單的前沿科技吧。 的評價
- 關於圖靈測試例子 在 【AI 已經可以通過圖靈測試了嗎?】 | 今年Google 的對話 ... 的評價
圖靈測試例子 在 健身教官-應充明Jimmy Facebook 的最讚貼文
《運動基因》
讀了”刻意練習”, 瞭解世上沒有任何偉大的人物是與生俱來的, 在各個領域的菁英無不是在我們看不到的背後付出了更多的努力, 因此持為佼佼者. 接下來在”原子習慣”一書中, 我們學習到了如何透過刺激控制與制約一步一步的打造新習慣, 接下來只要持之以恆, 那麼就會有令人滿意的結果
在很多其他書本中, 也有人主張”天才” 只是一個被過度吹捧的名詞, 目的在於造神, 或是給了失敗的一個名正言順的藉口: 我沒有這方面的天份
可是, 至少在運動界, 我們的確看到不少天賦異癛的例子, 有人就是先天的跑步好手, 有人就是有生的神力… 所以到底 “人定勝天” 是不是終究只是一句我們浪漫的幻想呢? 會不會再多的努力還是可能會敗給了天賦呢?
這本書的作者David Epstein是一位資深的新聞記者, 長年報導全世界各項頂尖的體育賽事, 他為了找出這個解答, 實地走訪了非常多優秀的運動選手, 並且從他們接觸運動的原因, 到訓練過程, 以及比賽的經驗, 鉅細彌遺的記錄下來, 並與專家討論, 完成了這一本書 “運動基因”
在近代, 運動科學家一直在試圖尋找優秀運動員異於常人之處. 他們一直以為, 像棒球選手的強打者一定具有與眾不同的動態視力, 因此他們可以精準的將每一個快速或是刁鑽的球集成全壘打. 但是, 美國職棒大聯盟的王牌投手, 將球出手後直達捕手手套的時間約為200毫秒, 但是人類視覺神經的回饋最快也要400毫秒. 那麼他們是如何可以打得到球呢?
靠預測
一位優秀的球員只靠投手投球的身體姿勢以及肩膀位置, 就可以準確的預測球的走向. 早在1975年, 加拿大的研究人員就發明了一個叫做”遮擋測試”. 他們收集了幾千張在排球比賽時捕捉到的照片, 並把照片一部分遮擋起來做成幻燈片, 讓現役的排球選手來猜一下照片中是不是真的有球. 令人驚訝的是, 菁英選手答對的機率遠遠高於一般選手, 他們的速度甚至可以在不到一秒之內就答對答案!
而在1940年, 荷蘭西洋棋大師想要了解棋藝高手與業餘選手的差異到底在哪裡, 也做了項類似的測試: 他們把一場難解的棋局照片給職業棋士, 一般棋士, 與愛好者看. 但是這張照片只閃過他們眼前閃過幾秒, 然後請他們擺出照片中的原始棋局. 在四次實驗中, 職業棋士只瞄了照片三秒就能夠完整的把棋局擺出來, 一般棋士只能完成70%, 而愛好者只可以想出不到50%
在諸多資深運動選手的大腦中, 會將無數片段畫的記憶模組化, 而且予以分類歸檔. 因此他們可以很快的根據最微小的資訊, 在數據庫中提取出對於他們最有效的模組, 而作出預判, 反應, 甚至是戰術安排, 沒有相關經驗的一般人就無法辦到
所以, 還說什麼基因? 還是回到千錘百鍊的不是嗎?
接下來, 作者探訪了兩位世界級的跳高選手, 將會嚴重挑戰到這個說法
瑞典選手霍姆六歲時, 就展現了對跳躍濃厚的興趣, 在十四歲時的成績就已經是同年齡青少年之冠. 雖然在求學過程中, 也有失敗過幾次比賽, 但是這都沒有澆熄他對於跳高的熱情, 反而更加努力的訓練. 一直到2004年, 他終於在雅典奧運奪冠! 接下來的下一個挑戰就是2007年的世界田徑錦標賽
但是老天總是會給人驚喜 (?)
2006年, 在美國聖路易市的林登伍德大學 (就是我的母校我驕傲❤️) , 一個籃球隊的小伙子跟田徑隊的打賭, 他有本事跳得比他們高! 正當所有校隊想要看看這個狂妄的傢伙如何失敗, 再瘋狂羞辱他時, 他竟然用很生硬的方式成功的跳過了足以拿下全國名次的高度! 這年輕人叫做托馬斯, 他馬上被推薦進田徑隊, 並且使用很青澀的技巧在接下來幾次世界性比賽都拿下名次
而2007年, 奧運金牌老將霍姆與半路出家的托馬斯第一次在大阪的世錦賽中見面對決, 結果是.. 托馬斯成功地擊敗了苦練了十八年的霍姆… 而他從一開始到世錦賽之間, 只訓練了八個月!
後來, 有日本學者發現, 托馬斯致勝的關鍵就在於他小腿的跟腱, 托馬斯的跟腱長度非常的長, 而且很結實. 假如小腿跟腱越長, 越可以累積彈性能, 起跳優勢就越佳!
我們都知道, 最大攝氧量的高低是受基因決定, 在1992年, 由美國家拿到五所聯合大學發起的HERITAGE研究, (說白了就是運動基因研究), 想要看看接受測試的來自於九十八個不同家庭, 在經過了五個月, 每週三次的健身自行車訓練後, 心肺功能會有一些什麼樣進步的差異? 研究人員在一開始就知道心肺功能的提升會因人而異, 但是沒想到進步比例會從0~ 100%! 也就是說在比例上, 有最優秀的15%進步非常多, 但也有另外15%基本上沒進步, 或是進步非常不明顯. 後來HERITAGE的學者在2011年發現, 人體內會有21個左右的基因, 是對於有氧訓練反應最為明顯的. 擁有19個這些基因的訓練進步幅度會是只有10個的三倍!
這種例子在體育界常常看見: 如史上最傑出的女性三鐵選手威靈頓, 在2011年比賽的成績即使在男子組都可以排到第四, 但是她第一次嘗試其公路自行車卻是在2004年
過去認為, 人類最完美的身體比例應該是達文西所畫的”威特魯人”: 兩隻手打開的臂展等於身高, 過去認為, 這種體型應該就是萬能運動員. 但是首先在NBA就發現, 從20世紀開始, 除了全員身高開始大幅度拉高, 這被成為”身高大霹靂” (NBA籃球員比起美國一般男性的平均身高從5% 提升到15%的身高), 臂展也漸漸超過了這個比例. 而在不一樣國籍背景的球員身上, 也發現了不同的體型比例
為什麼牙買加人都是短跑好手? 因為科學家發現牙買加人體內大多都存在ACTN3基因的變異體, 而ACTN3會讓快縮肌發達, 以至於爆發力更強. 在另一方面, 科學家發現由於過去在西非, 瘧疾流行, 人類為了與疾病對抗, 因此紅血球會變異出 ”鐮狀細胞”, 導致身體吸氧量減少, 卻也因此演化為身體不需要大量氧氣供能. 對於一般人來說, 可能對導致在某些時候身體容易極度缺氧, 但是在中短距離競賽選手身上而言, 這反而成為一種優勢. 而這些特點, 讓牙買加人成為了田徑賽道上的黑色閃電!
而在非洲另一端的肯亞人, 則是稱霸了馬拉松長跑的領域. 根據檢測, 肯亞人的心肺能力與丹麥人並沒有不同, 但區別就在於下肢的比例. 肯亞人腿細, 而且重心更低, 所以跑步的經濟性就更高. 在同樣的心肺基礎上, 肯亞人更能輕鬆地維持速度, 甚至更快. 而肯亞人的體型更是關鍵: 身體直立精瘦, 臀部窄, 四肢修長. 對於長跑而言, 這種體型更利於散熱!
這些都是觀察出來的結果, 我們有沒有辦法透過基因檢測提前知道我們的身體到底具有 (或是不具有) 哪些運動基因呢? 目前這就是科學家努力研究的方向. 在奧運殿堂上奪牌的, 就一定是神選之人嗎? 這不一定. 也已很多默默付出努力的選手, 更何況, 說不一定剛剛幫你外送宵夜的小哥, 體內就有傲視群雄的舉重基因呢
一萬小時定律, 在運動基因之前, 竟變得如此不堪一擊嗎? 我認為, 對我們來說, 運動是一件令人開心與愉悅的事, 成績好不好, 不應該是我們過度在意的重點, 在運動過程中的積極體驗, 才是最可貴的. 就算我的進步比人家慢一點, 那又怎樣? 只要我自己知道我今天比昨天進步 今年比去年更強就好了! 不管有沒有某一方面的天賦, 我都可以自我察覺, 並且自我接受. 那麼人生就會寬闊的很多了!
圖靈測試例子 在 Taipei Ethereum Meetup Facebook 的最佳解答
📜 [專欄新文章] [zkp 讀書會] Cairo 語言介紹
✍️ NIC Lin
📥 歡迎投稿: https://medium.com/taipei-ethereum-meetup #徵技術分享文 #使用心得 #教學文 #medium
Cairo 是 STARK 證明系統的其中一個編程語言,讓開發者能透過 Cairo 來使用 STARK,撰寫效能更高的 Dapp
Photo by Simon Berger on Unsplash
Warning:本篇會保持在 high level 的介紹,實際深入的部分請見文內附上的文檔或是官方開發者文件
背景介紹
建構於密碼學的零知識證明能提供計算的隱私性,但同時在區塊鏈生態系也被用來提升 Scalability — 我可以用 10 秒的運算資源來驗證原本耗費 1000 秒運算資源的計算過程
如同更多人熟悉的 SNARK,STARK 也是一個零知識證明的證明系統,但當前的 STARK 著重的是在 Scalability ,而非大家比較習以為常零知識證明提供的隱私性特質
其實目前基於 SNARK 的 Rollup 項目,例如 zkSync、Loopring、Aztec、zkopru,除了 Aztec 外,其他都是利用 SNARK 來增加 Scalability — 這些 Rollup 上資料都還是公開、沒有隱私性的
StarkWare 是目前唯一基於 STARK 的開發團隊
STARK 要加上隱私保護不會太難,只是 StarkWare 還沒有把這項功能放在未來規劃中
Cairo 簡介
標榜為圖靈完備的零知識證明系統語言,Cairo 對原本熟悉 Solidity 的開發者來說還是會感到比較難上手和陌生的。再加上套件庫還不夠充足,目前支援的雜湊函式是 Pedersen,數位簽章演算法是 ECDSA(相對於 SNARK,EdDSA 的效能反而比較差所以沒有支援)。
但 Cairo 還在早期開發的階段,相信開發體驗會越來越好的。
另外需要注意的是作為一個證明系統,會有 Prover 和 Verifier 的角色。而 STARK 的 Verifier 是公開的,但 Prover 軟體預計會有 License 保護。Prover 一般情況下不得用於商業用途,除非將 proof 上傳至官方的 Verifier。
最後要提及的是,第一版的 Cairo 是設計來方便開發者將 Dapp 的運算遷移至鏈下。不同於 Rollup,這個鏈下只會有它自己一個 Dapp。這個 Dapp 的項目方自己維護自己 Dapp 的 state。( Rollup 則是 operator 維護所有 Dapp 的 state,Dapp 開發者不需自己操煩)
這可能有點難懂。如果你有在寫 Solidity,想像一下今天你在合約要用到合約裡宣告的 storage 變數時,你要自己提供 merkle proof 上來,證明這個storage 變數真的是這個值。這個就是開發者要自己維護 state 的意思。
而第二版的 Cairo 則是 StarkNet 裡使用的 Cairo(第一和第二版是不同編譯器),這版的 Cairo 就是作為 Dapp 在 Rollup 開發所使用 — 開發者可以在合約裡宣告變數,變數的值不需開發者維護,可以直接假設存在。
註1:StarkWare 不喜歡 Rollup 這個詞,他們覺得 Data Availability 的需求是一段光譜:不一定得要把 data 全都送上 L1,中間有其他方式可以做不同層級的 Data Availability。
註2:第一版和第二版實際上在官方版本裡是 0.0.1 及 0.0.2,在撰文當前最新版即是 0.0.2
官方網站:https://www.cairo-lang.org
開發者文件:https://www.cairo-lang.org/docs/
開發環境
Cairo 有提供像是 Remix 的瀏覽器 IDE:playground。裡面提供各種範例練習和挑戰,除了可以編譯,還可以直接生成並上傳 proof。
註:但有些功能還是沒辦法在 playground 裡使用,例如要給你的程式 custom input 時。這時候只能在本地端開發才能使用這個功能。
開發 Cairo 要先安裝python,我將開發者文件整理出來的資料統整在這個 hackmd 文檔裡:https://hackmd.io/w690dpAQTsKeKZv3oikzTQ
裡面包含簡介、設置本地開發環境以及 Cairo 基礎(因為篇幅原因,所以不將內容複製到這裡)
註:我把開發者文件裡的代碼整理到這裡:https://github.com/NIC619/cairo_practice/tree/master/practices
如果不想在研究開發者文件過程中,還要自己手動拼湊裡面例子的話,可以直接用整理好的代碼來執行。同時 repo 裡還有包含一些額外自己測試 Cairo 功能的範例。
深入 Cairo
在那份 hackmd 文檔裡的開頭,可以連結到第二部分 — 深入 Cairo 的部分。裡面也是從開發者文件裡擷取出來我覺得比較重要的部分。如果你要讀開發者文件的話,我建議從 Hello Cairo 開始,它會從例子切入,會比較好知道 Cairo 怎麼使用。接著如果要更深入了解,再去讀 How Cairo Works。
StarkNet Cairo
第二版的 Cairo 其實功能和第一版的 Cairo 是差不多的,所以不必擔心在開發者文件裡學到的 Cairo 在 StarkNet 版本會不能用或差很多。在讀完 Hello Cairo/How Cairo works 後,就可以接著看 Hello StarkNet。會很順利的切換到 StarkNet 版本的 Cairo。
註1:我整理的文檔裡是按照第一版 Cairo 所寫的
註2:如果你從開發者文件一路看下來,體驗過非 StarkNet 版的 Cairo,那你在體驗 StarkNet 版的 Cairo 時一定會發現這更像一般智能合約的使用方式 — 你可以用 view 函式查詢 storage 變數,可以用 external 函式去執行合約(非 StarkNet 版本不是這樣操作 Dapp 的,這邊因為篇幅原因沒有詳細介紹)。
非常建議嘗試兩種版本的 Cairo,你會知道 1. 操作一個單獨在 L2 的 Dapp 和2. 操作與其他 Dapp 共存在 Rollup 上的 Dapp 的不同。這對了解 L2 怎麼運行、需要哪些資料、為什麼需要這些資料非常有幫助。
0.0.2 版的 StarkNet Cairo 目前還缺少一些功能:
函式還沒辦法宣告陣列或 struct 型態的參數
合約和合約之間還沒辦法互動
L1 沒有辦法讀取到 L2 的資料,L2 也沒辦法讀取到 L1 的資料。如果要建立跨 L2 Bridge,這個功能非常重要。
補充及個人心得
STARK 的 proof size 相比於 SNARK 系列的 proof size 大很多,又其證明所包含的交易數量對 proof size 和驗證時間的影響不大,所以把很多筆交易一併做一個 proof 會是對 STARK 非常有利、節省成本的方式(SNARK、STARK 比較表)。但這同時也是一個缺點,如果你的 Dapp 或 Rollup 的 TPS 不高,那就只能等更久時間搜集多一點的交易,要不然就只能提高成本來維持驗證 proof 的頻率。
StarkWare和 zkSync 一樣都有 Rollup 宇宙的概念( Rollup 宇宙的用詞並不精確,因為在他們的宇宙中不會所有子鏈都是 Rollup,而是會有依照 Data Availability 程度不同所區分的子鏈,像是 Validium、zk Porter 的設計),個人覺得能夠有(針對 Data Availability 程度的)選擇是會比只有一個選擇(完全 Data Available) 還好的方式,但實際上的可行性就要等其團隊釋出更多的資訊。
在 Rollup 越趨成熟的情況下,能夠提供快速跨 Rollup 服務的流動性提供者的角色會越來越重要。zk Rollup(StarkNet、zkSync、etc…)比 Optimistic Rollup (Optimism、Arbitrum、etc…)有著短上許多的 finalize 時間,這對降低流動性提供者的風險有很大的幫助,但目前 zk Rollup 支援合約功能甚至 L1 <-> L2 互動的完成度都比 Optimistic Rollup 還低上許多。短期內快速跨 Rollup 的服務應該還是侷限在 Optimitic Rollup 之間。
abbrev
[zkp 讀書會] Cairo 語言介紹 was originally published in Taipei Ethereum Meetup on Medium, where people are continuing the conversation by highlighting and responding to this story.
👏 歡迎轉載分享鼓掌
圖靈測試例子 在 真電玩宅速配 Youtube 的最讚貼文
講到近期《勇者鬥惡龍》改編手遊最受矚目的例子,絕對是9月中在日本上市的《勇者鬥惡龍 WALK》,這是一款類似《精靈寶可夢GO》結合位置情報技術的AR手遊,雖然目前台灣仍未上市,但已經有不少玩家熱烈期待中。
今天要介紹的這款《星之勇者鬥惡龍》,最早於2015年10月在日本雙平台推出,累計下載次數突破2000萬,也是現今最火紅的手遊之一,這次是相隔4年在海外開始營運。除了大家熟悉的戰鬥技能及回合式指令戰鬥之外,更邀請到殿堂級漫畫家「鳥山明」設計及繪製遊戲中各式各樣的怪物。不僅如此,玩家在遊戲中與其他冒險者交流聊天時,還能使用人氣插畫家兼漫畫家「卡娜赫拉」所繪製的獨家怪物貼圖,讓互動變得更活潑有趣!《星之勇者鬥惡龍》預計2020年初在台灣上市,即日起在Android平台招募封測玩家,想搶先體驗的玩家,趕緊上官網搶名額喔!
© 2019 ARMOR PROJECT/BIRD STUDIO/SQUARE ENIX All Rights Reserved.
© SUGIYAMA KOBO
「電玩宅速配」粉絲團:https://www.facebook.com/tvgamexpress
「網紅攝影棚」節目:https://tinyurl.com/y3hejwb5
遊戲庫粉絲團:http://www.facebook.com/Gamedbfans
圖靈測試例子 在 啟點文化 Youtube 的最佳貼文
【7/4 開課!】《學「問」~高難度對話的望聞問切》~第16期
掌握達成共識的關鍵能力!(僅剩"1"位名額)
課程資訊:http://www.koob.com.tw/contents/232
更多學員心得分享:http://goo.gl/A07zZ0
【線上課程】《時間駕訓班》~
學會提升效率,擺脫瞎忙人生,做自己時間的主人
課程連結:https://pse.is/DDDHB
第一講免費試聽:https://youtu.be/flfm52T6lE8
【人際維基】桌遊體驗會~讓你一玩就懂別人的在乎~05/04(六)或 06/16(日)14:00
活動資訊課程:https://www.koob.com.tw/contents/3072
【哈克工作坊】~讓你的存在,成為別人想親近的禮物~06/29(六) & 06/30(日)
課程資訊:https://www.koob.com.tw/contents/3897
[ 7/21 開課!]【寫作小學堂】~寫出專屬風格,找回文字悸動
打造一盞自己的聚光燈,建立起專屬於你的品牌印象
課程資訊:https://www.koob.com.tw/contents/3655
在專屬於你的天地裡,持續陪伴著你~
啟點xLine@:https://line.me/R/ti/p/%40teb0498p
線上課程【不用開口,就讓你擁有人際好感】
啟動人際溝通的關鍵影響力 https://goo.gl/v3ojdo
桌遊【人際維基】~一玩就懂得別人的在乎:https://goo.gl/Ej4hjQ
到蝦皮購買【人際維基】:https://goo.gl/ASruqR
=============================
以下為本段內容文稿:
今天跟你分享一個人的故事,他叫做威廉.馮奧斯頓。他生於1834年,他這個人有一個特色,就是他的「好奇心」非常的強烈。
他原本是一個德國的數學老師,後來呢,他在1888年退休;他搬到柏林,開始去追逐自己一些特別的夢想。
他的夢想是什麼呢?他想要開發一些動物潛藏的智慧,他想要教一些動物,基本的數學常識;他教過一隻貓、一頭熊和一匹馬。
在他的實驗裡,他很快的發現,貓很快的就對於數學課失去了興趣,而熊在過程當中充滿了敵意;而那一匹馬呢,非常的專心,很快的就學會了數學的運算。
這個成果讓他非常的興奮,於是呢,他就把貓跟熊,都趕出了他的數學教室;他只教馬這一個得意門生。馮奧斯頓的那一匹馬,叫做漢斯。
他為漢斯開始了為期四年,每天的基礎數學的課程。一直到了,1904年馮奧斯頓和漢斯,已經準備好去做出公開的表演,來表現出漢斯牠的數學能力。
在剛開始的時候,馮奧斯頓出題,而由漢斯來回答。漢斯的回答方式,就是用牠的腳去踏地板上的石頭,踏幾次就是那個數字。
而漢斯的表現非常的棒哦!簡單的加減算術,和比較複雜的分數和平方根,都能夠正確的回答。
這樣的事情,很快的被一位心理學家叫奧斯卡.芬斯特所注意。他決定要研究漢斯到底是怎麼辦到的?
而這樣的研究,連奧斯卡.芬斯特本人,他都沒有料到,會在往後的一百多年裡面,幾乎出現在每一本的心理學教科書裡面。
芬斯特用很多不同的實驗方法來測試漢斯,而其中一個實驗方法是像這樣哦。他們準備了一些數字卡,卡片的擺法必須讓漢斯、馮奧斯頓,跟提問者都能夠看到卡片的正面。
接著呢,提問者發問;漢斯呢,就用腳踩地的方式,來表示哪一張卡片,上面有正確的答案。在這樣的狀況底下,漢斯答對的機率高達98%。
不過呢,當芬斯特他改變卡片的方向,他只讓漢斯看到卡片的正面,也就是說喔,出題的人跟馮奧斯頓,他們都看不到卡片的正面。這個時候,漢斯答對的機率驟降成6%。
而在另外一個測試裡面,馮豪斯頓對漢斯的耳朵,低聲的跟牠說兩個數字。然後讓漢斯把這兩個數字加起來,只要是這樣子做,每一次漢斯都能夠踩踏出正確的答案。
但是呢,當這個題目是由馮奧斯頓說一個數字,而芬斯特說另外一個數字,他們兩個人之間,不知道彼此說的數字的時候,漢斯就沒有辦法正確解答。
結果就發現喔,只要每一次馮奧斯頓,或者是提問者,知道那個問題的正確答案的時候,漢斯的答案都會是正確的;只要是那種沒有人知道正確答案,漢斯就會答錯。
於是喔,芬斯特他就推斷,漢斯其實是不會自己思考,也不會加減乘除的。牠是根據周遭的人的表情,和那些細微的肢體語言,在無意之間透露的訊號來回答。
所以這說明了,馮奧斯頓在這麼多年下來,他其實不是在教漢斯數學,而是在跟自己說話啊!
這個在心理學裡面,給它一個名詞叫「聰明漢斯效應」。也因為這樣的事件,為什麼每一本心理學的教科書,都會提到這個例子呢?
因為在很多心理學實驗裡,受試者之所以會因為你的實驗介入,產生了一些表現,或者是產生了一些改變。
這些表現跟改變,究竟是因為受試者,他因為實驗的設計跟操弄,發自內心所做出來的表現;還是他去揣測或者是模擬,你這一位實驗設計者的意圖,而相對應的配合作答呢?
就好像是漢斯,漢斯其實不懂得數學,但是牠會按照它的主人,或者是周遭人的反應,去決定牠什麼時候要反應,或者是牠要有什麼樣的表現。
當你聽完「聰明漢斯效應」之後,這會讓你想到什麼呢?
其實我知道有一些朋友,當面臨到生命的一些困境、一些挫折的時候,可能會向外求助。向外求助,除了去做一些回到根本、回到核心的學習之外;那麼有一些人,就會不問蒼生,問鬼神啊!
開始找尋一些虛無縹緲的、沒有根據的這樣的一些協助;然後呢,找尋這些協助之後,可能還會覺得好有效啊!這個師父好靈驗啊!或者是,這個老師對我有好大的幫助啊!
那這個時候,我不免要問的是,請問你究竟是發自內心的,真的懂了問題要怎麼解決?還是你求助的老師,其實是那一隻「漢斯」。
他其實只是把你內心,那些你自己也不確定、不敢說,或不想說的話,借由老師的嘴講出來。而他之所以能夠講出來,並不是因為他會通靈、他會讀心,而是其實你全身上下都寫出來了,只是你沒把它說出口,如此而已啊!
所以呢,我希望今天透過這一段分享,邀請大家思考一下,那些你認為神奇的老師,或者是虛無縹緲的教法,究竟是他們有神奇的魔力,還是你其實一直「配合演出」呢?
有沒有可能,你其實就像漢斯的主人,馮奧斯頓一樣,心中早就懂數學、心中早就已經有答案。只是你太期待,希望透過一隻「漢斯」來證明你是對的、來證明你有辦法教別人這件事。
如果是這樣的話,從好的角度來理解,你的投射、你的期盼的確會改變一些人;但是從壞的角度來理解的話,是不是有很多時候,你面對到自己生命當中的一些問題,跟困境的時候,你卻不問蒼生,問鬼神呢?
希望今天的分享,能夠帶給你一些啓發與幫助,我是凱宇。
如果你喜歡我製作的內容,請在影片裡按個喜歡,並且訂閱我們的頻道;別忘了訂閱旁邊的小鈴鐺,按下去,這樣子你就不會錯過,我們所製作的內容。
然而,如果對於啟點文化的商品,或課程有興趣的話;我們近期的課程,是在7月4號開課的「高難度對話」。這一門課會用有系統的方法,幫助你怎麼樣跟他人化解差異、化解衝突,達成必要的共識。
在我錄音的這個時候,7月4號的這一門課,名額也在倒數了;所以我很期待,你能把握這難得的機會。我很希望能夠在啟點文化的教室裡,見到你,謝謝你的收聽,我們再會。
圖靈測試例子 在 從圖靈測試到人工智能的終極目標,了解一點簡單的前沿科技吧。 的必吃
之所以要加上“所謂的”這三個字,是因為阿蘭· 圖靈 本人從未談及任何 測試 。人們對於 圖靈 先生本人的評論,以及這個以他名字命名的 測試 ,都有著太多的誤解 ... ... <看更多>
圖靈測試例子 在 【AI 已經可以通過圖靈測試了嗎?】 | 今年Google 的對話 ... 的必吃
今年Google 的對話機器人開始進行小規模的 測試 ,未來可能我們會分不清楚是人還是AI 在跟我們對話。 ... <看更多>
圖靈測試例子 在 [閒聊] AI繪圖圖靈測試- 看板C_Chat - 批踢踢實業坊 的必吃