google/wiki40b huggingface dataset:
三只眼

劇情大綱

主人公藤井八雲本來是一個普通的高中生，他的父親是一個研究妖怪的民俗學家，已經失蹤四年多。1987年的一天，八雲在東京新宿的大街上突然遇到一位身著虎皮、手拿龍頭拐杖的邋遢女孩。該女孩帶來了他父親藤井教授的遺骨和遺書。原來，這個女孩叫做佩（帕凡提四世，形象源自印度教女神雪山神女，為濕婆之妻），是神祕的種族三隻眼吽迦羅的最後殘存者，擁有不老不死的力量，但是卻希望能夠捨去力量、變成人類。
起初，八雲對於父親委託他幫助佩去香港尋找變成人類的方法非常不滿，但是隨後就被發狂的妖怪橐蜚邑（人面獨腳鳥）襲擊，在瀕臨死亡之時，佩使用了不老不死之術將八雲變成了自己的无（無），救回了八雲的性命。從此之後，只要佩不死亡，八雲即使被打成塵埃，也能復原。
變成无之後的八雲，在一開始難以被常人接受，同時又受到黑暗中想要得到三隻眼的力量的妖怪們的多次襲擊，終於決定離開原來的學校，和佩一起專心去尋找變成人類的方法。在這個過程中，他們遇到了形形色色的朋友和敵人，發現黑暗中妖怪們的領袖鬼眼王和他的无──「龍皇」貝納雷斯。鬼眼王在三百年前被封印，現在貝納雷斯正在尋找復活鬼眼王的方法，而鬼眼王的目的是要毀滅這個世界……。

第一部 聖魔妖擊篇（全17話）

四年前一名民俗學者藤井教授單獨前往西藏考察時失去蹤影。四年後，一位名為佩的中國少女帶著教授的頭骨和遺書來到日本東京新宿，出現在教授的獨生子藤井八雲的面前。根據父親遺書上的說法，那名少女是能夠操縱不老不死之術，被稱為「三隻眼吽迦羅」的虛幻一族的後裔，雖然不瞭解不老不死之術，卻已有三百多歲。而那名少女正尋找成為人類的方法，並囑咐八雲代替父親讓少女成為人類。八雲對此一笑置之，隨後他被橐蜚襲擊瀕死之際，被少女的不老不死之術所救，變成了不死人無而復活。這時，八雲知道了父親所言不假，和前額上長有第三隻眼的少女佩，踏上了尋找成為人類的方法。
因此，八雲決定前往香港，尋找之前一直和藤井教授有聯繫的「妖擊社」負責人陳亞栗。然而，陳亞栗已經在一次探險中，被妖怪迅鬼發覺，並被石化。不知道妖擊社正受到黑暗中人監視的八雲，在香港的旅途中，在妖擊社社員李玲玲的幫助下，八雲他們找出了人化之法的關鍵人類雕像。並且，十分簡單地得到了下一步的線索：人類雕像，位在委託人香港財閥黃舜麗的家中！一行人於是展開了人類雕像的爭奪，可惜，實為妖怪的僕人臨終使出了轉移之術，人類雕像自此下落不明。
回到日本的八雲以為能夠回復高中生活，但是，卻受到尋找三隻眼、意圖染指不老不死之術的妖怪襲擊！為了不讓同伴受到無由來的麻煩，八雲決定再次與佩踏上尋找成為人類的方法。接到李玲玲找到人類雕像的邀請而再次來到香港妖擊社的八雲被誤會為敵人的史蒂芬·龍的妹妹龍美星襲擊。原來，因異像感召而召喚人類雕像的靈能者史蒂芬被在雕像上裝有跟蹤器的李玲玲找到了。就在兩人為雕像的歸屬爭吵的時候，卻由於妖怪的襲擊失去了蹤影。
之後馬上受到妖怪攻擊的八雲等人，憑著橐蜚找到了妖怪的大本營。在侵入大本營的時候，八雲知道了黑暗中人正準備著，代表毀滅的聖魔之王鬼眼王的復活，並遇到了鬼眼王的無擁有恐怖力量的貝納雷斯。好不容易逃過大難的佩以不再給任何人惹麻煩為理由，隻身赴約，挑戰貝納雷斯。
一直沒有佩進一步消息的八雲，踏上了尋找心中愛侶的征途。

第二部 聖魔傳説篇（全39話）

八雲在日本找到佩後，發現佩已經改名為綾小路佩，並失去了四年前的所有記憶。受到木靈襲擊的綾小路佩和她體內的三之眼人格為了尋回記憶，與八雲根據線索，踏上了中國雲南之旅，幸運的結識了盜墓者——麥當勞，並短暫擺脫咒鬼的阻撓，得到了通往聖地的關鍵香爐「崑崙之匙」。
在西藏尋找崑崙的時候，八雲他們遇到了西藏密教的幫忙。從長老口中得知佩已經在貝納雷斯的法術穿靈菱控制下失去了記憶後，一行人通過和咒鬼的戰鬥，到達了崑崙之虛，利用崑崙之匙，穿過崑崙，來到了三百年後被鬼眼王毀滅的三隻眼居地「聖地」。
然而在鬼眼王无（無）的監視下。綾小路佩得知自己的真實身分是以穿靈菱附身在佩身上的醜陋化蛇（穿靈菱封印了「佩」的人格，同時也讓帕凡提與化蛇雙雙失去記憶），愛上八雲的化蛇為了拯救八雲和夥伴們，毅然決定解開三隻眼的封印、回復蛇身，喚醒了帕凡提，消滅了貝納雷斯，並毀滅了封印鬼眼王的聖魔石。
在確定鬼眼王死亡、三隻眼的另一個人格「佩」回復前之前，恢復記憶的帕凡提（三隻眼的主人格）決定單獨留在聖地。而以為自己已經死亡的化蛇，在佩的幫助下，以綾小路葉子的身分，回到了她原來的生活。

第三部 聖魔世紀篇（全77話）

在東京與佩重逢之後，八雲以封印太歲為開端，展開了與失去貝納雷斯而陷入群龍無首困境的黑暗中人的一系列鬥爭。
最後，在與希望得到三隻眼不老不死之術來獲得強大力量的憑魔王子加爾加的鬥爭中，八雲受到了金卡拉的強力幫助後化險為夷，並把佩救回，兩人並得到憑魔一族的支持與支援。
然而，得知埃及有聖魔石碎片的帕凡提同八雲前往埃及，希望以存在聖魔石的殘存思念得到實行人化之法的方法。兩人卻陷入了埃及守護者的迷陣。就在危難之際，八雲毅然剖開自己的胸膛，掏出依然跳動的心臟，向使者證明了自己是无（無）的事實，成功的破解了法術，並找到了一塊殘破的聖魔石。
不過，帕凡提卻因為聖魔石上的鬼眼王強烈念力捕捉而陷入昏迷之中。八雲和好不容易趕來的好友——祕術商人阿漢化作思念體，以人類之身潛入佩的夢中，意圖喚醒佩的意識。佩正陷入三百年前鬼眼城的回憶當中，八雲結識了帕凡提三世，佩母親的無——馬托拉，並得知了佩是白龍飛舞之年誕生、最強的三隻眼。為解救雙方的主人，八雲等人展開與前任鬼眼王的戰爭，並最終知道了人化之法的真相。
同歷史齒輪的轉動，養育帕凡提四世並與佩有婚約的濕婆，因為人化之法過程失敗而奪取了帕凡提三世及鬼眼王的靈力，成為新任鬼眼王。在鬼眼王的恐怖威力下，八雲節節敗退，千鈞一髮之際，佩認出了八雲，使八雲恢復无（無）的身分與力量，以光術擊敗了濕婆。
從回憶歸來的少女失去了目標，被黃舜麗（真實身分是黑暗中人——迅鬼）利用，以108道符咒召喚「犼」，使得八雲的「命」從帕凡提的體內吸了出去！迅鬼想成為帕凡提的无（無），繼而統治天下！
這時，金卡拉為了試驗新的防禦性獸魔四天聖精奉還，而利用八雲的靈魂不斷挑釁帕凡提。在試驗成功後，金卡拉在猶豫是否該一舉解決八雲的關鍵時刻受到了迅鬼的攻擊。對於沒有成長潛力的迅鬼，金卡拉給予了她致命的攻擊。在最後，八雲雖然恢復為无（無），但是不幸中的大幸，陳亞栗因為迅鬼的死亡，解除了石化的封印。

