stanford-oval/wikipedia huggingface dataset:
TEP70型柴油机车
技术特点 > 转向架

走行部采用无导框式三轴转向架，是在TEP60型机车的转向架基础上改进而成。为了改善机车的粘着性能、减小接触应力，TEP70型机车的车轮直径由传统的1050毫米增大到1220毫米，转向架的尺寸和重量也相应增大。转向架的“目”字形构架由箱形截面的纵梁和横梁焊接而成，滚柱轴承轴箱采用拉杆式定位结构。
一系独立悬挂采用螺旋弹簧及橡胶垫；二系悬挂采用高柔度螺旋圆弹簧，转向架两侧旁承座各设有四个独立圆弹簧，车体和转向架之间并设有垂向油压减振器，车体重量通过二系弹簧由两台转向架支承，牵引力和制动力通过心盘传递，一系悬挂装置静挠度为94毫米，二系悬挂装置静挠度为98毫米。牵引传动齿轮比为25：73。为了满足机车高速运行时动力学性能要求，机车采用了轮对空心轴式牵引电动机全悬挂，将牵引电动机全部重量悬挂在转向架构架上，牵引电动机的扭矩通过单侧牵引齿轮、弹性橡胶元件、空心轴套等部件，从而驱动轮对。
参看

鐵路主题
TEP60型柴油机车
TEP75型柴油机车
TEP80型柴油机车
2TE70型柴油机车
2TE116型柴油机车
保存在聖彼得堡的TEP70-007号机车
完成修复的TEP70-0186号机车，该台机车于2009年发生相撞事故，后来采用TEP70-0070号机车车体进行修复
TEP70BS-177號机车
TEP70BS之駕駛室
TEP70U-014号机车
冷却室内设备
整流装置及中央冷却系统风道
TEP70型机车的駕駛室
TEP70BS型机车的三轴转向架
吳有性

吳有性（1582年—1652年），字又可，號淡齋，江蘇吳縣人，明末醫家。其著作《瘟疫論》一书，开中医探讨传染病学研究之先河。他提出瘟疫是由一種不可見的異氣所導致，由口鼻而入，與現代的病菌學、病毒学說接近。他啟發了清朝的瘟病學派。
生平

1641年，他的家鄉出現大型傳染病，許多人因此過世，吳又可因而發奮學醫。他反對使用傷寒學派的熱性藥物，主張以苦寒攻下的治則，攻逐邪氣，用以治療瘟疫。當時有許多人經他診治都得以痊癒，因此聲名遠播。
1642年，撰寫成《瘟疫論》一書。
著作

1642年创作了医学著作《瘟疫論》，书中率先提出溫疫非因風、寒、暑、濕所致，而是源自於一種「異氣」（又稱戾氣、雜氣）所致。認為溫疫與傷寒不同，不是由皮膚侵入，而是由口鼻侵入，再潛伏於半表半裏的募原之間，這個觀點影響了葉天士的三焦辨證。
在《瘟疫論》提出的达原饮，為其著名处方，主治瘟疫或瘧疾。2003年，曾以達原飲來治療。《溫疫论》中提到的大黄，曾用於治療禽流感。[來源請求]
吳鞠通等醫家雖受他的思想影響，但也批評他的方劑組成中多用大黃，有過於苦寒之弊。
流行文化

2013年的中国电影《大明劫》，以吳有性為主角（馮遠征飾）。
註釋

↑  吳又可《瘟疫論》序：「夫瘟疫之為病，非風、非寒、非暑、非濕，乃天地間別有一種異氣所感。」
↑  吳鞠通《溫病條辨》〈吳又可溫病禁黃連論〉：「唐末以來，治溫熱病者，初用辛溫發表，見病不為藥衰，則恣用苦寒大隊，芩連知柏、愈服愈燥。……吳又可非之誠是，但有不識苦寒化燥之理，以為黃連守而不走，大黃走而不守，夫黃連不可輕用，大黃與黃連同一苦寒藥，迅利于黃連百倍，反可輕用哉？」
哈嫩卡姆湖

48°57′50″N 10°43′13″E﻿ / ﻿48.96389°N 10.72028°E﻿ / 48.96389; 10.72028
哈嫩卡姆湖（德語：），是德國的湖泊，位於該國東南部，由巴伐利亞州負責管轄，處於魏森堡-貢岑豪森縣，長1.3公里、寬0.2公里，面積0.23平方公里，海拔高度469米。
參考資料

Lage des Hahnenkammsees auf dem BayernAtlas
Tourismusverband Fränkisches Seenland（页面存档备份，存于）
Hechlingen am See（页面存档备份，存于）
Pegel Hahnenkammsee / Rohrach（页面存档备份，存于）
小行星7329

| 发现 |
| --- | --- |
發現者: Edward Bowell
發現日期: 1985年4月14日
編號
其它名稱: 1985 GK
小行星分類: 主小行星带小行星
軌道參數
半長軸: 2.6803722 UA
離心率: 0.111
平近點角: 42.972
軌道傾角: 12.434
升交點黃經: 203.393
近日點參數: 317.753
物理特徵
絕對星等(H): 13.2
 
小行星7329（7329 Bettadotto）是一颗绕太阳运转的小行星，为主小行星带小行星。该小行星于1985年4月14日发现。
轨道参数

小行星7329的轨道半长轴为2.6803722 UA，离心率为0.111。
Island

Island可以指島嶼，也可能指：
地名

冰島（冰島語：），北歐國家
爱兰德 (肯塔基州)，美國城市
伊斯朗，法國城鎮
岛县，美國縣份
岛屿专区，希臘阿提卡大区的一个专區
其他

《ISLAND (遊戲)》，FrontWing在2016年4月28日发售的美少女游戏。
《Island (電視劇)》，韓國流媒體平台TVING於2022年上線的電視劇。
另見

岛 (消歧义)
丁文莹

丁文莹（？—？），江苏江都县人，字石庵，中华民国北洋时期政治人物。曾任中华民国第一届国会第二次解散后的“非常国会”（又称“护法国会”）参议院议员，任期从1917年8月至1922年6月；后又任中华民国第一届国会第三期常会参议院议员，任期从1922年10月至1924年11月。
哈嫩巴赫河

51°32′25.45″N 6°59′38.96″E﻿ / ﻿51.5404028°N 6.9941556°E﻿ / 51.5404028; 6.9941556

哈嫩巴赫河（德語：），是德國的河流，位於該國西部，處於北萊茵-威斯特法倫州，屬於博耶河的左支流，河道全長2.9公里，流域面積5平方公里。
參考資料

