Charwraith/zh-wiki-384-embeddings huggingface dataset:
伊良部岛

伊良部岛（、）位于琉球列岛宫古群岛的宫古岛西北方约五公里，紧临下地岛。行政区划原本属于日本冲绳县宫古郡伊良部町，但已于2005年10月1日与原有的平良市、城边町、下地町、上野村合并建立宫古岛市。
昔日与宫古岛间需仰赖海运，2015年全长3,540米的伊良部大桥开通，已能陆运往来。
安庆绪

安庆绪，营州柳城县（今辽宁朝阳市南）胡人，唐朝军人，大燕政权宗室、皇帝；他是唐东平郡王、东北三镇节度使安禄山的次子，初名仁执，后为唐帝李隆基赐名庆绪。父亲叛唐自立后，被封为晋王，后来弑父、袭称燕帝，最终死于部将史思明之手。
简介
史载安庆绪性情内向沉默，言词无序，但精于武艺，尤擅骑射，禄山任其为「都知兵马使」。750年（天宝九载），任鸿胪卿。后随父反唐。756年（唐至德元载；燕圣武元年），安禄山称帝时，封晋王。757年（唐至德二载；燕圣武二年）正月，安庆绪弑父自立，改元载初。纵乐饮酒，委政于严庄。他命大将史思明回守范阳（今河北保定及北京市一带），留蔡希德等继续围攻太原。同年，长安、洛阳相继为唐军收复，庆绪退据邺（治今河南安阳市），部将李归仁率精锐及胡兵数万人，溃归据守范阳的史思明。由于契丹、同罗等族组成的精兵多归史思明统辖，庆绪不安、谋除之；史思明遂以所领十三郡兵八万降唐，受封为归义王，任范阳节度使。不久，史思明受唐廷猜忌，复叛。
758年（唐乾元元年；燕天成元年）4月，安庆绪北逃时，平原太守王与清河太守宇文宽都杀死叛军使者归降朝廷。安庆绪派其部将蔡希德与安太清攻克平原与清河，俘获了王与宇文宽而归，将他们在邺城街市中处以剐刑。安庆绪对于谋求归顺朝廷的部将，一律处死，并株连部落与宗族，以至部曲、州县民众、属官等被连坐而死的甚多。安庆绪又与他的群臣在邺城南歃血结盟，但人心更加不稳，众叛亲离。安庆绪得知李嗣业驻守在河内，四月，与蔡希德、崔干率领步、骑兵二万，渡过沁水来攻打河内，不克率兵返回。
758年9月以降，安庆绪为郭子仪等统兵二十余万围困于邺，各地唐军且陆续增援；安庆绪不得已，以皇位相许，向史思明乞援。同年冬，史思明亲率十三万大军自范阳南下邺城，终于翌年（759年）三月击退唐九节度使六十万大军（邺城之战）；唐军撤退后，安庆绪旋为史思明所弑，兄弟四人及高尚、孙孝哲、崔干祐一并遇害。事后，史思明接收安氏部队，返回范阳自称大燕皇帝，然后谥庆绪为“晋剌王”。
水纳岛 (冲绳群岛)

水纳岛（、）位于琉球列岛冲绳群岛冲绳岛北部的本部半岛西北方约1.5公里处。从空中俯瞰状似新月，因此被称为「羊角面包岛」或「月牙岛」。行政划分上属于日本冲绳县国头郡本部町。
李荣杓

李荣杓（韩语：이영표，）是一名前韩国足球运动员，他曾效力荷甲PSV燕豪芬、英超热刺及德甲多蒙特等大球会，退休前效力美国职业足球大联盟球会温哥华白浪。
职业生涯
球会
李荣杓于K联赛安养印度豹开始自己的足球员生涯。他在2002年世界杯预选赛上巩固了自己在国家队的地位；紧接著他也帮助韩国在世界杯上创造佳绩。在比赛结束之后他和朴智星便跟随2002年世界杯韩国队的教练希丁克投靠PSV燕豪芬。
李荣杓之所以转会荷兰是因为希丁克对他非常赞赏，随著希丁克转任PSV燕豪芬教练一职，他就将李荣杓带到自己旗下球会。在PSV的日子，李荣杓再次获得希丁克的指导；他也很快的在一线队立足。他以耐力和技巧闻名，并且攻击和防守的角色都能胜任。他后来更被荷兰媒体誉为荷甲最佳左后卫。李荣杓和朴智星都随PSV闯入04-05赛季的欧洲冠军联赛准决赛，但最后被AC米兰淘汰。在赛季结束后，李荣杓转会英超热刺，尽管PSV坚决留人，但还是不敌英超队伍的魅力。
李荣杓在荷兰踢了两年球之后，于2005年8月转会到英格兰的热刺。刚来到热刺时，李荣杓非常受英国媒体瞩目，他很快成为英超联赛第一周的"最佳11人"，热刺教练马丁·乔尔称他不只是荷甲最佳左后卫，也是欧洲最佳左后卫之一。
李荣杓在赛季一直维持稳定的表现，但他也成为一些关键失误的肇事者。尤以05-06英超赛季曼联作客白鹿径球场一役最为人关注；当时他身职左边后卫，没有把球清出场外，反而把球带到己方禁区，造成曼联边锋朴智星趁虚而入，传球给韦恩·鲁尼制造曼联的致胜得分。
在2006年8月，意甲的AS罗马有意收购李荣杓，不过李荣杓却在最后一刻以个人理由拒绝了。义大利媒体指称，李荣杓是因为宗教因素而放弃转会，但在事发不久之后，李荣杓于韩国的记者会上表示：并非宗教问题。他指出，去意甲踢球对他是不错的选择，但他是因个人理由而回绝罗马队；尽管记者会上媒体不断追问，他坚持不肯透露详情。
06-07赛季因为教练中意让喀麦隆籍的阿索-埃科托司职左边后卫，李荣杓改打右边后卫；这项改变是在罗马队收购不成之后才发生的。
2008年8月28日，热刺宣布李荣杓正式转会德甲的多蒙特，合约为期一年，具体转会费未有被透露。
2009年7月9日，中东沙地阿拉伯球队希拉尔宣布签入李荣杓，合约为期一个球季，另球队有选择权延长多一个球季。
2011年12月6日， 美职联球队温哥华白浪宣布签入自由身球员前韩国国家足球队代表李荣杓，合约内容没有透露。
2013年10月22日，36岁前韩国国家足球队代表李荣杓宣布于10月27日温哥华白浪于2013年度美职联常规赛最后一场比赛赛后结束球员生涯。
国家队
李荣杓自1999年6月对阵墨西哥的国家队比赛开始，共为韩国队出战127场，参加过两届世界杯以及三届亚洲杯，在韩国队出场纪录中仅次于洪明甫和李云在排名第三位。在2011年亚洲杯，韩国队在3、4名决赛中3-2拿下乌兹别克斯坦获得季军后，在赛后的新闻发布会上，李荣杓正式对外宣布了退出韩国队。
踢球风格
其虽然名义上为左后卫，但攻守得宜，助攻及远射能力均较强，在国家队（尤其是在2002年世界杯）经常被推前至中场位置甚至前锋位置作进攻球员使用，为韩国当时少有的全能球员。
食道癌

