stanford-oval/wikipedia huggingface dataset:
李國士
參考資料 > 中文資料

〈大嶼山銀礦灣普通農業訓班舉行畢業典禮〉，《華僑日報》第三張第一頁，1960年9月27日。
〈美經援會協助本港發展新界養豬業〉，《工商晚報》第二頁，1963年10月2日。
〈兩政府機關合併成立漁農處〉，《香港工商日報》第六頁，1964年6月30日。
〈李國士赴馬尼拉出席國際農業會議〉，《華僑日報》第二張第一頁，1964年11月1日。
〈李國士講香港農業〉，《華僑日報》第三張第一頁，1965年5月12日。
〈漁農處遷址〉，《華僑日報》第三張第一頁，1965年8月29日。
〈漁農處長李國士今分別往訪問長梅嶼南三區〉，《華僑日報》第三張第二頁，1966年2月3日。
〈漁農處長李國士主持排棉角合作社社址落成開幕〉，《華僑日報》第三張第四頁，1966年2月5日。
〈大鵬灣海域旺灣興建漁民子弟學校〉，《華僑日報》第四張第二頁，1966年3月25日。
〈千帆集糧船灣歡騰賀天后誕〉，《華僑日報》第四張第三頁，1966年4月14日。
〈漁農處長李國士週日離港飛漢城〉，《華僑日報》第三張第三頁，1966年9月10日。
〈漁農處處長李國士飛意出席漁業會議〉，《華僑日報》第三張第二頁，1966年11月19日。
〈數百具噴霧殺蟲器分贈沙田大埔農戶〉，《華僑日報》第三張第二頁，1967年6月11日。
〈新界農民獲得貸款採用機械灌溉農田〉，《華僑日報》第四張第三頁，1967年6月15日。
〈元朗華盛村合作社供應處風雨中宣告開幕〉，《華僑日報》第三張第一頁，1967年11月8日。
〈漁農處李國士赴雪梨出席農業研究會議〉，《華僑日報》第二張第三頁，1969年4月9日。
〈李國士在慶祝國際合作節指出，地區性合作方式較以生產類別合作方式殊屬有利〉，《華僑日報》第二張第三頁，1969年7月6日。
〈千餘名學童昨日參加十四屆植樹節〉，《華僑日報》第四張第三頁，1970年5月9日。
〈商行逐漸流行組儲蓄互助社〉，《香港工商日報》第六頁，1970年9月17日。
〈新界菜農紛謀節省人力成本推行機械化〉，《華僑日報》第三張第四頁，1970年10月17日。
〈漁農處總部搬遷廣東道政府合署〉，《華僑日報》第二張第三頁，1971年4月6日。
〈四百漁民將獲安居，坑口漁民新村命名〉，《華僑日報》第三張第二頁，1971年7月1日。
〈去年本港農產躍增百分卅五，四億八千萬〉，《華僑日報》第三張第三頁，1972年2月5日。
〈去年本港農產躍增百分卅五，四億八千萬〉，《華僑日報》第三張第三頁，1972年2月5日。
〈英女皇壽辰授勳六十多人獲勳銜〉，《華僑日報》第三張第二頁，1972年6月3日。
〈國際糧食供緊價漲，香港供豐不虞缺乏〉，《華僑日報》第二張第二頁，1974年3月27日。
〈建新漁校訓練人才，拓展漁場供應需求〉，《華僑日報》第四張第四頁，1974年9月27日。
〈應改進技術及裝備，滿足居民海產需求〉，《香港工商日報》第八頁，1975年2月13日。
〈過去一年各業多呈不景，新界菜產穩定〉，《華僑日報》第二張第二頁，1975年3月1日。
〈去年菜產豐收價跌收益減少，養豬更安定〉，《華僑日報》第二張第二頁，1975年7月6日。
〈中國蔬果價錢合理，去年進口蔬果七十四萬公噸〉，《大公報》第二張第五版，1976年7月6日。
〈本港農漁蔬菜生產總值已增至逾十億，十六年增四倍〉，《華僑日報》第二張第四頁，1976年10月29日。
〈漁農處處長李國士透露，郊野公園範圍內將設立報案中心〉，《香港工商日報》第七頁，1977年2月8日。
〈港府發展並保養新界水利，年費達百萬〉，《華僑日報》第五張第四頁，1977年11月2日。
〈香港仔及大潭郊野公園啟用〉，《香港工商日報》第六頁，1977年11月26日。
〈郊野公園四年發展，當局撥款七千萬元〉，《華僑日報》第二張第二頁，1978年7月7日。
〈設計郊野公園，配合各區特點〉，《香港工商日報》第六頁，1978年7月8日。
〈三名學生獲發獎學金攻讀漁業或農業課程〉，《華僑日報》第四張第三頁，1978年10月18日。
〈宣傳郊野公園計劃未算成功，六成市民竟然懵然不知，缺乏廁所最為不便〉，《華僑日報》第四張第三頁，1978年10月18日。
〈自助合作社計劃，政府將繼續推展〉，《華僑日報》第二張第二頁，1978年11月16日。
〈首屆農畜科技展覽下月將在元朗展出〉，《華僑日報》第三張第一頁，1978年12月31日。
〈漁農處長李國士榮休，副處長李德宏將繼任〉，《華僑日報》第五張第三頁，1979年7月7日。
〈去年度農業普呈良好，農民收穫豐〉，《華僑日報》第三第一頁，1979年7月8日。
〈第一個郊野公園遊客諮詢中心啟用，確保郊區資源〉，《華僑日報》第三第二頁，1979年10月21日。
〈南中國海發展漁業，本港現正參與計劃〉，《大公報》第一張第四版，1979年12月4日。
〈拯溺同人昨歡送漁農處長李國士〉，《華僑日報》第七張第一頁，1979年12月20日。
〈漁農處長李國士於本年六月榮休〉，《華僑日報》第三張第三頁，1980年1月19日。
〈李國士即將退休〉，《華僑日報》第三張第三頁，1980年1月31日。
王福義著，〈香港郊野公園簡史〉，《香港自然網》，2005年。
〈隔牆有耳：港產絲苗米重出江湖 （页面存档备份，存于）〉，《香港蘋果日報》，2012年4月5日。
《香港儲蓄互助運動50周年紀念特刊 （页面存档备份，存于）》。香港：香港儲蓄互助社協會，2014年。
外部連結