http://www.gauff.com/content/media/_pdf/_news/GAUFF-News-207-DV2.pdf（页面存档备份，存于）
Emschergenossenschaft zur Renaturierung des Hahnenbachs（页面存档备份，存于） (PDF; 44 kB)
Emscher-Lippe-Radio: Wassererlebnispfad Hahnenbach（页面存档备份，存于）
Emscherumbau（页面存档备份，存于）
下萊茵

下萊茵河在圖中以橘色顯示
下萊茵（德語：Niederrhein；英語：Lower Rhine）是萊茵河第660至1,033千米的部分，它從德國波恩開始，直到荷蘭角港注入北海。它包括低萊茵河與莱茵-马斯-斯海尔德三角洲。另一種對下萊茵河的指代排除低萊茵河，僅指Pannerdens運河至波恩的上游河段。
ㅒ

ㅒ是朝鲜语谚文中的一个元音字母。该字母的名称为“얘”。
ㅒ在今日的标准韩国语中读作/jɛ/，即由硬颚近音半元音/j/和半开前不圆唇元音/ɛ/连读而组成。
ㅒ在馬-賴轉寫和文观部式中均被转写为yae。
ㅒ在朝鲜语盲文中，被表记为，即ㅑ加上ㅐ。
ㅒ由ㅑ和ㅣ组成，据此可以推测其在中古朝鲜语中读作/jaɪ/。此后，大约在18世纪末至19世纪初，演化成今日的读音。
字符编码

| 種類 | 用途 | Unicode | HTML |
| --- | --- | --- | --- |
| 諺文相容字母 | ㅒ | U+3152 | &#12626; |
| 諺文字母應用 |  | U+1164 | &#4452; |
| 漢陽私人使用區應用 |  | U+F810 | &#63504; |
| 半形字母 | ￅ | U+FFC5 | &#65477; |
显脉猕猴桃

| 显脉猕猴桃 |
| --- | --- |

科学分类 
界：: 植物界 Plantae
演化支：:  Tracheophyta
演化支：: 被子植物 Angiosperms
演化支：: 真双子叶植物 Eudicots
演化支：: 菊类植物 Asterids
目：: 杜鹃花目 Ericales
科：: 獼猴桃科 Actinidiaceae
属：: 猕猴桃属 Actinidia
种：: 显脉猕猴桃 A. venosa
二名法
Actinidia venosa Rehd.

变型
 显脉猕猴桃 A. v. f. venosa  柔毛猕猴桃 A. v. f. pubescens
显脉猕猴桃（学名：）是猕猴桃科猕猴桃属的植物。分布于中国大陆的云南、西藏、四川等地，生长于海拔1,200米至2,400米的地区，多生于山地树林中，目前尚未由人工引种栽培。
变型

Actinidia venosa Rehd. f. pubescens Li
色当区

| 色当区 Arrondissement de Sedan |
| --- | --- |
 法國区份
 色当区在大東部大區与阿登省的位置
坐标：49°40′00″N 5°00′00″E﻿ / ﻿49.6667°N 5°E﻿ / 49.6667; 5
国家:  法國
大区:  大東部大區
省:  
市镇数: 73
地区行政中心 （兼副省会）: 色当
面积: 792.2 平方公里（305.9 平方英里）
人口（2018年）: 56,808人
 • 密度: 72人/平方公里（190人/平方英里）
INSEE编码: 083
色当区（法語：）是法国阿登省所辖的一个区。总面积792.2平方公里，总人口56808，人口密度72人/平方公里（2018年）。主要城镇为色当。
辖区

色当区辖有73个市镇。
普雷利茨-图拉赫

| 普雷利茨-图拉赫 Predlitz-Turrach |
| --- | --- |
市镇
普雷利茨-图拉赫在奥地利的位置
坐标：47°02′15″N 13°54′18″E﻿ / ﻿47.0375°N 13.905°E﻿ / 47.0375; 13.905
国家: 奥地利
州: 施蒂利亚州
县: 穆劳县
面积
 • 总计: 150.12 平方公里（57.96 平方英里）
海拔: 971 公尺（3,186 英尺）
人口（2005）
 • 總計: 896人
 • 密度: 5.97人/平方公里（15.5人/平方英里）
邮编: 8863
普雷利茨-图拉赫（德语：）是奥地利施蒂利亚州穆劳县的一个市镇。总面积150.12平方公里，总人口896人，人口密度6.0人/平方公里（2005年）。
小行星8011

| 发现 |
| --- | --- |
發現者: 圓舘金、渡邊和郎
發現地: 北见
發現日期: 1989年11月29日
編號
其它名稱: 1989 WG7/ 1976 UV1 / 1986 AC2
小行星分類: 主带小行星
軌道參數
曆元 2456400.5 (2013年4月18日更新)
遠日點: 3.034571615672397 AU（453,965,452.191 km）
近日點: 2.201039242002759 AU（329,270,783.931 km）
半長軸: 2.617805428837578 AU（391,618,118.061 km）
離心率: 0.159204417
軌道週期: 1547.050437 日 4.24儒略年
軌道傾角: 1.649211103506794
升交點黃經: 236.4831087939546
近日點參數: 225.1149193612827
物理特徵
絕對星等(H): 225.1149193612827
 
小行星8011（英語：）是一颗围绕太阳公转的小行星。1989年11月29日，圓舘金、渡邊和郎在北见发现了此天体。
这颗小行星的绝对星等为225.1149193612827等。
千叶短期大学

| 千叶短期大学 |
| --- | --- |
 
其他名字: 千叶短
创办时间: 1951年 1951年（正式设置大学）
JIS代码（日语：）: 5074
校址: 千叶县市川市国府台1-3-1
校區:  日本 千叶县市川市
教学机构:  学部： 最后的学科 　商务交流学科 前学科 　商科 　英文科 
隶属: 学校法人千叶学园
大學主题
千叶短期大学（日语：／ Chiba Tanki Daigaku *），简称千叶短，是过去一所位于日本千叶县市川市的私立短期大学。
概要 > 简介

学校最早可以追溯到1928年即巢鸭高等商业学校的创立。短期大学为于1951年开办、由学校法人千叶学园经营。招生到2002年、停办于2005年。
概要 > 历史

1951年 千叶短期大学 成立并同时设置两个学科、以下列举。
商科
英文科
2002年 最后一年招生、次年停止招生（正式停办于2005年12月1日）。
学校环境

校区：在了千叶县市川市
组织 > 学科

商务交流学科
相关链接

日本短期大学列表
參考资料

↑  『日本の私立短期大学』（日本私立短期大学協会発行：1980年）74页「」的项目（日語）
1 2  请参看2011年度『全国短期大学高等專業学校一覧（日语：）』260页「」的项目（日語）
苍城镇