食道癌（esophageal cancer）是原发于食道黏膜上皮或腺体的恶性肿瘤，主要为鳞癌、腺癌，少数为其他癌。常见的症状包括吞咽困难与体重减轻，其他症状还有吞咽疼痛、沙哑、锁骨周边淋巴结肿大、干咳、以及咳血或吐血。
有两大类食道癌较为常见：鳞状细胞癌（鳞癌）主要盛行于开发中国家；而腺癌则在已开发国家较为常见，其他的类型则比较少有。鳞状细胞癌主要因为吸烟、饮酒、热饮、嚼槟榔、以及饮食习惯不佳引起；腺癌则主要由吸烟、肥胖、和胃食道逆流所引起。在腺癌发生前，经常可以先看到巴雷斯特食道症。鳞状细胞癌主要来自食道内沿的皮肤细胞，而腺癌则来自食道下三分之一段上皮组织中的腺体细胞。
食道癌的诊断需使用内视镜做切片检查。预防食道癌的方式则包括戒烟与健康饮食。食道癌的治疗依分期、位置、病人整体身心状况、以及日常生活功能而定。小而未扩散的鳞状上皮癌常可借手术治愈，但大多数的状况都需要在手术外搭配化学疗法与放射疗法，化学疗法与放射疗法可减缓体积较大的肿瘤生长速度。已经转移的食道癌或是身体状况不适合手术的患者则建议接受安宁缓和医疗。治疗的成效受疾病本身的状况与病人的其他疾病影响，但由于食道癌大多在晚期才被诊断，因此普遍预后不佳（五年存活率平均为13％-18%）。
食道癌在2012年的全球癌症发生率中排行第八（45.6万个新诊断患者），平均每年造成40万人死亡（死亡数正在上升中：在1990年时只造成34.5万人死亡），食道癌的发生率在各国间有巨大差异，全球有一半病患都集中在中国。食道癌好发于男性，相对于女性而言，男性的得病风险大约是三倍。
症候及症状
吞咽困难是大多数患者的第一个症状，吞咽疼痛也可能会发生。液体和软性食物通常可接受，而较硬的固体食物（如面包或肉类）就会困难许多。体重下降可能同时是营养不足合并癌症活动的一个表现。常见症状为疼痛，特别是灼烧样痛，可为剧痛、伴随吞咽加重，或为阵痛。
癌肿可能扰乱正常的胃蠕动，导致恶心、呕吐和食物逆流。由此还会导致咳嗽和发生吸入型肺炎的危险。肿瘤表面可能易破易出血，临床表现为呕血。晚期食道癌因癌肿压迫局部组织，还可能引发上腔静脉症候群等症状。另一个并发症是食道和气管之间发生瘘管。异物经瘘管入肺导致的肺炎常表现为咳嗽、发热或肺吸入。
已经远端转移的食道癌还会在转移部位引起其他症状，例如肝脏转移导致黄疸、腹水，肺转移导致呼吸困难、胸膜积液等。
原因及风险因素
增加风险
许多风险因素和食道癌有相关性。一些特定类型的食道癌和其风险因素如下：
治疗方法
一般治疗方法
食道癌的治疗方法取决于癌细胞的类型（腺癌（adenocarcinoma）/鳞癌（squamous cell carcinoma）或其他形态）、肿瘤分期、患者一般情况和有无其他疾病而定。总的来说，患者需要保证摄入足够的营养和得到适当的口腔卫生护理。
对于不能吞咽的患者，可以考虑在食道内插入人工支架（stent）以缓解其进食、饮水、吞咽唾液的困难。人工支架也可以用于缓解封闭瘘的症状。不能正常进食或在治疗期间的患者可使用安置胃管或胃造瘘术（人工造成通过皮肤直接进胃的孔道）。有些患者容易将食物或唾液后吸入气管，导致吸入性肺炎，这些人也可受益于胃管或胃造瘘。
肿瘤治疗
约20-30%的患者病灶限于局部，可以考虑外科手术治疗。体积较大但仍属局部的肿瘤可以先施以化学疗法或放射疗法，把肿瘤缩小到适宜手术的范围（不过这类疗法目前在医学界还很有争议）。
目的为治愈的手术主要是食管切除术--人为切除包含病灶的部分或全部食道。分经裂孔（从颈和腹部同时进入）、开胸和三切口（经右胸、颈、腹）三种是。因为切除后食道缩短，一般将胃上提并与食道断段吻合，或截取部分肠替代食道。对于已经扩散的肿瘤，以治愈为目的的切除已没有意义，但仍可以考虑为了缓解患者症状的外科手术。
激光疗法使用高强度的光来消灭肿瘤细胞，而不伤害身体其他部位。此疗法一般用于手术无法切除的肿瘤，以减轻梗阻和疼痛、促进吞咽。光动力疗法（PDT）是一种特殊的激光疗法。患者摄入特殊的药物，经特殊光源照射，活化在肿瘤细胞中聚集的药物成分，从而杀灭癌细胞。
食道癌的化学疗法由肿瘤分型而各异。常用的化疗药物是每三周给予顺铂（顺一双氨双氯铂，cisplatin）、卡铂（顺二氨环丁烷铂，carboplatin）或奥沙利铂（双胺类环己烷草酸铂，oxaliplatin），同时持续或每三周给予5-氟尿嘧啶（5-FU）。更新的研究结果发现，对晚期不易手术的患者，加上泛艾霉素（Epirubicin, ECF）的效果更好化疗可以作为术后巩固治疗（用来降低复发的可能）、术前巩固治疗；而对于不宜手术的情况也可用顺铂和5-氟尿嘧啶化疗。目前的临床试验着重于比较不同化疗药物组合的效果。例如已在II/III期的REAL-2试验比较了四个不同组合--泛艾霉素10公
程元振

程元振，唐肃宗、代宗时宦官。与李辅国拥立太子李豫，是为代宗，官至飞龙副使、右监门卫将军、知内侍省事。宝应元年（762年）程元振掌握了部分禁军，谋夺辅国权，代宗遂罢免辅国所有官职，以元振代判元帅府行军司马，不久遣人将辅国刺死。程元振加封为镇军大将军，封保定县侯，充宝应军使。不久加骠骑将军，封邠国公，赠其父程元贞为司空，母郄氏为赵国夫人。
广德元年（763年），吐蕃趁安史之乱攻占河陇地区，程元振知情不报，仆固怀恩勾引吐蕃、回纥入侵，同年十月，吐蕃攻到奉天，一度直逼长安。赖郭子仪处理平定乱事。后因策划政变，御史大夫王升发现，上告朝廷，流放溱州（四川省綦江县东南），在江陵（湖北省江陵县）被仇家杀死。
伯恩斯·勇气

伯恩斯·勇气（日语：バーンズ 勇気，英语：Yuuki Byrnes；），是一名童星出身的日本舞者兼演员。
从2004年度开始在天才儿童MAX中担任TV战士演出。另外，也在所属事务所组成的「Prizmax.Jr」这个团体中活跃。所属事务所同时也是TV战士de・Lencquesaing望・藤本七海的所属事务所。
早年生活及教育
伯恩斯·勇气于1992年12月27日生于日本神奈川县横须贺市，他的母亲是日本人，父亲是美国人。
他于2002年开始学习舞蹈，从小立志成为一名舞者。此外，他还擅长打鼓，倒立等等。喜欢的食物是拉面。喜欢的台词是「Come on!」。
亚太和平研究基金会

亚太和平研究基金会（英语：Foundation on Asia-Pacific Peace Studies），简称亚太基金会，其前身「中华欧亚基金会」成立于1994年，是具有浓厚官方色彩的民间非营利智库，与两岸交流远景基金会同属中华民国国家安全局的外围智库，主要研究领域为台湾海峡两岸关系、中国大陆研究与国际关系等。
基金会曾受行政院大陆委员会委托承办「和平论坛」，2007年主要活动有「美台中关系变数与展望」国际研讨会、「台日论坛」等。2008年政党轮替之后大幅改组，更名为「亚太和平研究基金会」。
2016年8月10日，时任董事长赵春山卸任，由许信良接任。
2020年一边一国行动党解散后，该党前秘书长许龙俊成为亚太和平研究基金会董事。
细川忠兴