荒山野嶺變綠蔭處處 （页面存档备份，存于），香港蘋果日報（2013年9月18日）
漁農自然護理署 （页面存档备份，存于）
| 政府职务 |
| --- | --- | --- |
| 前任： 姬達 | 香港漁農處處長 1965年12月–1980年1月 | 繼任： 李德宏  |
港督粉嶺別墅四周仍有不少農田環繞，攝於1973年
香港海面昔日佈滿不少舊式風帆漁船，攝於1965年
於1977年劃定的大潭郊野公園
早期的郊野公園標誌，底部沒有代表海洋的波紋，攝於平洲船灣郊野公園（擴建部份）
弗兰克·加斯帕罗

弗兰克·加斯帕罗位于费城卡彭特街的历史标记
弗兰克·加斯帕罗（英語：，1909年8月26日—2001年9月29日）是美國鑄幣局的第十任首席雕刻師，任期從1965年2月23日直至1981年1月16日，擔任此職務之前為助理雕刻師。他設計了蘇珊·安東尼銀元的雙面圖案，還有艾森豪威爾銀元兩側等等。他的簽名為：FG。
| 0 | 1 | 2 |
| --- | --- | --- |

政府职务
| 前任： 吉爾羅伊·羅伯茨（英语：） | 美國鑄幣局首席雕刻師 1965年–1981年 | 繼任： 伊麗莎白·瓊斯（英语：）  |
方擎

方擎（1884年—1968年），字石珊，男，福建侯官人，中国医学家。九三學社社員。日本千葉醫藥專門學校畢業。
方擎進士照片
生平

宣統二年（1910年）九月二日，內閣奉上諭：方擎著賞給醫科進士。
宣統三年（1911年），授職翰林院檢討。
歷充陸軍醫學堂暨北洋醫學堂教習，前在哈爾濱隨同總醫官伍連德辦理防疫，外務部奏派等赴美考求剖解黴菌等學。
曾任《醫藥學報》主編、國立北京醫專教授。
民國元年（1912年），軍醫局局長
民國元年（1912年）4月26日，任北京政府陸軍部軍醫司司長。
民國四年（1915年），以陸軍軍醫監列名支持君主立憲。
民國五年（1916年）在北京開辦首善醫院，任院長兼內科主任。
民國六年（1917年）10月4日，辭軍醫司司長。
民國十三年（1924年）11月27日，任中央防疫處處長。
民國十四年（1925年），派充衛生司幫辦。
民國二十二年（1933年）6月14日，派華北戰區救濟委員會委員
後任北京大學公共衛生系主任、北京師範大學講師。
1949年後，歷任中華醫學會第十六屆理事兼總幹事、第十七屆副理事長、第十八屆副會長，中國巴基斯坦友好協會副會長，中國科協組織部副部長，中央防疫委員會研究組組長，中國紅十字會北京分會副會長，北京防癆委員會副主任委員。文革期間自殺。
荣誉

民國六年（1917年）10月9日，給予二等文虎章。
民國七年（1918年）8月30日，給予三等寶光嘉禾章。
全球发展和南南合作基金

全球发展和南南合作基金，原称南南合作援助基金，中华人民共和国设立的对外援助基金，旨在支持发展中国家可持续发展。
历史

2015年9月26日，中国国家主席习近平出席联合国发展峰会时宣布将设立“南南合作援助基金”，首期提供20亿美元，支持发展中国家落实2030年可持续发展议程。
2017年5月，习近平在“一带一路”国际合作高峰论坛开幕式上宣布向南南基金增资10亿美元。
2022年6月24日，习近平在主持全球发展高层对话会时宣布，中国将把南南合作援助基金升级为“全球发展和南南合作基金”，在30亿美元基础上增资10亿美元，支持开展全球发展倡议合作。
参考

1 2  . 国家国际发展合作署. 2018-08-24  [2024-06-10]. （原始内容存档于2024-06-10）.
↑  习近平. . 新华网. 2015-09-27  [2024-06-10]. （原始内容存档于2024-06-26）.
↑  国合平. . 环球网. 2022-07-05  [2024-06-10]. （原始内容存档于2024-06-10） （中文）.
日域籃球隊

日域籃球隊（Yat Wik Basketball Team），是香港的一支籃球隊，現時為香港籃球聯賽甲二組參賽球隊。2010年贏得香港籃球聯賽甲二組冠軍，於2011年首次升上甲一組作賽。教練是前香港籃球代表隊射手翁金驊。
球隊歷史

日域於1999年及2000年，連續兩屆奪得香港籃球銀牌賽男子初級組冠軍。
2010年6月29日，於修頓室內場舉行的甲二組決賽，日域在積信（Jackson Albert Isaiah）與湯馬士（Boswell Jeremiah Thomas）兩名外援助陣下，以84－61大勝旭暉，贏得甲二組冠軍，於2011年首次升上甲一組作賽。同年並奪得香港籃球銀牌賽男子中級組冠軍，成為「雙料冠軍」。
日域取得升班資格後，邀請到前香港籃球代表隊射手翁金驊擔任教練，以中華基督教會桂華山中學前校隊成員楊文綱等為班底，並從已剛班的愉園，羅致陳榮偉、蔡志浩等具甲一組經驗球員增強實力。
2011年3月1日舉行的香港籃球銀牌賽男子高級組初賽，日域以65－85負給飛鷹，落入負方作賽。3月11日負方賽事再以56－73不敵安青，被淘汰出局。
限於實力較弱，日域於甲一組聯賽展開後，接連不敵永倫、超敏與飛鷹，到了2011年4月29日對南華，被倒戈的中鋒留棟梁攻入全場最高的19分下，以61－81大比數落敗。
球隊榮譽