| 苍城镇 |
| --- | --- |
镇
坐标：22°28′40″N 112°33′08″E﻿ / ﻿22.47776°N 112.55219°E﻿ / 22.47776; 112.55219
国家:  中华人民共和国
上级行政区: 开平市
村级区划单位数:  13 1社区 12行政村 
人口
 • 總計: 26,750人
时区: 北京时间（UTC+8）
行政区划代码: 44 07 83 104
电话区号: +86 (0)750
苍城镇，是中华人民共和国广东省江门市开平市下辖的一个乡镇级行政单位。 明代至一九四九年，蒼城镇是開平縣縣城，著名古蹟有開平學宫，開平文塔等。地处开平市西北部，东邻月山镇，南接马冈镇，西连龙胜镇，北与鹤山市宅梧镇相连。
行政区划

苍城镇下辖以下地区：
苍城圩社区、​大罗村、​联和村、​联兴村、​新村、​城东村、​旺岗村、​附城村、​下湾村、​六合村、​楼田村、​城西村和潭碧村。
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
小行星883

| 发现  |
| --- | --- |
發現者: 马克斯·沃夫
發現地: 海德堡
發現日期: 1917年9月14日
編號
命名依據: 
其它名稱: 883 Matterania
小行星分類: 主帶小行星 
軌道參數
曆元 2019-04-27.0（JD 2458600.5）
不確定參數 0
遠日點: 2.683 AU（401,371,087.088 km）
近日點: 1.7937449 AU（268,340,417.619 km）
半長軸: 2.2382266
離心率: 0.1985866
軌道週期: 3.35yr
平近點角: 145.82302°
軌道傾角: 4.71550
升交點黃經: 285.48094°
近日點參數: 42.47336
物理特徵
絕對星等(H): 12.59
 
小行星883（英語：）是一颗围绕太阳公转的小行星。1917年9月14日，马克斯·沃夫在海德堡描述了此天体。属于花神星族。同一天的晚上R. Schorr在德国汉堡的伯格多夫亦独立发现了此小行星。起初两人都认为这颗小行星是回归的恩克彗星，但沃夫首先意识到了自己的错误。
Matterania的命名是为了纪念为馬克斯·沃夫制作照相底片的August Matter。
这颗小行星的绝对星等为12.59等。
相关條目

小行星列表/10001-11000
參考資料

1 2 3  . Minor Planet Center.   [28 March 2018]. （原始内容存档于2016-03-04）.
1 2   (2018-01-26 last obs.). Jet Propulsion Laboratory.   [28 March 2018]. （原始内容存档于2021-08-06）.
1 2 3  883 （页面存档备份，存于），小行星數據庫瀏覽器（JPL Small-Body Database Browser）－美国国家航空航天局喷气推进实验室
↑  . 哈佛大学.   [2018-10-19]. （原始内容存档于2008-05-17）.
↑
↑  Paul Herget. . 1968.
外部連結

Asteroid Lightcurve Database (LCDB) （页面存档备份，存于）, query form (info （页面存档备份，存于）)
Dictionary of Minor Planet Names, Google books
Discovery Circumstances: Numbered Minor Planets (10001)-(15000) （页面存档备份，存于） – Minor Planet Center
小行星883 at AstDyS-2, Asteroids—Dynamic Site
Ephemeris · Observation prediction · Orbital info · Proper elements · Observational info
NASA JPL小天體瀏覽器上的小行星883
| 0 | 1 | 2 |
| --- | --- | --- |

| 前一小行星： 小行星882 | 小行星列表 | 後一小行星： 小行星884 |
IPC购物中心

| IPC购物中心 |
| --- | --- |

概要
類型: 商場
用途: 商場
地址:  马来西亚雪兰莪州八打靈再也珍珠白沙羅
: 3°09′21″N 101°36′40″E﻿ / ﻿3.1559°N 101.611°E﻿ / 3.1559; 101.611
竣工日: 2003年12月
技术细节
座数: 1
层数: 5樓（2层地下楼）
设计与建造
: ikano集團
网站
https://www.ipc.com.my
地圖

IPC购物中心（英語：，原名为IKANO POWER CENTRE）是一座位于馬來西亞珍珠白沙羅的購物中心，於2003年12月年開幕。購物中心的主要股東是來自瑞典的Ikano集團，也是其在馬來西亞第一間購物中心。購物中心主要的租戶是宜家家居。
商場特色

IPC购物中心被規劃為睦鄰商場，主要的顧客群附近的中高階產的市民。由于馬來西亞当时唯一一家的宜家家居就設在此，因此也吸引不少從吉隆坡等地的市民前來購物。商場的口號為“choise is everyting”，目標是讓每個顧客到該商場，都可以找到他們所要的東西。商場主要的特色是在裡面營業的店鋪，全部都是旗艦店，因此在商場內只有數十間商鋪，其中宜家家居就已占了358,000平方尺，大約商場的一半面積。
自2017年3月起，IPC购物中心进行了首次大规模翻新，以迎接购物中心成立15周年。翻新包括整个购物中心以及外观的翻新，停车位则保持不变。翻新期间购物中心照常开放，而大部分租户（除了宜家和哈维诺曼）在当时暂时搬迁或搬出。翻新工程最终于2018年1月29日完工。
商場租戶 > 宜家家居

占地358,000平方尺的宜家家居，在開幕時是亞洲最大的分店，目前新开张的蕉赖宜家和地不佬越大过这里20%。
商場租戶 > 哈维诺曼

來自澳洲的哈维诺曼占地70,000平方尺，曾是其在馬來西亞唯一一家有賣家具的分行。
商場租戶 > 本氏独立杂货商

本氏独立杂货商（Ben's Independent Grocer，简称B.I.G.）占地31,000平方尺，為附近的中產階級提供購物的方便。
商場租戶 > 大眾書局

總面積31,000平方尺的大眾書局是其在馬來西亞最大的分行之一。
商場租戶 > The Pet Safari

全馬唯一一家集合寵物店，寵物醫院和寵物酒店的寵物店，面積達27,000平方尺。
商場租戶 > Rasa Fiesta Foodcourt

22,000平方尺的地下美食街，提供馬來西亞和各國的美食。
商場租戶 > Ace Hardware

提供40,000種五金工具，是全馬第一家大型五金店。
商場租戶 > 巴迪尼概念店

8個品牌集中在超過20,000平方尺的店鋪，是巴迪尼集團第一家概念店。
商場租戶 > ALL IT HYPERMARKET

全馬最大規模的IT科技產品零售霸級市場之一。
商場設備

