stanford-oval/wikipedia huggingface dataset:
阿鲁-伊托罗茨-奥拉伊比
人口

阿鲁-伊托罗茨-奥拉伊比于2021年1月1日时的人口数量为231人。
阿鲁-伊托罗茨-奥拉伊比的OSM定位图
1962-2008年间阿鲁-伊托罗茨-奥拉伊比人口变化图示
2,5-二甲基呋喃

| 2,5-二甲基呋喃 |
| --- | --- |


IUPAC名 2,5-Dimethylfuran
识别
CAS号: 625-86-5  Y
PubChem: 12266
ChemSpider: 11763
SMILES:    o1c(ccc1C)C 
InChI:    1/C6H8O/c1-5-3-4-6(2)7-5/h3-4H,1-2H3 
InChIKey: GSNUFIFRDBKVIE-UHFFFAOYAS
EINECS: 210-914-3
ChEBI: 89052
性质
化学式: C6H8O
: 96.13 g·mol⁻¹
外观: Liquid
密度: 0.8897 g/cm3
熔点: −62 °C（211 K）
沸点: 92 - 94 °C（271 K）
溶解性（水）: Insoluble
磁化率: -66.37·10−6 cm3/mol
折光度n D: 1.44 – 1.442
危险性
主要危害: Very flammable, harmful
若非注明，所有数据均出自标准状态（25 ℃，100 kPa）下。
2,5-二甲基呋喃（英語：，缩写 DMF）是一种有机化合物，结构简式(CH3)2C4H2O，属于呋喃衍生物，可作为生物燃料，由纤维素降解而来。
雅布龙河

| 雅布龙河 Jabron |
| --- | --- |

雅布龙河流域图
国家:  法國
流域
流向: 迪朗斯河→ 罗讷河→ 地中海

源頭:  
 • 位置: 莱索梅尔格
 • : 44°10′25″N 5°34′07″E﻿ / ﻿44.17361°N 5.56861°E﻿ / 44.17361; 5.56861
 • 海拔: 960米
 
河口:  
 • 位置: 锡斯特龙
 • : 44°09′45″N 5°57′19″E﻿ / ﻿44.16250°N 5.95528°E﻿ / 44.16250; 5.95528
 • 海拔: 455米
流域面積: 205 km2（79 sq mi）
本貌
長度: 36.5 km（22.7 mi）
流量:  
 • 平均流量: 4.57 m3/s（161 cu ft/s）
雅布龙河（法語：，法语发音：[ʒabʁɔ̃]）是法国上普罗旺斯阿尔卑斯省与德龙省的河流，是迪朗斯河的右支流，长36.5千米。
霍巴赫河 (魯爾河支流)

51°26′13″N 6°52′06″E﻿ / ﻿51.4368671°N 6.8682478°E﻿ / 51.4368671; 6.8682478

霍巴赫河（德語：），是德國的河流，位於該國西部，處於北萊茵-威斯特法倫州，屬於魯爾河的右支流，河道全長2.9公里，河畔城鎮有魯爾河畔米爾海姆。
參考資料

https://ratsinfo.muelheim-ruhr.de/buerger/vo020.asp?VOLFDNR=21360
霍巴特鎮區 (明尼蘇達州奧特泰爾縣)

| 霍巴特鎮區 Hobart Township |
| --- | --- |
行政鎮區
霍巴特鎮區霍巴特鎮區在明尼蘇達州的位置
坐标：46°39′43″N 95°43′35″W﻿ / ﻿46.66194°N 95.72639°W﻿ / 46.66194; -95.72639
國家: 美国
州份: 明尼蘇達州
縣: 奧特泰爾縣
面积
 • 总计: 93.08 平方公里（35.94 平方英里）
 • 陸地: 73.36 平方公里（28.32 平方英里）
 • 水域: 19.72 平方公里（7.61 平方英里）
海拔: 410 公尺（1,345 英尺）
人口（2020）
 • 總計: 798人
 • 密度: 8.57人/平方公里（22.2人/平方英里）
时区: CST（UTC-6）
 • 夏时制: CDT（UTC-5）
電話區號: 218（英语：）
GNIS ID: 664488
霍巴特鎮區（英語：）是位於美國明尼蘇達州奧特泰爾縣的一個行政鎮區，於1871年設立。
地方資料

霍巴特鎮區的面積為93.08平方千米，當中陸地面積為73.36平方千米，而水域面積為19.72平方千米。根據2020年美國人口普查的數據，當地共有人口798人，而人口密度為每平方千米8.57人。
參考文獻

1 2  . 2020 United States Census. United States Census Bureau.   [2021-09-14].
↑  . . United States Geological Survey.
↑  Upham, Warren. . Minnesota Historical Society. 1920: 395.
景村镇

| 景村镇 |
| --- | --- |
镇
坐标：34°02′52″N 110°15′14″E﻿ / ﻿34.04766°N 110.2539°E﻿ / 34.04766; 110.2539
国家:  中华人民共和国
上级行政区: 洛南县
村级区划单位数:  39 1社区 38行政村 
人口
 • 總計: 38,721人
时区: 北京时间（UTC+8）
行政区划代码: 61 10 21 101
电话区号: +86 (0)914
景村镇，是中华人民共和国陕西省商洛市洛南县下辖的一个乡镇级行政单位。
行政区划

景村镇下辖以下地区：
景村街社区、​下涧村、​居湾村、​陶渠村、​王涧村、​王村、​车塬村、​韩湾村、​王山沟村、​明星村、​何沟村、​贾沟村、​齐坡村、​丰中村、​育林村、​杨坪村、​蔡底村、​景旗村、​张家村、​高河村、​沙坪村、​刘涧村、​富刘村、​八一村、​盈丰村、​景丰村、​脱岭村、​景兴村、​余砭村、​窄巷村、​建兴村、​板桥村、​老虎圈村、​油泉村、​灵官庙村、​先进村、​常湾村、​兑山村和尚岭村。
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
集值函数

集值函数（set-valued function），或对应（correspondence）是一种函数，将一个集合（定义域）中的元素映射到另一集合的子集。集值函数见于众多数学领域，如最优化、控制理论与博弈论等。
有些文献将集值函数称作多值函数，但在本文和数学分析的其他文献中，多值函数指的是具有连续性的集值函数f，也就是说在集合 f(x)中选择一个元素，就会在接近x的y的每个集合 f(y)中确定一个相应的元素，从而局部确定了一个普通函数。
此图表示多值不紧合（proper，即单值）函数，X中的元素3同事对应Y中的两个元素b、c。
例子

函数的极值点一般来说是多值的。例如， \operatorname {argmax} _{x\in \mathbb {R} }\cos(x)=\{2\pi k\mid k\in \mathbb {Z} \}.
集值分析