法術

法術是一種施法者以自己的精氣或精血為媒體，通過咒語、符咒和陣法等引發超自然現象。其中包含有攻擊類型的法術（三隻眼的光系法術），防禦類型的法術（哈克雕刻在身上的防魔陣法），召喚類型的法術（獸魔術），空間類型法術等等。

召喚系

通過陣法或咒語，召喚其他魔物的法術。《3×3 EYES》中所出現的召喚法術主要有：魔獸召喚、符咒召喚和獸魔術三大類。
哈薩克王公

哈薩克王公是清代及民國年間在今新疆的哈薩克地區所冊封的王公。
汤臣倍健

概述

前身為珠海海獅龍保健食品有限公司。2008年10月15日，變更為股份有限公司，並在廣東省珠海市工商行政管理局登記註冊。2010年12月15日，廣東湯臣倍健生物科技股份有限公司在深圳證券交易所創業板上市。2012年4月13日，變更為"湯臣倍健股份有限公司"。
目前，已在巴西、澳大利亞等地建立了五個原料專供基地，以食品、奶製品及保健食品為主營產品。
2018年8月30日湯臣倍健以6.7億澳元（約合4.84億美元）收購澳洲益生菌企業Life-Space Group Pty Ltd（以下簡稱LSG）
烯二炔

烯二炔（Enediyne）一般是指具有共軛的炔-烯-炔結構的一類化合物。 含有九或十元環共軛烯二炔骨架結構的天然產物具有很強的抗癌和抗菌作用，但因不穩定且有毒性，很少用於臨床。 其抗癌抗菌機制主要是烯二炔發生Bergman環化反應生成的1,4-去氫苯雙自由基（對苯炔），從DNA上奪取氫原子從而使DNA發生裂解。
大卫·克洛科特

大衛·克拉克（Davy Crockett，本名David de Crocketagne，1786年3月17日－1836年3月6日），美國政治家和戰鬥英雄。他曾當選代表田納西州西部的眾議員，因參與德克薩斯獨立運動中的阿拉莫戰役而戰死。

早年生涯

克拉克生於田納西州格林維爾。他的祖先是來自烏爾斯特（北愛爾蘭）的蘇格蘭裔和法國裔歸正宗教徒。他是九個孩子中的第五個，幾乎沒有受過什麼教育。以19世紀早期的標準來說，克拉克稱得上是一個身材魁梧的大漢：他身高1.78米左右，體重86公斤。
1813年9月24日他加入了田納西騎兵志願軍第二團，然而他只在那裡服役了90天。他的長官是很多年後當上美國總統的安德魯·傑克遜。在服役期間，他參加了對克里克印第安人的戰爭，並一舉成名。

政治生涯

退役後，克拉克在他的故鄉開始他的政治生涯。最先他在市政府內任職，消滅了當地的貪污腐敗現象。1826年和1828年他被選為代表田納西州的眾議員而進入了美國國會。在華盛頓，克拉克又遇到了他當年的老上司，時為總統的安德魯·傑克遜。但他們卻因為一項旨在驅逐印第安人的法案而產生了激烈的爭吵。由於傑克遜素來厭惡印第安人，所以極力推動法案實行，而親身經歷過印第安人戰爭的克拉克則傾向和印第安人和平共處。由於新法案受到大部分白人移民的擁護，克拉克甚至因此而在1830年輸掉了他的眾議員席位。不過1832年他又再一次奪回。
1834年大衛·克拉克出版了他的回憶錄。由於他為了此書投入了過多的時間，他再一次輸掉了選舉。在此之後，他決心去德克薩斯支持並參與當地反抗墨西哥統治的革命。1836年1月14日，克拉克和其他65人一同投奔德克薩斯獨立政府，每個人都被許諾將在戰爭勝利後得到19平方公里的土地。

德克薩斯獨立戰爭

1836年2月6日，克拉克領著12人來到了聖安東尼奧的阿拉莫以增援守軍。阿拉莫之戰最終在2月23日爆發。克拉克的任務是負責在教堂前柵欄的防守。阿拉莫守軍共有約187人。對於他們來說，幾乎沒有任何獲勝希望：援軍始終未來，而包圍他們的墨西哥軍隊則有5000人。13天後，德克薩斯軍被擊敗，儘管他們最終贏得了戰爭的勝利。傳說中克拉克死於戰鬥中，不過依據最新的證據顯示，克拉克和其他起義領導人在戰鬥結束後被逮捕，並在第二天在桑塔·安那的命令下被當眾槍決。
李謙 (成化進士)

李謙（1431年－？），字吉甫，山東兗州府滋陽縣人，軍籍。明朝政治人物。進士出身。
山東鄉試第六十二名。成化五年（1469年），參加乙丑科會試，得貢士第一百九十四名。殿試登進士第三甲第六十一名。成化五年，登進士，除兵科給事中，歷陞湖廣參議。
曾祖父李仲得。祖父李顯能。父親李宗政，曾任工部主事。
倫敦地鐵1995年型列車

簡介

這一種列車在倫敦地鐵的朱比利線和北線行駛。
屎萊姆

經歷

屎萊姆讀書時期曾任科大魔術學會內務副主席，畢業後全職打工6年後辭職創業及拍YouTube。
2014年，創立Play Lazy遊戲公司。
2015年，Play Lazy遊戲公司發行手機遊戲《勇者神域》，為原創日式風格卡牌類型戰鬥遊戲。
2016年9月12日，勇者神域官方宣布因經營遊戲支撐不及，導致發生了許多問題。所以，在11月1日00:00正式停服，結束了勇者神域一年幾的服務。
2017年，Play Lazy遊戲公司發行手機遊戲《29 Day》，講述一位面對著高壓社會的上班族，每天都不斷重覆活著。當他陷入自己是在「生活」還是「生存」，只要成功通過 29 日的挑戰，玩家便能夠得到巨額獎金。
2018年5月，成立服裝品牌"Overspice"。
2018年6月，正式簽約英皇娛樂為其經理人公司，並於同年8月推出單曲《獻醜》合唱版（與原唱洪卓立合唱）出道。
2019年6月22日，兒子出生，英文名Isaac，中文名未知。 
2019年9月，正式和英皇娛樂解約。

YouTuber生涯

2013年，用手機自拍打機時的情況，毫無剪接下有逾10萬人點擊，自此踏上YouTuber之路。
2016年4月，創建頻道屎萊姆的3次元，主要分享日常生活、美食及開箱等vlog的空間。
燦蛺蝶

分布

本種分布於中國華東、華南、華西、中南半島、喜馬拉雅。台灣地區於中、低海拔地區可見，棲息地較另一種臺灣燦蛺蝶為低。

生態習性

本種幼蟲以殼斗科植物赤皮、青剛櫟等為食，一年多世代。
克氏新南乳魚

擴展閱讀

 維基物種中有關克氏新南乳魚的分類資訊
周邦

周邦，字德友，號松巒。宋朝文學家。
終生不仕，大都在各地擔任幕職。好藏書交友，與詩人蘇庠、陳序游，帶子周煇週遊各地。
江陵之战 (223年)

背景

當221—222年蜀漢皇帝劉備在猇亭之戰中攻打孫權時，孫權派使者帶禮物前去表達歸順於220年結束漢朝建立魏的曹丕之意。孫權因而名義上為魏封臣，但實際上和以往一樣獨立管理吳政權。曹丕侍中劉曄建議趁孫權與劉備作戰時攻孫權，但曹丕認為孫權來稱臣反過來打他這樣的話有損魏國權威，以後還怎樣讓天下信服，於是拒絕了這項提議。
222年六月（8月）孫權敗劉備，曹丕開始不顧劉曄反對，計劃伐孫權。222年九月，魏軍聚集，曹丕一直要求孫權派長子入魏為人質，促使孫權寫了一封謙遜的致歉信乞求納土去交州養老。但孫權不同意遣子入質，魏吳遂不復和談而開戰。
九月，魏徵東大將軍曹休奉命攻洞口，大將軍曹仁奉命取濡須；上軍大將軍曹真和征南大將軍夏侯尚受命取南郡和荊州的共同治所江陵。十月（11月），孫權自建年號黃武，正式獨立。