细川忠兴（，）是日本安土桃山时代至江户时代初期的武将、大名，小仓藩的第1代藩主。他是细川藤孝的嫡子，曾经是细川辉经的养子，正室为玉子。通称与一郎。育有六男五女，包括长男忠隆（日语：细川忠隆）、次男兴秋（日语：细川兴秋）、三男忠利等。他的别名是长冈忠兴，别名由1578年开始使用，关原之战后使用羽柴姓，大坂之役后才使用本来的姓氏。
生平
少年时代
于京都出生，儿时当父亲藤孝为足利义辉的家臣，随室町幕府势力削弱，父亲决定投靠织田信长，幼名熊千代，其名字为信长长男织田信忠的一字拜领，1577年协助讨伐叛将松永久秀，攻占森冈城，得到了信长的感谢状，后来受到信长的任命成为了建部山城（日语：建部山城）城主，并成功消灭一色氏并与父亲藤孝成为了丹后国的守护。1579年与明智光秀三女玉子结进行婚姻。
丰臣家臣时代
本能寺之变，织田信长遭到明智光秀大军包围而死亡，虽然岳父是明智光秀，可是细川忠兴没有跟随，甚至拒绝明智光秀的邀请并攻打明智军的据点，同时间他将正室玉子幽禁，当玉子信基督教后，又下令领内禁教。在明智光秀死后，父亲藤孝退位，将宫津城交由他管理之后，自此他成为了羽柴秀吉（丰臣秀吉）的家臣，随秀吉参与小牧·长久手之战，忠兴在协助主力部队撤退时击退了织田信雄的军势。1585年就任从四位下，待从。之后听命参与九州征伐，也参与了讨伐北条氏的小田原征伐，并攻陷韮山城（日语：韮山城）。文禄·庆长之役也有参与。在丰臣秀次事件中差点遭到连坐，在家臣松井康之（日语：松井康之）的奔走下得以摆脱嫌疑。
关原之战及幕府藩主
在丰臣秀吉病死后，细川忠兴开始与德川家康接近，并将三男忠利送往江户城成为人质，因此除丹后12万石的领地外，又被德川家康加封于丰后国杵筑城6万石。曾与丰臣家的武断派诸侯（加藤清正、福岛正则、加藤嘉明、浅野幸长、池田辉政、黑田长政等人）一同参与袭击石田三成的计划。关原之战前夕，在石田三成拘捕诸侯家人人质的行动下，正室玉子宁死不屈而由家臣协助杀害自己，使得细川忠兴心无挂念参与了东军。在战役中细川忠兴抵挡石田三成部属岛左近的部队，战后被家康分封于丰前国的小仓合共三十九万六千石。1614年参加大坂之战，在平野与丰臣军交战。1619年决定剃发为僧，并改称三斋。
晚年
1620年将家督的位置交给三男忠利。1632年当忠利被移封到熊本54万石的时候，在八代城（日语：八代城）「隐居」（过退休生活），在1646年于八代城病死，终年八十三岁。他的墓地在熊本市黑髪町泰胜寺以及在京都大德寺高桐院。
1924年（大正13年）11月10日赠正三位。
傅友德

傅友德，元末宿州人，生于砀山，明朝开国功臣。
傅友德早年参加刘福通军，随李喜喜入蜀。后率部归朱元璋，从徐达北伐。明太祖第二次北伐期间，七战七胜平定甘肃。后与汤和分南北两路取四川，以主帅之职平定云南。以功封颍国公，封太子太师。后遭朱元璋猜忌，在杀死其子后，当着朱元璋的面自杀身亡。
生平
早年经历
少年骁勇，善于击刺骑射。并在元末加入刘福通红巾军，之后跟随水寇李喜喜入四川、归降夏王明玉珍，明玉珍见之不用，遂赴武昌投靠汉王陈友谅。至正二十一年（1361年），于吴王朱元璋进攻江州时率众归顺。朱元璋与他交谈，觉得他非同寻常，便任他为将。至正二十三年（1363年），跟随常遇春支援安丰，夺取庐州。随后参加鄱阳湖之战，驾轻舟挫败陈友谅军前锋。傅友德多处受伤，却愈战愈猛，又在泾江口拦击汉军，陈友谅战败而死。次年，随征武昌，诸将从城东南的高冠山可俯视城中，却被汉兵占据，诸将相互观望，不愿前进。傅友德率领数百人，一鼓夺之。飞箭射中面颊，穿透两腮，傅友德毫不丧气。武昌平定，他被授为雄武卫指挥使。
傅友德之后跟随徐达攻取庐州，另外率军攻克夷陵、衡州、襄阳。进攻安陆时，傅友德九处受伤，最终攻克安陆，并擒获元将任亮。又随大军下淮东，在马骡港击败张士诚援兵，获战船千艘，又在安丰大败元将竹贞。与陆聚驻守徐州，扩廓帖木儿派李二来攻，驻扎陵子村。傅友德估计寡不敌众，于是坚守不战。当探知元军正四散抢掠时，便率领二千人逆河而上到达吕梁洪，登陆进击，傅友德独自骑着战马，持槊奋力刺向元将韩乙。元军败退。傅友德料到元军还会再来，便迅速返回，打开城门，列阵野外，横戈以待，约定闻鼓即起。李二果然到达，傅友德立即下令鸣鼓，士兵腾跃搏击，破擒李二。傅友德应召回京，晋升为江淮行省参知政事，朱元璋撤掉御前麾盖，命人敲鼓吹号将他送回府宅。
参加北伐
至正二十七年，跟随靖远大将军徐达北伐，攻占沂州、青州。元丞相也速来援，傅友德以轻骑诱元军进入伏击点，然后奋力追杀元军，于是攻取德州、沧州。攻克元大都后，傅友德巡察古北口，驻守卢沟桥，攻取大同，回军攻下保定、真定，驻守定州。随后攻山西，攻克太原。扩廓帖木儿自保安来援，万名骑兵突然而至。傅友德率领五十名骑兵将元军冲退，并趁机夜袭元营。扩廓帖木儿仓促逃遁，傅友德率军追至土门关，俘获数以万计。又在石州击败贺宗哲，在宣府击败脱列伯，然后往西会合徐达，围攻庆阳，以一部队军队驻扎灵州，遏制元军援兵，于是攻克庆阳。回京后，被赐白金、文绮。
洪武三年（1370年），傅友德跟随徐达直捣定西，大败扩廓帖木儿。然后率军伐蜀，傅友德率领前锋出一百八渡，夺取略阳，于是进入沔州。又分兵自连云栈攻克汉中。因粮饷不继，回军西安。夏将吴友仁进攻汉中，傅友德率三千骑兵前去援救，进攻斗山寨，命军中士兵燃起十个火把分布山上，夏兵见此惊逃。同年冬天，傅友德被授为开国辅运推诚宣力武臣、荣禄大夫、柱国、同知大都督府事，封为颍川侯，年禄一千五百石，并被授予世券。
攻灭明夏
第二年，傅友德担任征虏前将军，与征西将军汤和分道伐蜀。汤和率廖永忠等以水师进攻瞿塘峡，傅友德率顾时等以步兵、骑兵出秦、陇。朱元璋对傅友德说：“蜀人听说我军西伐，必定将其全部精锐部分东守瞿塘，北阻金牛，抵抗我军。如果出其不意，直捣阶、文，门户已毁，腹心自溃。兵贵神速，只怕军队不勇猛啊。”傅友德疾驰至陕，召集诸军声言兵出金牛，而暗地里却率军直趋陈仓，攀援岩石，昼夜行进。抵达阶州，击败夏将丁世珍，攻克此城。夏军弄断白龙江桥。傅友德军修桥渡江，攻破五里关，于是攻克文州。然后渡过白水江，直趋绵州。当时汉江水涨，不能渡江，傅友德军为此伐木营造战舰。为将军威通达瞿塘，于是便削成数千木牌，将攻克阶、文、绵的日期刻上，投入汉水，让它们顺流而下。守军见后，全部解体。
当初，夏军获悉大军西征，丞相戴寿等聚集所有部众防守瞿塘。等到听说傅友德攻克阶、文，直捣江油，才分兵支援汉州，以保成都。还未到达时，傅友德军已经在城下打败其守将向大亨，并对将士说道：“援军远道而来，听说向大亨兵败，便已经丧胆，无能为力了。”然后加以迎击，大败夏军。遂拔汉州，进围成都。戴寿等驱象来战。傅友德下令以强弩火器冲击，身中飞箭却毫不后退，将士也殊死作战。大象调头而跑，踩死许多夏军。戴寿等获悉明升已降，才登记府库、仓廪钱粮，反绑双手到军门投降。成都平定。然后分兵进攻未下州县，攻克保宁，将吴友仁捉拿押送京城，蜀地全部平定。傅友德进攻汉州时，汤和还屯军于大溪口。在江流中得到木牌后才进兵。而戴寿等此时已撤其精兵西救汉州，留下老弱防守瞿塘，所以廖永忠等才得以乘胜直捣重庆，降服明升。因此朱元璋写作《平西蜀文》，盛赞傅友德功劳第一，廖永忠次之。回师之后，傅友德受到朱元璋的赏赐。
西征甘肃
洪武五年（1372年），傅友德协助征西将军冯胜远征沙漠，在西凉击败失剌罕，至永昌，击败太尉朵儿只巴，俘
Adobe InDesign