集值分析以数学分析与点集拓扑学的精神研究集合。
与只考虑点的集合不同，集值分析考虑的是集合的集合。若集合被赋予拓扑或从底拓扑空间集成了适当的拓扑，就可以研究其收敛性。
大部分集值分析通过数理经济学和最优控制的研究产生，部分是作为凸分析的推广。Tyrrell Rockafellar、Roger J-B Wets、Jonathan Borwein、Adrian Lewis、Boris Mordukhovich等人用“变分分析”指代。在优化理论中，近似次导数向次导数的收敛，对于理解最小化点的必要或充分条件非常重要。
点值分析中以下概念可以推广到集值分析中：连续性、微分、积分、隐函数定理、压缩映射、测度、不动点定理、最优化与拓扑度定理。其中，方程被推广为包含（inclusion），微分方程被推广为微分包含式。
可以区分连续性的多种推广，如闭图性与上下拟弱连续性。此外还有各种将测度推广为多函数的方法。
应用

集值函数见于优化控制，特别是微分包含式及博弈论等领域，其中集值函数的角谷不动点定理已被用于证明纳什均衡的存在性。这与通过连续函数逼近上半连续函数的很多其他性质松散地联系起来，解释了为什么上半连续性更受欢迎。
但正如米歇尔选择定理指出的，下半连续多函数常有连续选择，提供了仿紧空间的另一个特征。Bressan-Colombo定向连续选择、Kuratowski与Ryll-Nardzewski可测选择定理、Aumann可测选择、可分解映射Fryszkowski选择之类的其他选择定理在最优控制和微分包含式中都很重要。
阅读更多

K. Deimling, Multivalued Differential Equations （页面存档备份，存于）, Walter de Gruyter, 1992
C. D. Aliprantis and K. C. Border, Infinite dimensional analysis. Hitchhiker's guide, Springer-Verlag Berlin Heidelberg, 2006
J. Andres and L. Górniewicz, Topological Fixed Point Principles for Boundary Value Problems （页面存档备份，存于）, Kluwer Academic Publishers, 2003
J.-P. Aubin and A. Cellina, Differential Inclusions, Set-Valued Maps And Viability Theory, Grundl. der Math. Wiss. 264, Springer - Verlag, Berlin, 1984
J.-P. Aubin and H. Frankowska, Set-Valued Analysis, Birkhäuser, Basel, 1990
D. Repovš and P.V. Semenov, Continuous Selections of Multivalued Mappings （页面存档备份，存于）, Kluwer Academic Publishers, Dordrecht 1998
E. U. Tarafdar and M. S. R. Chowdhury, Topological methods for set-valued nonlinear analysis, World Scientific, Singapore, 2008
Mitroi, F.-C.; Nikodem, K.; Wąsowicz, S. . Demonstratio Mathematica. 2013, 46 (4): 655–662. doi:10.1515/dema-2013-0483 .
另见

选择定理
乌尔塞斯库定理
二元关系
柳州話拼音

柳州話拼音（Liu3 zou1 hua4 Pin1 in1），是《柳州市誌》中根據漢語拼音設計的，用於標記柳州話語音的標音方案。
拼寫 > 聲母

| 拼音字母 | 國際音標 | 拼音字母 | 國際音標 | 拼音字母 | 國際音標 | 拼音字母 | 國際音標 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| b | [p] | p | [pʰ] | m | [m] | f | [f] |
| d | [t] | t | [tʰ] | n | [n] | l | [l] |
| z | [ʦ] | c | [ʦʰ] |  |  | s | [s] |
| j | [ʨ] | q | [ʨʰ] |  |  | x | [ɕ] |
| g | [k] | k | [kʰ] | ng | [ŋ] | h | [h] |
| 不標記 | 零聲母 |  |  |  |  |  |  |
拼寫 > 韻母

| 拼音字母 | 國際音標 | 拼音字母 | 國際音標 | 拼音字母 | 國際音標 | 拼音字母 | 國際音標 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| -i | [ɿ] | i | [i] | u | [u] | ü | [y] |
| a | [a] | ia | [ia] | ua | [ua] |  |  |
| o | [o] | io | [io] |  |  |  |  |
| e | [ə] | ie | [e]/[ie] |  |  | üe | [ye] |
| ai | [æ] |  |  | uai | [uæ] | h | [h] |
| ei | [ɐi] |  |  | ui | [uɐi] |  |  |
| ao | [ɑ] | iao | [iɑ] |  |  |  |  |
| ou | [ɐu] | iu | [iɐu] |  |  | üu | [yu] |
| an | [ã] | ian | [iẽ] | uan | [uã] | üan | [yẽ] |
| en | [ɐn] | in | [iən] | un | [uɐn] | ün | [yən] |
| ang | [aŋ] | iang | [iaŋ] | uang | [uaŋ] |  |  |
| ong | [oŋ] | iong | [ioŋ] |  |  |  |  |
拼寫 > 聲調

| 調名 | 陰平 | 陽平 | 上聲 | 去聲 | 入聲 |
| --- | --- | --- | --- | --- | --- |
| 調類 | 1 | 2 | 3 | 4 | 5 |
| 調值 | 44 | 31 | 54 | 24 | ʔ5 |
拼写舉例

| --- | --- |
春曉　　孟浩然: cun1 hiao3　　mong4 hao4ian2
春眠不覺曉，: cun1 mian2 bu5 gio5 hiao3,
處處聞啼鳥。: qü4 qü4 un2 ti2 niao3.
夜來風雨聲，: ie4 lai2 fong1 ü3 sen1,
花落知多少？: hua1 lo5 zi1 do1 sao3?
參考

柳州方言志，劉村漢\蔡德憲，柳州市志，廣西人民出版社，2003年9月第七卷129-195頁
桑德戴爾

桑德戴尔在「Mother Fairy-Tales」童話中的形象
桑德戴尔（英語：，威爾斯語：）是英国民间故事《杰克与豌豆》里住在云上面的巨人。在本杰明·塔巴特（英语：）創作的故事中，桑德戴爾被巨人杀手杰克所殺。因其住在雲端，又有「雲巨人」（Cloud Giant）的異稱。
参考资料

↑   (PDF). Research Parks.   [2023-09-28]. （原始内容存档 (PDF)于2023-09-28）.
1 2  健部伸明. 蘇竑嶂 , 编. . 奇幻基地. 2023-02-02. ISBN 9789866712135.  使用|accessdate=需要含有|url= (帮助)
随机数

隨機數這一概念在不同領域有著不同的含義。
密碼學範疇的隨機數