IPC购物中心是马来西亚第一家将垃圾进行分类处理的商场。商场内设有IPC回收和回购中心（IPC RBBC），该中心位于LG1层，毗邻女性停车场。商场内还有一座行人天桥，可通往隔壁的The Curve商场。另外，位于苏丽雅塔（Surian Tower）旁边的加影捷运线珍珠白沙罗站也可通过该天桥步行前往IPC购物中心。
宜家家居
IPC回收和回购中心
苏瓦里战役

苏瓦里战役
苏瓦里战役（Battle of Swally）是指1612年11月29日至30日，发生于今印度古吉拉特邦苏拉特附近苏瓦里(Suvali)村庄近海的一次海战，这次海战在英国东印度公司和葡萄牙人之间进行。东印度公司出动四艘帆船对付葡萄牙人的四搜帆船和26艘小筏，最终以英国人胜利而告终。
Isabelle

| --- | --- |
运行在 macOS 之上的 Isabelle/jEdit
原作者: Lawrence Paulson（英语：）
開發者: 剑桥大学、慕尼黑工业大学
首次发布: 1986
当前版本: 2022
编程语言: Standard ML、Scala
操作系统: Linux、Windows、macOS
类型: 数学
许可协议: BSD license
网站: isabelle.in.tum.de
Isabelle 是一个基于高阶逻辑（higher-order logic）的通用交互式定理证明器。它是一个 LCF（Logic for Computable Functions）风格的证明辅助工具，使用 Standard ML 语言实现。它拥有一个极小化的逻辑核心；这意味着使用它的证明和形式化验证具有较强的的可信度。
Isabelle 是通用的：它提供了一套元逻辑（相当于一个较弱版本的类型论），可用于编码诸多对象逻辑，如一阶逻辑、高阶逻辑、或ZF集合论。最常被用到的对象逻辑是 Isabelle/HOL；而其对集合论的形式化工作则使用了 Isabelle/ZF。Isabelle 的主要证明手段利用了高阶版本的归结原理（resolution），基于高阶的合一（unification）。
尽管 Isabelle 主要采取交互式的证明方式，它同时亦提供了若干高效的自动化推理工具，例如项重写引擎、tableaux 证明器、以及各种判定过程。藉由 sledgehammer 界面，它还可以调用外部的 SMT 求解器（包括 CVC4）和其他归结式定理证明器（包括 E 和 SPASS）。
Isabelle 被用于形式化数学和计算机科学中的许多定理，诸如哥德尔完备性定理、哥德尔关于选择公理一致性的证明、素数定理、各种安全协议的正确性、程序语言语义的特性。这些定理形式化工作的维护通过形式化证明存档（Archive of Formal Proofs）进行；截至 2019 年它已包含逾 500 个条目，两百万行证明。
Isabelle 定理证明器是开源软件，其源码在 BSD license 下授权发布。
“Isabelle”由其作者 Lawrence Paulson 命名；这名字取自于法国计算机科学家 Gérard Huet（英语：） 的女儿。
示例

Isabelle 支持两种不同风格的的证明书写方式：过程式和声明式。
过程式风格的证明主要由一系列证明策略（tactics）或过程的依次运用组成；它能够较好地反映数学家思考证明的过程，但通常较难阅读，因为它无法直接体现每步推演的结果。
声明式风格的证明（由 Isabelle 内置的证明语言 Isar 支持）则与之相反，它以直接的方式描述了每一步确切的数学推演，因此较容易被阅读和人工检查。
在较新版本的 Isabelle 中，过程式风格的证明已不建议再使用。形式化证明存档（Archive of Formal Proofs）亦推荐使用声明式风格来书写证明。
例如，下面是一个声明式风格的“2的算术平方根是无理数”的证明：
theorem sqrt2_not_rational:
  "sqrt (real 2) ∉ ℚ"
proof
  let ?x = "sqrt (real 2)"
  assume "?x ∈ ℚ"
  then obtain m n :: nat where
    sqrt_rat: "¦?x¦ = real m / real n" and lowest_terms: "coprime m n"
    by (rule Rats_abs_nat_div_natE)
  hence "real (m^2) = ?x^2 * real (n^2)" by (auto simp add: power2_eq_square)
  hence eq: "m^2 = 2 * n^2" using of_nat_eq_iff power2_eq_square by fastforce
  hence "2 dvd m^2" by simp
  hence "2 dvd m" by simp
  have "2 dvd n" proof -
    from ‹2 dvd m› obtain k where "m = 2 * k" ..
    with eq have "2 * n^2 = 2^2 * k^2" by simp
    hence "2 dvd n^2" by simp
    thus "2 dvd n" by simp
  qed
  with ‹2 dvd m› have "2 dvd gcd m n" by (rule gcd_greatest)
  with lowest_terms have "2 dvd 1" by simp
  thus False using odd_one by blast
qed
应用

除数学证明以外，Isabelle 亦被广泛应用于计算机软件及硬件的形式化验证：
2009年，澳大利亚 NICTA 的 L4 团队开发了史上首个功能正确性得以形式化验证的通用操作系统内核：seL4 微内核。其证明使用 Isabelle/HOL 构建，包含了 200000 行证明脚本，用以验证 7500 行 C 代码。该形式化验证涵盖了代码、设计与实现，其主定理指出：该内核的 C 代码正确地实现了其形式化设计规范。
程序语言 Lightweight Java 类型安全的形式化证明使用了 Isabelle。
Isabelle 的网站上有一个使用 Isabelle 的研究项目列表。
拓展阅读

Lawrence C. Paulson. "The foundation of a generic theorem prover". Journal of Automated Reasoning, Volume 5, Issue 3 (September 1989), pages: 363–397, ISSN 0168-7433.
Lawrence C. Paulson: The Isabelle Reference Manual.
M. A. Ozols, K. A. Eastaughffe, and A. Cant. "DOVE: Design Oriented Verification and Evaluation". Proceedings of AMAST 97, M. Johnson, editor, Sydney, Australia. Lecture Notes in Computer Science (LNCS) Vol. 1349, Springer Verlag, 1997.
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel: Isabelle/HOL – A Proof Assistant for Higher-Order Logic.
不能結婚的男人 (韓國電視劇)

| 不能結婚的男人  |
| --- | --- |

编剧: 余志娜
导演: 金正奎
主演: 池珍熙、嚴正花、金素恩、梁瀞疋
制作国家／地区:  
语言: 韓語
集数: 16集
每集长度: 韓國時間逢星期一、二，晚上9時55分
播出 
首播频道: KBS
播出国家／地区:  
播出日期: 2009年6月15日 (2009-06-15)—2009年8月4日 (2009-08-04)
 
各地节目名称
台湾: 
港澳: 