Adobe InDesign是Adobe公司的桌面出版（DTP）应用程式，主要用于各种印刷品的排版编辑。
概述
Adobe InDesign是直接针对其竞争对手QuarkXPress而发布的。虽然其最初在争取用户方面面临了一些困难，但在2002年发布了Mac OS X版本后开始赶超其竞争对手。现在InDesign作为Creative Suite套装的重要组成部分，与Photoshop、Illustrator和Acrobat等捆绑销售。
InDesign可以将文档直接导出为Adobe的PDF格式，而且有多语言支持。它也是第一个支持Unicode文本处理的主流DTP应用程序，率先使用新型OpenType字体，高级透明性能，图层样式，自定义裁切等功能。它基于JavaScript特性，和与兄弟软件Illustrator、Photoshop等的完美结合，界面的一致性等特点都受到了用户的青睐。
作为PageMaker的继承者，InDesign定位于高端用户。Adobe已经停止了PageMaker的开发，全面转向InDesign。它最初主要适用于定期出版物，海报和其他印刷媒体。一些长文档仍使用FrameMaker（操作说明书，技术文档等）或QuarkXPress（书籍，商品目录等）。现在，随著相关数据库的合并，InDesign和使用相同格式引擎的文字处理Adobe InCopy的共用，已经使它成为报刊杂志和其他出版环境中的重要软件。
版本
从2.0版开始，InDesign的特色是：
新版本InDesign导入新的文件格式。很多用户非常不满意InDesign CS的显著变化，因为它无法向前兼容保存为旧版本格式。尽管如此，在新版本InDesign CS2发布后，InDesign CS的用户可以通过一个基于XML的文档展示的InDesign Interchange（.inx）格式打开高版本文档。2005年4月InDesign CS可以升级到3.01（从官方网站上免费升级）可以读取从InDesign CS2导出的这种格式。
和其他CS2成员一样，该软件同时拥有Mac和Windows平台的两个版本。InDesign CS2 Mac版本是基于PowerPC构建的，因此在2006年苹果新发布的英特尔芯片Mac电脑上，运行CS2版本的产品需要rosetta进行编译，从而严重影响了处理速度。
CS3的一个重要性能将其通用二进制化，来同时适应英特尔和PowerPC芯片的苹果麦金塔电脑。CS3版本的主要新功能有
中文版本
早期版本对双字节的中文支持不是很好，在中国当地还有一款叫「彩蝶」的插件实现英文InDesign CS版本的本地化。
CS2、CS3版本有官方的中文版本，包括简体中文版和正体中文版，并带有CJK排版（CJK东亚语言，中日韩三国文字）所需要的一些特别功能，比如给方块字注音的「拼音」功能，直排内横排功能，旋转字符，针对方块字的「调整字符前后间距」，支持异体字形的「SING字形模板」等。
原生指令排序

原生命令伫列（英语：Native Command Queuing，简称：NCQ），原先是改善伺服器硬碟存取控制技术，应用在SCSI和SATA 1.0/2.0/3.0介面硬碟读写加速技术，其介面开启磁碟阵列RAID亦能加速。透过硬碟韧体、硬碟控制器以及作业系统三者的互相配合，改善硬碟内部磁区的读取顺序，可以提高硬碟效能，亦能够轻微减轻硬碟损耗的速率。NCQ对用于伺服器上的硬碟的效率提升尤为明显。
原理
一般硬碟使用的硬碟格式通常为Windows 98核心所使用的FAT32系列，或是Windows NT所使用的NTFS，此种硬碟格式在存取资料时，时常会出现散乱的情况，导致一个文件被不规则的分散成许多的区块存放于磁盘上面，时间一久，文件散乱的程度会日趋严重，由于传统的硬碟读取方式，会从文件的开头依序读取到结尾，若文件散乱的程度愈严重，则读取头需要来回移动的距离就越长，导致硬碟读写效能逐渐下降。一旦发生这样的问题，解决方案便是使用磁碟重组软体来进行硬碟重组，将散乱的文件重新排列为连续的区块，但由于执行磁碟重组可能会需要搬动大量的磁碟区块，如果太常执行磁碟重组，除了会提高系统负载，亦将会缩短磁碟机的使用寿命，NCQ即为了解决此种情况而诞生。NCQ的概念原本是应用在伺服器上常见的SCSI介面上，在SCSI的规格中即包含此项技术，只是不叫做NCQ，将此项技术经过些许修改后称为NCQ，并将其应用在SATA介面上，后来的SAS介面也支持此项技术。启用NCQ技术的硬碟，在读取文件时，会依照文件在硬碟上的分布，将存取的顺序作最有效率的排序，以减少机械臂移动的距离，进而达到省时以及延长硬碟寿命的效果。
优势
于SATA II NCQ协定中，新增3个功能，分别是：
条件
开启NCQ，除硬碟本身必须支持NCQ外，作业系统（OS）与介面控制器（controller）的支持也是不可或缺的条件。举例说，在Microsoft Windows平台上，从Windows Vista开始才支持NCQ，而Windows XP若要使用NCQ，则要额外安装支持软件。
支持晶片
（旧资料）
以下是支持NCQ的硬碟控制器，曾经被广泛使用，然而一些现在已经被淘汰:
总统之死

《总统之死》（"Death of a President"）是一部2006年的英国仿纪录片，由Gabriel Range导演及拍摄。
剧情
这部电影讲述了美国总统乔治·W·布什于2007年10月在芝加哥访问时在街头被暗杀。主要嫌疑犯是一名叙利亚裔男子。而后通过调查发现暗杀的主谋是一位牺牲军人的父亲，他的儿子在伊拉克战争的战场上被杀。他暗杀总统的唯一原因是因为他恨布什。在他的自杀遗言上写着：「没有任何冠冕堂皇的理由让我原谅杀死我们大卫（他的儿子）的凶手布什。」这部影片通过模拟在总统被暗杀三年以后泄露出来的录像，然后一步一步追踪分析引出一系列令人深思的事件，例如解析了美国现在社会对于信奉伊斯兰教的人的歧视，奇特的反恐思维，一种曾经被世界很多年轻人推崇现在却被批驳的美国文化主义。
射流 (数学)

射流，也称节（英语：Jet）在数学中是指取一个可微函数"f"并在其定义域的每一点产生一个多项式，也就是"f"的截尾泰勒多项式的操作。虽然这是一个射流的定义，射流理论将这些多项式作为抽象多项式而不是多项式函数。
欧氏空间之间的函数的射流
在给出一个射流的严格定义之前，有必要查看一些特殊情况。
例：一维情况
设formula_1是实值函数，在点formula_2的领域"U"有至少"k+1"阶导数。那么根据泰勒定理，
其中
那么"f"在点formula_2的"k"-射流定义为多项式
射流通常视为变量"z"的抽象多项式，而不是一个该变量实际的多项式函数。换言之，"z"是一个不定变量，这使得我们可以在射流上施行各种代数操作。实际上，射流是从基点formula_2得到它们的函数依赖关系。这样，通过变换基点，一个射流在每一点产生了一个"k"次多项式。这标志着射流和截尾泰勒级数的概念上的区别：通常泰勒级数被视为函数式地依赖于它的变量，而非其基点。另一方面，射流将泰勒级数的代数属性和它们的函数属性分离开来。我们将在本条目后面讨论该区别的原因和应用。
例：从欧氏空间到另一个欧氏空间的映射
假设formula_8是从一个欧氏空间到另一个的一个函数，有至少"(k+1)"阶导数。本例中，推广的泰勒定理断言
这个情况下，"f"的"k"-射流定义为多项式
例：射流的代数属性
射流可以加上两种基本的代数结构。第一个是乘积结构，虽然这最后是最不重要的。第二个是射流的复合结构。
若formula_11是一对实值函数，则我们可以定义它们的射流的积为
这里，我们略去了不定变量"z"，因为可以将射流理解为形式化多项式。这个乘积就是"z"上的普通多项式的乘积，以formula_13为模。换言之，它是在环formula_14上的乘积，其中formula_15是由次数≥ k+1的齐次多项式生成的理想。
现在讨论射流的复合。为避免不必要的技术细节，我们考虑从原点映射到原点的函数的射流。若formula_16和formula_17满足"f"(0)=0和"g"(0)=0，则formula_18。"射流的复合"定义为
formula_19
它可以用链式法则直接证明构成一个原点的射流空间上的非交换操作。
实际上，"k"-射流的复合不过就是多项式的复合，以次数formula_20的齐次多项式为模。
"例:"
且
欧氏空间一点的射流：严格定义
本节集中描述在一点的一个函数的射流的两种不同的严格定义，之后讨论泰勒定理。这些定义在给出在两个流形之间的射流的内蕴定义中是很有用的。
解析定义
如下的定义采用了数学分析中定义射流和射流空间的思想。它可以推广到巴拿赫空间之间的光滑函数、实或复域之间的解析函数、p进分析、或是其它的分析领域。
令formula_27为光滑函数formula_28的向量空间。令"k"为非负整数，并令"p"为formula_29的一点。我们在该空间定义一个等价关系formula_30，也就是令两个函数"f"和"g"等价如果"f"和"g"在"p"有相同的值，并且所有它们的偏导数等价到"k"阶，若"f"和"g"在"p"数值相同，并且它们直到"p"阶的偏导数全部相同。
"k"阶射流空间formula_27在点"p"定义为formula_32的等价类集合，并记为formula_33。
光滑函数formula_34的"k"阶射流定义为"f"在formula_33中所属的等价类。
代数几何定义
如下定义采用代数几何和交换代数中的思想来建立射流和射流空间的概念。虽然这个定义不太适合代数几何本身，因为它属于光滑范畴，但也很容易修改为适合代数几何的使用的形式。
令formula_36为光滑函数formula_28在formula_29中的点"p"的芽的向量空间。令formula_39为在"p"为零的函数的理想。(这是局部环 formula_36的极大理想。)则理想formula_41由所有在点"p"直到"k"阶导数全部为零的函数的芽组成。现在我们可以定义"p"点的射流空间为
若formula_28为光滑函数，我们可以定义"f"在"p"的"k"阶射流为formula_33的如下元素
泰勒定理
不管怎样定义，泰勒定理建立了向量空间formula_33和formula_47之间的标准同构。所以，在欧氏空间的范围中，射流通常可以和它们的多项式表示在这个同构下等同起来。
从一点到一点的射流空间
我们定义了位于一点formula_48的射流的空间formula_33由所有"f"("p")="q"的函数"f"的射流组成的子空间记为
两个流形间的函数的射流
若"M"和"N"是两个光滑流形，我们如何定义函数formula_51的射流?也许可以通过"M"和"N"上的局部坐标来定义。这个方法的缺点是流形不能在这种
寻淮洲