根據密碼學原理，隨機數的隨機性檢驗可以分爲三個標準：
統計學伪隨機性。統計學伪隨機性指的是在給定的随机比特流樣本中，1的數量大致等於0的數量，同理，“10”“01”“00”“11”四者數量大致相等。類似的標準被稱為統計學隨機性。滿足這類要求的數字在人類“一眼看上去”是隨機的。
密碼學安全偽隨機性。其定義為，給定隨機樣本的一部分和隨機算法，不能有效的演算出隨機樣本的剩餘部分。
真隨機性。其定義為隨機樣本不可重現。實際上只要給定邊界條件，真隨機數并不存在，可是如果產生一個真隨機數樣本的邊界條件十分複雜且難以捕捉（比如當地的本底輻射波動值），可以認為用這個方法演算出來了真隨機數。但實際上，這也只是非常接近真隨機數的偽隨機數，一般認為，無論是本底輻射、物理噪音、拋硬幣等等都是可被觀察了解的，任何基於經典力學產生的隨機數，都只是偽隨機數。
相應的，隨機數也分爲三類：
偽隨機數：滿足第一個條件的隨機數。
密碼學安全的偽隨機數：同時滿足前兩個條件的隨機數。可以通过密码学安全伪随机数生成器计算得出。
真隨機數：同時滿足三個條件的隨機數。
隨機數在密碼學中非常重要，保密通信中大量運用的會話密鑰的生成即需要真隨機數的參與。如果一個隨機數生成演算法是有缺陷的，那麽會話密鑰可以直接被推算出來。若果真發生這種事故，那麽任何加密算法都失去了意義。
密碼學中大量利用偽隨機數生成器的應用還有流密碼。流密碼的著名例子是RC4和ChaCha20。流密碼的原理是利用一個密碼學安全的偽隨機數生成器根據密鑰產生一串密碼學安全的偽隨機比特列，再將消息與上述隨機比特列按位異或運算。
目前沒有數學證明表示密碼學安全的僞隨機數生成器是確實存在的。其存在性證明涉及到P和NP的數學難題。
密碼學以外的隨機數

随机数是专门的随机试验的结果。
在统计学的不同技术中需要使用随机数，比如在从统计总体中抽取有代表性的样本的时候，或者在将实验动物分配到不同的试验组的过程中，或者在进行蒙特卡罗模拟法计算的时候等等。
产生随机数有多种不同的方法。这些方法被称为随机数生成器。随机数最重要的特性是它在产生时后面的那个数与前面的那个数毫无关系。
真正的随机数是使用物理现象产生的：比如掷钱币、骰子、转轮、使用电子元件的噪音、核裂变等等。这样的随机数生成器叫做物理性随机数生成器，它们的缺点是技术要求比较高。
在实际应用中往往使用伪随机数就足够了。这些数列是“似乎”随机的数，实际上它们是通过一个固定的、可以重复的计算方法产生的。它们不真正地随机，因为它们实际上是可以计算出来的，但是它们具有类似于随机数的统计特征。这样的生成器叫做伪随机数生成器。
在真正关键性的应用中，比如在密码学中，人们一般使用真正的随机数。
參考文獻

↑  Jonathan Katz; Yehuda Lindell.  [現代密碼學——原理與協議]. ISBN 9787118070651 （英语）. [页码请求]
↑  . Khan Academy.   [2023-12-25]. （原始内容存档于2020-11-26） （英语）.
↑  Barker, Elaine; Barker, William; Burr, William; Polk, William; Smid, Miles.  (PDF). NIST Special Publication 800-57 (NIST). July 2012  [19 August 2013]. doi:10.6028/NIST.SP.800-57p1r3. （原始内容存档 (PDF)于2013-06-26） （英语）.
外部連結

量子真随机数-國家密碼管理局 （页面存档备份，存于）
五岳山人

五岳山人可以指：
任瀚，号五岳山人，明朝政治人物
陈文烛，号五岳山人，明朝政治人物
黃省曾，号五岳山人，明朝诗人
丸尾未步

| 丸尾未步  |
| --- | --- |
日文假名: 
羅馬拼音: Maruo Miho
出生:  (1958-09-27) 1958年9月27日（66歲）  日本
筆名: 
職業: 編劇
語言: 日本語
國籍:  日本
代表作: 動畫（劇本統籌） 《少年阿貝2（日语：）》 《戀愛小魔女》 《彩雲國物語 (第2系列)》
| 日語寫法 |
| --- | --- |
日語原文: 
假名: 
平文式罗马字: 
丸尾未步（日语：，現用筆名：，1958年9月27日—），日本資深女編劇。日本編劇聯盟（日语：）會員。主要參加動畫作品的編劇、劇本統籌的工作。
人物簡介

日本編劇聯盟（日语：）編劇學校第34期出身。早年於職業編劇業界出道之後大多以本名的名義參加。出道以來大部分和同樣從日本編劇聯盟編劇學校畢業的吉田玲子、金春智子及池田真美子一起參加。同時還為自身參加編劇的《魔法使莎莉 (1989年版)》負責劇中插入歌曲進行填詞。
雖然本身不是第一線，但作為資深的編劇至今仍在線上。此外，以女性的視野描寫故事情景為她擔當編劇的特色。
參加作品 > 電視動畫

粗體字表示劇本統籌作品。
海螺小姐（編劇）
哆啦A夢 (1979年版)（1981年－1997年間參加，編劇）※初期以丸尾未步名義。
怪物小王子 (1980年版)（1982年，編劇）※初期以丸尾未步名義。
阿福（日语：）（1982年－1984年，編劇）
小超人帕門 (1983年版)（1983年－1985年，編劇）
Q太郎 (1985年版)1985年－1987年，編劇）
機動戰士Z鋼彈（1985年－1986年，編劇）
怪博士與機器娃娃 (1981年版)（1985年，編劇）
魔法偶像粉彩筆由美（日语：）（1986年，編劇）
七龍珠（1986年－1988年，編劇）
莫克和甜甜（1986年－1988年，編劇）
漫畫日本經濟入門（日语：）（1987年，編劇）
妙手小廚師（1987年－1989年，編劇）
魔神英雄傳（1988年，編劇）
小松君 (1988年版)（1988年－1989年，編劇）
麵包超人（1988年－，編劇）
衝鋒四驅郎（1989年－1990年，編劇）
魔法使莎莉 (1989年版)（1989年－1991年，編劇）
櫻桃小丸子（第1期：1990年－1991年／第2期：2004年，編劇）
幻影真帆（日语：）（1992年，編劇）
少年阿貝2（日语：）（1992年－1993年，編劇）
奇蹟☆女孩（1993年，編劇）
家有賤龍（1993年－1994年，編劇）
守護天使莉莉佳（1995年－1996年，編劇）
玩偶遊戲（1996年－1998年，編劇）
大盜五右衛門（日语：）（1997年－1998年，編劇）
伊索世界（1999年，編劇）
麻煩巧克力（日语：）（1999年，編劇）
哈姆太郎系列
哈姆太郎（2000年－2004年，編劇）
哈姆太郎 ！（2004年－2006年，編劇）
幽浮寶貝（2000年－2002年，編劇）
戀愛小魔女（2003年，編劇）
6/17秀逗美眉（2003年，編劇）
鈴鐺貓娘Nyo（2003年－2004年，編劇）
雙戀（2004年，編劇）
校園迷糊大王系列
校園迷糊大王（2004年－2005年，編劇）
校園迷糊大王 二學期（2006年，編劇）
蜜桃女孩（2005年，編劇）
魔界女王候補生（2005年－2006年，編劇）
交響情人夢系列
交響情人夢（2007年，編劇）
交響情人夢 最終篇（2010年，編劇）
悲慘世界 少女珂賽特（2007年，編劇）
古代王者 恐龍王 DKidz Adventure系列
古代王者 恐龍王 DKidz Adventure（2007年－2008年，編劇）
古代王者 恐龍王 DKidz Adventure 翼龍傳說（2008年，編劇）
彩雲國物語 (第2系列)（2007年－2008年，編劇）
風之少女艾蜜莉（2007年，編劇）
洋葱和尚朝太郎（日语：）（2008年，編劇）
可愛小芝麻（日语：）（2009年，編劇）
怪談餐館（2009年－2010年，編劇）
卡魯魯與不可思議之塔（日语：）（2010年，構成、編劇）
電視漫畫 昭和物語（2011年，編劇）
參加作品 > 電影動畫