香港籃球聯賽甲二組冠軍 一次(2010年)
香港籃球銀牌賽男子中級組冠軍 一次(2010年)
香港籃球銀牌賽男子初級組冠軍 兩次(1999、2000年)
管理層及職員名單

會長：
主席：
主教練：
助教：
著名球員

留棟梁、楊文綱
相關條目

香港籃球聯賽
參考資料

↑  銀牌今晚開波[永久]《蘋果日報》
↑  飛鷹大炒升班馬日域《星島日報》
↑  留棟梁倒戈領南華炒日域《蘋果日報》
外部連結

香港籃球總會網頁 （页面存档备份，存于）
克魯斯卡爾樹定理

TREE函數、Kruskal樹定理（英語：）是逆數學的突出示例。由安德魯·瓦茲尼（英语：）推測並由約瑟夫·克魯斯卡爾證明。
已隱藏部分未翻譯内容，歡迎參與。
In mathematics, Kruskal's tree theorem states that the set of finite trees over a well-quasi-ordered（英语：） set of labels is itself well-quasi-ordered under homeomorphic（英语：） embedding.
在數學中，克魯斯卡樹定理指出，在準有序（英文：well-quasi-ordering）標籤集上的有限樹集合本身在同胚下也是良準有序的（英文：同胚（圖論））嵌入。
歷史
該定理由安德魯·瓦茲索尼（Andrew Vázsonyi）猜想並由約瑟夫·克魯斯卡爾（Joseph Kruskal，1960）證明； Crispin Nash-Williams（1963）給了一個簡短的證明。它從此成為逆向數學（英語：reverse math）中的一個突出例子，作為在 ATR0 內無法證明的陳述（算術超限遞歸（英語：arithmetic transfinite recursion）的一種形式）和有限（英語：finitary）應用該定理給出了快速增長的TREE 函數的存在性。
2004年，這個結果被從樹推廣到圖，成為羅伯遜-西摩定理（英語：Robertson-Seymour theorem），這一結果在逆向數學中也被證明很重要，並導致了增長更快的SSCG 函數（英語： Friedman 的 SSCG 函數）。
陳述
這裡給出的版本是由 Nash-Williams 證明的；克魯斯卡爾的表述要強一些。我們認為的所有樹木都是有限的。
給定一棵有根的樹T，並給定頂點v、w，如果從根到w 的唯一路徑包含v，則稱w 為v 的後繼；如果從v 到w 的路徑另外不包含v，則稱w 為v 的直接後繼其他頂點。
取X為偏序集（中文：partiallyorderedset）。如果 T1、T2 是頂點標記為 X 的有根樹，我們說 T1 可 inf-embeddable 在 T2 中，並且如果存在從 T1 的頂點到 T2 的頂點的單射映射 F，則寫 T1 ≤ T2，使得
弗里德曼的工作
對於可數標籤集
X
X.克魯斯卡樹定理可以用二階算術來表達和證明（中文：二階算術）。然而，就像古德斯坦定理或巴黎-哈靈頓定理（英語：Paris-Harrington theorem）一樣，該定理的一些特殊情況和變體可以用比可以證明它們的子系統弱得多的二階算術子系統來表達。這是哈維·弗里德曼（Harvey Friedman）在 20 世紀 80 年代初首次觀察到的，這是當時新興的逆向數學領域的早期成功。在上面的樹被認為是未標記的情況下（即，在
X
X 有順序一），Friedman 發現結果在 ATR0（英語：算術超限遞歸）,[2] 從而給出了第一個謂詞（英語：impredicativity）結果的例子，並帶有可證明的謂詞證明.[3]此定理的這種情況仍可由 Π1 證明
1-CA0，但透過在上述樹的順序定義中添加「間隙條件」[4]，他發現該定理的自然變體在該系統中無法證明。[5][6]很久以後，羅伯森-西摩定理給了另一個無法由 Π1 證明的定理
1-CA0。
序數分析（中文：序數分析）證實了克魯斯卡爾定理的強度，該定理的證明論序數等於小維勃倫序數（英文：小維勃倫序數）（有時與較小的阿克曼序數（英文：阿克曼序數）相混淆） ).[來源請求]
樹(3)
假設 P(n) 是這樣的語句：
存在一些 m，如果 T1,...,Tm 是未標記有根樹的有限序列，其中 Tk 有 n+k 個頂點，則對於某些 i < j，Ti ≤ Tj。
根據克魯斯卡定理和柯尼格引理，所有陳述 P(n) 都是正確的。對於每個n，皮亞諾算術（英語：Peano axioms）可以證明P(n)為真，但皮亞諾算術不能證明“P(n)對於所有n都為真”這一命題。[7]此外，皮亞諾算術中 P(n) 的最短證明的長度作為 n 的函數增長得非常快，遠遠快於任何原始遞歸函數（英語：primitive recursive function）或阿克曼函數。 P(n) 所適用的最小 m 同樣隨 n 增長得非常快。
透過合併標籤，弗里德曼定義了一個成長速度更快的函數。[8]對於正整數 n，取 TREE(n)[*] 為最大的 m，這樣我們有：
有一個由 n 個標籤集標記的有根樹序列 T1,...,Tm，其中每個 Ti 最多有 i 個頂點，使得 Ti ≤ Tj 對於任何 i < j ≤ m 不成立。
TREE 序列開始為TREE(1) = 1, TREE(2) = 3，然後突然TREE(3) 爆炸到非常大的值，以至於許多其他「大」組合常數，例如Friedman 的n(4), [*相較之下，*] 非常小。事實上，它比 nn(5)(5) 大得多。 n(4) 的下界（因此 TREE(3) 的下界極弱）為 AA(187196)(1),[9]，其中 A(x) 採用一個參數，定義為 A(x, x)，其中A (k, n) 有兩個參數，是阿克曼函數（英語：Ackermann's function）的一個特定版本，定義為： A(1, n) = 2n, A(k+1, 1) = A (k , 1), A(k+1, n+1) = A(k, A(k+1, n))。例如，葛立恆數遠小於下限 AA(187196)(1)。可以證明函數TREE的成長率至少為
F
θ
（
Ω
ω
ω
）
{\displaystyle f_{\theta (\Omega ^{\omega }\omega )}} 中的快速成長層次結構（中文：快速成長層次結構）。 AA(187196)(1) 大約為
G
3
↑
187196
3
{\displaystyle g_{3\uparrow ^{187196}3}}，其中 gx 是格雷厄姆函數（中文：格雷厄姆數）。
History