寻淮洲，又名寻波，中国湖南浏阳人，中国工农红军将领，中华苏维埃共和国中央执行委员。
生平
寻淮洲1927年参加秋收起义，并加入中国共青团，1928年转入中国共产党，1929年升任红四军排长，因作战英勇，1930年即升任团长，12月30日，寻淮洲在第一次反围剿战争龙冈战斗中生擒国民革命军第十八师师长、前线总指挥张辉瓒。
1932年3月，寻淮洲升任红一军团红十五军45师师长，12月任红二十一军军长。1933年6月红军改编后，任红三军团第五师师长，同年10月调任红七军团军团长。
1934年7月，红7军团受命组成中国工农红军北上抗日先遣队，从中央苏区的东部出发，向闽、浙、赣、皖诸省国民党后方挺进，并曾一度攻占罗源、穆阳、庆元、清湖、常山等城镇。
1934年11月，与红十军会师后，两军整编为红十军团，因为与原红七军团政治委员乐少华颇有矛盾，寻被降职为第十九师师长。12月6日，寻淮洲所部绑架牧师师达能夫妇（John Cornelius Stam），勒索2万元未果，7日将师达能夫妇斩首，二月大的婴儿为当地教友所救。12月14日，寻淮洲在安徽黄山谭家桥的战斗中，寻亲率敢死队夺占制高点，中弹负重伤，次日身亡。
纪念
1938年5月新四军第一支队司令陈毅途经茂林时为寻淮洲所写碑文如下，现刻于泾县茂林镇寻淮洲烈士纪念碑上：
筿原爱实