官方网站
《不能結婚的男人》（韓語：）是韓國KBS於2009年6月15日起播放的月火迷你連續劇，改編自同名日劇。2010年於香港無綫劇集台播出，更名為《不能結婚Kimchi男》。
人物介紹

括號內表日劇《熟男不結婚》相似角色
人物介紹 > 主角

池珍熙 飾 趙在熙（桑野信介）(台灣配音：宋克軍；香港配音：陳欣)
嚴正化 飾 張文貞（早坂夏美）(台灣配音：許淑嬪；香港配音：陳凱婷)
金素恩 飾 鄭友珍（田村滿）(台灣配音：馬君珮；香港配音：楊善諭)
梁瀞疋 飾 尹琪蘭（澤崎摩耶）(台灣配音：楊凱凱；香港配音：沈小蘭)
劉亞仁 飾 朴賢奎（村上英治）(台灣配音：何志威；香港配音：張裕東)
人物介紹 > 其他角色

金炳基 飾 張鋒守(台灣配音：于正昌)
全洋子 飾 姜惠子(台灣配音：楊凱凱)
林　湖 飾 朴光男(台灣配音：何志威)
裴民熙 飾 趙允喜(台灣配音：馬君珮)
俞泰雄 飾 文碩煥(台灣配音：于正昌)
歌曲 （中天綜合台版本）

片頭曲：《戀愛小動作》
片尾曲：《迷人的危險》
外部連結

韓國KBS官方網站（页面存档备份，存于） （）
香港無綫官方網站 （页面存档备份，存于）（繁體中文）
臺灣中天電視官方網站（繁體中文）
MOD-L.T.V 臺灣龍華電視官方網頁 （页面存档备份，存于）（繁體中文）
|  韓國 KBS 2TV 月火劇 |
| --- | --- | --- |
|  | 不能結婚的男人 (2009年6月15日-2009年8月4日) |  |
| 男人的故事 (2009年4月6日-2009年6月9日) | 不能結婚的男人 (2009年6月15日-2009年8月4日) | 傳說的故鄉 (2009年8月10日-2009年9月8日) |
|  香港 無綫劇集台 星期六 15:00-17:30 (連播兩集) |
| --- | --- | --- |
|  |  （2009年12月26日-2010年2月13日） |  |
| A貨貴公子 （2009年10月31日-2009年12月19日） |  （2009年12月26日-2010年2月13日） | IRIS （2010年2月20日-2010年4月24日） |
 香港 無綫電視高清翡翠台 週一至週五 高清劇場 13:15-14:15（其他重播時段請參見這裡） 3月7日起 12:00-13:00
| 熟女辛市長 (2010年12月30日-2011年2月9日) |  (2011年2月10日-2011年3月10日) | 推奴 (2011年3月11日-2011年4月21日) |
 香港 無綫電視翡翠台 星期六 下午1:15-2:45 4月13日 暫停播映
| 熟女辛市長 （2012年8月4日-2012年12月29日） |  （2013年1月5日-2013年4月27日） | 愛上師奶經理人 （2013年5月4日-2013年8月24日） |
|  星和视界 娱家戏剧台 星期六 22:30 - 0:45 時段 |
| --- | --- | --- |
|  | 不能結婚的男人 (2010.04.10 - 2010.05.29) |  |
| 伊甸園之東 (2009.09.26 - 2010.04.03) | 不能結婚的男人 (2010.04.10 - 2010.05.29) | IRIS  (2010.06.05 - 2010.08.07) |
|  台灣 中天綜合台 星期一至五20:00-21:00節目 |
| --- | --- | --- |
|  | 不能結婚的男人 (2010年5月17日-2010年6月18日) |  |
| 他們的世界 (2010年4月12日-2010年5月14日) | 不能結婚的男人 (2010年5月17日-2010年6月18日) | 單身爸爸戀愛中 (2010年6月21日-2010年7月23日) |
|  臺灣 MOD-龍華影劇台 星期一至五 19:00－20:00、22:00-23:00、翌日01:00-02:00 |
| --- | --- | --- |
|  | 不能結婚的男人 全台HD首播 （2013.6.27－2013.7.25） |  |
| 善良的男人 （2013.5.21－2013.6.26) | 不能結婚的男人 全台HD首播 （2013.6.27－2013.7.25） |   |
|   KBS World 24 星期二至五 05:00 - 06:05 |
| --- | --- | --- |
|  | 不能結婚的男人 （2021年1月14日 - 2021年2月10日） |  |
| 太陽的女子 （2020年12月10日 - 2021年1月13日） | 不能結婚的男人 （2021年1月14日 - 2021年2月10日） | 新娘面具 （2021年2月11日 - 2021年3月31日） |
华白及

| 华白及 |
| --- | --- |

科学分类 
界：: 植物界 Plantae
演化支：:  Tracheophyta
演化支：: 被子植物 Angiosperms
演化支：: 单子叶植物 Monocots
目：: 天門冬目 Asparagales
科：: 蘭科 Orchidaceae
属：: 白芨屬 Bletilla
种：: 华白及 B. sinensis
二名法
Bletilla sinensis (Rolfe) Schltr., 1911

华白及（学名：），为兰科白及属下的一个植物种。其种加词“sinensis”意为“中华的”。
华白及已被世界自然保护联盟（IUCN）红色名录列为濒危物种，被《濒危野生动植物种国际贸易公约》（CITES）列为附录Ⅱ物种，并在2013年评估公布的《中国生物多样性红色名录-高等植物卷》中被评估为濒危等级。
云南省林业和草原科学院兰花保育团队在云南省镇康县发现了珍稀濒危植物华白及的野外居群。这是时隔120多年，中国再次发现野生华白及。
现接受名为Bletilla foliosa (King & Pantl.) Tang & F.T.Wang, 1951。
参考资料

↑  . 中国植物物种信息数据库.   [2013-01-15]. （原始内容存档于2020-02-01）.
↑  . 中国经济网.   [2021-10-02]. （原始内容存档于2021-10-02）.
新加坡印度人

新加坡的一對印度夫婦，大約攝於1890年。
新加坡印度人（又稱印度裔新加坡人，坦米爾語：, Ciṅkappūr Intiyarkaḷ）是對生活在新加坡的南亞裔的稱呼。印度裔社群佔新加坡人口的7.4％，使印度裔成為新加坡第三大族群。雖然古印度文化對新加坡本土的馬來文化有了深刻影響，但印度裔社群真正開始移居到新加坡的時間在英属印度時期（1819年），當時移居新加坡的印度人包括契約工人，士兵和罪犯。到二十世紀中期，又有一批印度裔移居新加坡。新加坡的印度人社群貧富差距大，自1990年代以來，受過良好高等教育的印度移民移入，使新的矛盾形成。新加坡印度裔社群在語言和宗教上多樣化，多數為來自南印度的坦米爾人。新加坡當地的印度文化已經深耕了近二百年。至1990年代，隨著印度文化在更廣泛在新加坡文化中擴散，已經發展和當代的印度文化有所不同。來自印度新移民增加了當地印度裔社群的規模和多樣性。新加坡印度裔社群透過往返印度的低成本航空及影視傳媒與母國印度連繫在一起。
定義