魏軍進軍

魏軍向吳行進時，孫權試圖繼續與魏和談，但被拒絕，於是於十二月遣使重新與劉備通好。
魏軍的第一個目標是攻取南郡，從而得到攻陷江陵之機。曹真、夏侯尚和張郃攻江陵。十一月，曹丕也從魏都洛陽調軍前去宛城為後援。孫權派將孫盛督萬人據江陵中洲，為南郡外援，但在223年正月被張郃擊敗，曹真遂分兵據江陵中洲並和夏侯尚破吳軍於牛渚屯，魏軍主力連屯圍江陵。

江陵圍城

二月，夏侯尚乘船入渚中，渡百里洲上，分前部三萬人安營搭設浮橋，每天都有魏軍渡江。孫權派平北將軍潘璋、左將軍諸葛瑾和楊粲統軍往救江陵。潘璋說：「魏軍士氣正高，江水又淺，我們不能一開始就和他們戰鬥。」然後下令軍隊移動到魏軍上流五十里，砍伐大量蘆葦達數百萬束，製成大筏，想將它們點上火順流放下燒壞浮橋。諸葛瑾與夏侯尚隔江相望，諸葛瑾渡入江中渚，分水軍於江中。夏侯尚乘夜多設油船，率步騎萬餘人在下流秘密渡江攻諸葛瑾諸軍，夾江燒其舟船，水陸並攻，遂破諸葛瑾。曹真軍也造浮橋切斷被困於城內的征北將軍朱然軍的補給。城內士兵多腫病，朱然手下能戰的只有五千人。曹真等起土山，鑿地道，在城邊立起樓櫓，箭如雨射入城內，城內將士皆失色，朱然卻安然無懼，鼓勵官兵，還乘隙攻破魏軍兩屯。領兵守北門的江陵令姚泰見魏軍勢大，城中糧食將盡，便通魏欲為內應，未遂即事泄，被朱然處決。
議論戰事的多以為夏侯尚浮橋已成，江陵必破。侍中董昭卻上疏認為此舉犯兵家大忌，即使智勇過人的被追尊為魏武帝的故主曹操也不敢如此，魏軍精銳身處險境，一旦再加上江水暴漲，夏侯尚軍就自身難保甚至為吳所有了。於是曹丕詔夏侯尚趕緊出渚，在吳人攻擊下，魏軍勉強得脫，將軍石建、高遷僅以身免。潘璋本已製作好了蘆葦大筏準備點火後順流放下，因夏侯尚已退，也就沒有實行。諸葛瑾攻曹真浮橋，曹真等退走。十天後江水果然大漲，曹丕嘆服董昭審慎。
三月（4月），魏軍營爆發瘟疫，曹丕下令各路魏軍撤退。當月，曹丕已回到洛陽。江陵圍城前後共計六月。

後果

魏軍自江陵撤軍之時，洞口和濡須的戰役也都以魏軍失敗告終，這兩路魏軍也撤退了。
朱然因此戰名震敵國，改封當陽侯。
沮鵠

沮鵠（？－？），中國東漢末年人，沮授之子，袁紹的屬下。

正史

袁紹死後為袁尚守邯鄲，漢獻帝建安九年（204年）四月，曹操攻擊沮鵠於邯鄲，拔之。

《三國演義》改寫

《三國演義》中，沮鵠在此戰鬥中被曹操大將張遼射殺。
绅士街 (维也纳)

紳士街 (Herrengasse)是維也納的一條街道，位於第一區內城區。

歷史

這條街在古羅馬時期已經存在，作為Limes公路系統的一部分。這條街第一次見於文獻記載是在1216年。這條街介於弗賴永廣場（Freyung）和Lobkowitz廣場之間的一段在中世紀稱為「高街」（Hochstraße）。
維也納後開始成為帝國首都之後，貴族們越來越多地遷移到城市，接近哈布斯堡君主的居住地霍夫堡皇宮。1513年，下奧地利州議會設於下奧地利宮（Palais Niederösterreich）後，這條街改名為紳士街。
西浦

歷史

西浦18前身位於皇后大道西185-189號3幢唐樓、李陞街6-8號聯華大廈及李陞街10-12號香山會所，2008年嘉里建設以6.97億元收購聯華大廈71%權益，及後進行強制拍賣。
最終嘉里建設及培新控股共同把上址發展成單幢住宅 －西浦，並於2011年7月開售樓花。

簡介

物業實際樓高37層，惟由於不設4、13、14、24、34字樓，故有42字樓，其中基座佔4層，其餘38層為住宅單位 ，共設149個單位，建築面積由約730-2,200呎不等，包括142伙標準戶及7伙特色戶，開售價約每平方呎$16,000，而一梯有兩伙至五伙不等。另外，物業的基座2-5樓為會所，其設施包括水療室、燒烤場、游泳池、桑拿室、平台花園、宴會廳等，供住戶享用。
商業方面，物業地下及一樓為商場部份，共設15個商舖。
據土地註冊處資料顯示，位於皇后大道西189號的西浦，其地下及1樓，共15個商舖，連1樓平台，樓面約1.1萬方呎，於2013年10月以3.39億元，售予駿能投資有限公司，該公司的股東為Cornes Properties Limited，兩家公司的秘書及董事，均各是李永恆及蘇定光，其中蘇定光應是與包氏基金有密切關係的人物。
Λ演算

解釋與應用

λ演算是圖靈完備的，也就是說，這是一個可以用於類比任何圖靈機的通用模型。 λ也被用在λ表達式和λ項中，用來表示將一個變數繫結在一個函式上。
λ演算可以是有類型或者無類型的，在有類型λ演算中（上文所述是無類型的），函式只能在參數類型和輸入類型符合時被應用。有類型λ演算比無類型λ演算要弱——後者是這個條目的主要部分——因為有類型的λ運算能表達的比無類型λ演算少；與此同時，前者使得更多定理能被證明。例如，在簡單類型λ演算中，運算總是能夠停止，然而無類型λ演算中這是不一定的（因為停機問題）。目前有許多種有類型λ演算的一個原因是它們被期望能做到更多（做到某些以前的有類型λ演算做不到的）的同時又希望能用以證明更多定理。
λ演算在數學、哲學、語言學和電腦科學中都有許多應用。它在程式語言理論中占有重要地位，函式語言程式設計實現了λ演算支援。λ演算在範疇論中也是一個研究熱點。

歷史

作為對數學基礎研究的一部分，數學家阿隆佐·邱奇在20世紀30年代提出了λ演算。 但最初的λ演算系統被證明是邏輯上不自洽的——在1935年Stephen Kleene和J. B. Rosser舉出了Kleene-Rosser悖論。
隨後，在1936年邱奇把那個版本的關於計算的部分抽出獨立發表—現在這被稱為無類型λ演算。 在1940年，他創立了一個計算能力更弱但是邏輯上自洽的的系統，這被稱為簡單類型λ演算。
直到1960年，λ演算與程式語言的關係被確立了；在這之前它只是一個範式。由於Richard Montague和其他語言學家將λ演算應用於自然語言語法的研究，λ演算已經開始在語言學和電腦科學學界擁有一席之地。

lambda演算

lambda演算是由特定形式語法所組成的一種語言，一組轉換規則可操作其中的lambda項。這些轉換規則被看作是一個等式理論或者一個操作定義。如上節所述，lambda演算中的所有函式都是匿名的，它們沒有名稱，它們只接受一個輸入變數，柯里化用於實現有多個輸入變數的函式。

操作函式的函式

在lambda演算中，函式被認為是第一類物件，因此函式可以當作輸入，或作為其它函式的輸出返回。
例如，表示對映到本身的函式，和表示將這個函式應用於。此外，則表示無論輸入為何，始終返回值的常數函式。lambda演算中的函式應用是左結合的，因此表示。
有幾個「等價」和「化簡」的概念，允許將各個lambda項「縮減」為「相同」的lambda項。