筿原爱实是出身于日本东京都的演员。是以可爱的外型与让人喜爱的笑容而广受欢迎的偶像。
血型是O型。身高155公分。性格是有点迷糊(在网志中提到别人曾经说她是个"不思议ちゃん(不可思议的人)"）与害羞的感觉。因为有远视性乱视而看不清楚近物的关系,而有备用的眼镜,并且表示要注意保护视力。容易感冒,曾经因为感冒而住院过3次。习惯是在无意识中会拨弄自己的头发。过去讨厌包括乌鸦在内的各种动物,但渐渐地加以克服,现在并饲养了一只在2006年8月出生,名叫フゥタ的狗。有一个年纪小很多的妹妹来歩(くるみ)ちゃん。从2004年度到2006年度在『天才儿童MAX』作为TV战士。在2006年10月4日开设了个人网志「筿原爱実のつぐみかんブログ(みかん-「蜜柑」是橘子之意,かん-「缶」则是罐头之意)」,在网志中也有与读者分享学习汉字心得的单元。从ピチレモン2007年6月号开始担任杂志的模特儿（ピチモ）。也以演员身份参与了戏剧，电影等。2012年12月在网志上宣布，将从演艺活动转向电视剧制作发展。在2015年春季毕业之后进入了波丽佳音公司工作。有自己的Twitter网页。暱称是『つぐちゃん(小爱)』、『つぐ(爱)』。
金田一少年之事件簿 (电视剧)

《金田一少年之事件簿》（原名：金田一少年の事件簿）是根据日本同名漫画（包括衍生动画、小说）改编，由名侦探金田一耕助的孙子金田一一和青梅竹马的七濑美雪、警视厅的剑持勇警部解决疑难事件的推理电视剧。读卖电视台、日本电视台（NTV）分别在1995年、1996年、2001年、2014年、2022年五度日剧化，加上2005年的电视特别版，共有五个不同的主演版本，目前只有堂本刚演出的版本有一个正式的完结篇。
历代主要演员
历代金田一饰演者均为杰尼斯旗下艺人，又以初代金田一堂本刚因印象契合最受好评，有些参与演出的演员有出现跨代参与演出的情况，通常是前代饰演配角的菜鸟演员在后代晋升饰演主要角色的情形，例如铃木杏(第一代都筑瑞穗→第二代七濑美雪)以及成宫宽贵(第二代斑目扬羽→第四代高远遥一)、上白石萌歌(第四代日剧单元「银幕之杀人鬼」演出游佐知惠美→第五代七濑美雪)。
第一代（1995年 - 1997年）
包括两部《金田一少年事件簿》连续剧、单发特别篇《学园七不可思议杀人事件》、《雪夜叉传说杀人事件》、剧场版《上海鱼人传说》5部作品，是导演堤幸彦的成名作。
连续剧（第一季）
日本电视台于1995年4月8日21:00 - 22:54播出首个金田一系列特别篇《学园七不思议杀人事件》，结果反应十分热烈。1995年7月15日起，首部金田一系列连续剧在日本电视台土九档（周六晚九点）首播。虽然主角堂本刚的身形和发型与漫画中的金田一差距甚远，而友坂理惠和上围丰满的七濑美雪也有一段距离，但是剧集最后大受欢迎，平均收视率为23.9%。在1995年9月9日、9月16日播出的《蜡人形城杀人事件》，当时原作漫画也正在连载中，结果电视剧比原作的连载进度更快，在漫画出刊之前就已经泄漏了剧情。
1996年暑假时卫视中文台以中文配音方式在台湾播出，还请来歌手李玟代言，于每集开场前引言解说该集的剧情，中文形象曲为「爱我久一点」。同时近期网路上也有网友分享情报表示当年第一季电视剧的「蜡人形城杀人事件」中，单元角色之一的外国人玛丽亚的中配为歌手李玟本人配音。
当年年末还制作了特别篇《金田一少年之事件簿 雪夜叉杀人事件》，接档剧《银狼怪奇档案》主角不破耕助〈银狼〉由堂本光一以一人分饰二角的方式在剧中结尾登场。在这个作品中，不破耕助被设定成是金田一的好友。此外，《雪夜叉传说杀人事件》剧中的新闻节目「The Wide」（ザ・ワイド），主持人是由草野仁及饭星景子担任，来宾则由织田无道以本人的身分演出。
连续剧（第二季）
第二季首播于1996年7月13日，为第一季的延续，因此演员及角色与第一季相同，平均收视率为22.4%。台湾地区由卫视中文台于1997年首播，首播月份不明。
《异人馆饭店杀人事件》中，由于剧情安排金田一住院，因此由美雪代替他来进行推理（最后金田一也有登场）。此外，《银狼怪奇档案》中的「天神学园」学生（三宅健、秋山纯、松山幸次）也特别客串了该集。有评论认为由于堂本刚（所属团体为KinKi Kids）的搭档堂本光一演出当时正在播出的TBS连续剧《嫩芽之时》（若叶のころ），由于无法确认光一的登场时间，为了让两人不要形成同团竞争的局面，因此刻意安排堂本刚（金田一）在本事件中住院。
此外，在《金田一少年的杀人》中，之后在第三季扮演七濑美雪的铃木杏饰演都筑瑞穗一角，这也是她第一次的电视剧演出作品。
第二代（2001年）
以“21世纪的金田一少年”为口号，以全新班底制作，包括单发电视剧《魔术列车杀人事件》及第三部连续剧《金田一少年事件簿》。
连续剧（第三季）
日本电视台（NTV）于是在2001年3月25日以新的演员班底推出特别篇《魔术列车杀人事件》，效果不错。因此，第三季正式于2001年7月14日播出，平均收视率13.7%。虽然是前两季的延续，在第一代饰演配角督筑瑞穗的铃木杏在这一代则挑起饰演女主角七濑美雪的大梁，此外、在本代中饰演命案关系人斑目扬羽的成宫宽贵日后在第四代亦饰演金田一的死敌：人称「地狱傀儡师」的犯罪策画者高远遥一。
该剧于2003年3月28日于香港有线电视在播出，于2002年2月2日于TVBS-G在台湾首播。
第三代（2005年）
暌违四年后，日本电视台于2005年9月24日周六21:00 - 23:09播出金田一系列特别篇，由于主要登场人物的设定性格大幅变更，观众反应欠佳，连续剧版制作计划被搁置，也是历代金田一系列中唯一一部只有单发剧，没有制作连续剧的版本。
第四代（2013年 - 2014年）
作为日本电视台60周年特别节目，金田一系列于2013年以跨国拍摄的特别篇重启。包括两部单发电视剧和第四部连续剧《金田一少年の事件簿N（neo）》。连续剧一共九集，首集特别两小时播放。
香港九龙财宝杀人事件（单发剧）
在香港进行外景拍摄，日本电视台于2013年1月12日21:00
副都心线

副都心线是一条连结日本埼玉县和光市和光市站和东京都涩谷区涩谷站、由东京地下铁运营的铁路线。铁道要览（日语：鉄道要覧）内的名称为「13号线副都心线」。和光市－小竹向原段与有乐町线共用轨道、车站、设施，而小竹向原－池袋则与同线并行于复复线路段。
路线名来自路线纵断池袋、新宿、涩谷三大副都心的特色。车体、路线图与转乘资讯使用的路线颜色为棕色，路线记号为F。
包括本路线的5间铁路公司（东武、西武、东京地下铁、东急、横滨高速铁道）互相直通运行，形成埼玉县西部的滑川町、川越市、饭能市、所泽市各方向起至神奈川县横滨市的广域铁路网。
路线资料
距离、站数以小竹向原－涩谷之间为准。
简介
1985年，「运输政策审议会」所提出的第7号报告，确立了副都心线路线原型「13号线」的规划，寻求纾解JR山手线、埼京线「池袋站～涩谷站」段的运输压力。其中「志木站～和光市站」段以东武东上本线新建复线轨道方式处理；「和光市站～小竹向原站」段随著「营团成增站（现在的地下铁成增站）～池袋站」与「和光市站～营团成增站」路段先后通车，并入有乐町线的营运路线内；「小竹向原站～池袋站」段则有分属有乐町线与副都心线的复线轨道，在副都心线通车前，此部份被纳入「有乐町新线」营运区间；「池袋站～涩谷站」段则为新建区间，于2008年6月14日通车。此外，副都心线也是现阶段东京地下铁公司所兴建的最后一条新路线。
有乐町新线
「小竹向原站～池袋站」段复线轨道中属于副都心线的部分，自1994年起设置具有过渡性质的「有乐町新线」区间（或称为「有乐町线复线部分」；亦可简称为「新线」）；代表色与副都心线同为棕色。列车于有乐町新线区间仅停靠小竹向原站与「新线池袋」站（由于副都心线池袋站与有乐町线池袋站位置不同，因此加注「新线」两字作为区别），千川站与要町站皆为过站不停（副都心线「池袋站～涩谷站」段通车后，列车将开始停靠）；于「和光市站～小竹向原站」段则与有乐町线共用轨道与车站（「池袋站～涩谷站」段通车后亦同）。
路线内急行运转
副都心线设有急行列车服务；副都心线东新宿站设置避车线。副都心线急行列车行驶于与山手线、埼京线、湘南新宿线并行的区间（池袋站～涩谷站路段）的所需时间大致与埼京线、湘南新宿线列车相同（约11分钟）；普通列车大致与山手线列车相同（约16分钟）。
历史
包括一部分作为有乐町线兴建的路段。
运行形态
副都心线的急行与通勤急行全部列车为10节编组，各站停车大部分为8节编组。10节编组与8节编组列车的停止位置不同，因此车站时刻表、显示屏、接近广播都会导览列车的编组节数。另外由于可经涩谷站直通东急东横线，再直通相铁线（经东急新横滨线、相鉄新横滨线至相铁本线、泉野线）、经小竹向原站直通西武线（途经西武有乐町线直通池袋线）、经和光市站直通东武东上线内，多数列车都有改变类别的设定，故此也会导览直通路线内的类别。
副都心线的终点涩谷站，所有列车直通至东急东横线。当中大半列车还会经东横线的终点站横滨站进一步直通至横滨高速铁道港未来线元町·中华街站；或者从日吉站经东急新横滨线、相铁新横滨线、相铁本线、泉野线直通至湘南台站（平日早晨直通至西谷站、大和站；平日与假日的清晨及夜间，因车辆出入库的关系，则直通至海老名站）。不过东横线、港未来线全日都有不少不直通至副都心线（涩谷站折返）的列车。
日间以30分钟的循环频率运行。其间急行每15分钟2班，各站停车间隔不定5班，当中1班在池袋站折返东横线方向。
日间的运转模式与班次如下表。作为参考，在和光市—小竹向原与之共线的有乐町线列车也一并记载。
互相直通运行
东武东上线直通
2008年6月14日开业当初就已经途经和光市站直通至东武东上线森林公园站，2019年3月16日时刻表改正后直通运行至小川町站。急行、通勤急行、各站停车在东武线内都作为各站停车的「普通」运行，直至2016年3月26日以后日间时副都心线急行「急行」运行时，周末假日一部分列车作为「快速急行」运行。
2016年3月26日时刻表改正前基本上都是川越市站到发列车，森林公园站到发列车只限进出邻接车站构内的森林公园检修区（日语：森林公园検修区）与早上晚间的东武车。2013年3月16日时刻表改正以后，日间以川越市站到发的急行（东武线内普通）每30分钟1班运行，2016年3月26日时刻表改正以后，改为在森林公园站到发（东武线内急行）。10节编组运行。2019年3月16日时刻表改正起，只限周末假日时间表的早上一部分列车在小川町站到发。
只有在平日时刻表才有早上与黄昏以后一部分列车以志木站到发。这些列车都是8节编组。
相模铁道的20000系列车截至2023年3月尚未驶进东武线，仅运行至副都心线的和光市为止。
西武线直通
2008年6月14日开业当初已途经小竹向原站和西武有乐町线直通至西武池袋线饭能站。西武线直通的速达
卡茨-穆迪代数

卡茨-穆迪代数是一个李代数，通常无限维，其定义自（Victor Kac所谓的）广义根系。卡茨-穆迪代数的应用遍及数学和理论物理学。
定义
假定以下材料：
卡茨-穆迪代数formula_12
由符号 formula_13, formula_14 ("i=1..,n") 及空间formula_3 生成：
以上各元满足以下关系：
一个 实(维数可以无限)李代数亦可称为 Kac–Moody代数，若其 复化 是个 Kac–Moody代数.
释义
其中 ω 是 formula_5的一元， 
则称"g" 为 权(weight) ω的. 我们可分解一Kac–Moody 代数成其幂空间，则嘉当子代数 formula_3的幂为零，"e""i"的幂为α*"i"，而"f""i"的幂为−α*"i"。若二幂特征向量的李括号非零，则其幂是二幂之和。（若 formula_36) 则 formula_17 一条件即指 α*"i" 都是简单根。
分类
我们可分解广义嘉当矩阵 C 成矩阵积 DS, 其中 D 是 正对角矩阵, S 是 对称矩阵。
然则有三种可能:
S 不可能 负定 或 负半定 因其对角元皆正.
可靠性定理

