stanford-oval/wikipedia huggingface dataset:
郴州 (古代)

郴州，隋朝时设置的州。
开皇九年（589年）置，治所在郴县（元朝时改郴阳县，今湖南省郴州市）。因郴县得名。辖境相当今湖南省永兴县以南的耒水流域和蓝山、嘉禾、临武、宜章等县地。五代马楚以后西部地区分置桂阳监，辖境缩小，宋时仅有今永兴县以南的耒水流域（其支流西河上游除外）和宜章县地，属荆湖南路。元朝升为郴州路，明朝洪武元年（1368年）改为郴州府，九年（1376年）又改为郴州直隶州，以州治郴阳县省入，属湖广省。清属湖南省。1913年废州改为郴县。
| 唐朝郴州辖县 |
| --- | --- |
618年: 郴县、晋兴县、卢阳县、临武县、义章县、平阳县
624年: 郴县、晋兴县、卢阳县、临武县（废除义章县、平阳县）
625年: 郴县、晋兴县、卢阳县、临武县（重设义章县、平阳县）
625年: 郴县、卢阳县、临武县、义章县、平阳县（废除晋兴县）
671年: 郴县、卢阳县、临武县、义章县、平阳县（增南平县）
672年: 郴县、卢阳县、临武县、义章县、平阳县、南平县（增资兴县）
692年: 郴县、卢阳县、临武县（改名隆武县、义章县、平阳县、南平县、资兴县（增高平县）
705年: 郴县、卢阳县、隆武县（改名临武县）、义章县、平阳县、南平县、资兴县、高平县
725年: 郴县、卢阳县、临武县、义章县、平阳县、南平县、资兴县、高平县（增安陵县）
735年: 郴县、卢阳县、临武县、义章县、平阳县、南平县、资兴县、安陵县（废除高平县）
742年: 郴县、卢阳县（改名义昌县）、临武县、义章县、平阳县、南平县（改名蓝山县）、安陵县（改名高亭县）、资兴县
904年: 郴县、义昌县、临武县、义章县、平阳县（改为桂阳监）、蓝山县、高亭县、资兴县

颜师古（贞观前期，未任）
梁某（贞观年间）
萧坦（唐高宗初）
李处一（武周时）
武平一（唐睿宗时）
刘幽求（715年，未任）
王琚（717年—718年）
赵珵（724年）
孙会（741年）
桂阳郡太守
郑炅之（广德年间）
崔伟（770年）
杨仲敏（大历年间）
苏汤（大历年间）
裴友悌（大历年间）
张翃（777年—778年）
李纵（大历末年）
魏循（建中年间）
崔儆（建中末年—贞元初年）
严士元（贞元初年）
穆赞（790年）
殷永（793年）
李吉甫（802年—803年）
李伯康（803年—805年）
梁褒先（807年）
崔侠（810年—811年）
杨於陵（816年—817年）
陈谏（820年）
韩泰（821年—824年）
张师质（唐文宗时）
柳璟（会昌年间）
李珏（845年）
王某（大中初年）
羊某（869年）
严祁（872年）
郑畋（乾符初年）
柳泰（乾符年间）
董岳（879年）
陈彦谦（879年—899年）
李存信
参考資料

《中国行政区划通史·唐代卷》
《唐刺史考全编》
納波河

納波河
納波河地圖（右上）
納波河（西班牙語：Río Napo）是南美洲的河流，位於亞馬遜河盆地，屬於亞馬遜河的支流，河道全長1,075公里，集水區面積100,518平方公里，發源自厄瓜多爾，流經該國和秘魯。
2°00′50″S 74°20′27″W﻿ / ﻿2.01396°S 74.34075°W﻿ / -2.01396; -74.34075
情感标示

情感标示（英语：Affect labeling）是一种内隐的情绪调整策略，可被简单的定义为“将感受以文字的形式表述”。更准确地说，这个理念认为将个人的某些情绪，尤其是消极情绪赋予明确的标签可以减少由这种情绪状态所衍生出的意识体验、生理反应和其它行为。例如，以日记的方式记录负面经历有助于缓解个人的情绪。 其它与情感标示相关的行为还包括心理咨询，向朋友抱怨自己的负面经历，或将其发表于社交媒体，或仅仅是认识到当前处境的可怕之处。
历史

很久之前，人们就意识到了谈论和记录自身感受的好处，许多人都有写日记的习惯，而谈话也是心理治疗最初的方法。过去数十年来，许多实验都证明了将个人情感转化为文字的益处。 最近几年，有关情感标示的研究大多专注于证明它在情绪调节方面的作用，但也有一些研究旨在发现它背后的行为与神经机制。这个领域的研究仍处于早期阶段。
影响 > 情绪体验

当人们参与情感标示时，相比日常，他们报告了更低水平的情感状态。这种差异不仅体验于受试者对自身情感的评估，还包括那些由外部刺激，例如图像所唤起的情感。
影响 > 自主反应

在执行情感标示后，个人的自主神经系统反应也会减弱。例如，在使用评级量表评估自身的愤怒程度后，受试者的心率和心输出量水平有了下降。 研究结果还显示出，在对厌恶刺激（英语：）执行情感标示后，受试者在将来的类似刺激中会表现出更低的皮肤电导率（英语：），这或许表明情感标示能对自主神经系统造成长期影响。
神经科学研究

研究者发现，相比其它情绪刺激行为，情感标示可以带来更多的腹外侧前额叶皮层（英语：）（vIPFC）活动，并降低杏仁核的活动。对脑损伤患者的研究也证明了 vIPFC 在情感标示时的活动变化。右侧vIPFC损伤的患者更难以识别电影中人物的情绪状态。这或许表明情感标示就发生在大脑中的 vIPFC 区域。 另外，一项元分析也显示出在情绪刺激时，杏仁核的活动增强，但当受试者被要求鉴别分析情绪，而非仅仅被动的观察刺激时，杏仁核的活动强度降低了。
一个结合了上述观察的理论认为，情感标示时腹外侧前额叶皮层（英语：）的活动通过某种方式降低了杏仁核的活动强度。这个理论受到了一些研究结果的支持，这些研究发现当进行情感标示时，大脑两个区域之间存在负连接（当一处活动增强，另一处活动降低）。另外，研究者使用确定性因果模型（英语：）也得出了同样的结论，即 vIPFC 活动的增强会带来杏仁核活动的降低。
与情绪重估的比较

情绪重估是一种情绪调节策略，它为情绪刺激重新作出一个新的，通常是更加积极的阐释，借此来减少这个刺激为个体带来的影响。例如，有些人会将考试成绩不理想阐释为一种学习的过程，认为自己可以从这个结果中获得某些有用的东西，而非一直沉湎于消极情绪之中。由于情感标签与情绪重估一样，都是一种情绪调节策略，所以有些研究者会从有关情绪重估的文献中汲取见解。
情感标签与情绪重估最显著的不同在于主体的认识，情感标签通常是无意识发生的，这与有意作出的情绪重估相反。研究显示，当个体期望借助情绪重估来降低自身心理压力时，他往往会产生对情感标签的相反意见，他会认为说出或记录这些情绪会增加自己的压抑感。事实上，尽管情绪重估可以更有效率的降低负面情绪，但两种策略都是减少负面情绪的有效方法。
受情绪重估影响较大的个体也更容易受到情感标签的影响，这或许表明两者背后是相同的机制。
在神经特征层面，情绪重估与情感标签也有类似的表现。与情感标签一样，情绪重估也造成了腹外侧前额叶皮层（英语：）活动的增强，并且抑制了杏仁核的活动强度。但是，与情感标签不同之处在于，研究者发现情绪重估同时也增加了前扣带皮层、运动辅助区和背外侧前额叶（英语：）的活动。
应用 > 社交媒体