α
      
    
    {\displaystyle \alpha }
  
-等價

對於lambda項，等價的基本形式定義，是-等價。它捕捉了直覺概念，在lambda抽象中一個綁定變數的特別選擇（通常）並不重要。
比如，和是-等價的lambda項，它們都表示相同的函式（自對映函式）；但如和項則不是-等價的，因為它們並非以lambda抽象方式綁定的。
在許多演示中，通常會確定-等價的lambda項。
為了能夠定義-歸約，需要以下定義：

β
      
    
    {\displaystyle \beta }
  
-歸約

β-歸約規定了形式如的應用，可以化簡成項。符號記法用於表示 經過β-歸約轉換為。例如，對於每個，可轉換為。這表明實際上的應用是對映自身函式。同樣地，，表明了是一個常數函式。
lambda演算可視為函數式程式語言的理想化版本，如Haskell或ML語言。在這種觀點下，β-歸約對應於一組計算步驟。
這個步驟重複應用β-轉換，一直到沒有東西能再被化簡。在無型別lambda演算中，如本文所述，這個歸約過程可能無法終止，
比如，是個特殊的lambda項。這裡

也就是說，該lambda項在一次β-歸約中化簡到本身，因此歸約過程將永遠不會終止。
無型別lambda演算的另一方面是它並不區分不同種類的資料。例如，需要編寫只針對數字操作的功能。然而，在無型別的lambda演算中，沒有辦法避免函式被應用於真值、字串或其它非數字物件。

η-變換

前兩條規則之後，還可以加入第三條規則，eta-變換，來形成一個新的等價關係。Eta-變換表達的是外延性的概念，在這裡外延性指的是，對於任一給定的參數，若且唯若兩個函式得到的結果都一致，則它們將被視同為一個函式。Eta-變換可以令  和  相互轉換，只要  不是  中的自由變數。下面說明了為何這條規則和外延性是等價的：
若  與  外延地等價，即， 對所有的  表達式 成立，則當取  為在  中不是自由出現的變數 時，我們有，因此 ，由eta-變換f == g。所以只要eta-變換是有效的，會得到外延性也是有效的。
相反地，若外延性是有效的，則由beta-歸約，對所有的y有(λx .f x) y == f y，可得λx .f x == f，即eta-變換也是有效的。

資料類型的編碼

基本的lambda演算法可用於建構布林值，算術，資料結構和遞迴的模型，如以下各小節所述。

lambda演算中的算術

在lambda演算中有許多方式都可以定義自然數，但最常見的還是邱奇數，下面是它們的定義：
0 = λf.λx.x
1 = λf.λx.f x
2 = λf.λx.f (f x)
3 = λf.λx.f (f (f x))
以此類推。直觀地說，lambda演算中的數字n就是一個把函式f作為參數並以f的n次冪為返回值的函式。換句話說，邱奇整數是一個高階函式 -- 以單一參數函式f為參數，返回另一個單一參數的函式。
(注意在邱奇原來的lambda演算中，lambda表達式的形式參數在函式體中至少出現一次，這使得我們無法像上面那樣定義0)在邱奇整數定義的基礎上，我們可以定義一個後繼函式，它以n為參數，返回n + 1：
SUCC = λn.λf.λx.f(n f x)
加法是這樣定義的：
PLUS = λm.λn.λf.λx.m f (n f x)
PLUS可以被看作以兩個自然數為參數的函式，它返回的也是一個自然數。你可以試試驗證
PLUS 2 3 
與5是否等價。乘法可以這樣定義：
MULT = λm.λn.m (PLUS n) 0,
即m乘以n等於在零的基礎上m次加n。另一種方式是
MULT = λm.λn.λf.m (n f)
正整數n的前驅元（predecessesor）PRED n = n - 1要複雜一些：
PRED = λn.λf.λx.n(λg.λh.h(g f))(λu.x)(λu.u)
或者
PRED = λn.n(λg.λk.(g 1)(λu.PLUS(g k) 1) k)(λl.0) 0
注意(g 1)(λu.PLUS(g k) 1) k表示的是，當g(1)是零時，表達式的值是k，否則是g(k)+ 1。

附加的編程技術

lambda演算出現在相當大量的編程習慣用法中，其中許多程式語言最初以lambda演算作為語義基礎，在此背景下開發的；有效地利用lambda演算作為基底。因為幾個程式語言部份含括了lambda演算（或者非常相似的東西），所以這些技術也可以在實際的編程中見到，但有可能被認為是模糊或外來的。

可計算函式和lambda演算

自然數的函式F: N → N是可計算函式，若且唯若存在著一個lambda表達式f，使得對於N中的每對x, y都有F(x) = y若且唯若f x == y，這裡的x和y分別是對應於x和y的邱奇數。這是定義可計算性的多種方式之一；關於其他方式和它們的等價者的討論請參見邱奇-圖靈論題。
光武街道 (南阳市)

行政區劃

光武街道下轄以下地區：
西華社區，大官莊社區，工業路社區，小鐵路社區，白莊社區，劉莊社區，華盛社區，光彩社區和榆樹莊社區。
豐田章男

生平

豐田章男1956年生於日本愛知縣名古屋市，大學在日本慶應義塾大學法學部畢業，1982年在美國巴布森學院獲工商管理碩士學位。
1984年加入豐田，2000年成為董事會成員。2005年出任執行副總裁，負責處理日本的銷售和海外業務。2009年1月，他被宣布為豐田的下任社長（總裁）。  2009年6月23日，他被確認為豐田的第四任總裁，豐田並任命4個新的執行副總裁和8個新的董事會成員。豐田前總裁兼首席執行官渡邊捷昭取代中川勝弘改任副會長（副董事長）。
蓝田街道 (涟源市)

行政區劃

藍田街道下轄以下地區：
民光社區，光明街社區，光明山社區，文藝路社區，交通路社區，羅家佃社區，雙江街社區，光文社區，新新社區，胡家村，建中村，峽溪村，聯興村，集中村，青嶺村，洪興村，日升村和西沖灣村。
章拯

生平

章懋從子，弘治十五年（1502年）登進士，授刑部主事。正德年間，因得罪劉瑾下詔獄，謫梧州府通判。劉瑾被誅後，升任南京兵部郎中。嘉靖年間，累官工部尚書。反對治理海運。後來因連坐郊壇祭器缺供，落職歸。久之復官致仕。
黄塘镇 (紫金县)

行政區劃

黃塘鎮下轄以下地區：
黃塘社區、鐵嶂村、廟前村、嶂拔村、拱橋村、曹坑村、上黃塘村、車前村、長岌村、下黃塘村、臘石村、錦口村、澄田村。
努里·赛义德

早年生涯

努里·賽義德出生於一個巴格達的中低階層家庭，他的家庭屬於遜尼派，本來來自高加索山脈北部，他的父親是政府內的一個小會計。他參加鄂圖曼帝國軍隊在君士坦丁堡的軍官學校。1912年他被派駐利比亞在那裡鼓動反抗義大利占領的運動。第一次世界大戰中他轉向阿拉伯民族主義，參加了費薩爾一世領導的阿拉伯暴動。費薩爾一世後來短時期成為敘利亞國王，此後成為伊拉克的第一位國王。努里·賽義德與其他費薩爾一世手下的軍官一樣成為伊拉克新的政治精英的一部分。

開始立場

1918年努里·賽義德帶領費薩爾的軍隊尾隨撤退的土耳其軍隊占領了大馬士革。1920年法國將費薩爾逐下敘利亞王位後努里隨費薩爾至伊拉克。1922年他成為伊拉克警察的第一位最高指揮官。他利用這個地位將自己的親信放在警察的重要位置上。在他後來的職務中他重複使用這個策略。這是他後來獲得巨大政治權利的基礎。
他是費薩爾的親信。1924年費薩爾為了更緊地控制軍隊將努里指命為軍隊的副總指揮官。努里再次利用這個位置來建立自己的權力基礎。在1920年代裡他支持費薩爾的政策，與他的其他阿拉伯暴動中的軍官同行一起建立伊拉克的軍隊。