The theorem was conjectured by Andrew Vázsonyi（英语：） and proved by Joseph Kruskal （1960）; a short proof was given by  Crispin Nash-Williams （1963）. It has since become a prominent example in reverse mathematics（英语：） as a statement that cannot be proved within ATR0 (a form of arithmetical transfinite recursion（英语：）),  and a finitary（英语：） application of the theorem gives the existence of the fast-growing TREE function.
In 2004, the result was generalized from trees to graphs as the Robertson–Seymour theorem（英语：）, a result that has also proved important in reverse mathematics and leads to the even-faster-growing SSCG function（英语：）.
Statement

The version given here is that proven by Nash-Williams; Kruskal's formulation is somewhat stronger. All trees we consider are finite.
Given a tree T with a root, and given vertices v, w, call w a successor of v if the unique path from the root to w contains v, and call w an immediate successor of v if additionally the path from v to w contains no other vertex.
Take X to be a partially ordered set（英语：）. If T1, T2 are rooted trees with vertices labeled in X, we say that T1 is inf-embeddable in T2 and write T1 ≤ T2 if there is an injective map F from the vertices of T1 to the vertices of T2 such that
For all vertices v of T1, the label of v precedes the label of F(v),
If w is any successor of v in T1, then F(w) is a successor of F(v), and
If w1, w2 are any two distinct immediate successors of v, then the path from F(w1) to F(w2) in T2 contains F(v).
If X is well-quasi-ordered（英语：）, then the set of rooted trees with labels in X is well-quasi-ordered under the inf-embeddable order defined above. (That is to say, given any infinite sequence T1, T2, … of rooted trees labeled in X, there is some i < j so that Ti ≤ Tj.)
Weak tree function

Define tree(n), the weak tree function, as the length of the longest sequence of 1-labelled trees (i.e. X = {1}) such that:
The tree at position k in the sequence has no more than k + n vertices, for all k.
No tree is homeomorphically embeddable into any tree following it in the sequence.
It is known that tree(1) = 2, tree(2) = 5, and tree(3) ≥ 844424930131960,[需要較佳来源] but TREE(3) (where the argument specifies the number of labels; see below（英语：）) is larger than  \mathrm {tree} ^{\mathrm {tree} ^{\mathrm {tree} ^{\mathrm {tree} ^{\mathrm {tree} ^{8}(7)}(7)}(7)}(7)}(7)
Friedman's work

For a countable label set  X, Kruskal's tree theorem can be expressed and proven using second-order arithmetic（英语：）. However, like 古德斯坦定理 or the Paris–Harrington theorem（英语：）, some special cases and variants of the theorem can be expressed in subsystems of second-order arithmetic much weaker than the subsystems where they can be proved. This was first observed by Harvey Friedman（英语：） in the early 1980s, an early success of the then-nascent field of reverse mathematics. In the case where the trees above are taken to be unlabeled (that is, in the case where  X has order one), Friedman found that the result was unprovable in <span class="ilh-all " data-orig-title="ATR0" data-lang-code="en" data-lang-name="英语" data-foreign-title="arithmetical transfinite recursion">[[:ATR0|ATR0]]（英语：）, thus giving the first example of a predicative（英语：） result with a provably impredicative proof. This case of the theorem is still provable by Π1
1-CA0, but by adding a "gap condition" to the definition of the order on trees above, he found a natural variation of the theorem unprovable in this system. Much later, the Robertson–Seymour theorem would give another theorem unprovable by Π1
1-CA0.
Ordinal analysis（英语：） confirms the strength of Kruskal's theorem, with the proof-theoretic ordinal of the theorem equaling the small Veblen ordinal（英语：） (sometimes confused with the smaller Ackermann ordinal（英语：）).[來源請求]
Friedman's work > TREE(3)

Suppose that P(n) is the statement:
All the statements P(n) are true as a consequence of Kruskal's theorem and 柯尼格引理. For each n, Peano arithmetic（英语：） can prove that P(n) is true, but Peano arithmetic cannot prove the statement "P(n) is true for all n".  Moreover the length of the shortest proof of P(n) in Peano arithmetic grows phenomenally fast as a function of n, far faster than any primitive recursive function（英语：） or the 阿克曼函數 for example. The least m for which P(n) holds similarly grows extremely quickly with n.
By incorporating labels, Friedman defined a far faster-growing function. For a positive integer n, take TREE(n) to be the largest m so that we have the following:
The TREE sequence begins TREE(1) = 1, TREE(2) = 3, then suddenly TREE(3) explodes to a value so immensely large that many other "large" combinatorial constants, such as Friedman's n(4), are extremely small by comparison. In fact, it is much larger than nn(5)(5). A lower bound for n(4), and hence an extremely weak lower bound for TREE(3), is AA(187196)(1), where A(x) taking one argument, is defined as A(x, x), where A(k, n), taking two arguments, is a particular version of Ackermann's function（英语：） defined as: A(1, n) = 2n, A(k+1, 1) = A(k, 1), A(k+1, n+1) = A(k, A(k+1, n)). 葛立恆數, for example, is much smaller than the lower bound AA(187196)(1). It can be shown that the growth-rate of the function TREE is at least  f_{\theta (\Omega ^{\omega }\omega )} in the fast-growing hierarchy（英语：）. AA(187196)(1) is approximately  g_{3\uparrow ^{187196}3}, where gx is Graham's function（英语：）.
參考