哆啦美：阿拉拉♥少年山賊團！（1991年，編劇）
劇場版 金魚注意報（1992年，編劇）
哆啦美：青色稻草人（1994年，編劇）
THE DOG OF FLANDERS 法蘭德斯之犬（1997年，編劇）
Colorful 多彩奇幻之旅（2010年，編劇）
百日紅（2015年，編劇）
生日幻境（2019年，編劇）
鏡之孤城（2022年，編劇）
參加作品 > OVA

目高的學校（日语：）（2001年，編劇）
參加作品 > 網路動畫

京騷戲畫（2011年，編劇）
參加作品 > 電視劇

動物的夢想樂園（日语：）（1986年，編劇）
參加作品 > 真人電影

最初的路（日语：）（2013年，編劇協力）
參加作品 > 樂曲

魔法使莎莉 心中的天使（台詞、構成）
（作詞）
（作詞）
著書

《最初的路 （日语 ： ） 》－2013年，泰文堂 ISBN 9784803004489
從同名電影衍生的純文字小說。原案由此作電影的導演兼編劇原惠一提供。
《河童之夏 第6年暑徦》－2013年，雙葉社 ISBN 9784575238273
與電影《河童之夏》（原作：木暮正夫（日语：））導演原惠一共同著作的純文字小說。內容描述該電影主角康一在升上高中之後回想起與河童小酷的認識及後日談。
腳註 > 注釋

↑  將名字後面的漢字改成平假名。
↑  中文正式譯名第2季。
↑  與三條陸共同。
腳註 > 參考來源

↑  . Anime Hack.   [2021-06-21]. （原始内容存档于2021-06-27） （日语）.
↑  .   [2020-05-04]. （原始内容存档于2020-07-16） （日语）.
相關項目

日本動畫師列表
日本編劇列表（日语：）
乐浪郡

乐浪郡（諺文：낙랑군(南)Nangnang-gun/락랑군(北)Rangnang-gun），是漢武帝在公元前108年设置的汉四郡之一，治所在朝鲜县（今朝鲜民主主义人民共和国平壤大同江南岸），管辖朝鲜半岛西北部，4世纪初被高句麗吞并。
漢四郡
起源

在商朝之前，居住在此的部族稱良夷，或樂浪夷，因此得名。
行政區劃

《漢書·地理志》載：乐浪郡，武帝元封三年开。莽曰乐鲜。属幽州。户六万二千八百一十二，口四十万六千七百四十八。有云鄣。县二十五：朝鲜，讑邯，浿水，水西至增地入海。莽曰乐鲜亭。含资，带水西至带方入海。黏蝉，遂成，增地，莽曰增土。带方，驷望，海冥，莽曰海桓，列口，长岑，屯有，昭明，高部都尉治。镂方，提奚，浑弥，吞列，分黎山，列水所出。西至黏蝉入海，行八百二十里。东暆，不而，东部都尉治。蚕台，华丽，邪头昧，前莫，夫租。
遺址

樂浪郡治址位於今平壤南郊樂浪區域大同江南岸土城裡的台地上，平面不規則，東西約長700米，南北約長600米。1935和1937年在城址東部發現柱礎石、甬路、井和下水道等建築遺蹟。城址內出土了豐富的瓦當、封泥、陶器和銅鐵器等。瓦當上除常見的雲紋以外，還發現有「樂浪禮官」、「樂浪富貴」等銘文。除「樂浪太守章」和「樂浪大尹章」之外，朝鮮等23縣的令、長、丞、尉的官印都有發現。
城址南面是總數達2000餘座的樂浪墓葬群。這些墳丘墓外形多為中國周、漢時期墓葬典型的方台形封土。墓葬結構主要有木槨墓和磚室墓兩種，其具體造法、式樣乃至花紋都與中原漢墓沒有差異。比较典型的是王光墓和彩箧墓，前者单室双棺，出土的木印上刻有“乐浪太守椽王光之印”。后者双室三棺，因出土有以孝子传为题材的人物彩画漆箧而得名，墓内的一枚木简上书有“缣三匹，故吏朝鲜丞田肱谨遣吏再拜祭”。各墓出土的带铭文漆器达57件，纪年上自西汉始元二年（前85），下到东汉永元十四年(102)，漆器的铭文中还有广汉郡或蜀郡等产地的字样。墓砖铭文的纪年较早的有魏嘉平二年(250)、景元元年(260)，稍晚有西晋的泰始、咸宁、太康、元康、建始、泰安、建兴等年号，甚至还有东晋的永和九年(353)和元兴三年(404)等纪年。较有代表性的石椁墓南井里119号墓建有前后二室，用石块砌成方锥形的券顶，同后来的高句丽墓葬相当接近。
所屬蟬縣治址位於平安南道龍岡郡城峴里，城略呈長方形，東西約1500米，南北約1300米。城東北遺有東漢元和二年（公元85）的蟬神祠碑，碑銘內容為蟬長向山川之神平山君祈求百姓安寧五穀豐登，是朝鮮半島最早的石刻。
平壤與樂浪郡