1930年首次出任首相

1929年費薩爾建議任命努里為首相，但是英國人反對。1930年費薩爾終於說服了英國人，努里首次上任。如同他的其它任職，他很快就指任他的支持者為政府官員。但是這削弱了國王本人在政府里的基礎，這使得兩人過去非常緊密的關係開始破裂。努里簽署了1930年英伊條約。這個條約受到許多人反對，因為它實際上鞏固了英國的權利，而且在伊拉克獨立後依然有永久的軍事使用權。1932年努里向國聯提出擴大伊拉克的獨立性的建議。
1932年10月費薩爾解除了努里的首相職務，任命納吉·舍卡特來取代他。他的影響因此有所降低。1933年9月費薩爾死後加齊·伊本·費薩爾繼位，努里因此失去了與王宮的接觸。同時1935年成為首相的亞辛·哈希米的影響增大。雖然如此努里在軍隊中依然有很大的影響，而且他受到英國人的信任，因此他手中還是有相當大權力的。1933年英國人說服加齊任命他為外交部長，他任此職至1936年。

1937年至1940年

從1936年的軍變可以看得出努里與英國之間的關係有多麼緊密：他是政府中唯一逃到英國大使館避難的政治家。英國人將他轉移到埃及。1937年8月他回到巴格達並開始策劃重新回到權力中心。他與軍隊中的關係使得當時的首相賈米勒·米德費非常不安。米德費說服英國人最好將努里弄到國外去。英國人說服努里出任伊拉克駐英國的大使。由於他與加齊的關係顯然不是非常好，因此努里開始秘密與沙烏地阿拉伯的王朝接觸。
1938年10月努里回到巴格達，他說服他軍隊裡的朋友推翻米德費的政府。1938年12月24日伊拉克軍隊發動軍變，努里又成為首相。努里試圖孤立國王，提高加齊的半兄弟扎伊德親王的地位，來讓他進入王位繼承人的候選位置。與此同時加齊在他的私人電台里發表越來越民族主義的演說也使得英國人非常不滿。1939年1月加齊任命拉希德·阿里·蓋拉尼為御前會議的首領，更加激怒了努里。在同年三月努里對他的對手採取行動，他聲稱揭露了一個要謀殺加齊的陰謀，並以此為藉口來對軍隊軍官進行清洗。
1939年4月4日加齊在一次車禍中喪身，許多人懷疑努里在其中做了手段。在加齊的葬禮上許多人呼喊：「努里，你會為加齊的血負責的。」他支持阿布杜勒·伊拉成為加齊未成年的繼承人費薩爾二世 (伊拉克)的執政。一開始阿布杜勒·伊拉深受努里的影響。
歐洲戰場上的變化現在也開始在伊拉克成為一個問題。1940年6月法國淪陷使得許多阿拉伯民族主義者將其希望寄托在第二次世界大戰里德國獲勝。努里依然相英國效忠，而他軍隊裡的朋友卻開始轉向支持德國的陣營。缺乏其軍隊中的盟友使得努里「很快喪失了他影響事件發生的能力」。（Batatu，345頁）

1940年代

1941年4月親軸心國的力量在伊拉克上台，拉希德·阿里·蓋拉尼成為首相。努里逃往英國控制的約旦。英國人將他送往開羅。同年10月英國重新占領巴格達後他回到伊拉克，再任首相。此後他任此職約兩年半。但是從1943年開始伊拉克執政在選擇部長的過程中獲得更大的權利，開始獲得更大的獨立性。英國占據伊拉克一直到1947年末才結束。
1946年裡執政試圖施行更自由的政策，但是這個政策並未能解決伊拉克的問題。自從伊拉克成為一個王國以來國內的情況發生了巨大的變化，城市人口增加，中層階級擴展迅速，而農民和工人的政治意識也越來越提高，在最後這一點裡伊拉克共產黨也起了一個重要的作用。而伊拉克的統治階層卻深深地陷在高層階層的興趣內，無法採取也許可以保存王朝的極端措施。由於其豐富的政治經驗在此後到1958年王朝覆滅中的10多年裡努里起的政治作用比執政要大。

1950年代

1946年11月石油工人罷工被警察血腥鎮壓，努里又任首相。短期里他讓自由派和民族民主派進入內閣，但很快就又恢復到了他更喜歡的壓迫式的政策。1947年1月他下令逮捕眾多共產黨人，包括黨書記。此時英國失去了戰爭需要的藉口來占據伊拉克，因此英國試圖找到一個合法的、甚至超過1930年的條約的手段來保持它在伊拉克駐紮軍隊的權利。努里和執政均認識到他們與英國的聯繫即是他們不受歡迎的原因，同時也是他們的地位的保障。因此他們決定擴張英伊條約的條款，擴大與英國的合作。1948年1月初努里親自帶領代表團赴英國。1月15日雙方簽署了一份新條約。
消息傳到伊拉克後巴格達街頭立刻爆發了示威。示威的人中大多數是大學生，而共產黨則起了主要的組織作用。此後數日中示威規模越來越大。1月20日警察向示威者開槍，造成多人死亡。21日，執政阿布杜勒·伊拉宣布新條約無效。26日努里回到巴格達，他堅持鎮壓政策。此日警察再次向示威者開槍，造成死亡。通過這樣強硬地捍衛一個被痛恨的條約努里在伊拉克喪失了任何支持者。雖然他在伊拉克擁有重權，但是他也遭受巨大的痛恨。
在1954年和1955年之間努里簽署了一系列英國和美國讚許的將伊拉克與西方陣營及其地方同盟者（尤其是土耳其）政治上和軍事上緊密地聯繫到一起的條約（巴格達條約組織）。這些條約在伊拉克國內也遭到了強烈的反對。與此同時努里進一步加強了政治鎮壓和監督。不過這次努里沒有面臨巨大的示威，其原因也許是因為此時伊拉克的經濟狀況有所好轉，此外通過鎮壓和內部的分裂伊拉克共產黨此時非常虛弱。
1956年伊拉克的政治情況急劇惡化，在納傑夫等城市爆發起義。以色列、英國和法國在埃及將蘇伊士運河國有化過程中的反應導致的第二次中東戰爭使得努里此前簽署的條約在伊拉克人眼中更加可憎了。努里的政治基礎被削弱，而反對派開始協調其活動。1957年2月民族民主黨、自由人士、共產黨和復興黨組成了一個民族聯盟戰線。與此同時在軍隊內也形成了一個自由軍官最高委員會。
1958年作為埃及與敘利亞組成的同盟的回應伊拉克王室與約旦王室組成了一個阿拉伯聯盟。努里出任這個新聯盟的首席首相。1958年7月14日伊拉克爆發軍變，王朝被推翻，阿拉伯聯盟也就這樣結束了。

王朝覆滅

1958年7月14日費薩爾二世、阿布杜勒·伊拉、伊拉的妻子和母親以及一些侍者在出門時被兵變軍隊殺害。另一些王親逃到沙烏地阿拉伯的大使館，後來被遣送出國赴埃及。
努里首先躲起來，次日他企圖扮為婦女出逃，但是被識破被捕。同日被殺和被埋葬。但是巴格達市內激怒的市民將他的屍體挖出來，在大街上拖著示眾，最後又將他的屍體吊起來、焚燒和四分。
阮高標

阮高標（越南語：Nguyễn Cao Tiêu／阮高標；1887年－？年），字梅修（越南語：Mai Tu／梅修），越南阮朝官員。

生平

阮高標是清化省廣化府永祿縣蓬上總本始社（今屬清化省永祿縣永盛社）人，同慶二年（1887年）出生。維新九年（1915年），阮高標參加清化場鄉試，考中解元。後任弘化訓導。啟定四年（1919年），會試考中第一名會元，庭試考中三甲同進士出身。初任內閣承旨。啟定七年（1922年），隨啟定帝訪問法國。次年（1923年）正月，因功升授鴻臚寺少卿，領內閣侍讀。保大初年，仕至戶部侍郎。

作品

阮高標著有《御駕如西記》一書，記載啟定帝於啟定七年（1922年）訪問法國一事。
別利科耶湖 (特維爾州)