↑  . Googology Wiki | Fandom.   [9 July 2020]. （原始内容存档于2020-01-09）.
↑  Simpson 1985, Theorem 1.8
↑  Friedman 2002, p. 60
↑  Simpson 1985, Definition 4.1
↑  Simpson 1985, Theorem 5.14
↑  Marcone 2001, p. 8–9
↑  Smith 1985, p. 120
↑  Friedman, Harvey. . Ohio State University Department of Maths. 28 March 2006  [8 August 2017]. （原始内容存档于2022-12-07）.
↑  Friedman, Harvey M.  (PDF). Ohio State University. 1 June 2000  [8 August 2017]. （原始内容存档 (PDF)于2016-10-18）.
↑  Friedman, Harvey M.  (PDF). Ohio State University Department of Mathematics: 5, 48 (Thm.6.8). 8 October 1998  [8 August 2017]. （原始内容存档 (PDF)于2017-08-09）.
Friedman, Harvey M., , Lect. Notes Log. 15, Urbana, IL: Assoc. Symbol. Logic: 60–91, 2002, MR 1943303
Gallier, Jean H.,  (PDF), Ann. Pure Appl. Logic, 1991, 53 (3): 199–260  [2022-11-07], MR 1129778, doi:10.1016/0168-0072(91)90022-E , （原始内容存档 (PDF)于2023-02-03）
Kruskal, J. B.,  (PDF), Transactions of the American Mathematical Society (American Mathematical Society), May 1960, 95 (2): 210–225  [2022-11-07], JSTOR 1993287, MR 0111704, doi:10.2307/1993287, （原始内容存档 (PDF)于2021-10-21）
Marcone, Alberto.  (PDF). Reverse Mathematics. 2001, 21: 303–330  [2022-11-07]. （原始内容存档 (PDF)于2022-05-08）.
Nash-Williams, C. St.J. A., , Proc. Camb. Phil. Soc., 1963, 59 (4): 833–835, Bibcode:1963PCPS...59..833N, MR 0153601, S2CID 251095188, doi:10.1017/S0305004100003844
Rathjen, Michael; Weiermann, Andreas. . Annals of Pure and Applied Logic. 1993, 60 (1): 49–88. doi:10.1016/0168-0072(93)90192-g .
Simpson, Stephen G., , Harrington, L. A.; Morley, M.; Scedrov, A.;  et al  (编), , Studies in Logic and the Foundations of Mathematics, North-Holland: 87–117, 1985
Smith, Rick L., , Harrington, L. A.; Morley, M.; Scedrov, A.;  et al  (编), , Studies in Logic and the Foundations of Mathematics, North-Holland: 119–136, 1985
大英百科全書第十一版

| 大英百科全书第十一版 |
| --- | --- |
大英百科全书第十一版
原名: Encyclopædia Britannica Eleventh Edition
类型: 作品版本或翻譯
语言: 英式英语
主题: General
發行
編輯: 胡格·切西霍姆
出版机构: Horace Everett Hooper
出版時間: 1910-11
出版地點:  美国
媒介: 印刷版或电子版
系列作品
前作: 《大英百科全书第十版》
續作: 《大英百科全书第十二版》
原始文本: 英語維基文庫上的《大英百科全书第十一版》
规范控制
OCLC: 
《大英百科全書第十一版》（英語：），或作《1911年版大英百科全書》，是《大英百科全书》最經典的一個版本，共29卷，包含40000篇条目。它的出版也反映出美國出版商的新目標，並成為大英百科全書從英國出版到美國出版的一個過渡版本。目前此版本已進入公有領域，任何人都可以自由轉載它的內容。作为19世纪和20世纪早期的文化文物，该书其中一些文章对现代学者亦有特殊的价值。它的许多文章已经被用作维基百科条目的基础。然而，其中一些内容已过时，使其被现代学术资源的使用存在问题。
外部連結

（英文）大英百科全書第十一版（1911年）：互联网档案馆提供的分卷不同格式下載。
参考来源

↑  Boyles, Denis. . Knopf. 2016: xi–x. ISBN 9780307269171.
兰瑞肽

维基百科中的醫學内容，並視作專業意見。如需獲取醫療幫助或意見，请咨询专业人士。詳見。
| --- | --- |

臨床資料
核准狀況:  美 FDA: Lanreotide 
懷孕分級:  澳: C   
给药途径: 肌肉注射, 皮下注射
ATC碼: H01CB03 (WHO) 
法律規範狀態
法律規範:  英：处方药（℞-only） (POM)  美：处方药（℞-only） 
藥物動力學數據
生物利用度: 约80%
血漿蛋白結合率: 78%
药物代谢: 消化系统
生物半衰期: 2小时 (直接代谢) 5天(持续代谢)
排泄途徑: 主要为胆汁
识别
 IUPAC命名法 3-(2-萘基)-D-丙氨酰基-L-半胱氨酰基-L-酪氨酰基-D-色氨酰基-L-赖氨酰基-L-缬氨酰基-L-半胱氨酰基-L-苏氨酰胺，环（2~7）二硫化物  
CAS号: 108736-35-2  Y
PubChem CID: 71349
IUPHAR/BPS: 2031
ChemSpider: 64450 Y
UNII: 0G3DE8943Y
ChEMBL: ChEMBL1201185 N
CompTox Dashboard（英语：） (EPA): DTXSID60897514 
ECHA InfoCard: 100.215.992 
化学
化学式: C54H69N11O10S2
摩尔质量: 1096.33 g/mol 1156.380 g/mol (醋酸盐)  
兰瑞肽（INN）是一种用于治疗肢端肥大症以及神经内分泌肿瘤引发的综合征（特别是针对类癌瘤综合征）的药物。它与奥曲肽类似，是长效的生长激素抑制素八肽类似物。
兰瑞肽（比如醋酸兰瑞肽）是由易普森公司制造，并以索马杜林的商品名销售。它在多个国家得以使用，包括英国、澳大利亚和加拿大等，而且它在2007年8月30日被美国食品药品监督管理局（FDA）批准得以在美国销售。 中华人民共和国于2002年3月14日批准该药上市。
药理学