在社交媒体（例如推特）上发布自己的情绪感受属于一种情感标示行为。一项研究分析了 74,487 条包含情感状态（以“我感觉...”开头）的推文，研究者以情感标示的发生时间将这些推文分为“情感标示前”与“情感标示后”两个类别。研究人员发现，在情感标示前，推文的情绪状态处于上升的趋势，这种趋势在接近情感标示时达到最高。而在情感标示之后，后续推文的情绪状态迅速回落，重新恢复到基准水平以下。这个研究结果支持了情感标示在现实生活情绪方面的调节作用，并表明社交媒体使用者可能在不知不觉中一直在进行情感标示。
应用 > 心理健康

一些心理工作者已经将情感标示作为一种临床治疗的手段，它与暴露疗法一起被用于治疗恐惧症、焦虑症和其它一些心理障碍。
一项研究发现，有公众演讲焦虑（英语：）的受试者可以借助事先准备好的心理描述词语，将这些词语与演讲前的自身感受相匹配，从而显著的减少焦虑，焦虑的程度是由受试者的一些生理指标（例如心率）所量化的。这些结果表明，情感标示与暴露疗法的结合要优于仅仅使用暴露疗法。值得注意的是，受试者报告的主观焦虑程度并未受情感标示的影响，但他们的生理指标显示出了焦虑程度的降低。
另一项针对蜘蛛恐惧症的研究也显示了类似的结果。研究者将捕鸟蛛置于实验参与者身边持续两天，同时监测受试者的情绪状态。相比于重估、注意转移、条件控制等方法，研究发现情感标示方法下的受试者显示出更低的皮电活动（英语：），尽管受试者的主观恐惧报告并无差异。
尽管这些初步的证据都表明了情感标示在心理治疗方面的价值，但研究人员也承认，仍然需要进行更多的临床实验，以探索情感标示与其它疗法的结合，然后才能将其更安全的应用于临床实践。
另见

情绪自我调节
情感 (心理学)
暴露疗法
社交媒体
情感理論

情感理論（英語：Affect theory）是一種探討組織化情感的理论，有时候會交替探討情绪、主观经验感受，並探討其在生理、社会、人际关系以及内化表现形式的不同型態與分類。包括心理学、精神分析、神经科学、医学、人际沟通、文学理论、批判理论以及性别问题研究等其他领域都有對影響理論的討論。因此，情感理论的定义也隨著不同學科的討論方式不同有也所差異。
情感理论最早由心理学家Silvan Tomkins在其1962出版著作《情感意象的意識》（Affect Imagery Consciousness）中的前兩卷中提及。Tomkins使用「情感」这一個概念來討論「情緒中生物的部分」；他指出「我們每個人都存在有本能的、程序的基因傳遞機制」，當機制被觸發的時候，就會產生「已知的生物事件模式」。然而他也承认，成年人情感經驗是由先天機制和一个「由意識情感交互作用所建造構築的複雜母體」共同產生的。
心理学中的情感理論 > Silvan Tomkins的九種情感

心理學家Silvan Tomkins提出了九種主要的情感，包括了正面、負面及中性並依其影響生理表現的高低强度進一步劃分：
正面的：
享受與喜樂（對成功的反應與對分享的衝動：微笑、嘴唇擴大且往外。
感興趣與興奮（對新情境的反應與參加的衝動）：眉毛下降、視線追隨、目光注意、靠近聆聽。
中性的：
驚喜與驚嚇（對突然變化的反應與重置的衝動）：眉毛抬高、眼睛闪烁。
负面的：
愤怒與狂怒（對威脅的反應與攻擊的衝動）：皺眉頭、縮緊下颚、面紅耳赤。
厌恶（對糟糕味道的反應與丟棄的衝動）：在下嘴唇突出、头朝前下。
難聞（對難聞氣味的反應與迴避氣味的衝動）：上唇提高，头回拉。
困扰與痛苦（對损失的反應與哀悼的衝動）：哭泣、啜泣、眉毛與嘴下降。
恐惧與恐怖（對危险的反應與逃跑或躲藏的衝動）：視線凍結、臉色發白、發冷、冒汗與寒毛直豎。
耻辱與羞辱（對失敗的反應與檢討行為的衝動）眼睛下降、低头、迴避、臉紅。
心理学中的情感理論 > 應用慣例

Tomkins指出：精神健康的最佳狀況就是最大的正面情感與最小的負面情感。此外應該還要能正確表達情感以及識別情感。
情感理论也應用在親密以及親密關係的研究調查中。Kelly將關係定義為「共同努力以達到正面情感最大化和負面情感最小化的一種協議」，就像「最佳心理健康」的藍圖一樣，這個藍圖要求關係中的成員以相互表達情感的方式來確定關係的進展階段。
這些藍圖也可以描述自然和內隱的目標。 例如Donald Nathanson就使用情感來為他的一位患者建立敘事：
我懷疑他拒絕觀看電影的原因是會對屏幕上所描繪的強烈恐懼情感；我們大多數人經常看電影院的情感共鳴只是他感到不適的另一個原因。…他在無論是Kelly還是Tomkins藍圖的前兩條規則下，拒絕了一個最好的工作機會，因為他拒絕任何有可能與性有正負面影響關聯的風險。因此，他的親密問題一方面可以解釋為一面過度充滿同情心的牆，在另一個方面則可以解釋為他個人在表達和管理情感的內部純粹問題。
Tomkins指出「基督教會成為一个强大的普遍宗教，是因为它為愤怒、暴力、痛苦提供了爱、享受與和平的解決之道。」
Tomkins也在腳本理論中大量的引用情感理論的概念。
心理学中的情感理論 > 心理學中的典型情感意圖

幽默是情感理論中爭論的一個主題。一些研究指出，幽默可能是正面和負面情感之間的衝突反應，例如恐懼與享受可能導致一些身體上的痙攣性收縮，像是胃和膈肌區域以及上頰肌肉的收縮。 进一步並造成情感中失去放鬆和混淆。
微笑可以展示人們喜悅的情感。情感可以透過人們的即時面部反應來辨識，在受到刺激後，即時反應會較他們真實的反應來的更快。
Stanley S. Seidner進行了喚醒、白噪音與負面情感的研究，結果顯示：「西班牙裔的發言者關於貨幣貶值的意見存在有負面情感的喚醒機制。」
人际沟通

在親密關係中，傳達感覺和情感的非語言模式被認為發揮著核心的作用。 婚姻諮商中的情緒安全模型能夠尋找並識別夫妻情感關係中發生的情感信息，包括伴侶對自己、彼此及對關係的感受；最重要的是則是依附的安全感和如何評價每個人的價值。
婚姻諮商是情感理論的一個實際應用。親密關係中有兩個情感的特徵具有強大的影響：
根據Tomkins的說法，情感共鳴是情感的一個主要特徵，指的是當一個人看到另一個人的情感表現時，因其同樣的情感經歷而產生共鳴的傾向，有時被稱為是「傳染」。共鳴也被認為是所有人類交流的原始基礎，在有語言之前，就能透過微笑和點頭產生情感共鳴。
同樣根據Tomkins的說法，當驅動不是那麼強大的時候，情感提供了一種壓迫感。因此，情感是一種强而有力动机來源。Tomkins並指出「情感能使好事變得更好，也使壞事變得更糟。」
批判理論與情感理論