別利科耶湖是俄羅斯的湖泊，位於該國西北部特維爾州，長11.7公里、寬5.4公里，面積32平方公里，海拔高度139米，湖岸線長度30.1公里，最大水深3.51米。
袁汉民

袁漢民（1947年9月－），北京人，漢族，中華人民共和國政治人物、第十一屆全國政協委員。
加入九三學社，擔任十一屆全國政協常務委員、九三學社中央常委、寧夏自治區委主委。2008年，當選第十一屆全國政協常務委員，代表九三學社，分入第十二組。
构造演算

構造演算的基礎

構造演算可以被當作 Curry-Howard同構的擴展。Curry-Howard 同構把在簡單類型 lambda 演算中項關聯上在直覺命題邏輯中自然演繹證明。構造演算擴展了這個同構為在完全的直覺謂詞邏輯中的證明，這包括了量化陳述（它也叫做"命題"）的證明。
中国中信集团

中信廣場

中信集團向保利集團、中國海外宏洋集團及香港建設合營財團連同命名權租用的中信廣場位於廣州市的天河區，是廣州由1996年至2006年為止最高的建築。其後，此最高建築物地位被廣州國際金融中心（廣州西塔）、廣州塔等新建樓宇取代。

中信大廈

中信大廈（Citic Tower），是一座位於香港港島的辦公樓。目前是中信集團屬下香港上市公司中國中信股份之總部。整座大樓呈三角形，頂部一節為橢圓形。中信大廈亦是幻彩詠香江的參演大樓之一。

北京中信廣場（中國尊）

中國尊乃是未來中信集團（89-102樓）及旗下中信銀行（7-42樓）的總部，位於北京商務中心區Z15號地塊。此大樓由2016年起，成為北京市第一高建築物，已於2018年12月28日完工。
金針菇

分布與種植

金針菇分布世界各地，屬於木棲腐生野菇之一種，人工種植亦使用此方法。另外，該種菌類生長於春天，秋天與冬天的中高海拔林區，數天生，肉質軟，亦可加工成為藥材。目前人工種植的金針菇主要有兩種，一種為白色金針菇，較白、較細，另一種為黃色金針菇，顏色為乳黃色，兩種金針菇都可進行工廠化栽培，但白色金針菇居多。一般曬乾的金針菇大多是淺褐色。
易佩紳

易佩紳（1826年－1906年），字子芴、芴山，湖南龍陽（今湖南省漢壽縣）人，清朝政治人物。易正元之孫、易天成之子。
咸豐二年，優貢生。咸豐六年，考取八旗官學教習。咸豐八年，順天鄉試舉人。咸豐十年，加謄錄。同治元年，加同知銜。同治二年，加道銜。同治七年，加按察使銜。同治九年，署理安順府事務。同治十二年，加布政使銜。光緒二年，署貴東道。光緒四年，任貴州貴東道。光緒六年，任貴州按察使。光緒八年，任山西布政使。光緒九年，任四川布政使。光緒十一年，任江蘇布政使。著有《函樓文鈔》、《函樓奏稿》、《函樓制義》、《函樓詩鈔》、《函樓詞鈔》、《詩義擇從》、《通鑒觸》。有子易順鼎、易順豫。有女易瑜、女婿黃仲芳。
大鱗依氏黑頭魚

擴展閱讀

維基物種中有關大鱗依氏黑頭魚的數據
水寨镇 (济南市)

行政區劃

水寨鎮下轄以下地區：
水南村、水北村、郝家樓村、王家橋村、隗家村、趙官橋村、康家村、南辛村、彭劉村、孟莊村、門東村、門口村、苑李村、高高村、魯高村、馬高村、季周村、北范村、獅子口村、北張村、賈莊村、辛豐村、張林村、東殿村、西殿村、羅綾村、趙百戶村、垛寨村、托寨村、鄭家村、太平村和范家村。
陳狄克

背景

陳狄克生於1940年代的基層家庭，祖籍廣東雲浮市新興縣，為當地天堂墟（即天堂鎮）人。家中有一姊一妹以及兩名弟弟，父親為一名花王兼司機。他自小在香港新界的沙田居住和成長，到8歲才開始入學。當時，他家住沙田排頭村，並就讀寶福山附近的排頭公立小學。但讀了一個月之後，陳狄克整家移居到沙田車公廟旁邊的李屋村。而他則入讀位於該處的慈航義學（現為慈航學校）一年級。直至小學畢業後，他原意希望當警察。不過，因為他的父親不想他做警察，他便放棄這個念頭。
在加入電視台工作之前，陳狄克的父親想他做園丁，然而，他無意向這方面發展。時正1960年代，他曾到深水埗一家叫「協昌隆」的小舖做搬運工人，負責搬運火水鐵罐。工作十天後，他見管工對工人的態度差劣，遂辭職離開。到了1967年至1968年左右，由於他自小喜歡武術，家人替他找老師傅收他為徒。此舉影響了他在這兩年間加入邵氏電影公司當武師的想法。當年他在片場遇見劉家良，劉氏詢問他當武師的意願。陳狄克從劉氏口中得知武師在該年代的月薪可以高達75元，加上又被他認為樣子醒目，所以在16至17歲之後的時間都跟隨劉家班與及另一位本地著名班主唐佳工作。1973年，陳狄克進入麗的電視擔任武指。另一名同期活躍於該電視台的武指韓義生應監製宗燦枝的要求，尋找一個身手了得兼外型適合的演員當劇集《中國殺人王》的男主角。宗燦枝正想將《紅綠日報》的同名小說拍成劇集，於是向陳狄克提出邀請。他在宗氏與韓氏盛意拳拳下答允出演男主角。而《中國殺人王》一劇集就成為了他的演員生涯中唯一一次當男主角的機會。雖然當時劇集播出時受到觀眾歡迎，但此後他只擔任配角或甘草演員。
為麗的電視服務了3年後，陳狄克於1976年離開電視台，並跟隨劉家良前往台灣與張徹導演拍電影，至1978年返回香港。不久，1979年他獲李家鼎邀請加入無綫電視當武指。踏入1980年代，他淡出幕後工作，轉為全職演員，1985年離開無綫電視，至1987年重返無綫電視，並一直為無綫電視服務至今。但他曾有短暫時間只有少數幕前演出。在1990年至1995年，陳狄克改當的士司機維持生計。現時他仍然有幕前演出，多以演繹配角為主。

家庭生活

陳狄克已婚，並育有一女。他現居於沙田大圍的富嘉花園第3座。
茨城大學

學校排名

茨城大學在4ICU發布的2018年度高校排名中，位列日本國內高校第74位。
泺口街道

行政區劃

濼口街道下轄以下地區：
香磨李社區，林橋社區，濼口社區，趙莊社區，金牛社區，田莊社區，崔廟社區，新城社區，南徐社區，北徐社區，李莊社區，北閘子社區，袁莊社區，梅花山社區，月牙壩社區，鵲山南社區，鵲山北社區，鵲山東社區，金閣花園社區，濼東社區，濼西社區，濼南社區和金牛西區社區。
馬塞納 (愛荷華州)

地理

馬塞納的座標為41°15′14″N 94°46′08″W，而該地的平均海拔高度為388米（即1273英尺）。

人口

根據2010年美國人口普查的數據，馬塞納的面積為1.79平方千米，當中陸地面積為1.79平方千米，而水域面積為0.00平方千米。當地共有人口355人，而人口密度為每平方千米198人。
聖馬科斯 (奧科特佩克省)

聖馬科斯是宏都拉斯的城鎮，位於該國西部，由奧科特佩克省負責管轄，始建於1845年，面積165.09平方公里，海拔高度989米，2001年人口14,029，人口密度每平方公里84.98人。
文钟镇

行政區劃

文鍾鎮下轄以下地區：
文鍾村、黑溝門村、三眼井村、西水泉村、東三眼井村、三道井子村、二道井子村、南大營子村、柳條溝村。
弗羅斯特岩

弗羅斯特岩（英語：Frost Rocks）是南極洲的岩石，屬於威廉群島中阿根廷群島的一部分，處於懷廷岩西南面1公里，屬於威廉群島的一部分，由英國南極名稱諮詢委員會命名，現時由南極條約體系管理。
勞動省