新加坡政府把“新加坡印度人”定義為“ 種族 ”（或“ 族群 ”），包括“ 來自印度、巴基斯坦、孟加拉和斯里蘭卡的南亞族群如人淡米爾人、馬拉亞利人、旁遮普人、孟加拉人、僧伽羅人等 ”。
語言群

新加坡印度人（南亞裔）大多數來自南印度和斯里蘭卡，其餘來自北印度和西印度；通常是19世紀至20世紀初期來自印度次大陸的契約勞工移民的後裔。2010年，新加坡人口普查將237,473名新加坡公民和110,646名新加坡永久居民分為多個“ 語言群 ”。
| 0 | 1 | 2 | 3 | 4 |
| --- | --- | --- | --- | --- |

| 語言群體 | 原居地 | 宗教信仰 | 2010 人口普查 | 百分比 |
| 坦米爾人 | 坦米爾納德邦   斯里蘭卡  本地治理 | 印度教、伊斯蘭教、基督宗教 | 188,591 | 54.18% |
| 馬拉雅拉姆人 | 喀拉拉邦   拉克沙群島 | 印度教、伊斯蘭教、基督宗教 | 26,348 | 7.57% |
| 旁遮普人 | 旁遮普邦 | 錫克教、印度教 | 18,624 | 5.35% |
| 古吉拉特人 | 古吉拉特邦 | 印度教、伊斯蘭教、耆那教 | 4,124 | 1.18% |
| 信德人 | 信德省（巴基斯坦） | 伊斯蘭教、印度教 | 3,971 | 1.14% |
| 僧伽羅人 | 斯里蘭卡 | 佛教 | 3,140 | 0.90% |
| 泰盧固人   孟加拉人   Indo-Portuguese（英语：）(克里斯坦人)   印度斯坦人   帕西人   其他南亞裔 | 安得拉邦   泰倫加納邦   西孟加拉邦   果阿邦   各個地區 | 印度教、伊斯蘭教、瑣羅亞斯德教 | 103,321 | 29.68% |
|  |  |  | 348,119 | 100% |
↑  這張地圖為1947年的英屬印度，因為一些新加坡南亞人（印度裔）來自現在的巴基斯坦和斯里蘭卡而非只有來自獨立後的印度。
↑  這張地圖還包括印度次大陸的其他國家，因為“新加坡印度人”涵蓋印度以外的其他南亞種族，如斯里蘭卡坦米爾人。
↑  混合種族的新加坡公民必須根據父系的種族來分類。
新加坡的印度人（南亞裔）的大多數為坦米爾人（54.18％）和各個不同的語言群體。來自印度南部喀拉拉邦的馬拉雅拉姆人為人數第二大多的語言群體，佔新加坡的南亞裔（印度裔）的7.57％。坦米爾人和馬拉雅拉姆人是新加坡裔（南亞裔）的兩個主要的語言群體，佔新加坡印度人（南亞裔）人口的三分之二。新加坡三大北印度語言群體（旁遮普邦、古吉拉特邦、信德省）佔南亞裔（印度裔）的7.67％。其餘的29.68％來自南印度（如泰盧固人），東印度（如孟加拉人）和北印度（印度斯坦人）。
歷史 > 英國殖民前

条目：印度文化圈
英属印度前，早於古代印度人已經經常進出東南亞一帶，包括新加坡。一些早期考古學家，就於新加坡境內發現古印度文物，證明早於十九世紀前，印度人已踏足新加坡。比如，新加坡兩個最重要前殖民時期文物是新加坡石，上面刻有印度文字和帶有印度教「卡拉」頭圖案的金手鐲。
歷史 > 英國殖民時期（1820年代至1950年代） > 移民和定居

新加坡和印度起成為英國殖民地，其時英國人已經从英属印度大規模地引進印度人。於1824年新加坡第一次人口普查，境內共有765名印度人，約佔總人口7%。到1826年，官方數字顯示共13,750名印度裔，其中大多数是男性。
早期印度裔主要以外地勞工身分逗留新加坡，大多僅留幾年就回鄉。惟也有少數長期居留並且致富。此中最著名為Naraina Pillai，為新加坡建築承包商。
另外也有一批印度裔是以囚犯身分到來新加坡：英國殖民者為緩解印度監獄壓力，特意押送印度囚犯到新加坡，作為建築工人建造道路和公共建築。其中有部分囚犯，甚至長留新加坡定居。
歷史 > 英國殖民時期（1820年代至1950年代） > 社會特徵

根據學者Rajesh Rai研究，十九世紀於新加坡之印度裔，主要有四個群體。其中超過80%為普通勞工，未受過教育；其次為商人，約佔10%以下；白領工作則約5-7%；至於能操英語，受過高等教育之群體，則僅佔0.5%。
歷史 > 英國殖民時期（1820年代至1950年代） > 1915年政變

1915年新加坡兵變，是一場政變，涉及850名印度裔士兵。
1915年2月15日，這批士兵發動叛變，以抗議英國殖民政府派他們前往土耳其參戰。叛變持續7天，導致47名英國士兵和當地平民喪生。殖民政府後來拘捕叛變軍人，並且把之處決。
歷史 > 新加坡獨立後（1960年代至今）

自1965年新加坡獨立後，新加坡境內印度社區發展，有兩個階段。第一階段是1965-1990年代，其中印度裔社區比例從1957年的9%，下降到1980年的6.4%。而原因在新加坡獨立後，英國人撤離，連帶大批印度勞工離開新加坡。與此同時獨立後，新加坡又另立移民政策，印度裔移民受到抑制。惟即使如此，新加坡印度裔出生率依然相當高，使印度裔人口依然有一定數目。
第二階段則肇始於1990年代，新加坡政府放寬移民政策，以招攬外來專才。其時新加坡政府渴望專才優先，以發展高增值產業。與此同時新加坡亦吸納一部分低技能工人，專門從事清潔和建築，儘管政策不鼓勵這批人長期居留。這些政策的結果是，印度裔人口之增長，遠高於其他族群。而印度裔社區比例，亦從1980年的6.4％，上升到2010年的9.23％。
截至2010年，新加坡有237,473名印度裔公民，占新加坡人口的7.35％。
人口統計 > 語言