在哲學、精神分析學派、性別研究與艺术理论都有對情感理論的探討，從批判理論的角度來說，他們將Eve Sedgwick、Lauren Berlant等人稱為「情感理論家」。有許多批判理論家都非常依賴情感理論，像是Elizabeth Povinell。也有一些馬克思主義者探討情感裡論，像是Franco Berardi、Michael Hardt與Antonio Negri，以及马克思主义女权主义者，包括Selma James和Silvia Federici，他們探討了認知和物質表現在特定性別和特定角色（包括監護工）的關聯。
批评

Ruth Leys強烈批評情感理論對藝術和文學批評的影響，以及被創傷理論採用為方法。
參見

情緒
選擇曝光理論（Selective exposure theory）
情緒管理理論（Mood management theory）
情感意識（Affect consciousness）
Lövheim情緒立方（Lövheim cube of emotion）
外部連結

Silvan S. Tomkins研究院
Tomkins理論的資訊
Tomkins的工作與生活摘要
明治町 (基隆市)

| 日語寫法 |
| --- | --- |
日語原文: 
假名: 
平文式罗马字: 
基隆市街圖
明治町為台灣日治時期臺北州基隆市的一個町，於基隆市自昭和6年（1931年）10月1日實施町名改正後設置，位於曾子寮街透牛稠港、基隆車站及舊埠頭一帶；當地原屬於基隆市大字牛稠港、蚵殼港和基隆的罾子寮。
明治町約為現今地籍太平段、中山段和新中山段南側的範圍，約為中山區新建里、安民里、安平里、中山里和民治里。
町內設施

一丁目
基隆港1至6號碼頭
基隆車站
基隆合同廳舍
丸一組基隆出張所
日東商船組基隆支店
大阪商船株式會社台北支店基隆出張所
日本郵船株式會社基隆支店
國際運輸組基隆支店
台灣運輸株式會社基隆支店
臺灣倉庫株式會社
日本通運株式會社基隆支店
二丁目
三丁目
曹洞宗明華山淨因禪寺
四丁目
臺灣總督府肥料檢查所基隆出張所
明治町警察官吏派出所
參考資料

1 2  . 臺北州報 (臺灣日日新報). 1931-10-01.
↑  簡萬火. . 基隆圖書出版協會. 1931-08-08.
↑  基隆市政府.  (PDF).   [2020-03-25]. （原始内容存档 (PDF)于2020-03-23）.
↑  基隆商工會議所. . 1940-07-02.
基隆車站
基隆合同廳舍(今海港大樓)
台灣倉庫株式會社倉庫.jpg
约瑟夫·菲茨杰拉德

| 约瑟夫·菲茨杰拉德 |
| --- | --- |
出生: 1904年10月10日  麻薩諸塞州 
逝世: 1987年3月20日  （82歲）
母校: 波士顿学院 
职业: 冰球运动员 
约瑟夫·菲茨杰拉德（英語：，1904年10月10日—1987年3月20日），美国马萨诸塞州人，男子冰球运动员。他曾代表美国国家队参加1932年冬季奥林匹克运动会冰球比赛，获得一枚银牌。
参考资料

↑  . International Olympic Committee.   [2022-09-27]. （原始内容存档于2022-09-27）.
纪念碑球场

| 安东尼奥·贝斯普西奥·利贝尔蒂纪念碑球场 Estadio Monumental Antonio Vespucio Liberti |
| --- | --- |
纪念碑 El Monumental


曾用名: Estadio Monumental (1938年–1986年)
位置: 布宜諾斯艾利斯
所有者: 河床體育會
座位数: 74.624
場地大小: 105 x 68 米
表面: 草地
建造
完工: 1936年–1938年
啟用: 1938年5月25日
翻修: 1978年
建築師: José Aslan Héctor Ezcurra
客戶
河床體育會（1938年至今） 阿根廷國家足球隊 圣洛伦索竞技（1982年）
安东尼奥·贝斯普西奥·利贝尔蒂纪念碑球场（西班牙語：），簡稱纪念碑球场（El Monumental），是一座位於阿根廷布宜諾斯艾利斯的足球場。纪念碑球场是阿根廷知名球會河床體育會的主場，球會在1986年為紀念第4任主席安东尼奥·贝斯普西奥·利贝尔蒂而把球場命名為現時名字。
纪念碑球场主辦了多場阿根廷國家足球隊的主場賽事，包括1978年世界杯东道主阿根廷對決荷蘭的決賽。
參考資料

↑  .   [2012-06-03]. （原始内容存档于2022-03-23）.
↑  .   [2012-06-03]. （原始内容存档于2011-07-06）.
↑  .   [2012-06-03]. （原始内容存档于2022-03-23）.
外部連結

河床體育會官方網站 （页面存档备份，存于）（西班牙文）
球場圖片 （页面存档备份，存于）
白鳥町

內海町，為日本的地方行政區名稱。
白鳥町 (岐阜縣)：過去位於岐阜縣郡上郡的行政區劃，已於2004年3月1日合併為郡上市。
白鳥町 (香川縣)：過去位於香川縣大川郡的行政區劃，已於2003年4月1日合併為東香川市。
释月霞

释月霞（1858年—1917年11月30日），俗姓胡，名显珠，字月霞，湖北黄冈人，佛教学者。
月霞19岁时于南京观音寺从禅定和尚出家，后在各地参学。其后不满于天台宗，改研习华严宗，并在湖北、安徽、陕西等地讲经。他曾在江苏、湖北创办僧教育会，又在南京创办僧立师范学堂。1914年创建华严大学，后又赴北京创办大乘讲习所。1917年逝世。
注释与参考资料

↑  一说大钟寺，来源：月霞（凤凰网） （页面存档备份，存于）
↑  史仲文. .   [2010-11-11]. （原始内容存档于2019-10-04）.
白羊座59

| 觀測資料 曆元 J2000> 0 |
| --- | --- |
星座: 白羊座
星官: 
赤經: 03h 19m 55.7967s
赤緯: +27° 04' 16.084"
視星等（V）: 5.927
距離: 210 ± 10 光年 (63 ± 4 pc)
光譜分類: G6IV
其他命名
 GSC 01792-01419, 2MASS J03195581+2704162, UBV M 9444, AG+26 328, HD 20618, PPM 92397, UBV 3205, BD+26 540, HIC 15514, SAO 75863, uvby98 100020618, GC 3970, HIP 15514, YZ 26 1646, GCRV 1839, HR 995, TD1 2081, IRAS 03169+2653, TYC 1792-1419-1 
白羊座59（59 Ari, 59 Arietis），是一颗位于白羊座的恒星，距离地球约210光年，视星等为5.93。
参考资料

HR 995 （页面存档备份，存于）
Image 59 Arietis
索恩河畔欧维拉尔

| 索恩河畔欧维拉尔 Auvillars-sur-Saône |
| --- | --- |
 法國市镇

   徽章
索恩河畔欧维拉尔的位置  
索恩河畔欧维拉尔显示法国的地图索恩河畔欧维拉尔显示科多尔省的地图
坐标：47°03′45″N 5°06′08″E﻿ / ﻿47.0625°N 5.1022°E﻿ / 47.0625; 5.1022
国家:  法國
大区:  
省:  科多尔省
面积1
 • 市镇: 6.74 平方公里（2.60 平方英里）