勞動省（労働省、Ministry of Labor）是日本在1947年～2001年1月5日存在的管轄勞動政策的中央省廳。
王院乡

行政區劃

現轄：
王院村、石山屏村、豐田嶺村和培坑村。
鶯谷站

停靠路線

停靠的路線在正式軌道名稱上只有東北本線1條路線（詳詳參見路線條目與鐵道路線的名稱），而在列車系統上則有京濱東北線列車與山手線列車2個系統，旅客資訊不使用「東北（本）線」。另外依據特定都區市內，本站屬於「東京都區內」與「東京山手線內」。

車站構造

本站是上野站的業務委託站，為島式月台2面4線構造，出口有北口與南口。北口為地上站，南口為1927年建造的跨站式站房，南口前是連結上野公園與北側市區的天橋。
由於沒有綠色窗口，可在南口的指定席券販賣機購買指定席券。
由於站名「鶯谷」，早晨月台喇叭會撥放鶯叫聲。
茶店街道

行政區劃

茶店街道下轄以下地區：
茶店社區、茶店村、梅花村、老屋場村、開天村、魷魚鋪村和垢溪村。
得場地區

歷史

1995年自北倉郡析出而設立，設4勞動者區。2000年撤銷並併回北倉郡。2008年再復設之。
拉罗克加雅克

拉羅克加雅克（法語：La Roque-Gageac）是法國多爾多涅省的一個市鎮，位於該省東南部，屬於薩拉拉卡內達區（Sarlat-la-Canéda）。該市鎮總面積7.17平方公里，2009年時的人口為416人。

人口

拉羅克加雅克人口變化圖示
拿撒勒基督堂

歷史

拿撒勒基督堂是瑞士建築師Ferdinand Stadler的最後一件作品，建於1869-1871年，但Stadler在1870年去世。這是在聖地興建的第二座聖公會教堂。第一座位於耶路撒冷。英國聖公會差會 (CMS)的許多有影響的早期傳教士曾在拿撒勒基督堂服務，或以此為基地向周邊地區傳教。由於經費困難，該堂的尖頂直到143年後的2014年才得以建成。

現狀

2013年，該堂的信徒包括40個家庭，幾乎全是阿拉伯人，主日禮拜也使用阿拉伯語。除了訪客，參加禮拜者通常約為50人。
弋矶山街道

行政區劃

弋磯山街道下轄以下地區：
花園社區、綠影社區、王家巷社區、陡門口社區、周家山社區。
龍落水

龍落水是香港新界東平洲一個地方，也是香港地質公園的其中一個景點，為一條長百多米、厚約0.6米的多層沉積岩，由於岩層從山上逐漸傾斜進海，遠觀就像一條龍準備下水，故得「龍落水」之名。

文化

龍落水的景色被用於2014年香港通用郵票面值3.1港元郵票的圖案。
先來國際

先來國際控股有限公司，簡稱先來國際，以及先來國際控股（英語：First Sign International Holdings Limited，港交所除牌時0933.HK），在1978年由劉東海創立一家製衣公司。
業務當時代理時裝品牌「夢特嬌」，但由於受到代理權已屆滿，再加上投資失利，因而股價下挫，在2008年8月19日，更名光滙石油（控股）有限公司之前，薛光林家族把創立深圳光匯石油集團股份有限公司，注入本公司，並把香港和新加坡的私人物業注入，而原有保健品業務和證券投資已終止。
仙林湖站

站廳

仙林湖站設有兩個站廳，分別位於站房二層的南側和北側。兩個站廳均設有進出站閘機和服務中心，提供進出站、售票、充值等服務。兩個站廳間的非付費區互不聯通，付費區間有通道連接，通道內設有衛生間、商鋪和車站辦公區。

站台

仙林湖站站台層位於地上三層，呈南北向布置，設有一個島式站台和兩個側式站台，4條股道。目前南京地鐵4號線列車使用東側的兩條股道，北側設有終到列車折返線，南側設有通往車輛段的支線。西側的兩條股道為南京地鐵寧儀線S5預留。
赤城镇 (蓬溪县)

行政區劃

赤城鎮下轄以下地區：
南北街社區、東街社區、上河街社區、中河街社區、下河街社區、西街社區、順東街社區、玉泉社區、油房溝社區、濱湖社區、屏風村、蓮珠橋村、大石橋村、福光村、任家橋村、梨園村、普安村、打鐵埡村、唐家溝村、長發店村、下店子村、天燈堰村、周家店村、長興村、涼風埡村、禹城村、金仙村、白毛溝村、五雷寨村、響堂溝村、兩河口村。
張旭

張旭（約675年－約750年），字伯高，吳郡吳縣（今江蘇省蘇州市）人，唐朝中期書法家，唐朝開元年間官至常熟尉，後又為金吾長史，世稱「張長史」。工於書法，有「草聖」之稱。

生平

有關張旭的經歷不詳。《新唐書》有張旭的事跡，附於《李白傳》之後。張旭的書法，初學陸彥遠（陸柬之之子）。張旭曾在朝廷任職，在長安及上京當官，並與顏真卿及杜甫相識。
張旭以豪飲而知名。在杜甫的詩作「飲中八仙歌」裡，張旭亦是其中一位被描寫的人物之一，與其他人被稱為「飲中八仙」。張旭以書法中最為奔放自由的草書聞名，據《新唐書》記載，張旭喜歡在酒醉之後書寫作品，稱之為「狂草」。他的書法多以奇形怪狀、粗細對比誇張、以及充滿情感的線條相連，在《舊唐書》中讚譽為「變化無窮、若有神助」。張旭草書與李白詩，還有裴旻舞劍被稱為三絕。然而張旭並非只寫草書，他是唐朝另一個知名書法家陸柬之的外孫，對於楷書、國畫等也相當精通。相傳他的狂草來自觀看公孫大娘及其弟子練劍時的姿態而得到靈感。
在張旭之前，書法界一直奉王羲之及王獻之為規範，然而張旭的書法卻打破了這個常規，為書法界帶來旋風式的改革。杜甫在《八仙歌》中寫道：「張旭三杯草聖傳，脫帽露頂王公前，揮毫落紙如雲煙。」有說顏真卿及李陽冰是他的弟子，此說沒有確證。但崔避與顏真卿確實是張旭弟子。由《幽閒鼓吹》載「張旭書得筆法，傳崔避、顏真卿。」可得知，真卿本人在《張長史十二意筆法記》也提到自己跟隨張旭學習筆法。鄔彤亦曾為張旭弟子。

作品

唐朝留有不少關於張旭的記載，其中最廣為人知的是他在酒後靈感來時，甚至於會激動到用頭髮書寫作品。張旭的傳世作品有《古詩四帖》、《千字文》、《郎官石柱記》、《悲清秋賦》、《自言帖》、《肚痛帖》等等。其中《古詩四帖》的內容包括了詩人庾信的《步虛詞》二首，詩人謝靈運的兩首詩：《王子晉贊》、《岩下一老公、四五少年贊》，共40行。高28.8厘米，寬192.3厘米、寫在五色紙上。現藏中國遼寧省博物館。他的作品在曾得到唐文宗李昂的喜愛、列為「三絕」之一。
當時唐朝還有另一位較年輕的、同樣擅於草書的書法家懷素，也喜於醉後書寫作品，與他有「顛張醉素」的俗稱流傳於世。
麻坡關聖宮龍獅團

關聖宮龍獅團位於馬來西亞柔佛州麻坡市，成立於1988年1月22日，團長是陳忠興。

獲得獎項

1992年獲得了在香港舉辦的國際舞獅競標賽冠軍。關聖宮龍獅團獲得過36次世界冠軍，45次國內冠軍。
黄冈丁未革命纪念亭

歷史

民國十三年（1924年），時任大本營咨議的張永福向孫中山呈文請求"明令褒揚"。後孫中山指示民國政府內務部"派員調查先烈遺骸，建築墳墓，以重紀念"。民國十八年（1929年），紀念黃岡丁未革命烈士籌備處成立，並編寫了《紀念黃岡革命報告書》。民國二十三年（1934年）10月始建黃岡丁未革命紀念亭，同時還將黃岡鎮南面的一條街道改名為"丁未路"。