兰瑞肽人工合成的生长激素抑制素类似物，因此就对多种激素产生抑制作用，其中包括生长激素、促甲状腺激素（TSH）、胰岛素以及胰高血糖素。兰瑞肽与生长激素抑制素相似，通过受体发挥作用。它对外周生长抑素受体具有更高的亲和力，相似的活性，对中枢神经亲和性较弱。虽然生长激素抑制素在体内数分钟便会分解， 兰瑞肽衰减期更长，因此产生更长效的作用。
兰瑞肽的功效还未被完全研究透彻，试验与实际的效果相差较大。
适应症

兰瑞肽用于治疗肢端肥大症，针对垂体和非垂体增生引发的激素分泌瘤，治疗 神经内分泌肿瘤，特别是良性肿瘤和 VIP肿瘤引发的综合征。在美国和加拿大，兰瑞肽只用于治疗肢端肥大症。在英国，兰瑞肽也可用于治疗促甲状腺腺瘤（一种罕见的生长于分泌TSH的脑下垂体的肿瘤）。
有趣的是，兰瑞肽对非内分泌肿瘤同样有抑制性，因此，与其他生长激素抑制素都以成为广泛抗癌药物的可能性而被研究。
副作用

兰瑞肽疗法中最主要的副作用是对注射部位有轻度疼痛以及对胃肠道的的扰乱，例如，腹泻、恶心、呕吐等。在某些病例中出现了因长期使用兰瑞肽而造成了胆结石。
制剂

兰瑞肽可有两种剂型：一种是缓释剂型（以“索马杜林LA”为商品名销售），需要每10到14天进行一次肌肉注射 ；另一种是长效剂型（以索马杜林 Depot为商品名销售），只需每月给药一次。
优势

兰瑞肽适用于长期治疗对于手术和放射疗法不应答或不适合的肢端肥大症患者。兰瑞肽是目前研制成功的第一个生长抑素类缓释制剂，每月只需注射2次，患者更容易接受。
参考书目

1 2 3  （法文） . BIAM. March 5, 2001  [2007-03-02]. （原始内容存档于2020-10-21）.
↑   (新闻稿). U.S. Food and Drug Administration. 2007-08-30  [2007-09-06]. （原始内容存档于2009-05-13）.
↑   (新闻稿). 中国国家食品药品监督管理局. 2002年3月14日  [2008年11月20日]. （原始内容存档于2019年8月4日）.
↑  Rens-Domiano S, Reisine T. . J Neurochem. 1992, 58 (6): 1987–96. PMID 1315373. doi:10.1111/j.1471-4159.1992.tb10938.x.
1 2 3  . electronic Medicines Compendium. September 17, 2003  [2007-03-02]. （原始内容存档于2006-09-24）.
↑  Kvols L, Woltering E. . Anticancer Drugs. 2006, 17 (6): 601–8. PMID 16917205. doi:10.1097/01.cad.0000210335.95828.ed.
↑  Susini C, Buscail L. . Ann Oncol. 2006, 17 (12): 1733–42. PMID 16801334. doi:10.1093/annonc/mdl105.
↑  . electronic Medicines Compendium. April 12, 2007  [2007-04-19]. （原始内容存档于2007-09-28）.
↑  . 中国药物化学杂志. 2008年2月, 18 (1): 80.  Authors list列表中的|first1=缺少|last1= (帮助)
The Last Guy

| The Last Guy |
| --- | --- |
类型: 行列式迷宮
平台: PlayStation 3
开发商: SCEJ
发行商: SCE
模式: 單人遊戲
发行日: 日本：2008年7月31日 北美：2008年8月28日 欧洲：2008年8月28日
《The Last Guy》為索尼电脑娱乐日本所開發的行列式迷宮遊戲。由索尼电脑娱乐發行。於2008年7月31日透過PlayStation Store發售下載，獨佔於PlayStation 3平台上。
概要

《The Last Guy》遊戲類型為行列式迷宮，是一款運用Google Earth精細衛星照片所創造的擬真都市，聚集倖存的人類，並引導到安全的場地。
登場場景

舊金山
聖塔菲
華盛頓哥倫比亞特區
洛杉磯
柏林
雪梨
東京
橫濱
名古屋
倫敦
泰恩河畔新堡
斯德哥爾摩
發行版本

2008年7月31日，透過PlayStation Store下載版，2009年5月28日發行藍光光碟版。
评价

游戏获得较好评价，在Metacritic的汇总得分为77%。IGN给游戏打出了9/10的高分，称游戏“是一款具有挑战性、乐趣和新鲜感的出色作品”。
外部連結

（日語）《The Last Guy》日文官方網站（页面存档备份，存于）
日之影溫泉站

日之影溫泉站（日语：／ Hinokage-Onsen eki */?）是位於宮崎縣西臼杵郡日之影町大字七折，高千穗鐵道的高千穗線車站（廢站）。車站已經停用，但是前車站大樓現時由第三部門營運溫泉設施。
前月台現時擺放了由高千穗鐵道轉讓的車輛（TR-100形（日语：）104, 105），在經過改裝後於2010年開設住宿設施「TR列車之宿」。房間名稱採用町內存在的車站名稱。
歷史

溫泉設施「日之影溫泉站」於1994年5月開始動工，於1995年1月12日開幕。設施面積1,027平方米，總工程費用3億9,400萬日圓。
1939年（昭和14年）10月11日 - 國鐵日之影線日之影站啟用。
1972年（昭和47年）7月22日  - 此站至高千穗之間開通，日之影線改名為高千穗線。
1987年（昭和62年）4月1日 - 伴隨國鐵分割民營化，車站由九州旅客鐵道（JR九州）營運。
1989年（平成元年）4月28日 - 高千穗線由高千穗鐵道接管，成為高千穗鐵道高千穗線車站。
1995年（平成7年）
1月1日 - 車站改名為日之影溫泉站。
1月12日 - 温泉設施「日之影溫泉站」開業。
2005年（平成17年）9月6日 - 受到颱風彩蝶吹襲九州，使高千穗鐵道全線暫停服務。此站的設施也受到破壞。
2008年（平成20年）12月28日 - 槇峰站至高千穗站之間（全線）廢止，此站廢站。溫泉設施繼續營業。
2010年（平成22年）4月22日 - 由高千穗鐵道轉讓2架車輛，加以改裝後成為住宿設施「TR列車之宿」，並於同日開幕。
車站構造