《三國史記》記載公元37年大武神王向鸭绿江南的乐浪郡发动进攻，一度占据。 七年后，光武帝派兵渡海收复了乐浪，阻止了高句丽的扩张。49年2月，慕本王派遣将军袭击后汉的北平、渔阳、上谷、太原等四个郡。辽东太守祭肜以恩义及信义向慕本王对质，并透过和亲使两国的关系得以回复。
据《三国史记》东川王本纪记载，东川王二十一年（247年），“王以丸都城经乱不可复都，筑平壤城，移民及庙社。平壤者，本仙人王俭之宅也，或云王之都王险。” 不过《晋书》卷一四《地理志》记载：“咸宁二年（276年）十月，分昌黎、辽东、玄菟、带方、乐浪等郡国五置平州”，“乐浪郡，汉置，统县六，户三千七百”，“带方郡，公孙度置，统县七，户四千九百”。因此247年东川王所城的平壤应该為國內城的衛城，而不在大同江。 西晋八王之乱后，中原大乱，高句丽开始南下压迫乐浪郡。高句丽美川王十二年（311年）夺取西安平县，切断了乐浪, 带方二郡与辽东的联系。故国原王四十一年，“百济王率兵三万来攻平壤城”；小兽林王七年“百济将兵三万来侵平壤”；广开土王四年，“与百济战于浿水之上”。这些都表明公元4世纪初高句丽已夺取了二郡，控制了大同江流域。
在中国史籍中，“平壤”之名首见《魏书·高句丽传》。而同期南朝似乎記載高句麗的都城還在丸都山下。後隋唐史採用北史記載，認為平壤就是漢朝樂浪郡。
近期考古发现，今朝鲜首都平壤西南的黄海道信川郡一带出土的众多铭文砖普遍使用两晋年号，可证东晋年间当地曾有奉东晋正朔的势力存在。而安岳郡的《冬寿墓志》也可证东晋曾任佟寿为“使持节都督诸军事，平东将军，护抚夷校尉，乐浪相、昌黎、玄菟、带方太守、都乡侯”。
參考資料

1 2 3  漢書·地理志
↑  《三国史记》卷14：“二十年　王袭乐浪　灭之”
↑  司馬光. .  卷八十八.
↑  杨军; 王秋彬. .  吉林大学哲学社会科学学术文库 ISBN 9787802301153. 社会科学文献出版社. 2006-8  [2021-05-27]. ISBN 978-7-80230-115-3. （原始内容存档于2020-11-29）.  请检查|date=中的日期值 (帮助)
↑  .   [2021-05-27]. （原始内容存档于2021-05-08）.
↑  .   [2021-05-27]. （原始内容存档于2021-05-08）.
↑  《三国史记》卷14：“二十年　王袭乐浪　灭之”
1 2 3  .   [2009-08-15]. （原始内容存档于2009-06-19）.
↑  . . . ‘北魏太武帝太延元年（435年）遣员外散骑侍郎李敖拜琏（即长寿王）为都督辽海诸军事 征东将军 领护东夷中郎将 辽东郡开国公 高句丽王敖至其所居平壤城。’.
↑  《新唐书·東夷》“其君居平壤城，亦谓长安城，汉乐浪郡也.......随山屈缭为郛，南涯水，王筑宫其左，又有国内城，汉城，号别都。”
在乐浪郡所发现的戟戈
东汉乐浪彩箧漆画
西元三世紀的朝鮮半島政治地图
漢港控股

| 漢港控股集團有限公司 |
| --- | --- |
公司類型: 民營企業 上市公司
股票代號: 港交所：1663
代表人物: 汪林冰 (主席、總經理兼首席執行官) 石峰 (副主席)
總部:  香港九龍紅磡馬頭圍道37-39號紅磡商業中心B座1215室
产业: 地產發展商
營業額: ▲17.39 億人民幣（2022/03） 
: ▲6.07 億人民幣（2022/03） 
: ▲2.59 億人民幣（2022/03） 
總資產: ▲46.18 億人民幣（2022/03） 
資產淨值: ▲20.14 億人民幣（2022/03） 
漢港控股集團有限公司（港交所：1663）是一家中國房地產開發公司，主要在江西省開發地產項目。漢港控股的母公司為新加坡交易所上市的汎港地產集團，前身為「漢港房地產集團有限公司」。
2011年7月，漢港房地產在香港進行公開招股，漢港房地產發行3億股新股，招股價介乎1.1至1.68港元，集資金額為最多5.04億元。漢港房地產計劃上市後會專注發展江西省的地產項目，而未来會向華中地區以南城市發展，而母公司會以發展華東地區為主。
2012年8月，漢港房地產，以70南非元收購南非公司Raptobyte(Pty) Limited的70%股權。
參考

↑  集資5億 漢港地產入場費$3394 蘋果日報，2011年7月12日
↑  漢港房地產專注江西市場 （页面存档备份，存于） 香港商報，2011年7月15日
↑  汉港地产计划进军南非 销售对象为华人 （页面存档备份，存于）观点地产网 ，2013年6月4日（六四事件24年）
外部連結

sinoharbour.com.hk （页面存档备份，存于）
漢港房地產招股章程 （页面存档备份，存于）
漢源茶馬古道

| 漢源茶馬古道> 四川省第八批省級文物保護單位 |
| --- | --- |
地址: 四川省雅安市漢源縣
時代: 漢代至清代
編號: 32
认定时间: 2012年7月16日
漢源茶馬古道位於四川省雅安市漢源縣，文物遺址年代判定為漢至清。2012年7月16日公佈為第八批四川省文物保護單位。
簡介

漢源茶馬古道位於四川省雅安市漢源縣境內。現存遺址包括3處古道遺址、1處古城址、1處近現代重要史跡及代表性建築、1處古建築，分別為茶馬古道九折坂段、茶馬古道羊圈門段、茶馬古道飛越嶺段、清溪故城遺址、護國橋、孚和店。
漢源段茶馬古道屬於川藏茶馬古道中的“大路”。起自滎經縣凰儀堡，翻大相嶺抵草鞋坪入漢源縣境，下羊圈門經清溪古城出西門折轉向西經富莊、宜東、三交城，再攀飛越嶺，進入甘孜州瀘定縣，達康定，再進藏，縣境內長約77.5千公尺，南路邊茶主要由此進入藏區。保存較為完好的有清溪羊圈門段、九折坂段以及宜東飛越嶺段。羊圈門段茶馬古道與始建於秦漢時期的抵西昌、出雲南、達緬甸的以運輸絲綢為主的“南方絲綢之路”相重合。這里的古道寬約2公尺，逢山開路，遇水搭橋，就地取材，用山石拼嵌而成。每個石塊都是不規則的，沒有專門雕琢，隨石塊的形狀鋪開，成不規則幾何圖形，石塊之間互相固定，防外力推動，經久耐用，部分路段內側還有排水溝。古人獨具匠心的巧妙構思被歲月牢牢凝固在古道上。史載“王陽回車，王尊叱馭”的典故就發生在九折坂段古道上。漢唐以來的犛牛道（又稱靈關道、清溪道），也由此道抵清溪，再向南經富林、呷洛通西昌、雲南。同時，鑿于秦漢的清嘉道，起自清溪，經九襄、皇木入峨邊、峨眉達樂山，樂山的食鹽由此道運到清溪，再入藏區，因以運鹽為主，所以有“鹽道”之稱。漢源茶馬古道是研究古代中國西南交通變遷，文化交流，邊疆安防，經濟互通等的重要實物資料，具有重要的歷史研究價值。悠悠歲月中，這三道合一的史實，加大了漢源茶馬古道的歷史份量。
註釋

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

