ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
按照其傳記，蓮師應藏王赤松德贊與寂護邀請，約于750年由印度啟程前往西藏弘法，以神通戰勝了當地原生的鬼神與苯教的巫師，創立了最早的藏地寺廟——桑耶寺。使藏民得以改宗正統佛教。并剃度巴·賽囊等七人出家。由于這七人是西藏歷史上最早出家為喇嘛的人，史稱預試七人。為了紀念西藏佛教的創立，與寂護、赤松德贊，合稱師君三尊。他在西藏傳教成功之後便繼續雲遊四方，不知所終。《巴協》是記載蓮花生入藏的最早歷史文獻之一，為後世《布頓佛教史》、《賢者喜宴》、《西藏王統記》、《西藏王臣記》等等眾多史書引用。
相傳他居住在烏金剎土中。他曾經到不丹帕羅傳教，建虎穴寺。其足跡遍及巴基斯坦至不丹一帶。
據《蓮花生傳》所載，蓮花生大士的圣誕日為藏歷六月初十，而諾那呼圖克圖將藏密傳至漢地後，因藏曆與漢地慣用的夏曆相差約一個月，故而在漢地則將蓮花生大士聖誕日定為夏曆七月初十。
按照其傳記，蓮師於湖中蓮花之上被國王因札菩提發現並認養成王子，後被國王罷黜進入森林修行，其後獲得許多的神通成就(悉地)。蓮師的生平事跡以蓮師八變的方式呈現。第五世達賴喇嘛在禪定中挖掘了《具淨相印》的伏藏。並且制定了蓮師八相的灌頂儀軌，他們分別是
*海生金剛上師（Guru Orgyen Dorje Chang） （圖片）
*釋迦獅子上師（Guru Shakya Sengeyi） （圖片）
*蓮花王上師（Guru Pema Gyalpo） （圖片）
*蓮花生上師（Guru Padmasambhava） （圖片）
*愛慧上師（Guru Loden Chokse） （圖片）
*日光上師（Guru Nyima Oser） （圖片）
*忿怒金剛上師（Guru Dorje Drolo） （圖片）
*獅子吼聲上師（Guru Senge Dradog） （圖片）
藏傳佛教中念誦金剛七句祈請文，和蓮師心咒來紀念蓮花生大士。並在每月的初十舉行薈供法會來紀念蓮師。
蓮花生大士是佛教偉大的成就者之一，被稱為第二佛陀，應寂護論師與吐蕃贊普赤松德贊迎請入藏弘法，創設僧團，建立了西藏第一座佛、法、僧三寶齊全的佛教寺院—桑耶寺，為藏傳佛教的奠基者。相傳他曾預言西藏佛法將遭逢滅亡危機，所以在離開西藏前，埋藏許多經典以便後世具緣弟子修習使用，被稱為伏藏。伏藏在藏文有「珍寶」和「值得保存」的含義，伏藏不限於經典，有可能是佛像、法器或甘露等，藏傳佛教各宗派都有，其中寧瑪派特別重視，其中《西藏度亡經》是廣為人知的伏藏經典。
蘭札體及藏文譯音蓮師心咒，又稱金剛上師咒
在藏地，出家及在家佛弟子經常念誦蓮花生大士的心咒，功力神奇、不可思議。
此咒語是否屬於「普傳」，有所爭議，最好透過阿闍黎灌頂傳承，否則依照漢傳佛教的俗例，應該先誦念《大輪金剛陀羅尼》二十一次跟《三昧耶戒真言》「嗡三昧耶薩埵萬」七次或十四次。《大輪金剛陀羅尼》誦念完成之後，視同灌頂完成，日後即不必再誦；《三昧耶戒真言》非常簡短，則在無壇城時可加誦。
梵文藏文字母轉寫
? ??? ????? ??? ???? ??? ?????? ????
梵文IAST轉寫：o? ā? hū? vajra guru padma siddhi hū?
藏音：嗡啊吽，班渣，咕嚕，貝瑪，悉地，吽！（標準漢語）
梵音：嗡啊吽，瓦及拉，古汝，佩得瑪，悉得地， 吽！（標準漢語）
字譯：唵啞吽，金剛，上師，蓮花，悉地，吽！
句譯：中央毘盧遮那佛、西方無量壽佛、東方阿閦如來等三世佛，金剛上師蓮華生大士，願能讓我有所成就！
蓮師的二十五弟子(王臣二十五尊)：蓮師在西藏的二十五位上首弟子，又名「西藏王臣伴二十五法脈」。
* 丹瑪澤芒Denma Tsémang
* 多傑杜炯Dorje Dudjom of Nanam
* 祁瓊洛嚓Khyechung Lotsawa
* 嘉哇卻揚Gyalwa Changchub of Lasum
* 拉松?嘉哇強秋Gyalwa Choyang
* 椎?嘉威羅珠Gyalwe Lodro of Dré
* 真巴南喀Jnanakumara of Nyak
* 空行母 伊喜措嘉, Khandro Yeshe Tsogyal,the princess of Karchen  她是赤松德贊妃子。
* 朗卓?貢卻炯乃Konchog Jungné of Langdro
* 殊普?華給森格Lhapal the Sokpo
* 南喀寧波Nkhai Nyingpo
* 尚?益西德Zhang Yeshe De
* 拉壠貝吉多吉, Palgyi Dorje of Lhalung
* 華給森格Palgyi Senge
* 華給旺秋Palgyi Wangchuk
* 歐真華給旺秋Palgyi Wangchuk of Odren
* 華給益西Palgyi Yeshe
* 瑪?仁欽卻Rinchen Chok of Ma
* 努欽?桑吉益西Sangye Yeshe
* 索波拉華Shubu Palgyi Senge
* 白若雜納大譯師, Vairotsana, the great translator
* 益西揚Yeshe Yang
* 玉扎寧波, Yudra Nyingpo of Gyalmo
* 無垢友 ,Vimalamitra
* 釀?定增桑波Tingdzin Zangpo
* 空行母曼達拉娃 , Mandarava
蓮花生大師除了八種變化之身，還有其他不同的化身，比如：
*語獅子蓮師(瑪威森給蓮師)：這是由伏藏大師秋吉林巴發掘的伏藏法之一，蓮師化現如同文殊師利菩薩的大班智達形象，主要消除眾生的愚癡與邪見。在本質上來說，語獅子蓮師與文殊師利菩薩沒有差別。
*鄔金藥師如來：亦稱"藥師蓮師"，蓮師化現如同藥師佛的形象，主要消除眾生的病苦。在本質上來說，鄔金藥師如來與藥師如來沒有差別。
*秘密威攝蓮師：由十六世大寶法王的上師巴麥欽哲普賢度眾洲所取出之伏藏法
*九頭忿怒蓮師：由北巖藏所傳承
*  New World Encyclopedia, ''Padmasambhava''
托克托縣為內蒙古自治區呼和浩特市下所轄一個縣，總面積為1417平方公里，人口19萬。
托克托名字是由脫脫而來，從明朝以來就以農產為主。主要農產品有枸杞，小茴，葡萄，紅辣椒，鯉魚等。另外也以避暑勝地為盛名。
托克托縣境內的漢語方言主要屬于晉語大包片。
抗利尿激素（，也稱為 ，簡稱 ），又稱精氨酸血管加壓素（, ）、血管升壓素、血管加壓素等，是一種多肽激素，在人體中的主要作用是控制尿排出的水量。抗利尿激素主要是在下視丘的（SON）和（PVN）合成，經由神經軸突輸送至儲存，在適當的生理狀況下可由腦下垂體後葉釋放抗利尿激素至血流中，但目前研究也有發現抗利尿激素可直接被釋放進入腦中，影響中樞神經系統運作。
血管加壓素首先是在豬身上發現的，其中第八胺基酸為賴氨酸，貓的血管加壓素亦如此，我們稱其為賴氨酸血管加壓素(LVP, Lysine Vasopressin)或賴氨酸加壓素(Lypressin)：
半胱氨酸─酪氨酸─苯丙氨酸─穀氨醯胺-天冬氨酸-半胱氨酸-脯氨酸-賴氨酸-甘氨酸─NH2
爾後，在人體發現的血管加壓素，其第八胺基酸為精氨酸。人與大多數哺乳動物的血管加壓素均如此。為了和先前發現的血管加壓素有所區隔，我們便稱在人體發現的血管加壓素為精氨酸血管加壓素(Arginine Vasopressin)或精氨酸加壓素(argipressin)：
半胱氨酸─酪氨酸─苯丙氨酸─穀氨醯胺-天冬氨酸-半胱氨酸-脯氨酸-精氨酸-甘氨酸─NH2
血管加壓素由9個氨基酸組成。文獻中常稱其為八肽，是因為其中兩個半胱氨酸殘基(第一和第六胺基酸殘基)被當成一個胱氨酸來計算。
抗利尿激素作用在遠曲小管和集尿管細胞膜上的，使Gs蛋白與腺苷酸環化酶耦聯，導致細胞內的cAMP增加，從而激活蛋白激酶A。蛋白激酶Ac活化水通道蛋白2，使其附著在頂膜上，形成水通道，增加水的再吸收。因為水的再吸收增加，使體內血液含量上升，從而導致血壓上升，並促使血液滲透壓降低。
血管加壓素作用在週邊血管表皮細胞上，活化Gq蛋白，引起一連串第二信使作用(與鈣離子)，導致細胞內鈣離子濃度增加，使平滑肌產生收縮，因而增加血壓。
血管加壓素的合成與釋放可受下列幾個因素調節：
*透過下視丘的(視上核和視丘室旁核本身便是一種滲透壓感受器，但它們亦可接受鄰近其他的滲透壓感受器的神經調節)。當滲透壓感受器感受到血液滲透壓上升，它便會促進抗利尿激素的合成，並同時促進儲存在腦下垂體後葉的抗利尿激素釋放於血流之中，當抗利尿激素結合在腎臟遠曲小管和集尿管上之V2受器時，引發一連串訊號轉導，結果導致水分再吸收增加，因而血液中的滲透壓便可降低，此低滲透壓可迴饋抑制抗利尿激素之合成與釋放。滲透壓感受器對於血液中的溶質鈉離子有極高的專一性，進而促進抗利尿激素信使核糖核酸之表現。
*透過存在於右心房、心主動脈弓和頸動脈竇上的。當血容積減少時(如大量失血)，壓受容器便能感受到此一變化，引發一連串信號轉導，促使血管加壓素釋放於血流之中，當其作用在血管表皮細胞上的V1a受器時，便活化Gs蛋白，引發第二信使作用導致細胞內鈣離子濃度增加，平滑肌便能產生收縮，因而增加血壓，此增加的血壓便可迴饋抑制血管加壓素之合成與釋放。
*透過膽囊收縮素。此一調控機制目前還未明瞭。
當抗利尿激素的釋放量減少或腎臟V2受器對於抗利尿激素的敏感度下降時，嚴重時便會引起尿崩癥，由於保水能力下降，患者體內便會出現高血鈉癥、多尿癥和多渴癥。
當抗利尿激素釋放過多，使人體經由腎臟排水的能力降低，便可能導致低血鈉癥。
*  Molecular neurobiology of social bonding: Implications for autism spectrum disorders  a lecture by Prof. Larry Young, Jan. 4, 2010.
*  Serum Osmolality Calculator
臺灣觀光學院（英語：The Culinary Institute of Taiwan，CIT），位於花蓮縣壽豐鄉，前身為「臺灣觀光經營管理專科學校」，2006年改制為「臺灣觀光學院」，以觀光餐旅為教學方向的私立技職院校，現有碩士班、四技、二技、二專、五專及進修推廣部。因少子化緣故，於2021年9月1日停辦。
*1989年6月15日，精鍾商業專科學校成立，設立國際貿易科、企業管理科、財政稅務科、會計科、觀光事業科等二年制專科。
*1994年，電子資料處理科更名為"資訊管理科"。
*1995年，增設不動產經營科。成立夜間部。
*1997年6月11日，不滿校方強迫住校及收費過高，集體罷課抗爭，與校方簽署協議書達成十七項有關學費、改善宿舍環境和教學設施的共識。
*2001年，3月，因董事會爆發弊端，並引發學生罷課抗議，爾後遭教育部接管。同年四月改選董事會。
*2002年10月4日，獲準更名為臺灣觀光經營管理專科學校。
*2003年，8月，原有商業類科僅保留應用外語科、資訊管理科，其餘科別整合為國際觀光企業科及觀光資產管理科。增設二專部旅館管理科、旅運管理科、休閒事業管理科、餐飲管理科。
*2004年8月，停招國際觀光企業科、觀光資產管理科、應用外語科、資訊管理科。增設五專部觀光事業管理科。
*2005年，增設中餐廚藝科、西餐廚藝科。
*2006年8月1日，改制為臺灣觀光學院，並設立旅遊管理系。
*2007年，二專部旅運管理科改名旅遊管理科。
*2008年8月1日，五專部及進修專校之觀光事業科、餐飲管理科，整併為觀光餐旅科。停招進修部二專部各科。增設觀光餐旅系。
*2009年，旅館管理系改名餐旅管理系。增設廚藝管理系。二專部中餐廚藝科、西餐廚藝科整併為廚藝管理科，並分設中餐組、西餐組。
*2010年，榮獲教育部大專院校評鑑餐旅類第一名，並獲得遠見雜誌評比校園國際化第一名。增設旅館會展系。休閒事業系改名渡假休閒管理系。
*2011年，停招旅館會展系。
*2012年，渡假休閒管理系改名觀光休閒系；旅遊管理系改名觀光旅遊系。榮獲「遠見雜誌」大學聲望調查，全國大學教師間評比「學術聲望」技職院校全國第二名，「觀光類學校─家長滿意度」全國第三名。
*2013年，增設觀光與餐旅管理研究所。
*2014年，餐旅管理系改名旅館管理系。增設二專夜間部觀光休閒科、觀光旅遊科。
*2015年，增設四技部銀髮族健康管理系。
*2017年，因該校日間部只招收到74人，因此校方決定廚藝系以外其他六系停招，舊生可持續讀到畢業為止。
*2018年，學校由臺灣運動彩券公司接手經營，僅招收廚藝管理系、觀光餐旅系。
*2020年5月，臺灣運彩公司以受到2019冠狀病毒病疫情影響為由，決定停止捐資並退出臺觀學院經營，董事會跟著改組，並處理職工欠薪問題。
*2020年，12月8日代理校長王燕軍宣布翌年停招不停辦，同年12月8日申請自110學年度全面停招，教育部2021年1月11日核準。
*2021年2月9日，學校董事會議討論後決議停辦。4月15日，停辦計畫提報教育部。，5月24日線上會議全數同意建議申請停辦；教育部於6月1日召開審議會後安排學校在該年9月1日停辦，未畢業學生多轉介至慈濟科技大學，少量轉至大漢技術學院與其他外縣市院校。
*2022年1月4日，教育部同意解散臺灣觀光學院學校法人，預計同年5.6月將走完法定清算程序。1月12，國立空中大學證實將於同年6月接收臺灣觀光學院捐贈的校地與校舍，未來將朝創生產業園區規劃。
* 觀光餐旅系（五專、四技進修部、夜二專、二專進修部、碩士）
搭乘臺鐵、公路客運至豐田火車站後步行約25分鐘即可抵達。
花蓮火車站－光復
花蓮車站-吉安-志學-東華大學-壽豐-豐田-林榮-南平-鳳林-萬榮-光復
花蓮火車站－瑞穗
花蓮車站-吉安-志學-壽豐-豐田-林榮-南平-鳳林-萬榮-光復-富源-瑞穗
花蓮火車站－東華大學
花蓮車站-吉安-仁和-月眉-豐田-壽豐-門諾醫院壽豐分院-東華大學
2012年在慕尼黑
弗朗茨（德語：''Franz''，），巴伐利亞、法蘭克尼亞和士瓦本公爵，萊茵行宮伯爵，巴伐利亞王位繼承人，巴伐利亞維特爾斯巴赫家族首領。同時他也是大部分詹姆士派支持的英國王位覬覦者，被詹姆士派稱為弗朗西斯二世（''Francis II''）。
弗朗茨1933年出生于慕尼黑大學醫院，巴伐利亞王位繼承人阿爾布雷希特與第一任妻子瑪利亞·德拉什科維奇·馮·特拉科什乾的長子，巴伐利亞末王路德維希三世的曾孫。他出生時并沒有得到“巴伐利亞王子”的頭銜，因為他父母的婚姻不符合巴伐利亞王室法律，1941年他的祖父魯普雷希特修改了王室繼承法，將此次婚姻合法化，他才得到“巴伐利亞王子”的稱號。
1939年，弗朗茨跟隨父母因逃避納粹政權的迫害而流亡，定居匈牙利。1944年10月，德軍占領匈牙利，他和家人被蓋世太保抓獲，拘于薩克森豪森集中營。1945年被轉移到達豪集中營，在那里被美軍釋放。戰后，弗朗茨接受了本篤會的教育，并在慕尼黑大學和蘇黎士工商業學院學習工商管理。他懂得英語、法語、德語和匈牙利語。1996年7月8日，父親阿爾布雷希特去世，他成為巴伐利亞王位繼承人，并被詹姆士派稱為英格蘭、蘇格蘭、愛爾蘭和法蘭西國王，還有一些人稱他為耶路撒冷國王、塞浦路斯國王甚至埃及法老王子。
弗朗茨與他的祖先巴伐利亞國王路德維希一世一樣對收藏藝術品有著濃厚的興趣，他私人收藏中有許多都租給了慕尼黑現代美術館展覽。弗朗茨在巴伐利亞的許多藝術、教育和宗教機構擁有名譽稱號：他是慕尼黑大學世襲評議員、巴伐利亞科學與人文學學會榮譽會員、慕尼黑工業大學榮譽評議員、路德維希-馬克西米利安大學監理會成員、巴伐利亞天主教學會委員會和學會管理處成員、哲學高等學校監理會成員、卡爾·伯姆基金會榮譽協會會員、巴伐利亞人口基金會監理會成員、舊美術館創建者協會主席、現代美術館基金會的贊助人等。1996年，他獲得了美國賓西法尼亞州圣-文森特學院榮譽博士的學位。
作為巴伐利亞王位繼承人，弗朗茨同時擁有許多頭銜：圣-休伯特騎士團團長、馬克西米利安-約瑟夫軍團團長、圣喬治騎士團團長，他也是馬耳他騎士團的執行官和奧地利金羊毛騎士團成員。
弗朗茨沒有結婚，現居住在位于慕尼黑的維特爾斯巴赫家族的夏宮寧芬堡裡。由于沒有子嗣，巴伐利亞王位的繼承權將由他的弟弟巴伐利亞的公爵馬克斯繼承。馬克斯沒有兒子，王位將傳給他們的遠房堂弟巴伐利亞王子柳特波德及其后代，見巴伐利亞王位繼承順序。
2021年6月，弗朗茨與他的長期伴侶托馬斯·格林瓦爾德合照，其正式肖像由荷蘭攝影師埃爾溫·奧拉夫拍攝。弗朗茨也因此成為首位公開其同性伴侶的歐洲王室族長。
本杰明·卡梅隆·華萊士（，），外號「大班」、「大班蛙」，出生于美國阿拉巴馬，前美國職業籃球運動員，司職中鋒，也可以擔任大前鋒，曾效力于NBA華盛頓子彈、奧蘭多魔術、底特律活塞等球隊。他的報名身高為2.06米（6英尺9英寸，但是他本人曾經聲明過自己身高大概在199公分左右），體重為111公斤（245磅）。也是2002年世界籃球錦標賽美國國家男子籃球隊成員。
華萊士在弗吉尼亞聯合大學打過籃球。作為一名沒有參加選秀的球員，華萊士以自由人身份在1996年10月2日加盟了華盛頓子彈。
1999年，華萊士和蒂姆·萊格勒、特里·戴維斯、杰夫·麥金尼斯一起被交換到了奧蘭多魔術，和他們交換的球員是埃克·奧斯丁。2000年8月3日，他和查基·阿特金斯一起被交換到了底特律活塞，魔術則得到了格蘭特·希爾。從此以后，他開始了自己的NBA防守專家生涯。2001-02、2002-03、2004-05和2005-06賽季，華萊士四獲NBA最佳防守球員榮譽。其中連兩個賽季他還成為了聯盟的籃板和蓋帽榜上第一名。2003年，他因支持者們投票成為了NBA全明星首發中鋒。他也成為了聯盟歷史上第一個沒有參加過選秀的全明星比賽首發球員。2004年9月21日，由于在奧本山宮殿引起斗毆事件，他被停賽六場。
2006年，他以自由球員身份同芝加哥公牛簽約。2008年，作為三隊11人大交易的一部分，他與喬·史密斯被送往克里夫蘭騎士，以交換拉里·休斯和德魯·古登。
2008-09賽季，騎士打出了66勝16負最好的成績，華萊士已經因傷缺陣26場常規賽。4月19日，華萊士在自己職業生涯最后一年的季后賽正式復出。不過這次他不再為騎士首發出場了，而只是一個用來打醬油的替補角色。但是，當騎士橫掃活塞的時候，華萊士對自己的老東家造成了巨大的傷害。之后騎士的每一場季后賽的比賽，他都以替補角色出戰。最后騎士以2比4不敵魔術，華萊士不得不和詹姆斯他們說再見了。
2009年，華萊士以自由球員身份重返活塞，最後在那裡退休。
華萊士的體型非常強壯，可以讓他在自己的位置上以身體對抗其他比他高大的球員。華萊士還是聯盟中少有的籃板和蓋帽高手，他出色的身體素質和防守技能讓他防守之中很少會被吹罰犯規（平均每場2.1次）。
他的缺點是進攻。2005年，他平均每場拿下不到10分，所以在比賽中對手不把他當作一個進攻威脅來對待。他近年來努力提高自己的進攻水平，但是由于自己的限制，提高的很有限。和其他的NBA的“高人”——沙奎爾·奧尼爾和威爾特·張伯倫類似，他的罰球命中率很低。事實上，華萊士是NBA歷史上罰球數在1000次以下的球員中命中率最低的。到2005年10月，他的職業生涯平均命中率為42%。所以有的時候對手可以采用類似于“砍鯊戰術”的方式來送華萊士上罰球線。2006年2月9日，華萊士第四次入選了NBA全明星陣容。
* 4次NBA全明星：2003年、2004年、2005年、2006年
* 4次NBA最佳防守球員：2002年、2003年、2005年、2006年
* 5次NBA最佳防守陣容：2002年、2003年、2004年、2005年、2006年
* 3次NBA最佳第二陣容：2003年、2004年、2006年
* 2次NBA最佳第三陣容：2002年、2005年
* 2次NBA常規比賽平均籃板第一：2002年（13.0）、2003年（15.4）
* 1次NBA常規比賽平均蓋帽第一：2002年（3.5）
* 2次NBA常規比賽籃板總數第一：2001年（1052）、2003年（1026）
* 1次NBA常規比賽防守籃板總數第一：2001年（749）
* 2次NBA常規比賽進攻籃板總數第一：2003年（293）、2006年（301）
* 1次NBA常規比賽蓋帽總數第一：2002年（278）
* NBA歷史上唯一一名連續四個賽季每賽季1000籃板、100阻攻和100抄截的球員（2001年－2004年）
* NBA歷史上僅有的三名連續六個賽季每賽季150阻攻和100抄截的球員之一（2001年－2006年）（另外兩人是阿基姆·奧拉朱旺和大衛·羅賓遜）
* NBA歷史上僅有的四名在一個賽季中在平均阻攻和平均籃板上都領先的球員之一（另外三人是卡里姆·阿卜杜勒·賈巴爾、比爾·沃爾頓和奧拉朱旺）
* NBA歷史上唯一一名沒有參加過選秀的全明星比賽首發球員
* NBA歷史上僅有的兩名奪得4次NBA最佳防守球員的球員之一（另外一人是迪肯貝·穆托姆博）
* NBA歷史上最矮的2000次蓋帽先生。
華萊士保持著以下底特律活塞隊史紀錄（15項）：
* 阻攻總數：2137個（1996年至今）
* 單場比賽阻攻：10個（2002年11月10日，對陣邁阿密熱隊）
* 半場比賽阻攻：7個（2003年2月1日，對陣新澤西網隊）
* 單節比賽阻攻：5個（2002年3月10日，對陣印第安那步行者隊）
* 單賽季阻攻總數：278個（2001年－02年）
* 單賽季平均阻攻：3.48個（2001年－02年）
* 單節防守籃板：10個（2002年11月18日，對陣紐約尼克斯隊）
* 半場比賽籃板：17個（2003年東部第一輪第四場比賽）
* 單節比賽籃板：13個（2003年東部第一輪第四場比賽）
* 單場比賽進攻籃板：11個（2004年東部半決賽第三場）
* 半場比賽進攻籃板：7個（2004年東部半決賽第三場）
* 單場比賽防守籃板：17個（2003年東部決賽第一場）
* 半場比賽防守籃板：12個（2003年東部決賽第一場）
* 單節比賽防守籃板：9個（2003年東部決賽第一場）
* 單場比賽抄截：7個（2003年東部第一輪第四場）
* 在家中11個兄弟姐妹中排名第10
* 喜歡打獵、釣魚、游泳和玩電子游戲
是一部2005年美國超級英雄、超自然、驚悚、動作片，為法蘭西斯·羅倫斯執導，同時也是該導演的電影處女作。電影由基努·李維、瑞秋·懷茲、西亞·李畢福、傑曼·翰蘇、和蒂達·史雲頓主演。
改編自美國DC漫畫的《'》。影片在漫畫的基礎上做出了重大改編，但個別情節取自著名作家阿蘭·摩爾的《'》第41-46期的「Dangerous Habits」。約翰·康斯坦汀是片中的主角，1988年，這個人物擁有了自己的漫畫書作品《地獄神探》，片中講述了基努·李維飾演的康斯坦汀，能夠出入地獄追魔的故事。評論家們對於這部電影都有不同的評價。
2005年2月8日在香港首映，2月18日在美國和加拿大上映。魔間行者因為暴力和魔鬼鏡頭被美國電影協會評訂為R級，在香港被訂為IIA級。《康斯坦汀：驅魔神探》在北美首週末賺近3000萬元票房，成為那周末第二大收入電影，全世界票房收入為2億3088萬美元。
在墨西哥，一位年輕人曼奴爾在一個廢墟中找到了一把包裹在納粹德國國旗裏的「命運之矛」，他一抓住矛就好像著了魔，向洛杉磯去了。行進間如同瘟疫般為周遭的一切生物帶來死亡。「命運之矛」乃天主教的聖物，在第二次世界大戰後此矛下落不明，這昔日用來刺死耶穌、染有耶穌血液的矛，誰若得到它便能掌握世界。
在洛杉磯，約翰·康斯坦汀正在為一個亞裔女孩驅魔；雖然他成功趕走了附身在那女孩身上的惡魔，但那惡魔想強行用正身型態進入人世間，令康斯坦汀覺得另有隱情。
天堂、地獄、人間是三個不可任意跨越的領域，人間是天堂和地獄之外，一個中立的地方。上帝與撒旦有所協定，不得直接干涉人間，但可派遣化身為人類的混種天使與混種惡魔來影響人類的善惡選擇。選擇善的價值觀的人進天堂，選擇惡的價值觀的人下地獄，並以人類的選擇為賭注，決定將來人間會屬於上帝或撒旦。有些人與生俱來便有陰陽眼靈能力可以看到存在於人間的天使和惡魔，康斯坦汀就是其中一個。但他也因為陰陽眼的痛苦折磨而曾經自殺未遂，雖然最終醫生把他救活，但是他在斷氣的兩分鐘內，靈魂已遊過地獄一遭。根據天主教教義，自殺的人只能下地獄，不會上天堂。
而康斯坦汀在活過來後利用他的靈異能力，消滅許多不守規矩的混種惡魔以及非法入境的正身惡魔，希望能藉此獲得上天堂的機會，但這是無效的方法，康斯坦汀因此對上帝十分怨懟。而他自15歲開始每天抽菸30支也讓他得了肺癌，命不久矣。一個保持中立的巫醫米德奈告知康斯坦汀，由於他在人間消滅惡魔的所作所為，將使路西法親自來到人間接引他下地獄。
另一方面，女警安琪拉·道森正懷疑她孿生姐妹伊莎貝爾的自殺是另有隱情。康斯坦汀在和她見面後慢慢發現了一個大陰謀：撒旦的兒子瑪門準備來到人間，創造出屬於他自己的血肉地獄，而瑪門從地獄進入人間通道，就是擁有特殊靈媒體質的道森姐妹（伊莎貝爾就是因反抗這個命運而自殺，下了地獄），以及他們認為不可能的條件「上帝的幫助」（後來發現即是命運之矛）。
其後康斯坦汀發現來到人間的大天使長加百列瞞住了上帝，暗中與惡魔波瑟沙聯手幫助瑪門進入人間，原因是加百列想藉由瑪門的血腥殘暴來考驗出人類最好的善良本性，祂認為面臨到可怖命運而散發出高貴情操的人類才值得上帝寵愛。康斯坦汀的助手查斯在對抗加百列時死亡。正在加百列準備以命運之矛刺向安琪拉的血肉之軀進而釋出瑪門時，被擊敗而無力反抗的康斯坦汀想起了米德奈說過的話決定割腕自殺，引來路西法來到人間。
路西法來到人間時，發現他叛逆的兒子想破壞他與上帝間的協定，阻止了瑪門的降臨並將之送回地獄，同時上帝把與瑪門合作的加百列打為凡人，身心俱疲的康斯坦汀對路西法提出，將犧牲自己來交換地獄裡伊莎貝爾的靈魂，路西法同意此要求，正當路西法準備將康斯坦汀拖回地獄時，因康斯坦汀藉自我犧牲來拯救他人靈魂的義舉，已經符合善的定義，使他受上帝牽引即將進入天國，路西法憤而把康斯坦汀攔了下來，治好了康斯坦汀的肺癌與割腕，讓康斯坦汀失去了一個升天的機會，並放話說康斯坦汀的靈魂「終究會歸於地獄」。過後，康斯坦汀與安琪拉道別，還將「命運之矛」給她保管，並要她將矛藏在連康斯坦汀都找不到的地方。
在片尾字幕結束以後，康斯坦汀來到他的助手查斯墓前緬懷，將自己珍愛的打火機放在墓碑上以紀念查斯（他已成功戒菸）。當他準備離開時，瞥見查斯以天使的型態取走打火機，向康斯坦汀微微一笑後飛升上天，康斯坦汀才恍然大悟原來上帝一直都沒有拋棄他，而是暗中派遣查斯指引他走在正路上。
《康斯坦汀：驅魔神探》宣傳海報。由基努·李維飾演的康斯坦汀
約翰·康斯坦汀（John Constantine）
本片主角，我行我素、放蕩不羈、從小就擁有陰陽眼的現代驅魔師，能看見混種惡魔和混種天使。愛好抽菸、喝酒，他從15歲開始就每天抽將近30根菸，康斯坦汀為了救贖他在兒時曾試圖自盡的行為而不能死後上天堂的懲罰，一直不斷的將想闖入人間作亂的惡魔打回地獄。本片受女警安琪拉委託調查其妹伊莎貝爾的離奇跳樓自盡事件，於是他開始調查這一連串的事件和冒險。
安琪拉·道森（Angela Dodson）
一位陷入困境的洛杉磯警察局的女性探員，伊莎貝爾的雙胞胎姐姐，從小與妹妹伊莎貝爾擁有陰陽眼，但後來自然消失此能力。為了找出伊莎貝爾會跳樓自盡的原因，前來尋求康斯坦汀的幫忙，繼而捲入這場離奇的事件中。
伊莎貝爾·道森（Isabel Dodson）
安琪拉的雙胞胎妹妹，有著強勁的精神力的預防性拘留精神病人，從小就擁有陰陽眼，有著能看見半惡魔和一半天使的能力。為了不讓惡魔瑪門藉由自己的肉體進入人間，於是她決定跳樓自盡後讓自己的靈魂墮入地獄，因此讓姐姐安琪拉尋求康斯坦汀的協助幫忙找出她會跳樓的原因，最後藉由康斯坦汀的犧牲下重返天堂。
西亞·李畢福
查斯·克雷默（Chas Kramer）
約翰·康斯坦汀的司機和跟班。總是對神秘學有濃厚的興趣，認為藉由幫助康斯坦汀就有獲得他的知識和經驗的機會。實際上他是上帝派遣在康斯坦汀的身邊引導他走向正途的混種天使。
巴帕·米德奈（Papa Midnite）
是曾經攻打過地獄、憑靠一己之力對抗多隻惡魔的前任巫醫，要求一方給予小費後就宣誓中立；之後他開一間夜店中立地作為天堂與地獄之間的會議所。
馬克斯·貝克
比曼（Beeman）
約翰·康斯坦汀的特殊材料供應商和愛好昆蟲的朋友。會將各種聖物供應給康斯坦汀協助他驅魔行動，最後因為解讀撒旦經給康斯坦汀聽時被波瑟沙發現因此而被後者給殺害身亡。
法特·韓尼森（Father Hennessy）
一位酗酒的通靈神父，經常為自己擁有特殊能力感到困擾，總是藉由喝酒處於非清醒狀態讓自己聽不見靈界的聲音。
波瑟沙（Balthazar）
一個混種惡魔，手中總是不停地轉著一枚硬幣。對約翰·康斯坦汀感到特有興趣，總是虎視眈眈他的肉體和靈魂。
加百列（Gabriel）
一個雌雄同體的混種天使，非常蔑視人類。因為曾對上帝向任何人與全人類進行救贖行動而感到不滿，於是瞞著上帝與瑪門聯手來企圖毀滅世界藉此選出最後生存的人選，而成為片中的反派角色。
彼得·斯特曼
路西法（Lucifer）
一個墮落天使，瑪門的親生父親，曾和上帝與處於代理戰爭的局面，非常想要得到全人類的靈魂。出現於人間時會使時間凍結的同時也能自行解除。因為厭惡約翰·康斯坦汀的驅魔魄力，將自己視為永遠唯一會親自來領取康斯坦汀的靈魂。
蜜雪兒·摩納漢
艾莉（Ellie）
一個混種惡魔。鏡頭刪減。
片中康斯坦汀對付惡魔的各種武器，其武器皆含有宗教氣息。
康斯坦汀以各種聖具所組合而成的霰彈槍。整體為十字型並刻有聖文字，前方有探照燈，也能作直接毆打用。以聖具溶製成的子彈擁有消滅惡魔的絕對威力，子彈是以左輪的方式切換。
十字軍東征由主教祝福的純金指虎。以拉丁文標記「in nomine pater et filius et spiritus sanctus」（因父及子與圣神之名）。上刻有十字架，在毆打時有淨化的效果。
純金的火焰噴射器。
《康斯坦汀：驅魔神探 電影原聲帶》是由同名電影2005年的電影原聲專輯。電影配樂是歌曲在影片中的管弦樂編制，由好萊塢工作室交響樂團執行，並由電影作曲家布萊恩·泰勒負責組成。電影配樂是由平移所有音樂，有人把它稱為「陳詞濫調和宗教公式化」。
美國宣傳時用的口號：
* ''Hell wants him. Heaven won't take him. Earth needs him.''
* ''The wager between heaven and hell is on Earth.''
Warner Home Video在2006年3月28日發行了本片的HD DVD ，它是最早以HD DVD格式發行的電影之一。但因為HD DVD格式延期推出，實際推出日期是2006年6月6日。
本片獲得的評論家評論褒貶各不一。影評匯總網站爛番茄根據收集來的227篇影評，給出46％的中等評價，平均分為5.5/10。
《康斯坦汀：驅魔神探》的票房成績頗為成功，全球總票房共計230,884,728美元。
在2011年MTV對導演法蘭西斯·羅倫斯的採訪中，談到了續集的可能，他說：「有趣的是，多年來，『康斯坦汀』好像......有了許多狂熱的追隨者，這很棒，也被廣為接收。能有續集將會很棒，如果我們真這麼做，我們曾試圖做出真正黑暗可怕的版本。我們碰上了怪異的PG-13 - R的無人區，我們應該做一個R級嚇人版本，這是我很想做的」。
2012年11月，據報導，葛雷摩·戴托羅和華納兄弟公司正在考慮一個DC漫畫「超自然人物」電影，其中包括約翰·康斯坦汀。但它是否連接到本片或基努·李維是否會演出他的角色，都沒有得到基努李維的回答。
共時語言學，又稱靜態語言學，是由索緒爾創立的一套語言學方法，其特點是對某個語言現象只在一個給定的時間段內進行研究（通常是現在，但也可以是歷史上的一個時間）。此方法與研究語言現象的歷史演變和發展的“歷時語言學”相對。
該分支於20世紀初開始發展，其研究遍及各主要語言，主要學派有描寫語言學派、轉換生成學派、層次語言學派等等，并且為美國語言學中的“結構主義流派”和“行為主義”的產生完成了理論的鋪墊。
共時語言學與歷時語言學的分開，標誌著語言學從從印歐語系的比較聲韻學走進結構語言學。
*  Simple illustration of the differences between synchronic and diachronic variation.
新城市中央廣場及HomeSquare外貌
新城市中央廣場（圖中中間的建築物）
新城市中央廣場北面外貌。前方建築物分別為新城市中央廣場1座（左）、新城市中央廣場2座（中）及沙田政府合署（右）
商場翻新後新建的中庭
HomeSquare1樓
HomeSquare2樓
HomeSquare3樓
HomeSquare5樓宜家傢俬入口
HomeSquare6樓宜家傢俬
新城市中央廣場，是香港的一個寫字樓及商場物業項目，由新鴻基地產發展，由設計，位於新界沙田鄉事會路138號，鄰近港鐵東鐵綫沙田站，由兩座十五層高甲級寫字樓及基座五層購物商場HomeSquare組成。
新城市中央廣場最初屬於新城市廣場第四期的一部份，後期才正式命名。整個項目在1993年開始興建，並且在1995年完成工程。不過建築物初期落成時一直空置，到了1996年才將購物商場二樓改建為臨時汽車展銷場。在1997年10月，當時為全港最大的宜家傢俬進駐商場三樓及五樓，使商場人流上升。為配合當年樓市蓬勃發展，新鴻基地產更在1998年於商場二樓設立「新樓天地」示範單位，展示集團推出的新住宅項目。曾展示的示範單位包括沙田帝堡城（1999年）及欣廷軒（2000年）。不過因經濟環境欠佳，「新樓天地」已在2000年下半年關閉，原址到了2002年才拆細為多間傢俬店。
1995年，新鴻基地產把新城市中央廣場一座16至22樓樓面售予美國大通銀行，涉資約3.92億元。到2014年12月21日土地註冊處資料顯示，恒生銀行附屬公司Imenson Limited.斥資6.42億元向摩根大通購入沙田鄉事會路138號新城市中央廣場1座18至22樓，每層樓面面積約1.7萬方呎，5層涉及總樓面面積約88325方呎，樓面呎價約7269元。土地註冊處顯示，現時以月租304.5萬元租予摩根大通，租期至2019年初，按上址每層約18,900方呎、即總樓面約9.4萬方呎計，呎租32元，恒生享租金回報5.6厘。
HK ShatinGrand Central Plaza.jpg|新城市中央廣場外牆翻新前面貌（2007年）
GCPenterance 20070723.jpg|新城市中央廣場入口（翻新前）
GrandCentralPlace_20060128.jpg|中庭翻新前面貌（2006年）
Homesquare Atrium 2010.jpg|中庭翻新後面貌（2010年）
新城市中央廣場已在2007年5月開始進行大型翻新工程，包括進行商戶重組，更換地板、假天花、全面翻新中庭及建築物外牆。第一階段翻新工程經已在2007年11月完成，商場二樓分拆為多間店舖，大部份店舖於2008年初陸續開業。但該層也預留位置作擴建商場之用，並且進行招租工作。中庭翻新後，扶手電梯已更換。商場一樓翻新工程在2008年6月中完成。
GrandCentralPlazaVacantShop.jpg|2007年時，大部份店舖仍空置
GCPBanner 20070723.jpg|中庭正進行翻新工程（2007年7月）
GrandCentralPlazaVOIDinside 20071111.jpg|中庭正進行翻新工程
GrandCentralPlaza 20071111.jpg|特色行人走廊背後為預留位置作擴建商場之用
在2008年6月，新鴻基地產斥資逾1.7億元，為旗下新城市中央廣場進行翻新工程，商場部分易名為HomeSquare，工程完畢後，面積增至35萬平方呎，打造為「一站式家居主題商場」。翻新工程由本地著名建築師何周禮和周古梁建築工程師有限公司負責設計。商場翻新後，面積擴充至35萬平方呎，店舖數目已由原本約30間增至2010年4月竣工後的115間，並由原來的四層增至五層，商場面積增幅達17%。新鴻基地產更斥資250萬港元增設跨層扶手電梯從2樓直達5樓，方便顧客前往位於5樓及6樓佔地12萬平方呎的宜家傢俬，扶手電梯於2009年12月1日啟用。
新鴻基地產亦將積極引入更多高級浴具及室內設計建材等商戶，以及特色食肆、休閒咖啡室及快餐商戶。包括2樓的Pacific Coffee及5樓的大快活。
到了2010年7月，新鴻基地產公佈，擴充翻新工程於8月完成。翻新後商場匯聚七大家居主題，雲集115間專業室內設計、傢俬名店、玩味家品、寢室廚具專門店、家電燈飾等多元化商戶。當中近30%更是選址HomeSquare開設其全球、全港或新界區唯一或首間概念專門店。
HomeSquare自2008年初開始擴充翻新工程至今，商場人流與擴充翻新前比較，增幅為25%；商戶營業額方面，則增加逾40%。
HomeSquare Entrance 2013.jpg|HomeSquare入口
HomeSquare Level 2 Access.jpg|2樓商店（2009年）
HomeSquare Level 3 201204.jpg|3樓商店（2012年）
HomeSquare Level 5 200912.jpg|5樓（2009年）
Homesquare Level 5 Podium Garden 2015.jpg|5樓花園平臺（2015年）
新城市中央廣場二座寫字樓大堂
寫字樓部份分為兩座，每座樓高16層，設16部客運升降機穿梭於高低層辦公室。新地曾於1995年，把16至22樓售給美國大通銀行，涉資約3.92億元，到2015年銀行把部分樓面轉售給恒生銀行。現時的主要租戶包括、宜家家居、AECOM艾亦康、香港（CH）病理檢驗中心、東華三院綜合戒煙服務中心、葉謝鄧律師樓、滙豐中小企中心、電訊盈科客戶服務中心、Wall Street Institute、一田百貨（第1座9樓901-910室）、曼秀雷敦（亞洲太平洋）有限公司（第2座21樓2111-21室）、食物環境衞生署沙田環境衞生辦事處（第1座12樓）、康樂及文化事務署沙田區康樂事務辦事處（第1座12樓1207至1212室）及土地註冊處的中央影像處理中心（第2座15樓1501-10及21室）。
寫字樓範圍於2014年進行翻新工程。
2016年4月22日早上8時許，商場入口行車通道的一幅假天花，突然先後兩次塌下，當時有不少上班一族途經，幸未有造成人命傷亡。商場事後即時把現場用大量帆布及圍板密封範圍。同時展開維修工作。
在新城市中央廣場面向康樂及文化事務署總部，是設有一個預留位（該預留位同時亦設有兩條扶手電梯），以方便興建行人天橋連接其與港鐵沙田站。
新地於2002年建議興建一組四米闊的有蓋行人天橋由沙田站穿越排頭村之上方往新城市中央廣場，再由新城市中央廣場連接沙田政府合署，天橋高40呎，侵犯該村村民的私隱，同時亦擔心會影響村內屬三級歷史建築的「藍氏家祠」及村口一棵百年風水樟樹，故一直有提出其它方案，建議天橋先去對面康文署總部，然後再連接新城市中央廣場，而反對興建該天橋的原定走線。
直至2007年3月底，有關問題仍在商議中。2010年5月4日沙田區議會交通及運輸委員會以「排頭街公共運輸交匯處改善措施及港鐵沙田站至沙田政府合署行人天橋工程」為名，以36票一致通過支持新地的行人天橋方案，而政府亦與發展商商討行人天橋方案，原於2010年下半年刊憲，最快可於2013年底完工。
不過到了2012年5月，政府表示基於工程技術上有大難度、造價昂貴、以至不能利用現有在沙田政府合署預留的接駁點為理由，決定短期內不會再考慮行人橋方案，而只會為行人道進行改善計劃。
HK_HomeSquare_OpenningForFutureFootbridge.JPG|行人天橋預留位
HK_PaiTauVillage_ProtestBanners_against_footbridge_construction.JPG|排頭村抗議興建天橋的橫額
HK ShaTinRuralCommittee ResponseBanner.jpg|沙田鄉事委員會的回應橫額
* 太陽報有關排頭村與行人天橋風波的報導
* 新城市中央廣場翻新後概念圖
亞洲主要都市網，全名為21世紀亞洲主要都市網（Asian Network of Major Cities 21，簡稱ANMC 21），是2000年由日本東京都知事石原慎太郎與其他三個亞洲國家主要都市首長所發起。現在是暫時中止活動的狀態。
聯合亞洲各國大都市超越宗教及意識形態，著力於觀光、都市問題、經濟、文化等議題，以相互協助共同企劃推動之方式建構一亞太都市網，藉以跨越國家藩籬，促進亞太城市間之友誼與繁榮，並建立可供日常活用之亞洲資訊交換系統以解決亞洲大都市之共同問題。
※共同提倡都市
*2001年10月：第一屆年會，東京。
*2002年11月：第二屆年會，德里。
*2003年11月：第三屆年會，河內。
*2004年11月：第四屆年會，雅加達。
*2005年11月：臨時會議，東京。
*2006年4月：第五屆年會，臺北。
*2007年11月：第六屆年會，馬尼拉。
*2008年11月：第七屆年會，吉隆坡。
*2009年11月 : 第八屆年會，曼谷。
*2010年11月 : 第九屆年會，東京
*2011年10月 : 第十屆年會，首爾。
*2012年6月 : 第十一屆年會，。
*2013年11月 : 第十二屆年會，河內。
*2014年9月 : 第十三屆年會，托木斯克。
*北京：原本北京也是亞洲主要都市網創始會員城市之一，但是在第四屆年會時，臺北與北京爭辦2005年年會主辦權，北京贏得7票，較臺北多3票，但並未贏得章程規定所需的三分之二（八票）贊成票；後來達成協議，2005年由北京主辦，2006年再由臺北取得優先主辦權，其餘除了北京與臺北以外的十個城市也簽署切結書，表態不爭取2006年年會主辦權。不過，北京反對將這項協議列入共同聲明，拒絕簽署大會2004年的「雅加達宣言」並於2005年9月退出，使原定2005年秋天在北京召開的第五屆年會停擺。所以日本於2005年11月29日召開臨時會議討論，結果決定由臺北提前把2006年秋天預定舉辦的第六屆年會更改為2006年4月舉辦第五屆年會。
簡單類型 lambda 演算是連接詞只有  (函數類型)的有類型 lambda 演算。這使它成為規范的、在很多方面是最簡單的有類型 lambda 演算的例子。
簡單類型也被用來稱呼對簡單類型 lambda 演算的擴展比如積、陪積或自然數(系統 T)甚至完全的遞歸(如PCF)。相反的，介入了多態類型(如系統F)或依賴類型(如邏輯框架)的系統不被當作是簡單類型。簡單類型 lambda 演算最初由阿隆佐·邱奇在 1940 年介入來嘗試避免無類型 lambda 演算的悖論性使用。
簡單類型 lambda 演算的類型構造自基本類型(或類型變量) ，給定類型  我們能構造 。邱奇只使用了兩個基本類型， 是命題的類型， 是個體的類型。這種演算經常只有一個基本類型，通常考慮為 。
是右結合的: 我們讀  為 。對每個類型  我們指派一個數字 ，它是  的階。對于基本類型，我們設置 ，而對于函數類型我們遞歸的定義 。
要定義有給定類型的 lambda 項的集合，我們介入定類型上下文 ，它們是形如  的類型假定的序列，這里的  是變量。我們介入判斷 ，它意味著  在上下文  中是類型  的項，它們由下列定類型規則給出:
# 如果 x 有類型 ，我們知道 x 有類型 。
# 如果在特定上下文中，可以推導出 x 有類型  ，且有某個不是 x 的 y，則上述上下文與 y 有類型  的事實一起，同樣允許推導出 x 有類型 。即向上下文增加一個新值不改變現存的值(新值不同于舊值之一)。
# 如果在特定上下文中，已知 x 有類型 ，可以推導出 t 有類型 ，則在同一個上下文中，可以構造lambda 抽象 ，它有類型 。
# 如果在特定上下文中，可以推導出 t 有類型  和 u 有類型 ，則在同一個上下文中，可以推導出表達式 有類型 。這捕獲了函數應用的概念。
閉合項的例子有:
它們是組合子邏輯的基本組合子的有類型 lambda 演算的表示。
簡單類型 lambda 演算通過 Curry-Howard同構密切相關于只有蘊涵作為連接詞的直覺邏輯(極小邏輯): 閉合項所居留的類型正好是極小邏輯的重言式。
相同類型的項通過 -等價來識別，它是通過方程  生成的，這里的  代表  帶有  的所有自由出現都被替代為 ，而 ，如果  在  中不自由出現。簡單類型 lambda 演算(帶有  -等價)是笛卡兒閉范疇(CCC)的內部語言。這是 Lambek 首先觀察到的。
* Tait 在 1967 年證明了 -歸約是強規范化的。作為必然推論 -等價是可判定性的。Statman 在 1977 年證明規范化問題不是基本遞歸的。純語義規范化證明由 Berger 和 Schwichtenberg (Normalisation by evaluation) 在 1991 年給出。
* -等價的合一問題是不可判定的。Huet 在 1973 年證明 3 階合一已經是不可判定的了，而 Goldfarb 在 1981 年進而證明了 2 階合一是不可判定的。更高階匹配(只有包含存在性變量一個項的合一)是否是可判定仍無定論。
* 我們可以通過類型  的項(邱奇數)來編碼自然數。Schwichtenberg 在 1976 年證明在  中擴展的多項式被準確的表示為在邱奇數上的函數；這些粗略的是在條件運算下閉合的多項式。
*  的完整模型是通過解釋基本類型為集合和解釋函數類型為集合論的函數空間來給出。Friedman 在 1975 年證明這種解釋是對 -等價是完備的，如果基本類型被解釋為無限集合。Statman 在 1983 年證明 -等價是極大等價，它是典型歧義的，就是說，在類型替換下閉合(Statman's Typical Ambiguity Theorem)。它的必然推論是有限模型性質成立，就是說，有限集合就足夠用來區別出不能通過 -等價識別的項。
* Plotkin 在 1973 年介入邏輯關系來特征化可以用 lambda 項定義的模型的基礎。在 1993 年 Jung 和 Tiuryn 證明了邏輯關系的一般形式(帶有可變元數的 Kripke 邏輯關系)完全特征化了 lambda 定義能力。Plotkin 和 Statman 推測從有限模型生成給定元素是否是通過 lambda 項可定義的(Plotkin-Statman-conjecture)。這個推測被 Loader 在 1993 年證明為假。
* A. Church: A Formulation of the Simple Theory of Types, JSL 5, 1940
* W.W.Tait: Intensional Interpretations of Functionals of Finite Type I, JSL 32(2), 1967
* G.D. Plotkin: Lambda-definability and logical relations, Technical report, 1973
* G.P. Huet: The Undecidability of Unification in Third Order Logic Information and Control 22(3): 257-267 (1973)
* H. Friedman: Equality between functionals. LogicColl. 73, pages  22-37, LNM 453, 1975.
* H. Schwichtenberg: Functions definable in the simply-typed lambda calculus, Arch. Math Logik 17  (1976) 113-114.
* R. Statman: The Typed lambda-Calculus Is not Elementary Recursive FOCS 1977: 90-94
* W. D. Goldfarb: The undecidability of the 2nd order unification problem, TCS (1981), no. 13, 225- 230.
* R. Statman. -definable functionals and  conversion. Arch. Math. Logik, 23:21--26, 1983.
* J. Lambek: Cartesian Closed Categories and Typed Lambda-calculi. Combinators and Functional Programming Languages 1985: 136-175
* U. Berger, H. Schwichtenberg: An Inverse of the Evaluation Functional for Typed lambda-calculus LICS 1991: 203-211
* Jung, A.,Tiuryn, J.:A New Characterization of Lambda Definability, TLCA 1993
* R. Loader:  The Undecidability of &#955;-definability, appeared in the Church Festschrift, 2001
臺灣道為1727年－1885年清代臺灣212年間的最高官衙之一，另外還有臺灣府，而後者才是正式的清代行政區劃。「道」，本是清代的「省」（福建省）之派出機構，不算是正式地方行政區劃，所以清代臺灣前期，福建省管轄的臺灣府，才算是清代臺灣的正式行政區劃。但清中後期，「道」的權力漸增，全清朝內地各省轄區的各「道」皆然，「道」逐漸成為介於清代的「省」與「府州」之間的新一層「準行政區劃」，這不獨臺灣道為特例，然而臺灣道也因此逐漸凌駕於臺灣府之上，但同樣都還是受福建省節制管轄。
臺灣道前身為1684年—1727年的臺廈道。1885年臺灣建省，但因為福建與臺灣仍有相當密切的行政體系關係，因此臺灣省的正式名稱仍為「福建臺灣省」。然而臺灣建省後，臺灣道的編制仍在，
臺灣清治時期這段時間，臺灣道屬福建省所管轄，前期還只是省的派出機構，而正式行政區劃的臺灣府，同樣也屬於福建省所管轄。臺灣道全名為福建省臺灣道。不過因為：一、在清代行政層級正式編制上，「府」才是正式的行政區而「道」並不是；二、福建省臺灣道與臺灣府管轄區域長期多所重疊；因此，正式官方文獻仍以臺灣府稱清治時期之臺灣。
直至1885年設福建臺灣省，臺灣道仍然保留該官署。不過因為新建的臺灣省方面之布政、監察、軍事、納稅等體系，仍與福建省方面有相當密切的行政體系關係，因此於各式正式官方文件中，臺灣省的正式名稱，還是被清廷命名為福建臺灣省。
臺灣道屬於道員一級之正四品文官，清中葉後加按察使銜（正三品）。除了統管臺灣政學經建內政外，因加兵備銜，得節制臺灣鎮總兵（正二品），所以到清代中後期，臺灣道為臺灣地方的實際軍政領導，但都須受上級長官福建巡撫、或閩浙總督的管轄。而臺灣道官職全名，依沿革先後為福建分巡臺灣廈門道、福建分巡臺灣道、福建分巡臺灣兵備道、按察使銜分巡臺灣兵備道。除此，臺灣道官職名稱亦稱為臺灣巡道或分巡臺灣道。
官餉酬勞方面，以1755年（乾隆二十年）臺灣所列歲出為例子，臺灣道之年俸銀錢為六十二兩四分四釐，養廉銀一千六百兩（臺灣縣及鳳山縣各出四百兩，諸羅縣八百兩），合計為一千六百六十二兩四分四厘。而當時差役與工人薪餉，約為一年二十兩至三十兩白銀。
福建分巡臺灣廈門道為1687年至1727年間臺灣道的正式官稱，又稱為臺廈道。事實上，清治時期初期的這階段，臺廈道駐守地仍為福建廈門，而首任道員為周昌。1727年，福建分巡臺灣廈門道改制為福建分巡臺灣道，吳昌祚為改制後的首任道員。
福建分巡臺灣道設置於1727年，此官職與前身臺廈道最大不同是臺廈道道署設於廈門，改制之後的臺灣道則設署於臺灣臺南，也派實赴任。不過在幾乎同時期，清朝亦增設巡視臺灣監察御史來制衡渡臺設署之臺灣道。此外，臺灣清治時期的這階段，臺灣仍為福建省所管轄，主官皆為外地輪調，而這是中國歷代在各省各道各府州各縣都有的「利益迴避原則」，即是本地人不能當本地官，以避免與本身鄉里勢力盤根錯節，故需利益迴避。1767年，陝西人張珽任職期間，福建分巡臺灣道改制為福建分巡臺灣兵備道，此次改制後不久，擁有監察臺灣軍政權責的巡臺御史也為之裁撤。
臺北城為1880年代中期之臺灣道劉璈所督工興建，該城是臺灣史上唯一全部用優良石條所建的石城，也是唯一的長方形城池，更是清代最後一座風水石城。
福建分巡臺灣兵備道改制設置於1767年。該官銜與前身分巡臺灣道最大不同在於明確加授臺灣道節制軍事權力，制約臺灣鎮，並免受巡臺御史審訊。1791年，雲南人萬鍾傑任職期間，福建分巡臺灣兵備道再度升格為按察使銜分巡臺灣兵備道，也就是增加了可直接上奏清朝皇帝之職權。
1788年，臺灣道加按察使銜，使臺灣道獲得不經督撫轉奏的單獨奏事權，亦即得到獨立的監察權。此次擴權與動搖全臺的林爽文事件有很大關係。
1885年，臺灣升格建立「福建臺灣省」之後，按察使銜分巡臺灣兵備道，原則上受從二品之福建臺灣巡撫制約，實際行政權也為福建臺灣布政使所承襲。也因為臺灣省與臺灣道管轄區域重疊，也造成了軍政皆雙首長制的窘困尷尬。而首任臺灣巡撫安徽人劉銘傳，與同時期就任臺灣道的湖南人劉璈，因爭權造成許多紛爭，1889年，臺灣道道員劉璈因西仔反戰役立功且主導興建臺北城，但最後因案充軍黑龍江。
販賣檸檬茶紙包飲品的自動販賣機
檸檬茶，是一種以檸檬調味的茶飲品，起源於英國（有說是俄羅斯），可熱飲或冷飲。常見的檸檬茶有檸檬紅茶、檸檬綠茶等。
檸檬茶，在香港一般簡稱為檸茶，是香港茶餐廳及快餐店常見的飲品，也是普羅大眾的常見飲料。它分為熱飲和冷飲兩類，一般稱為熱檸茶、凍檸茶。
港式檸檬茶一般配有三四塊厚約3-5毫米切片檸檬在杯中，加入紅茶，客人可用配備的茶匙或飲管將檸檬摏搞以調節酸度。另外，熱飲中加糖的飲法與西方不一定加糖的飲法相異。
檸檬茶在香港的茶餐廳中經常作為餐飲（如：早餐、午餐、快餐、下午茶餐和常餐），與奶茶或咖啡等同屬相當常見的餐飲，一般套餐收費約港幣30至40元，有時候需另加收費用配上飲品。如果配冷的，即「凍檸茶」，更會再加收一至三元不等。如果只叫飲品（俗稱「散嗌（叫）」），則會被收取較高的費用，約港幣7至15元不等，以吸引一些客人點較高價格的餐點及避免只叫一杯飲品而佔用地方。因此，後來亦發展出「茶餐」，以飲品配以一些小吃如菠蘿包及蛋撻，價格與散叫飲品的接近。
通常茶餐廳的侍應會使用一些速記符號，「0T」則代表「檸檬茶」，因粵語中“零”與“檸”近音，“T”與“TEA”同音。有些舊式茶餐廳會用叫喊方式通知水吧落單，「凍檸檬茶」會被叫作「爆檸」。
在2007年香港中學會考中國語文科試卷二（寫作能力）中，其中一題試題為「檸檬茶」，巧合地與蕭源早前筆記中範文題目「凍檸茶」相似，被指貼中試題，引起香港社會熱烈討論。十年後蕭源因為其他事件被捕。
為了突顯檸檬茶是源自俄羅斯的飲品，從2017年起的維他檸檬茶廣告開始加入了貨郎（通稱俄羅斯方塊主題曲）作為廣告背景音樂。
Lemon tea-04.jpg|凍檸茶
Iced lemon tea.jpg|茶餐廳中的凍檸茶，有些茶餐廳會讓顧客自行按喜好加入糖漿
Hung Fook Tong Plastic Bottle Drink Ice Lemon Tea 3.jpg|以塑膠瓶盛載出售的支裝凍檸茶
弗拉基米爾·雅羅斯拉維奇（俄語：Владимир Ярославич），可能為以下羅斯王公：
*弗拉基米爾·雅羅斯拉維奇 (加利奇)，加利奇王公
弗拉基米爾·雅羅斯拉維奇 Владимир Ярославич（？~1372年）普隆斯克王公（1343年~1371年），梁贊大公（1371年~1372年）。梁贊大公雅羅斯拉夫·亞歷山德羅維奇之子。
失智癥，其英文「」一字來自拉丁語（''de-''意指「遠離」 + ''mens''意指「心智」）。是腦部疾病的其中一類，此癥導致思考能力和記憶力長期而逐漸地退化，並使個人日常生活活動受到影響。其他常見癥狀包含情緒問題、語言問題、還有行動能力降低，但個人意識卻不會受到影響。診斷失智癥有兩個要點，一是心智功能出現退化；二是退化的程度比一般老化的情形更嚴重。這些疾病也常帶給照顧者相當大的影響。
最常見的失智癥類型是阿茲海默癥，阿茲海默癥患者佔所有失智癥患者人數的50%到70%，其他常見的種類還包括血管型失智癥（佔25%）、路易氏體失智癥（佔15%）、以及。相對少見的失智成因則有、帕金森氏癥、梅毒、以及庫賈氏癥等。同一個人可以同時得到超過一種失智癥。有少部分的失智癥起因於家族遺傳。在中失智癥被視為一種，並再依其嚴重程度分類。失智癥的診斷通常根據患者的病史，以及經過一系列與醫學影像檢查，並搭配抽血檢查，來找出可能的病因。簡短智能測驗是其中一種常用於初步評估的工具。預防失智癥的方式，主要是減少常見的風險因子，比如說高血壓、吸菸、糖尿病、以及肥胖癥等。目前並不建議全面進行一般民眾的失智癥篩檢。
失智癥目前無法治癒。等類藥物經常用於治療輕至中度失智癥，但這些治療的幫助終歸有限。對於失智癥患者與照護者而言，有些方法可以改善他們的生活品質，例如認知行為療法可能有所助益；另外，對於照護者的衛教與情感支持亦相當重要。運動對於病患的日常生活活動功能有幫助，並可能改善預後。失智癥引起的行為問題或思覺失調癥狀，目前的醫生經驗上經常以抗精神病藥治療，但也有一派的專業醫師不建議這麼做，因為這樣的藥物治療其實幫助有限，卻可能增加病人因為藥物副作用的死亡風險。。