可靠性定理是数理逻辑的最基本结果。它们有关于某个形式逻辑语言与这个语言的形式演绎系统的特定语义理论。可靠性定理有两种主要变体：弱可靠性的和强可靠性的。“强”与“弱”的意义在于，强可靠性考虑句子的任意集合，而与弱可靠性有关的句子的空集是这种集合之一。大多数的演绎系统，强可靠性和弱可靠性都成立，但并非全部的演绎系统都如此。
论证可靠性
逻辑论证可靠若且唯若
弱可靠性定理
演绎系统的弱可靠性定理声称，在这个演绎系统中任何可证明的句子，在所有释义或这个理论所基于的语言的语义理论的模型上为真。用符号表示，这里的S是演绎系统，而L是语言和一起的它的语义理论，而P是L的句子：若formula_1，则formula_2。
强可靠性定理
演绎系统的强可靠性定理声称，演绎系统所基于的语言的任何句子P，可以从这个语言的一个句子集合Γ推导出来，则它也是这个集合Γ的语义推论，在使Γ的所有成员为真的任何模型也使P为真的意义上。用符号表示，这里的Γ是L句子的一个集合：若formula_3,则formula_4。
与完备性定理的联系
可靠性定理的逆命题是语义完备性定理。在强形式下，它声称对于一个演绎系统和语义理论，是一个句子集合的语义推论的任何句子可以在这个演绎系统中从这个集合推导出来。（在一阶完备性定理的情况下常叫做哥德尔完备性定理。）用符号表示：若formula_4，则formula_3。
非形式的，演绎系统的可靠性定理告诉我们用这个演绎系统可以推导或证明的任何东西都是你希望能够推导或证明的东西。因此，没有你不想推导出的东西可以被推导出来。所以，推导关于语义可以被信任。完备性告诉我们你希望能被推导或证明的所有东西都可以被推导出来。
哥德尔第一不完备定理保证对于有充分表达力的语言，可能没有演绎系统关于经典语义是完备的，在其中所有句子是要么为真要么为假。因此，不是所有可靠的演绎系统都是完备的。
而可靠性一般被认为是对有价值的演绎系统根本上的最小要求。这是因为如果演绎系统是不可靠的，在这个系统中可以被推导或证明的一个句子不告诉我们关于这个句子的语义性质的任何事情。
新北市私立福瑞斯特高级中学

新北市福瑞斯特高级中学（Forestry High School），原名新北市私立中华高级中学，是台湾新北市土城区的一所私立学校，创校于1962年，学校现有小学部/国中部，学生人数约500人。
十时连贞

〈
十时连贞，日本战国时代、安土桃山时代、江户时代初期的武将，通称摄津守、孙右卫门，晚年号「雪斋」。为十时惟次次子、立花家老，是「立花四天王」之一。
生平
家族背景
十时氏起源于九州丰后中的国人众大神姓氏一族的一个分支，代代居住于入仓庄而称「入仓」，在大友氏来到丰后成为守护大名之际，臣属于大友家。之后，十时连贞的曾祖父入仓长门守惟信移住同国大野郡，十时庄成为十时城主，于是自此改称「十时」，并依附大友家一族的重臣户次氏、担任其家老，也获赐姓「户次」。
大永6年（1526年）3月20日，十时连贞的祖父十时惟信与其孙十时惟种跟随初次上阵的少主户次鉴连（即立花道雪）参加丰前的「马岳城攻略战」；户次鉴连在一天内攻下此城，而十时惟信与惟种阵亡。
十时连贞的父亲十时惟次跟随主君户次鉴连为大友家南征北讨，并于天文11年（1542年）平定由筑前鹰取山城城主毛利镇实发动的叛乱；户次鉴连等人率5百弓箭队攀上福智山，向鹰取山城射下箭雨，最终迫使毛利镇実投降而立下战功，因而受领筑前那珂郡田数三十町领地。永禄12年（1569年），十时惟次和长子惟则跟随立花道雪参与该年5月18日的战役，于长尾一地突击毛利军，并于混战中战死；连贞一时丧失父兄，因而继承摄津守之名及家族领地，他在元服时从主君户次鉴连拜领“连”字，而取名「连贞」。
参战立功
元龟2年（1571年），户次鉴连奉其主君大友宗麟之命，转封位于筑前的立花山城并形式上继承立花氏，户次氏的家臣们此时以宗家嫡流留在丰后的铠岳城继续侍奉户次本家，而十时连贞等庶流、支流、分流出身的家臣则跟随户次鉴连前往立花山城。
天正6年（1578年），大友家和岛津家之间爆发「耳川之战」，大友家于此役战败后其实力和威信渐失，使得原先臣服于大友家的筑前国人众如秋月氏、宗像氏、原田氏、草野氏等陆续揭起叛旗，立花道雪和高桥绍运身为大友家镇守筑前的重臣，负责平定叛乱，此时道雪配下的由布惟信、十时连贞、安东家忠、高野大膳等四名家臣因战功彪炳，而被合称为「立花四天王」。
同年12月11日至13日，龙造寺隆信联合筑紫广门、秋月种实的兵力攻入筑前，进而威胁宝满、立花城，立花军的十时连贞、野上连贞、小野镇幸、井手口盛高、井守口盛澄（盛高子）在宇美一地巡逻时，遭遇倒戈至秋月家的矢野・神武村乡人伏击，十时连贞、野上及井手口父子等人进行反击后，乡人退入障子岳、极乐寺等地固守不出，于是立花道雪联合高桥绍运出兵，以十时连贞督前军进行讨伐，直攻敌阵。由于遭遇敌军的铁砲狙击，森下镇安中弹身亡，十时连贞亦负重伤，靠十时惟元搀扶撤退，而井手口盛澄、城户清种及其与力东乡新五郎以及小野镇幸被官新五郎等将以2百余人兵力战斗并斩杀渠帅14人、俘获其妻小，立花军遂平定反乱。
天正7年（1579年）4月27日，驻守鹰取山城的毛利镇実遭受秋月军・斋藤队联合宗像军攻击，为了救援，立花道雪派出家臣后藤连种、十时连贞于第一次「吉川之战」成功击退宗像家和秋月家的联军。同年7月12日至18日间，道雪为牵制原田军，出兵攻往安乐平城，集结小田部及大津留的8百余军力，从海、陆二方面进军至早良郡鸟饲、生松原，与原田亲秀爆发第二次「生松原之战」。荐野增时、小野镇幸、十时连贞、东乡三九郎、安东连善、足达连安、后藤种长、后藤连种、米多比弹介、米多比镇久、由布惟时等立花家臣投入战斗，小田部镇元、大津留镇忠进行横击，击败原田亲秀；之后原田隆种分兵击退大津留和小田部的部队，最终双方各自撤退。
9月11日，小田部镇元联合镇守鹫岳城的大津留镇忠之弟大鹤宗逸对池田城发动夜袭，背叛小田部的大教坊一族85人全员战死；同日，龙造寺军攻向池田城，小田部镇元与大鹤宗逸出城、渡江迎战。另一方面，大津留镇忠早前联络立花道雪，获其派出十时连贞、小野镇幸率6百人兵力输送兵粮物资支援，仍赶不及龙造寺军的攻势，小田部镇元展开笼城战约三个月，最终与其长子九郎镇虎、大鹤宗逸皆阵亡，而小田部氏以其次子统房为首之残军持续抵抗，大津留镇正则做为孙子统房之「后见人」，在安乐平城继续指挥笼城防卫。
石垣山之战
天正8年（1580年）2月，龙造寺隆信联合秋月、筑紫、原田、草野等共2万军力，进逼筑前西南边境的生松原；2日2日，立花道雪率十时连贞于早良郡讨伐支持龙造寺家的乡士（传闻此战也是立花宗茂的初阵）。同年10月中旬，立花与高桥联军在八木山石板道埋伏3千人兵力，以2千7百人在位于石坂道出口的大日寺布阵，并以十时连贞等足轻2、3百人出击嘉麻・穗波发动火攻，秋月家的方井田亲氏从古处山率1千兵力至穗波，十时连贞伪退以引诱亲氏追战7里（30公里）至大日寺；此时亲氏军势疲劳，立花和高桥布置的伏兵出击，使亲氏军溃败，十时连贞与亲氏单挑并将其讨杀（此役即第二次「嘉麻・穗波・八木山之战」，秋月方则记为「石垣山之战」）。
吉原口之战
天正11年（1583年）4月16日
电脑犯罪