結構

鋼筋混凝土結構，面寬有三間12米，進深有兩間12米，高1.1米。前為半圓形台面，後為室，中間壁面嵌有7塊碑文，刻有343名烈士英名，並附記起義史略。
何友

何友，金台人，明朝政治人物。
何友曾於天順六年(1462年)接替王庭任邵武府知府一職，天順七年(1463年)由季亨接任。
大衛·喬利

大衛·喬利（David Jolly；1972年10月31日－）是美國的一位政治人物和律師。自2013年開始，他是佛羅里達州第13選舉區選出的美國眾議院議員。他的黨籍是共和黨。喬利在2013年首次當選眾議院議員.2015年7月20日，他宣布他將辭職競選參議員。
霍亞德洛斯薩查斯縣

霍亞德洛斯薩查斯縣是厄瓜多的縣份，位於該國東部，由奧雷亞納省負責管轄，始建於1988年8月9日，面積1,195平方公里，2001年人口26,363，人口密度每平方公里22.06人。
解放路 (镇江)

解放路是江蘇省鎮江市的南北向幹道。南至天橋支路，北至長江邊，全長2949米，寬40米。該路在1929年以前原為南北貫通鎮江城內的一系列條石小街，從南向北各段的名稱分為：小教場、觀音樓、大市口、四牌樓、高橋、鼎新街、大教場。1929年，國民政府建都南京後，江蘇省會遷往鎮江，隨即開始興建的第一批市政工程中，就將上述條石小街拓寬改建為近代馬路，取名中正路。汪精衛政府時期一度改名和平路，1945年恢復中正路名稱。1949年4月23日共產黨奪取鎮江後，將該路更名為解放路。
小行星12817

軌道參數

小行星12817的軌道半長軸為3.0636421 UA，離心率為0.019。
专区 (巴基斯坦)

歷史

巴基斯坦獨立後的行政區劃劃分脫胎於英國殖民時期的。殖民地時期，英屬印度諸省被劃分為專區，而專區又劃分為縣。1947年獨立時，新生國家巴基斯坦被印度分隔成為東西兩部分，共設有5個省份和多個事實獨立的土邦。有3個省設置了專區一級區劃，分別是西部西旁遮普省的拉合爾、木爾坦、拉瓦爾品第和薩戈達4個，西北邊境省的德拉伊斯梅爾汗和白沙瓦2個，以及東部東孟加拉省的吉大港專區、達卡專區、庫爾納專區和拉傑沙希專區4個，共計設有10個專區。
1955年，由於「一個單位」政策，除1948年成立的聯邦首都區之外，整個巴基斯坦僅被劃分為東巴基斯坦省和西巴基斯坦省兩個省份。由東孟加拉省改名而來的東巴基斯坦省依然被分為4個專區，但西部合併成立的西巴基斯坦省則在原本6個專區的基礎上又先後設立了7個專區。原俾路支土邦聯盟變為喀拉特專區，而俾路支首席專員省則變為了奎達專區。原信德省大部分變成了海德拉巴專區，另一部分則與凱爾布爾土邦合併成為凱爾布爾專區。原巴哈瓦爾布爾土邦變為了巴哈瓦爾布爾專區。1961年，聯邦首都區被撤銷，喀拉蚩及郊區因此也併入西巴基斯坦省，並與拉斯貝拉土邦合併成立了喀拉蚩-貝拉專區。1969年，奇特拉爾、第爾和斯瓦特3個土邦併入西巴基斯坦省，成為馬拉坎專區。
1970年，西巴基斯坦省解散，成立了俾路支省、西北邊境省、旁遮普省、信德省四個省和伊斯蘭瑪巴德直轄區，西巴基斯坦的各專區被劃入了四個新成立的省份。1970年代末，又陸續成立了多個專區。從白沙瓦專區析置出了哈扎拉專區和戈哈特專區；從拉合爾專區和拉瓦爾品第專區各分離出一部分組建了古傑蘭瓦拉專區；從木爾坦專區析置出了德利加茲汗專區；從薩戈達專區析置出了費薩拉巴德專區；從喀拉特專區和奎達專區各分離出一部分組建了錫比專區；從喀拉特專區析置出了莫克蘭專區。拉斯貝拉縣被劃到了喀拉特專區，喀拉蚩-貝拉專區因此改稱喀拉蚩專區。凱爾布爾專區治所移到蘇庫爾縣，並更名為蘇庫爾專區。
穆罕默德·齊亞·哈克於1977年發動軍事政變，對巴基斯坦進行軍事管制，並於1978年成立伊斯蘭思想顧問委員會，開始推行全面伊斯蘭化。該委員會曾建議撤銷四個省份的建制，將二十個專區升級為聯邦機構下的權力下放的新省份，但這一建議未被採納。
其後，從錫比專區析置出了馬希拉巴德專區，從奎達專區析置出了佐布專區，從德拉伊斯梅爾汗專區析置出了本努專區，從白沙瓦專區析置出了馬爾丹專區，從蘇庫爾專區析置出了拉爾卡納專區。從海德拉巴專區析置出了米爾布爾哈斯專區。
2000年8月，巴基斯坦進行地方政府改革，推行地方政府議會制度。2001年各地方政府議會首次選舉後，巴基斯坦對地方政府系統進行了徹底改組，很多職能被下放到了縣和鄉。在此次改革中信德省的5個專區、俾路支省的6個、開伯爾-普什圖省的7個和旁遮普省的8個共26個專區全部失去行政職能被撤銷，僅自由克什米爾的2個專區未受影響，仍是第二級行政區劃。
2008年，當選的新一屆政府決定恢復專區的建制。同年旁遮普省就恢復了原先8個專區的建制，其後又從拉合爾專區和木爾坦專區分出一部分組建了薩希瓦爾專區，從拉合爾專區析置了謝胡布爾專區，專區數量達到了10個。
2011年，信德省也恢復了原先5個專區的建制。2014年，信德省從海德拉巴專區析置出了班伯爾專區，從蘇庫爾專區析置出了沙希德貝娜齊爾阿巴德專區，專區數量達到了7個。
古恩特海崖

古恩特海崖（英語：Guenter Bluff）是南極洲的海崖，位於奧次地，屬於烏薩爾普山脈的一部分，美國地質調查局根據測量和該國海軍的空中照片繪入地圖，現時由南極條約體系管理。
太空船2号

開發

在2006年9月28日，維珍集團創始人理察·布蘭森爵士在紐約Jacob K. Javits會展中心的NextFest博覽會上推出了一個模擬的太空船2號乘客座艙。2009年12月7日，太空船的正式揭牌，並首次展示。本次活動所涉及的第一個太空船2號被當時的加州州長阿諾·施瓦辛格命名為VSS企業號。

試飛

2014年10月前，太空船2號已經進行了54次試飛。在這些飛行試驗中飛船10次使用了它的「羽毛」翼布局。

2014年10月的意外

2014年10月31日上午10時左右太空船2號就在脫離母船，準備繼續升空沒多久發生爆炸，隨即整架太空船斷成兩半快速墜落，墜毀在加州莫哈韋沙漠當中。從而導致一名飛行員受傷和另一名飛行員遇難死亡，是自2003年哥倫比亞號以來最嚴重的太空梭意外，也是第一次有人生還的太空飛機事故。
美國國家運輸安全委員會的事故調查報告認為，副駕駛過快打開制動系統的鎖緊裝置，導致飛船尾翼呈現下降衝形態，發生結構性破壞，使飛船在空氣動力過載的情況下解體。

VSS企業號損失後

第二個太空船2號的試飛預計將在2015年的夏天被恢復，在太空船的建設完成時候。

成本

太空船2號的總開發成本在2011年5月估計約為4億美元，比2007年預算中的1.08億美元有顯著增加。

到達太空邊緣

2018年12月13日，太空船2號「團結號」最高飛至海拔82.7公里，超過美國空軍認定的海拔80公里「太空邊緣」，順利達成載人飛入太空邊緣的試飛任務。

規格

來源：