車站是一座地面車站，設有1面2線的島式月台。
使用狀況

在2003年度，1日平均乘車人次為183人。
「日之影溫泉站」概要

|  日之影溫泉站  |
| --- | --- |
TR列車之宿
溫泉資訊
位置: 宮崎縣西臼杵郡日之影町大字七折3235番5號
交通: 巴士（日语：）：延岡站乘坐前往高千穗巴士中心的巴士路線，車程約55分鐘 私家車：從延岡市經國道218號（日语：）駕駛約50分鐘
泉質（日语：）: 鹼性單純泉
泉溫（攝氏）: 38 ℃
液體分類: 鹼性
外部連結: 日之影溫泉站（日語）
「日之影溫泉站」概要 > 溫泉資料

泉質：鹼性單純泉
泉溫：38℃
液體分類：鹼性
功效：神經痛、肌肉疼痛、關節痛、五十肩、運動麻痺、關節僵硬、瘀傷、扭傷、慢性胃腸道疾病、感冒敏感性、病後恢復、恢復疲勞、促進健康
溫泉設施：露天風呂（日语：）、桑拿、足湯
「日之影溫泉站」概要 > 設施

休息日：星期一（但是，當日為假日或８月中時營業）
館內設施：休息室、餐廳、TR鐵道資料室、物產販賣處等
住宿設施：有（TR列車之宿）
停車場：50架
「日之影溫泉站」概要 > 前往交通

宮交巴士（日语：）：延岡巴士中心乘巴士前往高千穗巴士中心，車程約55分鐘
私家車：從延岡市經國道218號（日语：）駕駛約50分鐘
車站周邊

車站附近設有五瀨川（日语：）和日之影町公所。車站位於日之影町中心。在高地處設有國道218號（日语：）（青雲橋）。站前的道路（縣道北方高千穗線）為舊國道218號，該處設有宮崎交通（日语：）的巴士站。
注腳

1 2 3 4 5  鈴木文彥（日语：）. . 鐵道雜誌（日语：） (鐵道雜誌社（日语：）). 1997-03, 31 (3): 76–83.
1 2 3 4 5 6 7 8 9  《日本鐵道旅行地圖帳（日语：）》 12號 九州沖繩 p.61
1 2 3  . 宮崎日日新聞（日语：）（朝刊） (宮崎日日新聞社（日语：）). 2010-04-23: 26 （日语）.
↑  《宮崎日日新聞》1995年1月13日。
↑  九州鉄道百年祭実行委員会・百年史編纂部会 (编).  初版. 九州旅客鉄道. 1988: 181 （日语）.
↑  『交通年鑑 昭和63年版』 交通協力會，1988年3月。
↑  今村都南雄 『民営化の效果と現実NTTとJR』 中央法規出版，1997年8月。ISBN 978-4805840863
↑  宮崎縣統計年鑑
參考文獻

《日本鐵道旅行地圖帳（日语：） 12號 九州沖繩》 新潮社，2009年 ISBN 978-4-10-790030-2
「」《宮崎日日新聞（日语：）》 1995年1月13日22版。
相關條目

日本鐵路車站列表 Hi
外部連結

日之影溫泉站（日之影町官方網站） （页面存档备份，存于）（日語）
TR列車之宿（日之影町官方網站） （页面存档备份，存于）（日語）
高千穗溫泉、日之影溫泉、湯之谷溫泉　鹿兒島和宮崎之湯5 （页面存档备份，存于）（日語）
庫克維爾 (田納西州)

| Cookeville, Tennessee |
| --- | --- |
市

綽號：Hub of the Upper Cumberland
 在帕特南縣和州內的位置
坐标：36°09′51″N 85°30′15″W﻿ / ﻿36.164202°N 85.504295°W﻿ / 36.164202; -85.504295
國家: 美國
州: 田納西州
縣: 帕特南縣
建立: 1854
法人地位: 1903
語源: Richard F. Cooke
政府
 • 类型: 市議會
 • 市長: Ricky Shelton
面积
 • 总计: 22.0 平方英里 (57.0 平方公里)
 • 陸地: 21.9 平方英里（56.7 平方公里）
 • 水域: 0.2 平方英里（0.52 平方公里）
海拔: 1,140 英尺（350 公尺）
人口（2012）
 • 總計: 30,435人
时区: CST（UTC-6）
 • 夏时制: CDT（UTC-5）
電話區號: 931
FIPS編碼: 47-16920
GNIS特征ID: 1647827
網站: www.cookeville-tn.org
庫克維爾（Cookeville）是位於美國田納西州帕特南縣的一個城市及縣治，2010年時共有30,435人居住在這裡。 它是周邊地區的核心，并形成了一個小型的都會區。田納西理工大學位於此地，該大學學生人数已超过一万。
參考文獻

↑  Cookeville Regional Planning Commission, "Comprehensive Future Land Use Plan, Cookeville, Tennessee, 1999–2020 的存檔，存档日期2014-07-04.," 5 October 2000, p. 3.  Retrieved: 16 January 2013.
↑  Tennessee Blue Book （页面存档备份，存于）, 2005-2006, pp. 618-625.
↑  . United States Census Bureau.   [2008-01-31]. （原始内容存档于2013-09-11）.
↑  . United States Geological Survey. 2007-10-25  [2008-01-31]. （原始内容存档于2012-02-04）.
↑  . National Association of Counties.   [2011-06-07]. （原始内容存档于2012-07-12）.
外部連結