使用现代资讯科技(网际网路、聊天室、电子邮件等)或行动装置(蓝牙/3G/4G等)，对个人或群体付诸具有犯罪动机的冒犯，意图直接或间接伤害受害者的实体、心理、名声，造成损失。
广义电脑犯罪（Computer Crime）可分为两种：第一种是以他人的电脑资源为标的的犯罪行为，又称为入侵型的电脑犯罪；第二种是利用电脑资源为工具的犯罪行为，又称为犯罪场所型的电脑犯罪。
以他人电脑资源为标的的犯罪行为
犯罪的主要类型
此类型的犯罪指的是盗用、窃取、不当存取或破坏对方电脑资源与功能的犯罪行为，包括前述的他人档案、系统、程式的盗用与破坏，以及施放电脑病毒、蠕虫、木马程式、骇客入侵、逻辑炸弹、阻断网路服务、网路窃听、窜改等犯罪行为。
犯罪的主要动机
此行为的主要动机包括：获取私利、商业竞争、蓄意报复、政治目的、好玩挑战性、恐怖活动与战争。
犯罪的防范
此方面主要有下列几种作法：
利用电脑资源为工具的犯罪行为
此种犯罪指的是利用电脑（尤其是网路）来进行的犯罪行为，例如网路赌博。主要的「场所型犯罪」或称「网路犯罪」（Network Crime）的类型包括：
电脑滥用
电脑滥用（英语：Computer Abuse）指的是：虽然不一定犯法，但却是不道德的行为，此方面的滥用最著名的就是所谓垃圾邮件（SPAM）的问题。
普庆坊

普庆坊（英语：Po Hing Fong），是香港港岛上环可以行车的一条街道。普庆坊位于香港中西区太平山山腰，车路东西走向，单线，两边都有1米以上的行人路。因为在普庆坊的西段近磅巷处，是行车的「掘头路」，所以虽然普庆坊的车路是单线，但是也容许东西双向行车。
因为在普庆坊之西的磅巷处，有适当空间让的士、私家车及货车调头，所以间中见有车辆在此马路上「倒车」行驶，应该是为「危险驾驶」。
事件
护土墙倒塌
1925年7月17日，上环坚道与楼梯街之间的一幅护土墙疑遭暴雨破坏结构突然塌下，并活埋普庆坊30多个家庭在内的7间房屋，酿成75死20伤。
倒车意外
2006年9月1日早上，一辆水务署的工程车，在普庆坊「倒车」行驶20多米，在与差馆上街交界处，近英皇书院同学会小学第二校之正门西面马路，意外将一名36岁男子(父亲)及其手抱女婴撞死。警方拘捕该名26岁货车司机，控以「危险驾驶引致他人死亡」 的罪名。该工程车的公司事后自辩，货车在普庆坊的死胡同是无法调头的，所以要倒车行驶。 结果司机因危险驾驶罪，判囚八个月。 
流行文化
上环普庆坊22A的咖啡店曾为电影《分手100次》的拍摄场地。
鲁迅日记

《鲁迅日记》收录了鲁迅自1912年到1936年间所写的日记，共上下两卷，收录于《鲁迅全集》。
《鲁迅全集》卷14《日记》：收录鲁迅1912年至1921年、1923年至1931年的日记，附各年《书帐》。
《鲁迅全集》卷15《日记》：收录鲁迅1932年至1936年的日记，附各年书帐，并附1922年日记断片。
内容提要
鲁迅日记在生前未曾发表过。内容包括：
购买诗集
鲁迅日记内容丰富，是研究鲁迅生平的重要第一手文献。
鲁迅《书帐》
鲁迅博览群书，生前嗜好收罗书籍。鲁迅最爱到留黎厂的神州国光社、本立堂、直隶官书局、有正书局、文明书局、式古斋、商务印书馆购买书籍，日记中有很多到留黎厂、厂甸等地买书的记录：“午后访季市未见，因赴留黎厂……价贵无一可得，遂又览十余书店，得影北宋本《二李和唱集》一册”。
鲁迅从1912年至1936年，每年记年度《书帐》。《鲁迅全集》 第14、14卷，共收鲁迅《书帐》24篇，总计购买书籍3927种，内容保罗万有：中文古典，诗集、中外画册、墓志、秘芨、拓片、佛经、寺碑、金石录、笔记、玩具史、游记等。数目以古文书籍最多，其次为日文书籍，英文书籍和德文书籍。
鲁迅对天文学也有兴趣，1936年1月21日购书单中有《谈天》三卷，这是英国天文学家侯失勒1849年原著，伟烈亚力、李善兰合译，同治十三年铅印版。
高桥郁哉

高桥 郁哉（髙桥 郁哉,たかはし ふみや、1993年12月3日 - ）是出身于日本千叶县的童星。属于セントラル子供剧団的一员。
血型是A型。身高150公分。特技是网球,足球,HandSpring。弟弟是在同一个事务所的高桥斗亚。2004年度开始在天才儿童MAX担任TV战士演出中。以前对自己的身高觉得有点矮,但是在2005年到2006年这段时间中长高了14公分。另外原本接近高音的声音,也变声成为有男子气概的低音。
达德小学

达德小学可能指以下其中一家学校：
乐高迷你人型

乐高迷你人型（英语：Lego minifigure），又称乐高人偶或乐高人仔，是常见于乐高世界的细小塑胶人偶。大部份乐高玩具都附有迷你人型，有些专为收藏家而出的产品甚至只含有迷你人型。
设计
迷你人型的主要零件是：头、身、手臂、手、腰、脚，另外也可分类为：头、身、脚。
迷你人型的头部为圆筒状，插在人仔身上的「颈」上，故能自由旋转。迷你人型的「颈」可以也在头和身之间空出位置，装上氧气筒、斗篷、护胸甲等零件。迷你人型的头上有一粒「饰钉」，可以砌下头发、头盔、帽子等零件。脚部可以向前90度、向后45度旋转，能够在一般乐高砖块上站立或坐下。手部为「C」形，能抓著所有专为迷你人型而设的配件。迷你人型配件超过一百种，包括斧、棒、杯、枪甚至光剑。顺带一提，迷你人型的手也是一粒「饰钉」，故能把乐高积木砌下去，而身体下方的凹槽也可以砌上两粒「豆豆」。
2003年，肉色迷你人型正式出现（在这之前，除了黑人外所有迷你人型主要都是黄色）。这种迷你人型率先在篮球系列出现，其后乐高公司索性把所有模仿真人的人仔也改成真人的颜色（肉色和啡黑色）。
2001年，乐高公司的生化战士系列也发展了一套特别的迷你人型，在发展初期，这些迷你人型不能活动，只能装配武器。但现在，这些生化战士迷你人型活动手、头、腰皆能转动。
历史
在1974年首次发售时，乐高人的比例跟现时的人偶相同。但是，这种人型的关节与压型不同：它们的手臂是固定在身体而无法活动、它们的脚也是不能活动、而且头部也没有图案。旧式迷你人型的头部饰物种类较少，常常见是制服帽、猪尾头发以及牛仔帽。
首个现代人仔是在1978年发售，当时城堡系列、太空系列和城市系列的迷你人型总共有七种。接著的十一年，迷你人型的面部依然是经典笑脸，两点作为眼睛以及一弯微笑。1989年，海盗系列推出了新的面部。而且这些迷你人型也出现了类似铁钩、木腿等身体零件。
另外在2002至2003年的篮球系列，乐高设计了含有弹弓的迷你人型。
直至2003年，乐高公司发售了约三十七亿个迷你人型。
为了庆祝欧巴马上任，在美国加利福尼亚乐高乐园（英语：Legoland California）摆放了欧巴马的迷你人型。