人口（2021年）
 • 市镇: 335人
 • 密度: 49.7人/平方公里（129人/平方英里）
时区: CET（UTC+01:00）
 • 夏时制: CEST（UTC+02:00）
邮政编码: 21250
INSEE: 21035 
省级选区: 布拉泽昂普莱讷县（英语：）
海拔: 176—226（577—741英尺） （平均：201米）
網站: http://www.auvillars-sur-saone.fr
1法國統計部門在計算土地面積時，不計算面積大於1平方公里的湖泊、池塘、冰川和河口。 2「人口不重複計算」：擁有多重居住地的居民（如：學生和軍人）僅計算一次。
索恩河畔欧维拉尔（法語：，法语发音：[ovilaʁ syʁ son]）是法国科多尔省的一个市镇，属于博讷区。
地理

索恩河畔欧维拉尔（47°3'45"N, 5°6'8"E）面积6.74 平方千米，位于法国勃艮第-弗朗什-孔泰大區科多尔省，该省份为法国中东部省份，北起奥布省，西接涅夫勒省和约讷省，南至索恩-卢瓦尔省，东南接汝拉省，东临上索恩省，东北部与上马恩省接壤。
与索恩河畔欧维拉尔接壤的市镇（或旧市镇、城区）包括：布鲁万、格拉农、阿尔日伊、巴尼奥、勒沙特莱。
索恩河畔欧维拉尔的时区为UTC+01:00、UTC+02:00（夏令时）。
行政

索恩河畔欧维拉尔的邮政编码为21250，INSEE市镇编码为21035。
政治

索恩河畔欧维拉尔所属的省级选区为布拉泽昂普莱讷县（英语：）。
人口

索恩河畔欧维拉尔于2021年1月1日时的人口数量为335人。
索恩河畔欧维拉尔的OSM定位图
1962-2008年间索恩河畔欧维拉尔人口变化图示
释来果

释来果（1881年—1953年），俗姓劉，法名妙树，字来果，号净如，湖北黄冈县人，禅宗临济宗高僧，弟子有释本焕。
生平

1881年，刘永理出生在湖北省黄冈县。
1904年，24岁的刘永理在宝华山出家为僧，法名“妙树”，字“来果”，号“净如”，后来他参拜普陀山、金山寺（今江天禅寺），并且在终南山韩湘子洞悟禅，并且担任扬州高旻寺住持大师。
释来果生前弘法悟禅，立下誓言“生为高旻人，死为高旻鬼”。
1953年，释来果在上海市圆寂。
著作

《来果禅师语录》
《来果禅师自行录》
《来果禅师开示录》
陈永苗

陈永苗（1975年4月28日—），从事宪政和自由主义思考写作，《新京报》评论员，激进宪政主义者，批评时尚的"儒家宪政主义"。1996年毕业于中南政法学院，2002年前福建执业律师，2003至北京先后任《中法网》内容总监、《新京报》评论员、《法制早报》评论编辑等职务。2002年开始主持《宪政论衡》、《关天茶舍》等著名思想网站论坛。发表多篇文章在《开放时代》、《二十一世纪》、《社会科学报》、《书屋》、《博览群书》、《天涯》等刊物。随笔评论集《待建的诸神之殿》2005年由北京大学出版社出版。
类型论

類型論，數學、邏輯和電腦科學以下的一個分支，是研究不同類型系統及其表達形式的學科。某些類型系統適合用作數學基礎，取代數學家一般使用的集合論，其中最具影響力的有阿隆佐·邱奇的有類型λ演算和佩爾·馬丁-洛夫的直覺類型論。許多函式語言和電腦協助定理驗證（英语：）工具都建立在類型論的基礎上，如Agda、Coq、Idris、Lean等等。
類型論的核心概念是，每一條合乎語法規則的表達式（或稱「项」）都有其所屬的「類型」。通過結合多個基礎類型，可以定義更加複雜的類型。如此得出的類型可以代表林林總總的數學結構，如自然數、群、拓撲空間等等。在集合論中，這些結構都是含有元素（或稱成員）的集合，它的定義純粹就是指定其所含的所有元素。在類型論中，這些結構的定義並不羅列屬於它的所有項，而是指定如何建構它的項的一套規則。
集合論建基於一階邏輯，有「集合」和「命題」兩個主要概念。任何一套集合論公理（如策梅洛-弗蘭克爾集合論）和命題都是以一階邏輯的語言所表達。類型論則只有「類型」的概念，每一條邏輯命題都是一個類型。要證明任何一條命題，就需要建構屬於此類型的項，是為命題為類型原理。換言之，證明定理的過程只不過是建構符合指定數學結構的數學物件的過程的一個特例。
概覽

類型論有許多種，底下更細分許多變體，本文只能以直覺類型論為例做基本的入門介紹，而不詳細羅列每一種變體。
概覽 > 項與類型

在類型論中，每一個數學對象都有其所屬的類型（籠統地來說，這個類型的獨一無二的）。每次加入新的變數時，必須同時指定其所屬的類型。舉例說，「設x為自然數」可寫作
讀作「項x的類型是 \mathbb {N} 」。這在形式上似乎和集合論中的 x\in \mathbb {N} （「x是集合 \mathbb {N} 的元素」）無所差異，但後者是一階邏輯中具備真值的一條「命題」，而前者則是一個純粹的「斷言」，並不是一條有待證明的命題。
概覽 > 類型建構規則

每一種類型論都指定了如何建構新類型（及其項）的一套規則，通過這些規則所得出的式子都是合理的斷言，不須證明。以下歸納每一個新類型定義的組成部分：
建構規則：如何建構符合某種格式的新類型。例如，當A和B分別為類型的時候，可以建構有序對類型A × B，亦可建構函數類型A → B。
建構式，或稱引入規則：如何建構屬於這一類型的項。例如，從a : A和b : B這兩個項，就可以建構A × B的項，記作(a, b)。
消去式，或稱消去規則：如何使用屬於這一類型的項。例如，設A, B, C為類型，對應於每一個函數g : A → (B → C)，都有一個函數f : A × B → C。這條規則指定了如何使用A × B的項。
運算規則：消去式如何應用在建構式上。例如，設a, b, c分別為A, B, C的項，則f( (a, b) )定義為等同g(a)(b)。
唯一原理（可有可無）：規定指入某個類型或從某個類型指出的函數是唯一的。比如，「A × B的每一個項都可以唯一地表達為(a, b)」。在設計類型論的時候，可以把唯一原理列入類型的建構規則之中，亦可省略之，而視其為有待證明的命題。
以上是類型論的基本規則，可理解為類型論的語法，它並不包含數學公理。這和集合論有所不同：除了一階邏輯本身的推理規則以外，集合論還加入了一組有關集合的公理（如策梅羅-弗蘭克爾公理系統）。最基本的類型論不需公理即可當做邏輯和數學推理使用，但在有需要時，同樣也可以加上額外的公理。類型論中的公理是不通過建構規則而接納的斷言，因此有些公理會產生無法通過運算規則簡化的式子，從而影響該類型系統的可計算性。
概覽 > 常見類型

以下列出幾種常見的基本類型，除了全類和（依賴）函數類型以外，它們都是最後介紹的歸納類型（英语：）的特例。這些類型既可以表達數學結構，又可以表達命題。類型的項可以是某個數學結構的成員，也可以是某條命題的證明。這就是命題為類型原理。
概覽 > 常見類型 > 全類