雅法橙（Jaffa orange），又称沙莫蒂橙（Shamouti orange），是原产于以色列的一种无籽橙品种，其坚硬的果皮使得它非常适合出口运输。
该品种由当地农民在19世纪中叶开发出来，以其最初出口时的产地城市雅法的名字来命名。在巴勒斯坦地区，雅法橙作为一种阿拉伯-犹太合作的代表性产品，是这个城市主要出口的柑橘品种。它与脐橙和酸橙一起，是在地中海、南欧和中东种植的三种主要水果品种之一。雅法橙也在塞浦路斯、伊拉克、黎巴嫩、叙利亚、约旦和土耳其等国种植。
保守性替换

ClustalO（英语：）生成的五种哺乳动物组蛋白H1的序列比對（120-180位点），标记出不保守位点的突变类型。
保守性替换（英語：），或称保守性突变（英語：、保留性突变、保存性突变、保守突变、保守替换等，是指性状相近的氨基酸分子之间的替换（英语：），其中的性状包含分子的离子性、疏水性和分子量等。与之相对的，激进替换（英語：）则是指物理化学性质非常不同的氨基酸所产生的相互替换。
天然编组基因的氨基酸仅有20种，其中部分氨基酸彼此性状相似。例如，亮氨酸和異亮氨酸均为脂肪族化合物，极具疏水性；天冬氨酸和谷氨酸均小而带负电等。氨基酸的保守性替换比起非保守性替换影响一般较小，这一点在自然界中可以观测到：非保守性替换往往造成各种异常，更容易被自然选择淘汰，故而在自然界中保守性突变更为常见。根据R基团的性质，氨基酸往往依照下表方式分类：
| 类型 | 氨基酸 |
| --- | --- |
脂肪族: 甘氨酸, 丙氨酸, 缬氨酸, 亮氨酸, 異亮氨酸
水合或含硫/硒: 絲氨酸, 半胱氨酸, 硒半胱氨酸, 蘇氨酸, 甲硫氨酸
环状: 脯氨酸
芳香族: 苯丙氨酸, 酪氨酸, 色氨酸
碱性: 組氨酸, 離胺酸, 精氨酸
酸性及酰胺类: 天冬氨酸, 谷氨酸, 天冬酰胺, 谷氨醯胺
参考资料

↑  . Clustal.   [8 December 2014]. （原始内容存档于2016-10-24）.
1 2  Zhang, Jianzhi. . Journal of Molecular Evolution. 2000-01-01, 50 (1): 56–68  [2019-01-06]. ISSN 0022-2844. doi:10.1007/s002399910007. （原始内容存档于2018-09-06） （英语）.
↑  Dagan, Tal; Talmor, Yael; Graur, Dan. . Molecular Biology and Evolution. 2002-07-01, 19 (7): 1022–1025  [2019-01-06]. ISSN 0737-4038. doi:10.1093/oxfordjournals.molbev.a004161. （原始内容存档于2018-09-06） （英语）.
雲紋擬拉格鮡

| 雲紋擬拉格鮡> 保护状况 |
| --- | --- |
 未予评估（IUCN 3.1）
科学分类 
界：: 动物界 Animalia
门：: 脊索动物门 Chordata
纲：: 綱 Actinopteri
目：: 形目 Siluriformes
科：: 骨鮡科 Erethistidae
属：: 拟拉格𬶐属 Pseudolaguvia
种：: 雲紋擬拉格鮡 P. nubila
二名法
Pseudolaguvia nubila Ng, Lalramliana, Lalronunga & Lalnuntluanga, 2013

雲紋擬拉格鮡，為輻鰭魚綱鯰形目骨鮡科的其中一種，為熱帶淡水魚類，分布於亞洲印度Kaladan河流域，體長可達3公分，棲息在底層水域，生活習性不明。
扩展阅读

維基物種上的相關：雲紋擬拉格鮡
香水草

| 南美天芥菜 |
| --- | --- |


科学分类 
界：: 植物界 Plantae
演化支：:  Tracheophyta
演化支：: 被子植物 Angiosperms
演化支：: 真双子叶植物 Eudicots
演化支：: 菊类植物 Asterids
目：: 紫草目 Boraginales
科：: 紫草科 Boraginaceae
属：: 天芥菜属 Heliotropium
种：: 南美天芥菜 H. arborescens
二名法
Heliotropium arborescens L.

異名
 Heliotropium peruvianum L.
南美天芥菜（学名：），又名香水草、洋茉莉，是紫草科天芥菜属的植物。分布于秘鲁以及中国大陆的栽培等地，目前已由人工引种栽培。因其花具有浓郁独特之香味，故又名“香水草”，可製成香料。也是切花、花壇、盆栽的很好材料。
桑德拉·伊兹巴沙

桑德拉·伊兹巴沙（羅馬尼亞語：，1990年6月18日—），生于布加勒斯特，是一名罗马尼亚女子竞技体操运动员。她曾参加2008年和2012年两届奥运，两届比赛各获得一枚金牌和一枚铜牌。
依視路陸遜梯卡

| 依視路陸遜梯卡 EssilorLuxottica SA |
| --- | --- |

公司類型: Société Anonyme
股票代號: 巴黎泛欧交易所：EL CAC 40成分股
ISIN: FR0000121667
公司前身: 依視路 
成立: 2018年，​6年前​（2018）
代表人物:  弗朗西斯科·米勒里 （董事長兼首席執行官）  保羅·杜賽揚 （副首席執行官） 
總部: 巴黎和米蘭
業務範圍: 全球
产业: 眼鏡、時裝、奢侈品、製造、零售、批發
產品: 太陽眼鏡
服務: 配鏡、眼鏡零售
營業額: €144.29 億 （2020年）
: €452 億 （2020年）
: 2,289,000,000 歐元 (2023年) 
總資產: €52.318 億 （2020年）
資產淨值: €32.798 億 （2020年）
主要子公司: 依視路 羅薩奧蒂卡
网站: www.essilorluxottica.com
依視路陸遜梯卡 (EssilorLuxottica SA) 是一家意大利-法國垂直一體化跨國公司，總部位於巴黎，於 2018 年 10 月 1 日由意大利 羅薩奧蒂卡 與法國 依視路 合併而成。 該集團設計、生產和銷售眼科鏡片、光學設備、處方眼鏡和太陽鏡。 該公司擁有一系列專有和授權品牌，包括 Ray-Ban、Oakley、Michael Kors、Varilux、Crizal、Transitions 和 LensCrafters。
該公司擁有 144 億歐元的收入和 382 億歐元的資本。該公司在巴黎泛歐證券交易所上市，交易代碼為 EL，並且是 CAC 40 股票指數（包括巴黎證券交易所上市的 40 家市值最大的公司）和 Euro Stoxx 50（包括歐洲最大的 50 家公司）的一部分。
參考文獻