新加坡的官方語言為英語、馬來語、華語（現代標準漢語）和坦米爾語。由於新加坡的原住民為馬來人，新加坡的國歌《前進吧，新加坡！》（馬來語：Majulah Singapura）是以馬來語來演唱而非其他官方語言。坦米爾人約佔了新加坡印度裔（南亞裔）社群的58％。其他印度裔語言社群包括馬拉雅拉姆人、泰盧固人、旁遮普人、信德人、古吉拉特人、僧伽羅人和印度斯坦人等。
新加坡印度裔（南亞裔）社群日常語言使用方面，39％的印度裔（南亞裔）在家裡主要使用英語和坦米爾語。其餘使用的語言包括馬來語（11%）或其他語言，包括其他印度語言和克里斯坦語（11％），使用馬拉地語的印度裔（南亞裔）家庭約有3000個。新加坡全國公民中，3.1%的人主要在家中使用坦米爾語，是新加坡的四種官方語言之一。在大多數公立學校，坦米爾語被作為教授的第二語言。坦米爾語影視產品（本地或國外製作）可在免費電視和有線電視以及廣播頻道以及圖書館、電影院、劇院和書店購買。坦米爾語也用於印度教寺廟、清真寺和教堂。在一些商業和非營利組織中，特別是小印度區的企業和非營利組織都使用坦米爾語。
人口統計 > 宗教

条目：新加坡宗教
新加坡印度裔（南亞裔）社群信奉多種宗教。根據2010年人口普查，新加坡15歲以上的印度裔（南亞裔）社群永久居民信仰以下幾種宗教：
| 宗教 | 人口數量 | 百分比 |
| --- | --- | --- |
| 印度教 | 156,339 | 58.9% |
| 伊斯蘭教 | 57,546 | 21.7% |
| 基督宗教 | 34,024 | 12.8% |
| 錫克教 | 10,591 | 4.0% |
| 佛教 | 2,022 | 0.8% |
| 無宗教 | 2,940 | 1.1% |
| 其他宗教 | 1,762 | 0.7% |
人口統計 > 宗教 > 印度教

在2010年統計中，新加坡15歲以上的公民有5.1％為印度教徒。幾乎所有新加坡印度教徒都是印度裔。新加坡印度裔社群有58.9％信奉印度教。新加坡約有35座印度教寺廟，大多數都是南印度的建築風格。雖然印度教寺廟可能在歷史上與印度社群有聯繫，但新加坡的印度教寺廟為開放的，無論是種族或宗教信仰（非印度教徒可以參觀印度教寺廟）。新加坡最受歡迎的印度教節日是排燈節和大寶森節，排燈節為新加坡的全國公共假期。在排燈節一個月前，小印度區以燈飾來裝飾。市場在小印度區內不同地區舉行，攤販販售宗教用品，節日賀卡，節日食品，節日裝飾品，衣服等。在排燈節當天信徒會沐浴和祈禱，並參加節日活動和拜訪親戚朋友。大寶森節為新加坡和馬來西亞的印度裔淡米爾人社群中的重要節日。作為以懺悔為主的節日，參佳節日遊行的信徒會攜帶 kavadis，有些信徒通過刺穿皮膚的鉤子和矛來攜帶 kavadis附著在身上。在大寶森節節慶活動期間，新加坡主要道路被封閉以進行宗教遊行。
人口統計 > 宗教 > 其他宗教

新加坡錫克教徒佔新加坡15歲以上公民的0.4％。如他宗教一樣，錫克教徒在新加坡興建了幾個宗教場所，其中最古老的錫克教寺廟是成立於1912年的中央錫克教寺廟。在新加坡穆斯林中，印度裔佔了12.4％，其餘大多數是馬來人；印度裔穆斯林常與馬來人通婚。
印度尼西亞人和馬來人透過印度商人而非阿拉伯傳教士了解伊斯蘭教。在新加坡基督徒中，6％是印度裔，其餘大多數是華人。在印度裔基督徒社群中有10.3％信仰羅馬天主教（包括部分印度裔克里斯坦人）和3.9％非天主教基督徒（主要是新教徒）。
印度裔穆斯林和基督徒社群內，有自己專數的宗教場所，在講道、服務和禱告用印度語言來進行。新加坡印度社群有自己的基督教會，清真寺和佛教寺廟；如：建於1826年的詹美回教堂，是新加坡最古老的淡米爾清真寺和國定古蹟。在1888年，淡米爾天主教信徒建立了露德聖母堂，為新加坡最古老的淡米爾天主教堂，同時也是新加坡國定古蹟。
釋迦牟尼菩提迦耶寺是一座以中國，印度，斯里蘭卡和泰國風格混合建立的上座部佛教寺廟，與大多數新加坡的中國漢傳佛教寺廟完全不同。新加坡小印度佛教社群（主要是來自斯里蘭卡的僧伽羅人）常常到釋迦牟尼菩提迦耶寺禮佛。
料理

新加坡料理種類多樣，包括印度料理，大部分是南印度泰米爾料理（英语：），特別是當地的淡米爾穆斯林美食，而北印度料理也很受歡迎。經過多年與其他新加坡文化的接觸，受其他新加坡料理影響，新加坡印度料理已經不同程度地改變了。有些印度食品不太普遍，但在幾個地區仍然可以找到販售的餐館，特別是在小印度及其周邊地區。
小印度

新加坡有印度文化的地區以小印度區最為顯著。1989年7月7日，在新加坡文化資產建築保護開始時，該地區已成為保護區域，使其建築物受法律保護而免受擅自更改及拆卸。該地區被公認為新加坡印度社群的樞紐。主要包含早期、過渡時期和晚期的裝飾藝術的兩層商店，以及不同信仰的禮拜場所。 除了為社會服務，印度社區的文化和商業需求，該地區被確立為新加坡歷史悠久的區域之一，擁有豐富的移民文化，使其成為國家文化認同的不可分割的一部分。在2004年，小印度區已成為新加坡第三大受歡迎的旅遊景點。
参考文獻 > 引用

↑   (PDF). Singapore Government. September 2015  [14 February 2016]. （原始内容 (PDF)存档于2016年2月16日）.
↑  . The Economist. 28 January 2011  [14 October 2016]. （原始内容存档于2017-07-30）.
↑   (PDF). Department of Statistics, Singapore: 185. 2010. （原始内容 (PDF)存档于2017年5月16日）.
↑  Leow, p.16.
↑   (PDF).   [2016年11月15日]. （原始内容 (PDF)存档于2016年10月5日）.
↑  . Urban Redevelopment Authority.   [2017-08-13]. （原始内容存档于2013-06-23）.
↑   (PDF). Singapore Tourism Board.   [2017-08-13]. （原始内容 (PDF)存档于2012-02-07）.
参考文獻 > 來源