類型論規定，在介紹新的符號時，必須馬上指定它的類型，如「設 n:\mathbb {N} 」。同樣，當我們說「設A為類型」的時候也一樣要指定A自己的類型。然而，A本身就已經是一個類型，那麼類型的類型是甚麼？類型論中有「全類」的概念，每個全類的項都是類型。由於全類本身也是一個類型，如果所有類型都屬於同一個全類的話，就不可避免產生吉拉爾悖論（英语：）（羅素悖論在類型論中的體現）。因此，類型論一般都會假設存在無限層全類，記作𝒰0, 𝒰1, 𝒰2，如此類推。每一層全類都是它上一層全類的項：𝒰i : 𝒰i+1。「設A為類型」的意思其實是「設A : 𝒰i」，其中層級i可以明確指定，但一般可以從前文後理推斷出來，所以下標往往省略不寫。同理，當我們說「對於所有類型A」，意思其實是「對於所有第i層全類下的類型A」。有些類型系統規定，𝒰i下的所有項也是𝒰i+1的項，這種累積性屬性對設計一個類型系統來說有利有弊，在此並不詳述。
以上解釋的是羅素式全類。塔斯基式全類是另一種繞過悖論的方法，它主張每個A : 𝒰要經過一個明確的強制轉換函數才能成為一個類型El(A)。
概覽 > 常見類型 > 函數類型

類型論將函數視為一種基礎類型，而不像集合論一樣定義為笛卡爾積的符合某些規定的子集。每一個函數都屬於一個類型：假設A, B為類型，可以建構函數類型A → B。要定義這一類型的某個項，共有兩種方法。第一種是直接定義：先給函數取名，例如f，然後對於任意項a : A，將f(a)定義為一條可能含有a並且類型為B的公式Φ。f的定義可以讀成「給我任何一個a : A，我都可以給你一個Φ : B」。另一種方法是λ抽象化，直接寫(λ (a : A), Φ) : A → B，避開給函數取名。
從命題為類型原理的角度來看，函數可以用來表達邏輯蘊涵。假如p, q分別是代表命題的類型，那麼p → q就代表了「當p為真，則q為真」這一命題。要證明此命題，對於p的每個項（即證明），須給出q的一個項。
概覽 > 常見類型 > 依賴類型

依賴函數類型，又稱Π類型，是普通函數類型的推廣，使得函數的到達域類型可以依賴於輸入值。對於任何類型A和一族類型B : A → 𝒰（即對於任何a : A都有一個可能不同的類型B(a)），都可以建構依賴類型
要定義依賴類型的某個項（即某個依賴函數），同樣有兩種方法。直接定義：取名f，對於任意項a : A，將f(a)定義為一條可能含有a並且類型為B(a)的公式Φ。λ抽象化：直接寫
假如A是任意類型而p : A → 𝒰是一族代表命題的類型，那麼 \prod _{a:A}p(a)就代表了「對於所有a : A，p(a)為真」這一命題。
概覽 > 常見類型 > 空類型

空類型記作⊥或0，它沒有任何相應的建構式，也就是說，它沒有任何項。空類型的消去規則是，對於任何類型A，都有一個函數false_elim : ⊥ → A。根據命題為類型原理，空類型可以詮釋為「假」命題，它不存在任何證明。設p為代表命題的類型，則p → ⊥代表「非p」這一命題，記作¬p。假設⊥有一個項h，而p為任何代表命題的類型，那麼通過空類型的消去規則就可以得出false_elim h : p。這意味著無論甚麼命題都可以證明是真的，是為爆炸原理。
概覽 > 常見類型 > 單值類型

單值類型記作⊤或1，它只有一條建構式，因此只含唯一的單個項，記作「∗ : 1」。假如有一個函數f : 1 → A，則可以說A有一個項f(∗)，亦稱「A是有棲居對象的類型」（類型論區分「有棲居對象」和「非空」這兩個概念）。
概覽 > 常見類型 > 雙值類型

雙值類型記作 \mathbb {B} 或2，它有兩條構件式，因此有兩個項，記作「02, 12 : 2」。雙值類型就是函數式編程中的布林，其兩個項可以分別理解為「如果假」和「如果真」兩個情況。函數f : 2 → A可以理解為「如果真，輸出f(12) : A，否則輸出f(02) : A」。
概覽 > 常見類型 > 積類型

積類型所表達的是有序對的概念。從兩個類型A, B可以建構出它們的積類型A × B。它有一條建構式：從兩個項a : A和b : B可以建構出積類型的項(a, b) : A × B。對應於每一個函數g : A → (B → C)，都有一個函數f : A × B → C。
積類型可以詮釋為邏輯與：假如類型A, B, C都是命題，則函數f : A × B → C可以理解為「假如同時有A的證明和B的證明，就可以用f得出C的證明」。更簡短地說，「A與B為真時，則C為真」。
概覽 > 常見類型 > 餘積類型

餘積類型所表達的是不交並的概念。從兩個類型A, B可以建構出它們的餘積類型A + B。它有兩條建構式：從一個項a : A可以建構出inl(a) : A + B，從一個項b : B則可以建構出inr(b) : A + B。要建構函數f : A + B → C，須指定兩個函數g0 : A → C和g1 : B → C，使得f(inl(a))定義為g0(a)，f(inr(b))定義為g1(b)。
餘積類型可以詮釋為邏輯或：假如類型A, B, C都是命題，則函數f : A + B → C可以理解為「假如有A的證明，或者有B的證明，只需其一就可以用f得出C的證明」。更簡短地說，「A或B為真時，則C為真」。
上文介紹的雙值類型可視為餘積類型的特例，等同於1 + 1。
概覽 > 常見類型 > 依賴對類型

依賴對類型，又稱Σ類型，是積類型的推廣，使得每個項(a, b)中的第二個對象b的類型可以依賴於a。對於任何類型A和一族類型B : A → 𝒰，可以建構依賴對類型
它的項的格式是(a, b)，其中a : A，而b : B(a)。
假如A是任意類型而p : A → 𝒰是一族代表命題的類型，那麼 \sum _{a:A}p(a)就代表了「存在a : A使得p(a)為真」這一命題。值得注意的是，這種存在比經典數學中的存在更強，因為類型論要求我們明確提供見證p(a)為真的那個項a，而經典數學則無此要求（比如可以婉轉地證明「不可能不存在這樣的a」）。這意味著，最純粹的類型論表達的是一種構成主義數學。通過引入各種公理，如排中律和選擇公理，類型論仍然可以靈活地表達非構成主義的經典數學。
概覽 > 常見類型 > 自然數