↑  EssilorLuxottica.  (PDF). EssilorLuxottica. 12 March 2021  [23 March 2021]. （原始内容 (PDF)存档于2021-03-12）.
外部連接

官方网站
桑德拉·亨斯特

| 桑德拉·亨斯特 |
| --- | --- |
出生: 1973年4月12日  （51歲）
职业: 足球員 
桑德拉·亨斯特（德語：，1973年4月12日—），德国女子足球运动员。她曾代表德国国家队参加中国举办的1991年国际足联女子世界杯，结果队伍获得第四名。
参考资料

↑  . soccerdonna.   [2022-08-28]. （原始内容存档于2022-08-28）.
香农·莎士比亚

| 香农·莎士比亚 |
| --- | --- |
出生: 1977年5月6日  （47歲） 米遜 
母校: 密西根大学 
职业: 游泳运动员 
香农·莎士比亚（英語：，1977年5月6日—），加拿大女子游泳运动员。她曾代表加拿大参加1995年泛美运动会游泳比赛，获得四枚银牌。她也曾参加1996年和2000年夏季奥运会。
参考资料

↑  . Commonwealth Games Federation.   [2022-11-27]. （原始内容存档于2022-11-27）.  （页面存档备份，存于）
游动四孢菌属

本属包括以下物种：
| 游动四孢菌属 |
| --- | --- |

科学分类 
域：: 细菌域 Bacteria
门：: 放線菌門 Actinomycetota
纲：: 放線菌綱 Actinomycetes
目：: 孢囊菌目 Streptosporangiales
科：: 链孢囊菌科 Streptosporangiaceae
属：: 游动四孢菌属 Planotetraspora Runmao et al. 1993

模式種
奇异游动四孢菌 Planotetraspora mira Runmao et al. 1993
游动四孢菌属（学名：）为链孢囊菌科的一属细菌。此属的模式种为奇异游动四孢菌(Planotetraspora mira)。
下属物种

本属包括以下物种：
卡恩卡拉游动四孢菌 Planotetraspora kaengkrachanensis Suriyachadkun et al. 2010
奇异游动四孢菌 Planotetraspora mira Runmao et al. 1993
Planotetraspora phitsanulokensis Suriyachadkun et al. 2010
Planotetraspora silvatica Tamura and Sakane 2004
泰国游动四孢菌 Planotetraspora thailandica Suriyachadkun et al. 2009
參考文獻

LPSN - List of Prokaryotic names with Standing in Nomenclature
佩克 (愛達荷州)

| 佩克 Peck |
| --- | --- |
城市

坐标：46°28′26″N 116°25′30″W﻿ / ﻿46.47389°N 116.42500°W﻿ / 46.47389; -116.42500
國家: 美国
州份: 愛達荷州
縣: 內茲珀斯縣
面积
 • 总计: 0.65 平方公里（0.25 平方英里）
 • 陸地: 0.65 平方公里（0.25 平方英里）
 • 水域: 0.00 平方公里（0.00 平方英里）
海拔: 332 公尺（1,089 英尺）
人口（2020）
 • 總計: 166人
 • 密度: 255人/平方公里（661人/平方英里）
时区: PST（UTC-8）
 • 夏时制: PDT（UTC-7）
郵區編號: 83545
電話區號: 208
GNIS ID: 397586
佩克（英語：）是一個位於美國愛達荷州內茲珀斯縣的城市。
地理

佩克的座標為46°28′26″N 116°25′30″W﻿ / ﻿46.47389°N 116.42500°W﻿ / 46.47389; -116.42500，而該地的平均海拔高度為332米（即1089英尺）。
人口

根據2020年美國人口普查的數據，佩克的面積為0.65平方千米，當中陸地面積為0.65平方千米，而水域面積為0.00平方千米。當地共有人口166人，而人口密度為每平方千米255.38人。
參考文獻

1 2  . . United States Geological Survey.
↑  . 美国人口调查局.   [2011-05-14]. （原始内容存档于2013-09-11）.
保守扩展

保守扩展是逻辑中的一个概念。一个知识库K'是K的扩展，如果K是K'的一个子集；K'是K的保守扩展，如果对所有用K中的名字构造的命题 \alpha , K' \vDash \alpha  当且仅当 K \vDash \alpha 。换句话说，保守扩展不会改变原有的知识库的结构。保守扩展在许多领域都有应用，如模块化本体和敏感知识的保护。
在逻辑和推导机制中，I和J分别是一个解释(Interpretation),如果J是I的保守扩展，必须满足以下条件:
1) 解释I作用在语言集合L中，解释J必须作用在语言集合L'中,并且L'包含L
2) 解释I的域(Domain)等于解释J的域
3) 对于任何在语言集合L中的元素e，I(e) = J(e)
那么我们说J是I的保守扩展。
补充说明