Cookeville City Website
Weather Underground （页面存档备份，存于）
Sightseeing map of Cookeville (pdf)
Site listing public official scandals （页面存档备份，存于）
Upper Cumberland Information
Cookeville Weather Information （页面存档备份，存于）
X JAPAN WORLD TOUR LIVE IN HONG KONG

X JAPAN WORLD TOUR LIVE IN HONG KONG是日本樂團X JAPAN於2009年1月16日－17日在香港亚洲国际博览馆所舉辦的演唱會。
概要

這是X JAPAN出道以來首次的海外演唱會，原本預定只唱1月17日一場，但在售票當天所有的票就全部賣完，在香港歌迷的熱烈請求下，緊急加開一場1月16日的演唱會，本次演唱會SUGIZO也有支援。
參加團員

YOSHIKI
TOSHI
PATA
Heath
支援樂手
LUNA SEA吉他手SUGIZO
歌單

破壊の夜 Extra（2009/1/16）
THE LAST SONG
Rusty Nail
WEEK END
PATA Guitar solo
DRAIN
Longing 〜跡切れたmelody〜 (アコースティック)
Piano solo
Without You (Short Version)
ART OF LIFE (第一楽章まで)
紅
アンコール1
ENDLESS RAIN
I.V.
Drum solo
X ～ Drum Break
アンコール2
Tears
Say Anything (S.E)
Longing 〜跡切れたMelody〜 (S.E)
UNFINISHED (S.E)
CRUCIFY MY LOVE(S.E)
破壊の夜 in HONG KONG（2009/1/17）
Amethyst (S.E)
Rusty Nail (ピアノ演奏から)
WEEK END
HEATH Bass solo
DRAIN
Forever Love (アコースティック)
Piano solo
Tears
紅
Orgasm
アンコール1
I.V.
Drum solo & Piano solo 〜DAHLIA (classic short version)
X
アンコール2
ENDLESS RAIN
ART OF LIFE (第二楽章から) ～ Drum Break
Say Anything (S.E)
Longing 〜跡切れたMelody〜 (S.E)
UNFINISHED (S.E)
CRUCIFY MY LOVE (S.E)
外部連結

X JAPAN来港演唱两场 Yoshiki带备氧气罩〔文汇报〕
X JAPAN難以置信的演出〔商業電台〕 （页面存档备份，存于）
飛花掟樽  HIDE重現 X JAPAN狂歌饗港迷圓夢〔蘋果日報〕
X JAPAN將在港華麗開唱 不惜成本放百萬煙火（香港訊）
林佳樹開演唱會 攜帶醫生防暈倒（香港訊）
X JAPAN在香港引起了“事件”
2022年國際足協世界冠軍球會盃決賽

2022年國際足協世界冠軍球會盃決賽是2022年國際足協世界冠軍球會盃中最後一場賽事，為一項在摩洛哥進行的國際足球球會錦標賽。賽事由國際足協主辦，是第19屆國際足協世界冠軍球會盃決賽賽事。
賽事在2023年2月11日在拉巴特的穆萊·阿布德拉赫王子體育場舉行， 由歐洲足球協會聯盟代表、西班牙球會皇家馬德里，對陣亞洲足球聯合會代表、沙特阿拉伯球會希拉爾。
最終，皇家馬德里以5–3擊敗對手，第五次奪得國際足協世界冠軍球會盃錦標，與及第八次成為世界冠軍球會。 這場共入了八球的賽事，是歷來最高入球數的世界冠軍球會盃決賽。
參賽球隊

於下表中，2005年以前的決賽是國際足協世界球會錦標賽時代，2006年以後是國際足協世界冠軍球會盃時代。
| 球隊 | 聯盟 | 晉級途徑 | 過往參與決賽紀錄 （粗體表示冠軍） |
| --- | --- | --- | --- |
|  皇家馬德里 | 歐洲足球協會聯盟 | 2021–22年歐洲冠軍聯賽冠軍 | IC: 5 (1960, 1966, 1998, 2000, 2002) FCWC: 4 (2014, 2016, 2017, 2018) |
|  希拉爾 | 亞洲足球聯合會 | 亞洲足協提命 | 沒有 |
備註：2017年10月27日，國際足協確認所有洲際盃冠軍球隊會被示為球會世界冠軍，與國際足協世界冠軍球會盃地位相同。
IC: 洲際盃 (1960–2004)
FCWC: 國際足協世界冠軍球會盃 (2000, 2005–現在)
晉級之路

|  皇家馬德里 |  皇家馬德里 | 球隊 |  希拉爾 |  希拉爾 |
| --- | --- | --- | --- | --- |
| 對手 | 賽果 | 2022年國際足協世界冠軍球會盃 | 對手 | 賽果 |
| 輪空 | 輪空 | 第二圈 |  韋達卡薩布蘭卡 | 1–1（加时）（5–3 ） |
|  艾阿里 | 4–1 | 準決賽 |  法林明高 | 3–2 |
賽事 > 詳細

皇家馬德里  v  希拉爾
| 皇家馬德里  | 5–3  |  希拉爾 |
| --- | --- | --- |
|    13', 69'    18', 58'    54'  | 報告 |  Marega  26'    63', 79'  |
| --- | --- |
             皇家馬德里 :              希拉爾 
| --- | --- |
 最佳球員：  雲尼斯奧斯·祖利亞 (皇家馬德里) 助理裁判：  Gary Beswick (英格蘭)  Adam Nunn (英格蘭)  第四球證：  Ma Ning (中國)  後備助理球證：  Zhou Fei (中國)  視像助理裁判：  Massimiliano Irrati (意大利)  視像助理裁判助理：  Fu Ming (中國)  Kathryn Nesbitt (美國)  Rédouane Jiyed (喀麥隆):  賽事規則 90分鐘賽事  如有需要，會進行30分鐘加時賽  如果比數仍然相同，則會進行互射十二碼  最多十二位後備球員  最多進行五個常規換人調動，加時賽中可額外進行第六個換人調動