類型論一般按照皮亞諾算術來定義自然數 \mathbb {N} 。它共有兩條建構式：
0:\mathbb {N} ，自然數的起始點
{\mathsf {succ}}:\mathbb {N} \to \mathbb {N} ，自然數的後繼函數
任何自然數，要麼是0，要麼是某個自然數的後繼（即等於 {\mathsf {succ}}(n)，其中 n:\mathbb {N} ）。一、二、三分別表達為 {\mathsf {succ}}(0)、 {\mathsf {succ}}({\mathsf {succ}}(0))、 {\mathsf {succ}}({\mathsf {succ}}({\mathsf {succ}}(0)))，如此類推。
要定義某個函數 f:\mathbb {N} \to A，須指定一個起始項g0 : A以及一個「下一步」函數 g_{\mathsf {succ}}:\mathbb {N} \to A\to A，使得f(0)定義為g0，並且對於任何 n:\mathbb {N} ， f({\mathsf {succ}}(n))定義為 g_{\mathsf {succ}}(n)(f(n))，也就是以0為起始點利用數學歸納法做一個遞歸性的定義。比如，以下是「奇偶」函數 {\mathsf {oddeven}}:\mathbb {N} \to {\boldsymbol {2}}的定義：
g0定義為02
g_{\mathsf {succ}}:\mathbb {N} \to {\boldsymbol {2}}\to {\boldsymbol {2}} 的定義：對於所有 n:\mathbb {N} ，
g_{\mathsf {succ}}(n)(0_{\boldsymbol {2}})定義為 1_{\boldsymbol {2}}
g_{\mathsf {succ}}(n)(1_{\boldsymbol {2}})定義為 0_{\boldsymbol {2}}
這裡我們也用到了雙值類型2的消去式。其他常見函數，例如「雙倍」函數 {\mathsf {double}}:\mathbb {N} \to \mathbb {N} 以及加法 +:\mathbb {N} \to \mathbb {N} \to \mathbb {N} 等二元運算都有類似的定義。
概覽 > 常見類型 > 等同類型

類型論有至少三種可以理解為「等同」的概念。第一種是「符號等同」，又稱「從定義上等同」，例如用1定義為代替 {\mathsf {succ}}(0)的符號，這記作 1:\equiv {\mathsf {succ}}(0)。自然數一節中的「定義為」就屬於此種等同，也可以用:≡表示。這種等同是為了給符號賦予含義，但它本身不含任何額外的數學意義。
第二種是「斷言等同」，即在展開兩個符號的定義，並用類型論建構規則運算以後，兩者的公式完全吻合，記作「a ≡ b」。例如，通過oddeven的定義，可做運算：
若a ≡ b，則在任何式子中出現的a都可以直接替換為b。此種等同屬於斷言，並不是邏輯命題，而是重複應用類型論語法規則後所得的符號等同。在類型論中，不允許說「假設a ≡ 1」，因為在設符號 a:\mathbb {N} 的時候，如果還沒有給n賦予定義值，那就應該做定義「a :≡ 1」；反之如果n已經被賦予定義值（比如1），那就輪不到我們假設其數值。假如將類型論的規則視為某種代數系統，那麼斷言等同就正是該系統中的普通等同關係，類似於一個群的元素之間的等同。
第三種是「命題等同」。有時，兩條公式就算在展開定義和運算之後，仍然不完全吻合，但它們具有相同的語義。舉例來說，對於所有 n:\mathbb {N} ，n + 1和1 + n這兩條公式無論如何運算都不會斷言等同，因為自然數加法的定義本身就區分先後順序。故此，我們不能寫「對於所有 n:\mathbb {N} ，n + 1 ≡ 1 + n」。然而，對於任何特定的自然數n，例如2，我們可以通過運算得出「2 + 1 ≡ 1 + 2」。這種從定義上不同但從含義上相同的現象，正正就是內涵和外延之分，邏輯學家戈特洛布·弗雷格稱之為意涵與指稱（英语：）之分。
針對這第三種等同關係，類型論有一種意義重大的「等同類型」。對於任何兩條類型相同的公式p, q : A，都有一個類型IdA(p, q)，指的是「p等於q」這一命題。在不怕混淆的情況下，可以使用更熟悉的寫法「p =A q」，其中類型下標A往往可以省略。根據命題為類型原理，要證明此命題，就必須提供它的項（此命題為真的見證物）。等同類型只有一條建構式：對於任何項a : A，可以建構refla : a =A a，稱為「自反」。由於斷言等同的公式都可以隨意互換，所以只要有a ≡ b，那就自動有a =A b。要證明「對於所有 n:\mathbb {N} ，n + 1 = 1 + n」這一命題，就必須給出這樣的項：
要建構這樣的項，須展開1和加號的定義，然後結合利用依賴類型、自然數和等同類型的建構和消去式。再舉一例， 0=_{\mathbb {N} }1也是一條合乎語法的等同類型，但它所代表的是一條假命題，所以它不含任何項。
概覽 > 常見類型 > 歸納類型

歸納類型是定義新類型的一套規則，以上介紹的0、1、2、 \mathbb {N} 、A × B、a =A b等都是其特例。要定義一個歸納類型，必須列出它的建構式。每一條建構式不但可以直接輸出該類型的項（如∗ : 1），它的輸出項還能依賴於某個變量（如inl : A → A + B），甚至歸納性地依賴於該類型自己的項（如 {\mathsf {succ}}:\mathbb {N} \to \mathbb {N} ），從而建構出無限大的數學結構。歸納類型代表了由它的建構式所自由生成的結構，也就是說，它的項正好都是從無開始，通過重複應用任一條建構式後所得的。本文不試圖詳列歸納類型的嚴格定義。
舉例來說，我們可以用歸納類型來定義整數 \mathbb {Z} 。它有兩條建構式：
{\mathsf {ofNat}}:\mathbb {N} \to \mathbb {Z} ，從每一個自然數可建構一個對應的非負整數
{\mathsf {negSucc}}:\mathbb {N} \to \mathbb {Z} ，從每一個自然數可建構一個對應的負整數（理解為−(n + 1)）
要建構某一個整數，須先指定用哪一條建構式，然後指定一個自然數。
再以幺半群為例，它只有一條比較長的建構式，為方便閱讀以文字寫出：
一個類型G ，一個乘法函數G × G → G （記作(a , b ) ↦ a * b ），一個單位元e : G ，以及以下兩項條件的證明：
對於任何x : G，x * e = x且e * x = x
對於任何x, y, z : G，x * (y * z) = (x * y) * z
要建構某一個幺半群，只須提供這單一條建構式所規定的所有項。
同倫類型論

条目：同倫類型論
同倫類型論是類型論底下一個活躍的研究范疇，它主張從同倫論的角度視每一個類型為（拓撲）空間，並且從范疇論的角度視類型為高維廣群。符拉基米爾·弗沃特斯基在研究餘調和∞廣群的時候，多次遇到某些證明含有錯誤，但在同行評審的過程中成為了漏網之魚，這促使他意識到電腦自動驗證證明的重要性。另一方面，他發現數學家常年以來普遍使用的策梅洛-弗蘭克爾集合論並不能作為滿足現代數學論證的日常用途的數學基礎。因此他利用Coq證明協助器，在構造演算（類型論的一種）的基礎之上研發出基於一價公理上的新數學基礎。
同倫類型論 > 基本概念