Brown, Adam. . Singapore: Federal Publications. 1999. ISBN 981-01-2435-X.
Chew, Ernest C.T.; Lee, Edwin. . Singapore: Oxford University Press. 1991. ISBN 0-19-588565-1.
Hall, D.G.E.  4th. London: Macmillan Press. 1994.
Lal, Brij V.; Reeves (exec. ed.), Peter; Rai, Rajesh. . Singapore: Editions Didier Millet in association with National University of Singapore. 2006. ISBN 981-4155-65-9.
Leow, Bee Geok. . Singapore: Singapore Department of Statistics. 2001. ISBN 981-04-4448-6.
Leow, Bee Geok. . Singapore: Singapore Department of Statistics. 2001. ISBN 981-04-4459-1.
Miksic, John N.; Low, Cheryl-Ann (Mei Gek). . Singapore: Singapore History Museum. 2004.
Netto, Leslie (ed.). . Singapore: Singapore Indian Association. 2003. ISBN 981-04-8531-X.
Tan, Sylvia. . Singapore: Landmark Books. 2004.
Turnbull, C.M. (Mary).  2nd. Singapore: Oxford University Press. 1989. ISBN 0-19-588943-6.
延伸閱讀

Madan, Madhu; Vasudevan, Yamini; Raman, Rita. . Singapore: Singapore Indian Chamber of Commerce and Industry (SICCI). 2004.
Pillai, A.D. & Arumugam, P. (2017). From Kerala to Singapore: Voices of the Singapore Malayalee Community. Singapore: Marshall Cavendish International (Asia). Pte. Ltd.
Rai, Raghu; Pillai, Niru K. . Singapore: Produced by Landmark Books for the Organising Committee of a Dinner by the Indian Community. 1994. ISBN 981-3002-82-4.
Sandhu, K.S.; Mani, A. . Singapore: Institute of Southeast Asian Studies (ISEAS) & Times Academic Press. 1993. ISBN 981-210-017-2.
Siddique, Sharon; Shotam, Nirmala Puru.  2nd. Singapore: Institute of Southeast Asian Studies. 1990. ISBN 9971-902-31-1.
Sinnappah, Arasaratnam.  Rev. Kuala Lumpur; New York, N.Y.: Oxford University Press. 1979. ISBN 0-19-580427-9.
Soundar, Chitra.  2nd. Singapore: Asiapac. 2003. ISBN 981-229-327-2.
Walker, Anthony R. (ed.). . Delhi: Hindustan Pub. Corp. 1994. ISBN 81-7075-027-X.
Rerceretnam, Marc J. . Sydney: University of Sydney. 2003.
外部連結

Kalari Payat-Silambam Centre, Singapore
Silambam Nilakalakki, Malaysia （页面存档备份，存于）
Singapore Indian Development Association （页面存档备份，存于）
Hindu Temples in Singapore
Statistics Singapore （页面存档备份，存于）
Tamils of Singapore
NRI Online （页面存档备份，存于） contains info on NRIs in Singapore
Indian Forum
這張地圖顯示大多數新加坡印度人（南亞裔）的祖籍來源。點擊區域細分以查看州、省或地區的名稱。
新加坡印度人家庭，約攝於1890年
10世紀至13世紀的新加坡古石上刻有印度文字
施工現場標誌顯示新加坡的四種官方語言：英語、華語）、坦米爾語和馬來語。
新加坡最古老的坦米爾人教堂露爾德聖母教堂上的一塊匾列出捐助者的姓名。
大寶森節的遊行參與者
建於1912年的新加坡中央錫克教堂
新加坡印度囉喏
排燈節期間的小印度
小印度印度文化資產中心
小行星9405

| 发现 |
| --- | --- |
發現者: 小林隆男
發現地: 大泉天文台
發現日期: 1994年11月27日
編號
其它名稱: 1994 WQ1/ 1978 NG6 / 1984 WC5 / 1991 FZ5
小行星分類: 主带小行星
軌道參數
曆元 2456400.5 (2013年4月18日更新)
遠日點: 3.0626390 AU（458,164,273.123 km）
近日點: 2.6814568 AU（401,140,227.654 km）
半長軸: 2.8720479 AU（429,652,250.388 km）
離心率: 0.0663607
軌道週期: 1777.812456 日 4.87儒略年
軌道傾角: 2.72928
升交點黃經: 45.06444
近日點參數: 7.74509
物理特徵
絕對星等(H): 7.74509
 
小行星9405（英語：）是一颗围绕太阳公转的小行星。1994年11月27日，小林隆男在大泉天文台发现了此天体。
这颗小行星的绝对星等为7.74509等。
东台市各级文物保护单位列表

以下是江苏盐城市东台市境内的各级文物保护单位：
全国重点文物保护单位

以下是东台市境内的全国重点文物保护单位：
| 名称 | 编号 | 分类 | 所在地 | 年代 | 图像 |
| --- | --- | --- | --- | --- | --- |
| 海春轩塔 | 7-946 | 古建筑及历史纪念建筑物 | 东台市西溪镇 | 唐 |  |
江苏省文物保护单位

东台市有以下江苏省文物保护单位
| 名称 | 编号 | 分类 | 时代 | 区划 | 地址 | 公布 | 图片 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 苏中四分区抗日烈士纪念碑 | 165 | 近现代历史遗迹及革命纪念建筑物 | 1945年 | 东台市 | 三仓 | 1982年3月25日 |  |
| 东明电气股份有限公司旧址 | 272 | 近现代历史遗迹及革命纪念建筑物 | 1917年 | 东台市 |  | 1995年4月19日 |  |
| 富安明代住宅 | 310 | 古建筑及历史纪念建筑物 | 明代 | 东台市 | 富安镇 | 1995年4月19日 |  |
| 冯道立宅 | 318 | 古建筑及历史纪念建筑物 | 清代 | 东台市 | 时埝镇 | 1995年4月19日 |  |
| 鲍氏大楼 | 323 | 古建筑及历史纪念建筑物 | 清代 | 东台市 | 安丰镇 | 1995年4月19日 |  |
| 开庄遗址 | 387 | 古遗址 | 新石器 | 东台市 | 溱东镇 | 2002年10月22日 |  |
| 卢秉枢故居 | 820 | 近现代重要史迹及代表性建筑 | 民国 | 东台市 |  | 2011年12月30日 |  |