在逻辑语言语法(Syntax)中
一个语言集合的组成元素:
1) 常数符号a,b,c,d,........
2) 函数符号f,g,...... 并且每个函数符号标有所带参数的个数 注意当函数f不带有参数时 这时就变成了一个常数符号
3）命题逻辑符号 P,Q,(或p,q)........
4) 谓词关系逻辑符号 P,Q（或p,q）,........ 并且每个谓词标有所带参数的个数 注意当谓词关系逻辑符号P不带有参数时，就变成命题逻辑符号 P
这里的参数在逻辑语言中叫做项(Term)
(项是一个最小有限集合)
一个项可以是:
1) 一个变量符号(通常我们用小写字母x,y,z等表达) 比如 x,y,z,x1,x2,x3,..........
2) 一个常数符号(通常我们用小写字母a,b,c,d等表达) 比如 a,b,c,d,a1,b1,c3,...........
3) 一个函数符号并且该函数标有所带参数(通常我们用小写字母f,g,q等表达） f(t1,t2,t3,......tn),其中所带的参数t1,t2,.......,tn也是由项组成
他是最小的有限的集合,换句话说一个项是一个有限树，他的叶子个数是有限的
比如 f(x,b,f(y,c,g(z)))  他是一个项 其中 x,y,z是变量，b,c是常数，f,g是函数符号
f
           |
       x   b   f
               |
            y  c  g
                  |
                  z
但是 比如 如果函数f的项是f自己本身,这时候就不是项了，因为一个项必须是一个有限树(如上图所示)
而此时的情况就变成了一个无限表达 f(f(f(f(f(f(f(f.......)))))))，就不符合最小有限集合的定义
在项(Term)的基础上我们构筑式子集合(Set of Formula)
式子集合也是一个最小有限集合,这样定义也是避免一个式子的无限性表达，避免如同上面的例子
一个基于一个语言集合L的式子(记作L-formula)可以是:
1) ⊥ （永假符号） 是一个式子 (永假的含义是一个式子在任何解释中，永远是假命题，我们记作⊥
比如 P(x)∧˥P(x) 在任何解释I中,该命题永远是假命题，注意，前提中解释I必须有一个非空解释域
2) T   (永真符号)  是一个式子 （解释如上，永真表示一个式子永远是真命题）
3) 如果P表示一个命题符号，那么P就是一个式子
4) 如果P表示一个谓词关系符号，并且他带有n个参数(也就是带有n个项Term)，那么 P(t1,t2,t3,......,tn)是一个式子,其中t1,......,tn是n个项
5) 如果φ是一个式子，那么˥φ也是一个式子
6) 如果φ和ψ都是式子，那么φ*ψ也是式子，其中*符号表示∧(conjonction),∨(disjonction),⇔(equivalence),⇒(implication) 符号中的任何一种
7) 如果φ是一个式子，x是一个变量，那么(∃x)φ是一个式子
∃表示存在量词符号 比如 (∃x) (P(x)∧P(y))  含义是至少存在一个变量x的值在式子(P(x)∧P(y))中起作用  注意到x是φ的约束变量,y是φ的自由变量
8) 如果φ是一个式子，x是一个变量，那么(∀x)φ是一个式子
∀表示所有量词符号 比如 (∀x) (P(x)∧P(y))  含义是对所有变量x的值在式子(P(x)∧P(y))中起作用
9) *如果t1和t2是两个项，那么t1=t2是式子 (由于要涉及处理相等问题的原则和公理，所以这里的所有式子不涉及t1=t2情况)
几个注意点
一个变量x叫做φ式子的约束变量,当有存在量词或所有量词在φ给于限定变量x,反之叫做自由变量
注意存在量词符号或所有量词符号的作用域
比如 φ = (∃x p(x))∨q(x)  此时存在量词仅作用于p(x),不作用于q(x),p(x)中的x是约束变量，q(x)的x是自由变量
以上的简单语法规则构筑了一阶逻辑，我们之所以要通过以上的语法规则构筑的式子，是想知道是否我们构筑的式子是否有意思或有意思，在逻辑语法(Syntax)中我们无法解释，因此我们必须通过逻辑语言语义(Semantic)来说明是否一个式子有意义或有意思,在逻辑语言语义(Semantic)中我们引入(Interpretation)解释(记作I)
在逻辑语言语义(Semantic)中
我们用一个解释（Interpretation）I 赋予一个式子(formula)以意思，
一个解释I在语言集合L中是这样定义的:
1) 解释I必须有一个非空（领）域做为解释的基础，用符号D来表示,  比如我们说用全体自然数集合来作位解释I的域来解析分析一个由语言集合L中的元素组成的式子(formula)
2) 解释I是一个联系函数，他的定义如下:
1) 语言集合中的常数a I(a) 属于解释I的域，记作 I(a) = Ia  且 Ia 属于 D
2) 对于函数f(t1,t2,......tn)， If 是从 Dn*Dn*Dn.....Dn（N个Dn） 到 Dn 的映射,其中Dn分别是t1,.....,tn和f域
3) 对于逻辑命题P Ip 是{True,False}中的一个元素， 也就是所命题逻辑的结果要么是真命题（记作 T），要么是假命题(记作 F)
4) 对于谓词逻辑P(t1,.......tn) Ip 是一个从 Dn*Dn*.......*Dn(N个Dn) 到 {True , False} 的映射 其中Dn是每个项ti（i=1,2,......n）的解释域
顺河镇 (丰县)

| 顺河镇 |
| --- | --- |
镇
坐标：34°50′28″N 116°33′08″E﻿ / ﻿34.8412°N 116.55229°E﻿ / 34.8412; 116.55229
国家:  中华人民共和国
上级行政区: 丰县
村级区划单位数:  24 2社区 22行政村 
时区: 北京时间（UTC+8）
行政区划代码: 32 03 21 103
电话区号: +86 
顺河镇，是中华人民共和国江苏省徐州市丰县下辖的一个乡镇级行政单位。
行政区划

顺河镇下辖以下地区：
顺河社区、​大圣社区、​师新庄村、​边庙村、​顺河村、​岳庄村、​焦庄村、​土屯村、​杨楼村、​张口村、​范庄村、​渠寨村、​朱坑村、​大圣村、​杨庙村、​李庄村、​巩大庄村、​马庄村、​齐庙村、​蔡庄村、​黄楼村、​白庙村、​王寨村和涂庄村。
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
雅致双珠螺

| 雅致双珠螺 |
| --- | --- |

科学分类 
界：: 动物界 Animalia
门：: 軟體動物門 Mollusca
纲：: 腹足纲 Gastropoda
目：: 翼舌類 Ptenoglossa
科：: 左錐螺科 Triphoridae
属：: 雙珠螺屬 Mastonia
种：: 雅致双珠螺 M. gracilis
二名法
Mastonia gracilis Pease, 1871

雅致双珠螺（学名：），是异腹足目左锥螺科双珠螺属的一种。主要分布于台湾，常栖息在浅水水域。
其种加词来源于拉丁文“gracilis”，意为“纤细的”。
白健恩

| 白健恩> 男艺人 |
| --- | --- |
罗马拼音: Pak Kin Yan
英文名: Ronan Pak
昵称: 小白
国籍:  中华人民共和国（香港）
籍贯: 廣東省深圳市客家人
出生:  (1981-07-13) 1981年7月13日（43歲）  英屬香港
语言: 粵語、英語、國語、客家語
教育程度: 珠海書院電腦專業文憑 香港演藝學院舞蹈學院
母校: 白田天主教小學 中華基督教會基協中學
代表作品: 《法網狙擊》
活跃年代: 2010年至今
白健恩（英語：，1981年7月13日—），香港男演员，前香港无线电视合约艺员，曾参选2010年香港先生選舉。
背景

白健恩畢業於白田天主教小學（1993年）以及中華基督教會基協中學（1998年），後畢業於珠海書院電腦專業文憑課程及香港演藝學院舞蹈學院的音樂劇舞課程。在校期間曾在2003年和2005年獲得 Jackie Chan Charitable Foundation Scholarship，後在2006年得到Katterwall Vocal Academy 的奖学金接受一年私人声乐训练。兩年後白健恩到美国New York CAP21 进修音乐剧及演出不同音乐剧、舞蹈和戏剧表演。
他在2010年参选香港先生選舉，2013年無線電視劇《法網狙擊》中以飾演強暴高海寧的闊少「龐世邦」開始為觀眾所認識。2013年6月在十大宗師見證下正式成為徐家傑師傅的古泰拳門徒；2014年正式進軍電影圈。