在這樣的框架下，類型的項可以想象成空間裡的點，而兩個項之間等同則可以想象成兩個點之間有一條路徑。假如類型A中有兩項等同p : a =A b，這可以理解為「p是始於a而終於b的路徑」。等同類型的對稱性意味著存在p−1 : b =A a，可以理解為「p−1是始於b且終於a的路徑」。當然，每個項都有自己的自反路徑refla : a =A a，可以理解為停留在a上不動的路徑。
利用等同類型的遞移關係，可以從p : a =A b和q : b =A c得出p ∘ q : a =A c。理解為路徑的話，路徑p和路徑q可以複合（串聯）起來形成一條始於a而終於c的路徑p ∘ q。假如我們複合p和它的對稱，就會得出p−1 ∘ p : a =A a。不過，這一條路徑往b點跑了一個來回，並不完全等同refla，儘管兩者都是同一條命題的證明。這體現了同倫類型論所強調的「證明相關性」。
從拓撲空間的角度來看，由於p−1 ∘ p沿著同一條線來回跑，所以它可以連續「縮小」至原地不動的refla，而不怕中途被某個「孔」勾住。這種路徑與路徑之間的連續變換稱為同倫，亦可視為始於p−1 ∘ p而終於refla的一條二維路徑，記作
循同樣的規律，很自然地有二維路徑之間的三維路徑（同倫間的同倫），三維路徑之間的四維路徑，等等。
從抽象代數的角度來看，路徑之間的複合可以視為乘法，自反路徑refla可以視為單位元，而任何路徑p的對稱p−1可以視為反元素。這類似於群的結構，但有兩點差異。第一，不是任何兩條路徑都可以複合，因為其中一條的終點必須是另一條的起點，意味著這只是一個廣群而不是群。第二，p−1 ∘ p只是和refla同倫等價而不是完全等同，因而反元素（結合律同理）只是在同倫意義上得到滿足，故此只能說是弱廣群。整體來說，這種具有無限層的類型結構形成弱∞廣群（英语：）。
任何函數f : A → B都會將命題等同的兩個項映射至兩個命題等同的項，從范疇論的角度可以說類型論中的函數都是函子，而從拓撲學的角度則可以說每個函數都是連續的。
拓撲學的纖維化和范疇論的等價等等概念同樣也有類型論的類比。
同倫類型論 > 一價公理

在拓撲學中，假如兩個空間是同倫等價的，那麼它們的許多拓撲性質也會是相同的。因為同倫這一概念在類型論中也有對應的「等價」概念，所以我們可以寫下「類型A, B : 𝒰是等價的」這樣的命題，記作A ≃ B。
在一般「非形式化」的數學推理當中，也就是不糾結於數學基礎細節的時候，數學家往往會濫用符號，隨意互換兩個等價但嚴格來說不完全等同的對象。例如，群論所研究的是同構意義上不同的群的性質，而拓撲學所研究的是同胚意義上不同的空間的性質。換言之，數學家一般並不在乎兩個等價結構之間定義上的細節差異。例如，實數到底是以戴德金分割還是柯西序列來表示並不重要，更重要的是它的抽象性質，特別是在與另一個等價結構互換以後仍然不變的性質。傳統的集合論把所有結構都以層層相疊的集合來表達，無法做這種符合結構主義（英语：）的數學推理。
類型論對類型的定義恰好遵循結構主義，但在「兩個等價的類型可以互換」這一問題上，我們只能對於每一對等價類型A ≃ B逐一證明。弗沃特斯基因此提出在純粹的類型論上加入一條新的公理，稱為一價公理：
可以讀成
「等同」等價於「等價」。
一價公理推廣了同一個全類以下兩個類型之間的等同關係。它要求同倫類型論下的所有定義都不違背類型間的同倫等價。對於任何同倫等價e : A ≃ B和任何項t : P(A)，其中P(A)是利用A建構出的類型，都可得出一個對應的項e∗t : P(B)。
以一價公理作為數學基礎，終於能夠對常用的數學推理手法做嚴謹的形式化表述。
同倫類型論 > 更高歸納類型

更高歸納類型是在同倫類型論的框架下對歸納類型的推廣。更高歸納類型的建構式不但可以像普通歸納類型一樣建構新的項（點），它還能夠建構新的等同類型的項（兩點之間的路徑）。例如，我們可以定義拓撲學意義的圓 \mathbb {S} ^{1}，它有兩條建構式：
{\mathsf {base}}:\mathbb {S} ^{1}，圓的基點
{\mathsf {loop}}:{\mathsf {base}}=_{\mathbb {S} ^{1}}{\mathsf {base}}，從基點至基點的路徑
這第二條建構式所建構的是有別於常值路徑 {\mathsf {refl}}_{\mathsf {base}}:{\mathsf {base}}=_{\mathbb {S} ^{1}}{\mathsf {base}}的另一條（一維）路徑，為這一類型賦予了不平凡的拓撲結構。
再舉一例，我們可以定義拓撲學意義的球面 \mathbb {S} ^{2}，它同樣有兩條建構式：
{\mathsf {base}}:\mathbb {S} ^{2}，球面的基點
{\mathsf {surf}}:{\mathsf {refl}}_{\mathsf {base}}=_{{\mathsf {base}}=_{\mathbb {S} ^{2}}{\mathsf {base}}}{\mathsf {refl}}_{\mathsf {base}}，非平凡的二維路徑
儘管定義裡只有基點和一條二維路徑，但是可以證明 \mathbb {S} ^{2}還有一條非平凡的三維路徑，其起點和終點都是reflreflbase。這就是霍普夫纖維化，同時印證了，更高歸納類型的簡單定義也可以創造出複雜而不易預見的拓撲結構。
廣義地來說，更高歸納類型的建構式可以建構任何更高維度的路徑（同倫）。
类型论体系 > 主要

简单类型λ演算，一种高阶逻辑；
直觉类型论；
系统F;
LF经常用来定义其他类型论；
构造演算及其衍生理论。
类型论体系 > 次要

Automath（英语：）；
ST类型论;
组合逻辑的一些形式；
λ立方体中定义的其他；
其他有类型λ演算;
其他纯类型系统（英语：）。
类型论体系 > 活跃

正在研究中的同伦类型论
参閲

直觉类型论
有类型lambda演算
类型系统
域理论
范畴论
中古經堂

| 中古經堂> 四川省第八批省級文物保護單位 |
| --- | --- |
地址: 四川省甘孜州九龍縣
時代: 明代
編號: 299
认定时间: 2012年7月16日
中古經堂位於四川省甘孜州九龍縣，文物遺址年代判定為明。2012年7月16日公佈為第八批四川省文物保護單位。
中古經堂位於四川省甘孜藏族自治州九龍縣湯古鄉湯古村。占地面積為115.26平方米，系三層石木結構建築，懸山頂，經堂南北長11.3米，東西寬10.2米。該經堂第二層的牆壁、天花板、大樑、牆柱上均繪有藏傳佛教壁畫，線條清晰，色彩絢麗。壁畫為明代時期所作，雖歷經百年，但無論是色澤還是人物形象描繪，都堪稱一絕。中古經堂是研究當地宗教建築以及壁畫藝術的重要實物資料。
註釋

↑  "關於印發《四川省第八批省級文物保護單位簡介》的通知，川文物保函〔2013〕128號，各市、州文化（文物）局，省直文博單位：為有效保護全省不可移動文物，進一步鞏固第三次全國文物普查成果，省政府於2012年7月核定公佈了“四川省第八批省級文物保護單位”。為切實加強和規範全省第八批省級文物保護單位的保護管理和合理利用，我局組織開展了《四川省第八批省級文物保護單位簡介》（以下簡稱《簡介》）的編制工作。該《簡介》在專家審核和徵求各地文物部門意見的基礎上已由我局核定。現將《簡介》印發全省，請各地按照《中華人民共和國文物保護法》、《四川省<中華人民共和國文物保護法>實施辦法》的有關規定，參照《全國重點文物保護單位保護範圍、標誌說明、記錄檔案和保護管理機構工作規範（試行）》的相關要求，及時完善本轄區第八批省級文物保護單位的“四有”基礎工作。特此通知。附件：《四川省第八批省級文物保護單位簡介》四川省文物管理局  2013年10月16日
↑  「四川省人民政府關於公布第八批省級文物保護單位名單的通知」，川府函[2012]149號，各市（州）、縣（市、區）人民政府，省政府各部門、各直屬機構：省政府核定四川省第八批省級文物保護單位（共計484處），現予公布。各地、各部門要認真貫徹落實《中華人民共和國文物保護法》等相關法律法規，按照「保護為主、搶救第一、合理利用、加強管理」的工作方針，正確處理文物保護與合理利用的關係，切實做好文物保護單位的保護、管理工作。四川省人民政府，2012年7月16日
中国驻光州总领事列表

本列表为中国驻韩国光州总领事馆历任总领事名录。
历任中国驻光州总领事 > 中华人民共和国驻光州领事办公室首席领事（2006年－2009年）

2007年3月23日，中国驻韩国大使馆驻光州领事办公室正式开馆。2009年6月18日，驻光州总领事馆正式开馆。
| 姓名 | 任命 | 到任 | 免职 | 离任 | 备注 | 备注 |
| --- | --- | --- | --- | --- | --- | --- |
| 何颖 |  | 2006年10月 |  | 2009年4月 |  |  |
历任中国驻光州总领事 > 中华人民共和国驻光州总领事（2009年至今）

2008年10月20日，中韩两国达成协议，中国在光州设置总领事馆。2009年6月18日，驻光州总领事馆正式开馆。
| 姓名 | 任命 | 到任 | 递交任命书 | 免职 | 离任 | 领事职务 | 备注 | 备注 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 阎凤兰 |  | 2009年5月 |  |  | 2012年7月 | 总领事 |  |  |
| 滕安军 |  | 2012年8月3日 |  |  | 2013年11月 | 总领事 |  |  |
| 王宪民 |  | 2013年12月27日 |  |  | 2016年4月 | 总领事 |  |  |
| 孙显宇 |  | 2016年5月3日 |  |  | 2020年7月 | 总领事 |  |  |
| 张承刚 |  | 2020年7月31日 |  |  | 2024年2月 | 总领事 |  |  |
| 顾景奇 |  | 2024年2月20日 |  | 现任 |  | 总领事 |  |  |
参考资料

↑  . 中华人民共和国外交部. 2007-03-25  [2024-02-04]. （原始内容存档于2024-02-04）.
↑   (PDF). 中华人民共和国条约数据库.   [2024-05-30].
↑  . 中华人民共和国驻光州总领事馆. 2009-06-20  [2024-05-30]. （原始内容存档于2024-05-29）.
↑  . 中华人民共和国驻大韩民国大使馆. 2009-06-20  [2021-06-08]. （原始内容存档于2021-06-08）.
↑  . 中华人民共和国外交部.   [2024-06-01]. （原始内容存档于2024-05-31）.
↑  . 中华人民共和国驻光州总领事馆. 2012-07-18  [2021-06-08]. （原始内容存档于2021-06-08）.
↑  . 中华人民共和国驻光州总领事馆. 2012-08-16  [2021-06-08]. （原始内容存档于2021-06-08）.
↑  . 中华人民共和国驻光州总领事馆. 2013-12-02  [2021-06-08]. （原始内容存档于2021-06-08）.
↑  . 中华人民共和国驻光州总领事馆. 2013-12-30  [2024-02-04]. （原始内容存档于2024-02-04）.
↑  . 中华人民共和国驻光州总领事馆. 2016-04-15  [2024-02-04]. （原始内容存档于2024-02-04）.
↑  . 中华人民共和国驻光州总领事馆. 2016-05-04  [2024-02-04]. （原始内容存档于2024-02-04）.
↑  . 中华人民共和国驻光州总领事馆. 2020-07-03  [2024-02-04]. （原始内容存档于2024-02-04）.
↑  . 中华人民共和国驻光州总领事馆. 2020-07-31  [2024-02-04]. （原始内容存档于2022-04-25）.
↑  . 中华人民共和国驻光州总领事馆. 2024-02-02  [2024-02-02]. （原始内容存档于2024-03-13）.
↑  . 中华人民共和国驻光州总领事馆. 2024-02-20  [2024-02-20]. （原始内容存档于2024-03-13）.
中国广电寿光公司

「」、「」和「」均至此。关于网台分离及资产上划之前的寿光有线电视事业，请见「」。
| 中国广电山东网络有限公司寿光市分公司 |
| --- | --- |

公司总部及中心营业厅
其他名稱: 山东广电网络有限公司寿光分公司 山东有线寿光分公司 寿光广电网络 寿光有线
公司類型: 有限责任公司分公司
成立: 2012年7月2日 (2012-07-02)
代表人物: 李秉桦（总经理）
總部:  中国山东省寿光市银海路6406号
業務範圍: 山东省寿光市
产业: 广播电视
服務: 有线电视、宽带及新媒体
母公司: 中国广电山东网络有限公司潍坊市分公司
中国广电山东网络有限公司寿光市分公司，旧名山东广电网络有限公司寿光分公司，又称山东有线寿光分公司，简称寿光广电网络或寿光有线，是中国广电山东网络有限公司在寿光市设立的一家县级分公司，成立于2012年7月2日，其前身为1999年3月4日成立的寿光市广播电视网络传输中心，主要负责全市有线电视網路的规划、建设、改造、经营和管理，保证有线电视網路安全运行和广播电视节目的安全优质播出。公司现设有17处营业部。
历史与沿革

2010年，山东省委、省政府确定整合全省广电网络资源。此后，省委、省政府曾多次发文要求限期实现「全省一张网」。而寿光市对此也高度重视，并及时推进相关工作。2012年3月28日，寿光市广播电视网络传输中心与寿光广播影视集团正式分离。同年7月2日，山东广电网络有限公司寿光分公司在寿光市广播电视网络传输中心的基础上挂牌成立，而寿光市的广电网络资产审计评估也基本接近尾声。寿光有线还在当年开通了导视服务频道「数字视界」，并将山东有线「高清畅享馆」在寿光境内落地播出。
然而在此后的一段时间内，寿光有线依然与市广播电视台共用前端机房，而机房的日常维护和管理也依旧由市广播电视台负责。市广播电视台在有线数字电视網路中延续了模拟信号时期的做法，于前端私自加装了广告插播系统，使得插播广告问题一直无法得到有效解决。2013年9月，寿光有线迁入新建的省级标准化前端机房，并按照省公司的要求解决了电视台人员兼职问题。2014年1月，寿光有线由原先的市级播控平台逐步切换至全省统一的前端播控平台。至此，插播广告问题已得到彻底解决。
2015年4月2日，寿光有线启用全省统一客服热线96123。2017年左右，寿光有线「数字视界」频道事实上已处于停播状态，及后随着2018年12月27日寿光电视台改造进行的频道调整而彻底停播。
2021年6月25日，公司正式更名为中国广电山东网络有限公司寿光市分公司。
机构设置

中国广电山东网络有限公司寿光市分公司设置下列机构：
机构设置 > 内设机构

办公室
财务部
技术部
运行维护部
设备管理部
宽带数据部
客户服务部
机构设置 > 分支机构

现代营业部
汇文营业部
东城营业部
圣城营业部
西城营业部
田柳营业部
古城营业部
侯镇营业部
孙集营业部
纪台营业部
稻田营业部
上口营业部
台头营业部
化龙营业部
羊口营业部
营里营业部
田马营业部
历任领导

李志伟（2012年7月—2018年5月）
李秉桦（2018年5月—）
主营业务

有线数字电视（DVB平台）
享TV（IPTV）
宽带服务
集客业务
移网业务