Charwraith/zh-wiki-384-embeddings huggingface dataset:
有类型λ演算

有类型lambda演算是使用lambda符号（formula_1）指示匿名函数抽象的一种有类型的形式化。有类型lambda演算是基础编程语言并且是有类型的函数式编程语言如ML和Haskell和更间接的指令式编程语言的基础。它们通过Curry-Howard同构密切关联于直觉逻辑并可以被认为是范畴的类的内部语言，比如简单类型lambda演算是笛卡尔闭范畴（CCC）的语言。
传统上，有类型lambda演算被看作无类型lambda演算的精细化。更现代的观点把有类型lambda演算看做更基础的理论，而把无类型lambda演算看作它的只有一个类型的特殊情况。
种类
已经研究了各种有类型lambda演算。简单类型lambda演算的类型只是基本类型（或类型变量）和函数类型formula_2。系统T向简单类型lambda演算扩展了自然数类型和更高阶的原始递归函数；在这个系统中在可证明在皮亚诺算术中是递归函数的所有函数都是可定义的。系统F通过在所有类型上的全称量化允许多态性；从逻辑的观点看它可以描述可证明在二阶逻辑中是全函数的所有函数。有依赖类型的lambda演算是直觉类型论、构造演算和逻辑框架（LF）的基础，它是带有依赖类型的纯lambda演算。基于Berardi的工作，Barendregt提议了Lambda立方体来系统化纯有类型lambda演算（包括简单类型lambda演算，系统F、LF和构造演算）之间的关系。
某些有类型lambda演算介入“子类型”的概念，就是说如果formula_3是formula_4的子类型，则类型formula_3的所有项也有类型formula_4。带有子类型的有类型lambda演算是带有合取类型和formula_7（F-sub）的简单类型lambda演算。
迄今提到的所有西，除了无类型lambda演算是例外，都是“强规范化”的：所有计算都会终止。结论是他们作为逻辑都是自恰的，就是说这里有无居留（uninhabited）类型。但是存在着不是强规范化的有类型lambda演算。比如带有所有类型的一个类型（Type: Type）的依赖类型lambda演算由于Girard悖论而不是强规范化的。这个系统也是最简单的纯类型系统，它是推广Lambda立方体的一种形式化。有明确的递归组合子的系统，比如Gordon Plotkin的PCF，不是规范化的，但是它们不意图被解释为逻辑。实际上，PCF（可计算函数的编程语言）是元典型（prototypical）的有类型的函数式编程语言，这里的类型被用来确保程序是有良好行为的而不必须是终止的。
应用
有类型lambda演算在为编程语言设计新类型系统的时候扮演了关键性角色；这里类型能力通常捕获了程序想要的性质，比如程序不会导致内存访问违规。
在编程中，强类型编程语言的例程（函数，过程，方法）密切关联于有类型lambda表达式。Eiffel有一个“内线代理”概念，使得有可能直接定义和操纵有类型lambda表达式，通过这种表达式如agent (p: PERSON): STRING do Result:= p.spouse.name end，指示表示返回一个人配偶的名字的一个函数的一个对象。
DFI零售集团

DFI零售集团（英语：DFI Retail Group，，，），原名牛奶国际控股有限公司（英语：Dairy Farm International Holdings Limited），简称牛奶公司，公司在百慕达注册，是怡和洋行属下在亚洲的一家零售集团，主要经营超级市场、量贩店、便利店及药房和透过持有50%股权的美心食品在亚州多国经营饮食业务，截至2020年年尾在亚洲十二个国家共有9997间分店，员工23万，收入281.59亿美元，盈利2.71亿美元
2007年3月底，新加坡人郭伯钧（Michael Kwok）升任该公司的行政总裁，是第一位亚洲人出任该集团的行政总裁，接替退休的方励图（Ron Floto）。
历史
早期
牛奶公司创办于1886年，由苏格兰籍医生，后世尊为热带医学之父的万巴德爵士（Sir Patrick Manson）与5位香港商人合作成立。早期牛奶公司以3万港元在港岛西区薄扶林建立牧场，饲养80只从英国入口的乳牛生产新鲜牛奶。1892年在中环下亚厘毕道兴建仓库，以现今的艺穗会及香港外国记者会会址作办公室。
1904年，牛奶公司开始进口冻肉到香港，并在中环仓库开设首间零售店。1918年，第二间牛奶公司店舖在九龙弥敦道开设，为香港渔船提供大量冰块。
1960年，牛奶公司与连卡佛合作创办的子公司大利连（Dairy Lane）在香港中环开设大利连超级市场，是香港第一间超级市场。1970年代大利连曾在铜锣湾珠城大厦设有分店，1980年代易名惠康。
『置地饮牛奶』收购事件
1970年代，牛奶公司由当时甚有影响力的华人周锡年爵士拥有控制权。牛奶公司在薄扶林牧场（今置富花园）及在铜锣湾及观塘等地的冰厂，占地甚广，因此吸引地产财团尝试收购以取得土地。1972年底，英资怡和洋行旗下的香港置地提出收购牛奶公司股权，周锡年不接受收购。其后香港置地与周锡年争夺牛奶公司控制权，即坊间所谓的「置地饮牛奶」事件：置地出动大额现金及大量发行股票，双方于报章上作出广告战，一时成为市场焦点。牛奶公司早期以维护祖业为理由，声言不接受收购，亦不会发展地产；但其后则改变立场，找来王德辉的华懋地产协助，提出合作发展地产的方案，希望获得股东支持。
后期，香港置地提出1股送5股的换股计划，加上置地在当时已是香港最大规模的地产公司，而华懋与牛奶公司的合作计划则吸引力较低，吸引股东把股票给予置地交换。1972年12月15日，置地宣布已取得90%牛奶公司股份；因此置地根据香港《公司条例》第168条，在1973年4月8日向其余小股东进行强制收购。最终置地成功全面收购牛奶公司，牛奶公司的上市地位则被取消。收购事件曾引致置地及牛奶公司股价大幅上升，亦成为1973年香港股灾的触发点，及为八、九十年代怡和及置地被「六大华商」狙击埋下伏线。
1986年，牛奶公司再从香港置地分拆，在香港上市；于九十年代以0353为上市编号。
现况
DFI零售集团现在仍然属怡和集团旗下，业务遍及在亚洲多国，包括香港、澳门、台湾、新加坡、马来西亚、印度、韩国等地。早年在香港及中国内地与食品生产商雀巢合作生产，为香港家传户晓品牌，主要产品有牛奶及雪糕等奶制品，以及雪条等小吃。而近年为专注其零售业务，其合资公司股份已全数售与雀巢，品牌名称改为雀巢牛奶公司。于港澳主要经营便利店7-11、超级市场惠康、新苗超级市场、健与美连锁店万宁、宜家家居及美心食品，在台湾经营宜家家居等。
在新加坡设有643家零售商店，旗下品牌包括7-11便利店、家宁、巨人（Giant超市）、冷藏公司（Cold Storage）、和首得惠（Shop 'n Save）。2008年，该公司在新加坡的零售面积由17万6438平方公尺增加至18万2840平方公尺，营业收入也从15亿9800万新元上升至16亿 8400万新元，涨幅达到5.4％。
自家品牌
商标持有人，DFI International Brands Limited
香港股灾

香港股灾自香港成立股市以来，已发生了多次：
在香港流传的一个都市传奇，指香港的证券市场每隔大约十年就会出现一次大型股灾，亦即是香港十年股灾周期。2008年环球金融海啸后，每隔大约3-4年就会出现一次股灾。
三人性行为

三人性行为（英语：threesome）是指三人之间或其中一人与其余二人之间的性互动，属于群交的一种，俚语又称“3P/三劈”、“群P”、“大乱交”、“起双飞”、“对对碰”、“开火车”、“一王二后”（MFF、两女一男）、“两王一后”（MMF、两男一女）。可能存在于部分多配偶制或多边恋关系中，也常出现在性交易、一夜情、性派对或色情片中。
性姿势
三人性行为可能包含以下的组合，或使用以下的性姿势：
此外还可包括三男肛交：
大众媒体
一些电影中曾出现三人性行为的场景，包括《发条橘子》、《美国杀人魔》、《华尔街之狼》等。
安全疑虑
三人性行为中使用避孕套可能是不安全的，它可以传输包括艾滋病毒。与每一个性伙伴性交应使用新的避孕套。两名男性及一名女性且不涉及男男性行为的情况下，男用避孕套是安全的。而在一个有两个女性及一名男性且不涉及女女性行为的情况下，女用避孕套被认为是安全的。如果使用性玩具的话，各方都需要避免体液的接触。
美丽华百乐园

美丽华百乐园（Miramar Entertainment Park），是一间位于台湾台北市中山区的大型购物中心，营业面积约25,000坪，是美丽华集团的关系企业之一，2004年11月开业。美丽华百乐园是基隆河截弯取直整治计划工程完成后、河畔新生地区域诸多新开发案之中规模最庞大者之一，设置在百货商场建物楼顶的摩天轮，为大台北地区非常受欢迎的地标建筑之一。
摩天轮
美丽华百乐园主要特色是拥有一座北台湾最大、全台第四大之摩天轮，轮径70公尺，次于台中市后里区丽宝乐园天空之梦摩天轮（轮径112公尺）、云林县古坑乡剑湖山世界彩虹摩天轮（轮径88公尺）、高雄市大树区义大世界义大摩天轮（轮径80公尺）。由于其基座架于建筑物屋顶（5楼，30公尺高）而非地面，以100公尺的总高列名台湾第四高，次于台中市后里区丽宝乐园天空之梦摩天轮（总高126公尺）、高雄市大树区义大世界义大摩天轮（总高115公尺）、高雄市梦时代高雄之眼摩天轮（总高102.5公尺），呼应了近年来台湾各地的购物中心相继以摩天轮当作地标的风潮。
美丽华摩天轮由日本的泉阳兴业制造，总重约达600公吨，共设有48个车厢（编号为1至52号，无4、13、14、44号车厢），其中2个车厢为无障碍车厢、2个车厢为透明车厢。每个车厢最多可乘载6个人，而摩天轮满载时可同时搭载288人。搭乘摩天轮绕行一圈约费时17分钟也是全台运转一圈时数最久的摩天轮。摩天轮上装设有624支霓虹灯管，在晚间摩天轮会被打上绿色光，并定时利用这些灯管演出灯光秀，共有三种不同的主题设计。
2005年10月15日，台北市政府新闻处主办之「台北十大特色建筑」票选活动公布结果，十大特色建筑分别为台北101、美丽华摩天轮、中正纪念堂、圆山大饭店、总统府、国父纪念馆、西门红楼、新光人寿保险摩天大楼、中油大楼与台北之家。
美丽华影城
位于美丽华百乐园6至9楼，共 9 个影厅
＊1个设有全台湾最大的商业电影用的IMAX巨型萤幕影厅，高21公尺、宽28公尺。
＊1个Dolby Cinema。
楼层介绍
本馆
漾馆
景观特色
巨型摩天轮：高度为100公尺（约40层楼）、重量600公吨、绕行一周须约17分钟。
与白昼截然不同的景致，夜晚会搭配「天の乐、地の彩、风の舞」等主题绽放光彩炫丽又夺目的霓虹灯光表演。
陈星聚

陈星聚，字耀堂，河南省开归陈许道许州直隶州临颍县陈村（今河南省漯河市临颍县台陈镇台陈村）人，清朝政治人物。曾担任过台湾府淡水抚民同知、台湾府中路抚民理番同知、台北府知府，以及福建省顺昌县、建安县、闽县、仙游县、古田县的知县等官职。
生平
陈星聚出生于嘉庆廿二年二月十六日（1817年4月2日）子时，道光廿九年（1849年）己酉科乡试中举人。咸丰三年（1853年）河南境内捻军起事，他督率乡团与捻军人士对抗，乱平后，因功授知县。同治三年（1864年），陈星聚出任福建省延建邵道延平府顺昌县知县。任内积极配合左宗棠军队追捕太平天国的余众，曾抓到郭英、辜留、林春、黄阿五等人并就地正法。此外还用劝说方式感化在九龙山上落草为寇的农民，当地百姓因为此事而建了生祠。他在任的功绩被闽浙总督左宗棠与福建巡抚徐宗干肯定，将陈星聚奏保军机处留名升用，调署同道建宁府建安县。
同治六年（1867年），陈星聚调任建安县知县，任内曾捐俸重修紫芝书院、考棚。此外他还动员当地有钱人捐资，增设义学。同治七年（1868年），陈星聚改任福州道福州府闽县知县，任内清理积案，平息冤狱，被百姓称为「陈青天」。但后来因为无法阻止英、法二国在川石岛上构筑砲台而辞官。
同治八年（1868年），陈星聚出任兴泉永道兴化府仙游县知县，为改善民风，作有〈八戒十劝歌〉。后来在同治十年（1871年）改任福州道福州府古田县知县，因解决闽清县土豪豪夺当地农民土地的问题，并严惩超收田赋的不肖官吏，当地居民为他建了生祠「陈公祠」。此外陈星聚为了抵御外侮，在当地练有童子军。因其政绩，闽浙总督李鹤年、福建巡抚王凯泰一同表彰他，之后陈星聚升补台湾府淡水厅抚民同知。
同治十一年（1872年）升补同知后，陈星聚在次年（1873年）抵台赴任。而在辖区的三角涌、大嵙崁等内山处，多有盗贼，劫杀频仍，前任同知以是被劾。陈星聚以悬赏方式缉捕，亲赴山区，后遂获盗贼贼首吴阿来，并予以捕杀。此外陈星聚还办理团练，编查户口。而为了改善社会风气，他曾广发明朝吕坤的〈好人歌〉与福建巡抚部院编写的〈戒赌俚歌〉来晓谕百姓。
光绪元年（1875年）受牡丹社事件影响，沈葆桢等官员建议调整台湾的行政区划，提议设立台北府。光绪四年（1878年），因台北正式建府，淡水同知一职被裁，陈星聚随之调任台湾府中路抚民理番同知。不久后，因试署的台北知府林达泉骤逝，陈星聚曾代理台北府知府。而在这一年，陈星聚也负责台北城建城计划。之后的台北府知府赵钧因为同时也是台湾府知府，实际上待在台湾南部办公，台北府政务实际上仍多由陈星聚处理。光绪七年（1881年）赵钧因丁母忧去职，闽浙总督何璟推荐陈星聚正式担任知府。
陈星聚中法战争的台北西仔反战役，也颇有战功。光绪十一年（1885年），中法战争和议后不久，六月廿二日（8月2日）卯时于知府任内去世。
美最时洋行

美最时洋行（C. Melchers GmbH & Co.） 是德国一个历史悠久、规模较大的贸易公司。
历史
1806年，C. Melcher在德国不来梅创立了美最时洋行，从事国际进出口业务。并是最早在北美洲从事贸易经营的欧洲公司。其经营的重点逐步转向机械和工业产品，成为知名的机械供应商之一。
1866年，美最时洋行在香港建立中国的首家分公司，1877年在上海设办事处。到第一次世界大战之前，在汉口、广州、天津、汕头、青岛等地都设立了分支机构，建立了出口商品加工厂（如汉口的美最时蛋厂、美最时洋行净皮厂）、办公大楼、码头仓库（如上海的张家浜货栈）以及宿舍，经营长江航运，代理北德劳埃德轮船公司的远洋航运业务。美最时洋行青岛分行还经营崂山汽水公司和美口酒厂（MelCo），汉口分行还在福街（Victoria street，今二曜路）投资建造了美最时电灯公司，向汉口德租界供电。
第一次世界大战后，美最时洋行撤退回国，几年后又卷土重来。1945年第二次撤退回国。
现在美最时洋行在中国的北京、上海、广州设有代表处，在乌鲁木齐、重庆、南京和大连设有办事处。
象限角

三角学应用
当一个三角形的邻边、对边和斜边比例和象限位置改变时，最常用的三角函数数值：正弦、余弦和正切，也会有不同的正负值。
王彦 (南宋)

王彦，字子才，两宋之际潞州上党（今山西长治）人。少年投军，后选为军官，补「下班祗应」（武官的最低官阶）。从泾原路经略安抚使种师道讨西夏有功。金军入侵汴京时，弃家自请出战。张所颇为器重，任为都统制。后成为八字军领袖。
生平
宋高宗建炎元年九月中旬（1127年10月间），河北招抚使张所命王彦任河北招抚使司都统制，率裨将岳飞和张翼、白安民等十一将与所部七千人渡河前去收复卫州等地。随即张所因从前曾弹劾黄潜善而被贬逐岭南，河北西路招抚司撤销，王彦一军成为孤军。为了表达自己抗金的决心，王彦和他的部属们都在脸部刺上「赤心报国，誓杀金贼」八个字，是谓「八字军」，后来发展到数万人，两河地区纷纷响应，忠义民兵首领傅选、孟德、刘泽、焦文通皆附之，连绵数百里。金军屡次进行围剿都没有成功。
东京留守宗泽闻王彦聚兵于太行山，二年（1128年）五月以彦为武功大夫、忠州防御使、制置两河军事。王彦后率万余人南渡黄河归附宗泽，即以所部兵马付留守司，量带亲兵趋行在，面见黄潜善、汪伯彦，力陈两河忠义延颈以望王师，愿因人心，大举北伐。言辞愤激，大忤时相意，遂降旨免对。十月，以彦为武翼郎（武阶，第四十二阶，从七品）、阁门宣赞舍人（职，从七品）。定武军承宣使、权主管侍卫亲军步军司公事、御营平寇前将军范琼以彦为御营平寇前军统领，彦知琼难于公事，遂称疾不就，就医于真州。苗刘兵变时苗傅、刘正彦授彦为御营使司统制官，彦以佯狂乞退休，许之。三年（1129年）三月，以武功大夫（武阶，第十五阶，正七品）、忠州防御使致仕。高宗复位后嘉其行，七月为知洮州事、主管沿边同安抚使司公事。知枢密院事张浚宣抚川陕，彦任川陕宣抚处置使司前军统制，率八字军从行。九月，授利州路兵马钤辖。张浚以京西盗贼坌起，而金州为蜀之后门，以彦任金均房州安抚使、知金州事。四年（1130年）五月，进右武大夫（武阶，第十四阶，正六品），九月授左武大夫（武阶，第十三阶，正六品）。十一月，为金房均州镇抚使。绍兴元年（1131年）九月，以破李忠之功，授拱卫大夫（武阶官，第十二阶，正六品）、温州观察使（遥郡官，第二阶）。富平之战后在川陕地区与金兵、刘豫伪齐军作战，屡得胜利。二年（1132年）六月，授洪州观察使。三年（1133年）二月，以剿杀董先贼众，收复商州之功，除龙卫神卫四厢都指挥使。六月，进保大军承宣使兼川陕宣抚使司参议，彦不受。五年（1135年）四月，知荆南府事，充归峡州荆门公安军安抚使。彦因荆南旷土措置屯田，自蜀买牛千七百头，授官兵耕，营田八百五十顷，分给将士有差。六年（1136年）二月，授保康军承宣使（武阶，正任官第二阶，正四品）、知襄阳府事、京西南路安抚使，时岳飞为京西湖北宣抚使，彦上书以飞嫌辞。四月，张浚奏彦为行营前护副军都统制、督府参谋军事，彦率所部赴行在，授浙西淮东沿海制置副使。七年（1137年）正月，驻军平江府，所部兵士因与协忠大夫、华州观察使、权主管侍卫亲军马军司公事解潜部械斗，罢军职降授雄州防御使（武阶，正任第四阶，从五品）。二月，复洪州观察使（阶官，正五品）知邵州(治今湖南邵阳)。九年（1139年）十月卒，享年五十，赠昭化军承宣使。二十九年（1159年）正月，以其累立战功，赠典未称，特赠安远军节度使。
王彦被罢兵权后，「八字军」归于右武大夫、开州团练使、权主管侍卫亲军马军司并殿前步军司公事刘锜。绍兴十年（1140年）五月，刘锜率「八字军」在顺昌府大败完颜宗弼的金兵主力，取得「顺昌之战」的胜利。
ADO.NET

ADO.NET是微软在.NET Framework中负责资料存取的类别库集，它是使用在COM时代奠基的OLE DB技术以及.NET Framework的类别库和程式语言来发展的，它可以让.NET上的任何程式语言能够连接并存取关联式资料库与非资料库型资料来源（例如XML，Excel或是文字档资料），或是独立出来作为处理应用程式资料的类别物件，其在.NET Framework中的地位是举足轻重，许多人将ADO.NET视为 ActiveX Data Objects (ADO) 的下一个版本，但其实它是一个全新的架构、产品与概念。
ADO.NET类封装在System.Data.dll中，并且与System.Xml.dll中的XML类集成。
历史
发展缘起
在1990年代初期，微软已经开发了许多的资料存取方式，像是ODBC架构、和Microsoft Access资料库交互使用的DAO物件、可以跨越网路存取资料的RDO（英语：Remote Data Objects）以及让DAO元件可以存取ODBC资料来源的ODBCDirect技术等等，技术虽然多，但是却又各自为政，而且每个技术的重叠性也很高（像是ODBC有Microsoft Access的驱动程式）；RDO虽然可跨网路，但是ODBC的驱动程式中也有提供跨网路的功能（像是SQL Server和Oracle驱动程式），如此琳琅满目重叠性又高的技术群，让企业与开发人员在选择、学习与应用上产生了很多的困难。
1996年，适逢COM的出现，微软将资料存取的核心开始改写为以COM为基础的OLE DB，并且在它上面建立一个新的统一的资料存取的高层对象模型－ADO。ADO推出后顺利的取代了DAO和RDO，成为在Windows NT 4.0和Windows 2000作业系统上开发资料库应用程式的首选。它将OLE DB的物件模型进一步简化；由资料库厂商开发满足OLE DB接口的资料提供者（data provider，这个模式在此时奠基），而ADO本身则是与资料来源无关（data source independent）的对象结构，让它迅速的获得了使用ASP、Visual Basic、COM的开发人员的青睐。它能够顺利取代DAO与RDO，要关键在于ADO的与数据库服务器端/客户端的特性无关，这使得ADO通用性极好。然而ADO本身的架构仍然有缺陷（尤其是在开发网路应用程式时，最好的例子就是Recordset无法离线），这也是微软为何不在.NET Framework中继续使用ADO的主要原因。
1998年时，微软提出了一个下一代的应用程式开发框架（Application Framework）的计划，计划中包含了：
ADO+即为Storage+的一支。
ADO.NET的前身：ADO+
1998年起，因为Web应用程式的窜起，大大改变了许多应用程式的设计方式，传统的资料库连线保存设计法无法适用于此类应用程式，这让ADO应用程式遇到了很大的瓶颈，也让微软开始思考让资料集（Resultset，在ADO中称为Recordset）能够离线化的能力，以及能在用户端建立一个小型资料库的概念，这个概念就是ADO.NET中离线型资料模型（disconnected data model）的基础，而在ADO的使用情形来看，资料库连线以及资源耗用的情形较严重（像是Server-side cursor或是Recordset.Open会保持连线状态），在ADO.NET中也改良了这些物件，构成了能够减少资料库连线和资源使用量的功能。XML的使用也是这个版本的重要发展之一。
2000年，微软的Microsoft.NET计划开始成形，许多的微软产品都冠上.NET的标签，ADO+也不例外，改名为ADO.NET，并包装到.NET Framework类别库中，成为.NET平台中唯一的资料存取元件。
架构
ADO.NET由连线资料来源（connected data source）以及离线资料模型（disconnected data model）两个部份构成，这两个部份是相辅相成的。
连线资料来源
若没办法连线到资料库，则无法被称为资料存取元件。连线资料来源便是用来连接资料库（或是具有OLE DB资料来源提供者）的物件类别，由下列接口构成：
使用连线资料来源需要由开发人员自我管理连线，并且直接操作资料存取的相关细节，但它的优点是速度快，而且可以自订整个资料存取流程的逻辑。
ADO.NET资料提供者(Data Provider)
在.NET Framework中，ADO.NET预设提供了四种资料来源：
其他厂商亦为不同的资料库提供资料来源：
对每种Data Provider，ADO.NET要实现下述对象结构：
例如，对于SQL Server数据源：
<synta
白凤

白凤是日本飞鸟时代的私年号（《日本书纪》所无的年号），散见在寺社缘起、地方的地志、历史书等。通说是白雉（650年〜654年）的别称、美称。
根据《二中历》等是661年〜683年。但是，根据中世以降的寺社缘起等是指672年〜685年的期间。另外，《续日本纪》神龟元年冬十月条（724年）有「白凤以来、朱雀以前、年代玄远、寻问难明。」的记载。
总章

总章是唐高宗李治的第六个年号。唐朝使用这个年号共2年余。
《旧唐书》和新疆出土的《唐纪元钞》作干封三年二月改元总章元年；《新唐书》和《资治通鉴》作干封三年三月改元。《崔穆墓志》内文“干封三年，卒于私寝。粤以总章元年岁次戊辰三月乙酉朔一日乙酉，葬于屯留故城西之高原”，可知二月业已改元；陈灵海考证认为二月改元为对。
成得臣

成得臣，芈姓，成氏，名得臣，字子玉。楚成王时令尹，楚晋城濮之战时战败，率残部归国途中受责，于连谷引咎自杀。
生平
《史记·晋世家》：“晋焚楚军，火数日不息。文公叹。左右曰：胜楚而君犹忧，何？文公曰：吾闻能战胜安者唯圣人，是以惧。且子玉犹在，庸可喜乎。子玉之败而归，楚成王怒其不用其言，贪与晋战，让责子玉，子玉自杀。晋文公曰：我击其外，楚诛其内。内外相应。于是乃喜。”也就是说，尽管打了胜仗，重耳依然忧心忡忡，因为子玉未亡仍在。后子玉因受到楚成王责备其贪战而羞愧自杀，重耳认为内外相应而喜出望外。
咸亨

咸亨是唐高宗李治的第七个年号。唐朝使用这个年号共4年余。
丹拿／利兰珍宝巴士

丹拿珍宝（Daimler Fleetline）是一款由丹拿研制的后置引擎双层巴士，于1960年首次亮相。后来丹拿车厂的巴士生产业务被英国利兰汽车公司（British Leyland Motor Corporation）购入，珍宝巴士的生产线因此于1973年被迁移到利兰商用汽车，1975年起，丹拿巴士一律都被冠名利兰成为利兰珍宝（Leyland Fleetline）。
生产史
利兰车厂于1958年推出新型的后置引擎巴士亚特兰大（Atlantean），不但登车比过往采用半驾驶舱设计的前置引擎巴士便利，也使钱箱可安装在驾驶座侧边，方便由驾驶员观察乘客投币缴付车资，从而减省车上配置售票员，达致「一人控制巴士」节省营运成本。利兰车厂凭亚特兰大巴士迅速垄断英国市场，导致丹拿车厂的市场占有率急遽下降，丹拿作为回应，在1960年代初推出香港称为珍宝的Fleetline双层巴士与利兰的阿特兰大竞争。
第一辆Fleetline巴士的底盘在1960年面世，称为RE30（意即Rear Engine 30ft，30呎后置引擎）。Fleetline的样版车配用丹拿自家开发的CD6引擎及Daimatic半自动波箱，装上Weymann车身及披上伯明翰巴士公司的色彩后，随即与另一辆示范底盘在1960年的英国商用车展正式公开发表。Fleetline在正式投产后初期更名为CRD6-30（Chassis Rear-engine Daimler 6-cylinder 30ft）。后来为提高市场占有率，丹拿迅即为用家提供吉拿6LW及6LX引擎选择，成为后来的CRG6-30。
Fleetline巴士在1962年量产后，在英国本土引起了很大的回响。Fleetline在设计上跟亚特兰大比较，不论长度及轴距都相若，引擎也同样以横置式配置，但Fleetline的传动轴采用下置式（Drop-centre）设计，车轴的中央呈U字型，令巴士的地台高度可以降低，更容易装上较低矮的车身（英国很多巴士公司都乐于使用矮车身的双层巴士），而不需要像初期的亚特兰大一般采用上层靠一边的一排四人的座椅设计来迁就矮车身的设计。另外，巴士底盘的前段大阵较亚特兰大来得纤薄，更容易采用前门不设梯级的车身，令乘客登车更为方便。丹拿的Fleetline在英国市场大受欢迎，于1963年的订单数量更超越利兰亚特兰大，逼使利兰车厂也跟进推出采用下置式传动轴设计的改良版亚特兰大。丹拿车厂为打开海外市场，于1965年不但推出左軚版的Fleetline，还提供33呎（CRG6-33）及36呎（CRC6-36）两种长度的版本，其中以33呎版本最成功，Fleetline在葡萄牙、南非及香港等地取得数量不俗的订单，而33呎Fleetline也获若干英国本土用家垂青。
丹拿汽车的母公司英国汽车控股公司于1968年并入英国利兰汽车公司，利兰车厂于是整合产品线，推出采用利兰O.680引擎的Fleetline，型号为CRL6（「L」的意思是利兰引擎），并决定将矮身版本的亚特兰大停产，改为向有需要购买矮车身双层巴士的客户推介Fleetline。
1973年8月，英国利兰汽车将Fleetline的生产线从高云地利（Coventry）的前丹拿客车底盘厂房，迁往利兰位于化灵顿（Farington）的厂房，而最后一辆离开高云地利厂房的Fleetline是供应给香港的中华巴士。自此以后，Fleetline与竞争对手亚特兰大都是在同一厂房生产。利兰为了确保Fleetline在生产线迁移后不影响新车交付客户，化灵顿厂房在高云地利的原厂房关闭前已经量产Fleetline，首辆在化灵顿厂房生产的Fleetline早于1973年3月已经出厂，比Fleetline在高云地利的生产线在同年8月关闭的时间还早。
1974年下半年，Fleetline归入利兰品牌内，底盘识别码改为利兰车厂的标准，采用FE字头（Fleetline的头尾英文字母），如FE30AGR、FE33AGR等。第一辆以FE编制示人的Fleetline也是属于中巴的，但利兰没有再为Fleetline注入更多新元素，只是把液压辅助转向系统（风油軚）及原本用于加长版Fleetline的45加仑油缸，列为所有Fleetline的标准设备。
1970年代中期，利兰准备设计一款新型后置引擎巴士（即B15计划），用来取代上一代的后置引擎巴士，并作为Fleetline及亚特兰大的后继产品，后来的成品即是泰坦型巴士。为了腾出生产线给新型号巴士，Fleetline因此被利兰率先放弃，原因是Fleetline的生产线搬迁到利兰在化灵顿厂房后，缺乏原丹拿车厂的周边组件供应商和工厂支持，除了吉拿引擎供应短缺外，多项主要零件的供给都不及在高云地利的原厂房便利，令Fleetline无法准时交货给用家。利兰车厂在英国的主要竞争对手
实函数

实函数（Real function），指定义域和值域均为实数集的子集的函数。实函数的特性之一是可以在坐标平面上画出图形。
定义
一个实函数 formula_1 是一个把实数（一般以 formula_2 表示）映射到另一实数（函数的值，一般以 formula_3 表示）的函数。换句话说，实函数是一个函数 formula_4，当中 formula_5 是 formula_6 一个包含至少一个开集的子集（可以等于 formula_6）。
定义于所有非负实数的平方根函数便是一个例子：formula_8，当中 formula_9 是所有非负实数的集合及对所有 formula_10，formula_11。
定义域
一个实函数的定义域未必总是明确写出。对任一定义域为 formula_5 的实函数 formula_1 和任一 formula_5 的子集 formula_15，可定义 formula_1 对 formula_15 的限制函数 formula_18。其定义域为 formula_15 而对所有 formula_15 的元素，函数的取值维持不变。若 formula_15 是 formula_5 的真子集，这两个函数理论上并不相同，但往往可将两者视为等同。
相反，有时函数的定义域可透过解析延拓或利用函数的连续性扩大。由此可见，明确指出实函数的未必有明显价值。
像与值域
函数 formula_1 的值域是指当 formula_2 可取定义域内任何值时，formula_3 所有可能取值的集合。若 formula_1 是连续实函数而其定义域是一个区间，那么它的值域也会是一个区间（除非 formula_1 是常数函数，此时其值域将是一点）。
对任何实数 formula_28，方程式 formula_29 所有实数解的集合称为 formula_28 的原像。
代数结构
实函数之间的运算可如下定义：
由此，所有定义于全部实数和所有定义于某一特定区间的实函数分别组成 formula_6 上的结合代数（也因此组成一个向量空间），其中加法和乘法单位元分别为常数函数 formula_43 及 formula_44。
虽然对任意实函数 可定义 formula_45，但由于此函数的定义域不包含所有使得 formula_46 的 formula_2 值，它不一定等于 formula_1 的定义域，所以上述代数结构不构成一个体。
袁齐妫

袁齐妫，南朝宋文帝刘义隆的皇后，父袁湛，母王氏。生太子刘劭以及东阳献公主刘英娥。
生平
她是袁湛庶出的女儿，母亲王氏地位卑贱，因此一直到五六岁的时候，才得到抚养。
起初，袁齐妫被选为宜都王妃。景平元年（424年），丈夫刘义隆登基，改元元嘉。元嘉元年（424年）九月丙子，立袁齐妫为皇后。同年，袁齐妫生下刘义隆的长子刘劭。袁齐妫仔细端详刘劭后，派人告诉刘义隆说：「这孩子长相异常，以后必定破国亡家，不能把他养大。」遂要杀儿子。刘义隆得知后，狼狈的赶到皇后殿外，才停止她的举动。
刘义隆对待袁齐妫，相当有礼数。因为袁齐妫的娘家贫穷，便常请求刘义隆拿钱资助，但刘义隆生性节俭，给的钱也只是三万五万而已。后来潘淑妃很得刘义隆宠爱，常自称只要请求皇上，没有什么得不到的。袁齐妫听说这事，不知真假，便假借潘淑妃的名义向刘义隆要求三十万回家，没想到才一晚上刘义隆就将钱拨下来了。为此袁齐妫感到相当怨恨，假托自己身体不适的名义，不再与刘义隆见面。刘义隆每次要来见她，她就回避到别处；刘义隆屡次伺机想要见她，也见不到她的面。连潘淑妃儿子始兴王刘濬与其他庶子要来探望她，她都不见。最后袁齐妫终于怨恨成疾，病危之际，刘义隆前来，哭著执起她的手，并且问她有什么遗言要交代的。袁齐妫只是看著刘义隆，一句话也没说，过了许久，便用被子把头蒙起来，再也不想看他。
元嘉十七年七月壬子（440年9月8日），袁齐妫在显阳殿去世，时年虚岁三十六。袁齐妫安葬于长宁陵。其坟墓又称袁后陵、宋文帝袁后陵，今已不存。当代研究者认为，是以长宁陵陵园内异处筑坟的方式安葬。
袁齐妫死后，刘义隆相当哀痛，命颜延之作一篇哀策，文字相当华丽，刘义隆并以「抚存悼亡，感今怀昔」八字致意。有司单位建议给她谥号「宣」，后来刘义隆亲自定其谥号为「元」，故称其为「文元皇后」。
在她死后来留下一则逸话，说是常有显灵之事。刘义隆还有一位侧室沈容姬，曾经因为一些小过失被责骂，使刘义隆气得想要处死她。宫中的徽音殿为皇后正殿，自从袁齐妫逝世后就关闭起来。沈容姬来到徽音殿前哭喊：「今天我没有罪而要被处死，如果先后在天有灵，应当知道这件事！」结果徽音殿里每个窗户竟然都应声而开。侍从随即将此事禀报刘义隆，刘义隆惊讶的前往去看，认为是皇后显灵，遂饶过沈容姬的罪。
大明五年（461年），刘骏下令追赠袁齐妫之母王氏为豫章郡新淦县平乐乡君，并且派人洒扫其墓园。
异丁烷

异丁烷（IUPAC命名2-甲基丙烷，又称甲基丙烷）是一种烷烃，与（正）丁烷互为同分异构体。异丁烷是一种无色无味的气体。它是具有三级碳原子（Tertiary carbon）的最简单的烷烃。异丁烷在石化工业中用作前体分子，例如用于合成异辛烷。 
用途
异丁烷是炼油厂烷基化单元的主要原料。使用异丁烷生产出的汽油级 “混合料 ”具有较高的支化度和良好的燃烧特性。异丁烷的典型产品是2,4-二甲基戊烷，尤其是2,2,4-三甲基戊烷。
溶剂
在雪佛龙菲利普斯制造高密度聚乙烯（英语：High-density polyethylene）的浆料工艺中，异丁烷被用作稀释剂。在移除浆状聚乙烯的过程中，异丁烷被 “闪蒸 ”掉并冷凝，然后再循环到循环反应器中。
制冷剂
由于近年来人们对氟利昂引起的臭氧层破坏问题的关注，异丁烷作为氟利昂的替代品，使用逐渐增加。异丁烷可用作家用冰箱和冰柜中的制冷剂，也可用作喷雾器中的压缩气体。异丁烷作为制冷剂时的编号是R600a。
生产
异丁烷由丁烷异构化反应制得。
命名法
IUPAC在1993年推荐使用传统的「异丁烷」名称，但在2013年时改为2-甲基丙烷。因为2号碳是丙烷中唯一能接上甲基而不改变主链的碳，所以也常省略「2-」而改称为甲基丙烷。
若竹町

若竹町为台湾日治时期台北市之行政区，共分一～三丁目，位于艋舺中部，老松町之北。今属台北市万华区仁德里，贵阳街二段、中华路、西宁南路、昆明街之一部份均在町内。该町于日治时期多为日人所居。战后1946年后划入龙山区，1949年划分为仁德里与仁爱里，经行政区域调整又将两里合并为仁德里。
老松町 (台北市)

老松町为台湾日治时期台北市之行政区，共分一～三丁目，位于艋舺八甲町之北，今桂林路、柳州街、昆明街、永福街之一部均在町内。战后划入龙山区泰安里，现属万华区仁德里、福音里。
田家炳中学 (香港)

田家炳中学（英语：Tin Ka Ping Secondary School，简称TKPSS）位于香港新界北区粉岭，是一所政府津贴男女子中学，由田家炳基金会创立。
自2009年教学微调政策后，政府批准田家炳中学开设英语教学班级（中文、中国文学、公民与社会发展科／生活与社会科、中国历史、普通话、生活教育、体育（HKDSE）为中文教学）。
办学宗旨
田家炳中学怀抱全人教育理想，致力开展学与教、生活辅导、联课活动及造就时代公民素质的整全与均衡教育，与时并进，塑造明日公民领袖。
教学语言
学校著重培育学生两文三语兼善。除了中国语文、中国历史、中国文学、普通话、生活教育、公民与社会发展科、体育（文凭试）外，各级所有科目均采用英语授课。学校致力建构多元化的英语环境，透过举办各项英语提升活动，如：英语午后集会、英语小息宣布、Tinspiration（英文学生文集）、英语话剧及英语游学团等，来塑造良好的英语学习氛围，提升学生英语学习效能。各科老师更运用跨学科英语教学法，并有策略地推行英语补充阅读计划，引入校本设计的跨学科英语研习单元等，加强学生以英语学习的信心。
校园
学校校园占地7000平方米，校舍为一座1988年版本灵活式校舍，共有七层。设有2个操场、2栋教学大楼（主楼及玉瑚楼）。
校歌
田家炳中学的校歌由田家炳博士填词，吴子康先生作曲。校歌为藏头诗，头一个字连在一起为「田家炳中学思愿」。
香港杰出学生选举
直至2018年（第33届），在香港杰出学生选举共出产1名杰出学生。
澳大利亚原住民

澳大利亚原住民（英语：Indigenous Australians）是澳大利亚土著和托雷斯海峡岛民的总称，是欧洲人殖民大洋洲之前居住在澳洲大陆及其附近岛屿的原住民族群的后代。
根据传统用法，“澳洲土著”（Aborigines）指的是澳洲大陆、塔斯马尼亚岛以及一些其他临近岛屿的原住民；而托雷斯海峡位于澳洲东北的约克角半岛与新几内亚之间，托雷斯海峡岛民是该海峡中群岛的美拉尼西亚原住民。
“澳洲原住民”是笼统的称呼，其包括的民族之间有很大区别，例如提维人（Tiwi people）、努雅尔人（Noongar people）和托雷斯海峡岛民（Torres Strait Islanders）等都是不同的民族，属于原住民的民族之间并不一定有密切的关联或相同的起源。不同原住民社群和社会之间有很大的差异，每个社群都有自己独特的文化、习俗和语言。当代的原住民更细分为不同的当地社区。
据估计，欧洲人移民开始时，原住民共有约250种语言，但现在大约只有120到145种语言仍然存在，其中绝大多数属于濒危语种，仅有13种不属于濒危语种。现代的土著大多数使用夹杂土著语词汇并受土著语发音和语法构造影响的英语，这类英语语种称为“澳洲土著英语”。欧洲人移民开始时原住民人口按照不同的估计可能约为318,000人或1,000,000人，人口分布类似现在的澳洲人口分布规律，大多数生活在东南部，以墨累河为轴线的地区.按照英文维基百科，澳洲现有原住民798,365人，
澳洲大陆最早的居民和现代澳洲原住民之间的关系在学术上尚无定论。在澳洲发现的最早的人类遗存是40,000年前的“蒙哥人”（Mungo Man），但根据线粒体DNA比较，蒙哥人与现在以及古代的澳洲原住民都没有亲属关系。而人类到达澳洲的时间本身在学术上也没有定论，其中最早的估计认为可能是125,000年前。
按照近年的研究，具较大可能性的是澳洲原住民是约70,000年前第一波离开非洲前往亚洲的古人的后裔，在约60,000年前抵达澳洲。
1995年起，红、黑两色加上黄色太阳图案的“澳洲土著旗”和蓝、绿两色加上头饰图案的“托雷斯海峡岛民旗”在澳洲享有国家正式旗帜的地位。
族群与名称
用词
笼统来说，澳洲原住民种族都与所谓的澳洲人种的一个分支有关系，但在社会、文化及语言方面各个土著及托雷斯海峡岛民族群之间都有显著的不同。
英语单词“土著”（aboriginal）最迟在16世纪就已出现，意思是“第一或最早所知的、原生的”，词源是拉丁语的"aborigines"，意即“来自”（"ab"）“源头、开始”（"origo"）。在澳洲，自从1789年（欧洲人殖民澳洲的第二年）开始就有使用“土著”（aboriginal）来形容澳洲的原住居民。不久后，大写的“Aboriginal”就开始成为所有原住民的通称。
在英语中的习惯用法里，“Aborigine”（单数名词）和“Aboriginal”（形容词）都被当作名词“土著”使用。但由于历史原因，在某些社群，使用这两个词来形容某一（或多个）个人的用法被视为具有负面涵义，因此通常这样的用法被认为是粗鲁、甚至冒犯的。较可接受的或较正确的用法是“土著澳洲人”（Aboriginal Australians
）或“土著”（Aboriginal people）（指个人时是“Aboriginal person”，“Aboriginal man”，“Aboriginal woman”等）。此外，囊括土著和托雷斯海峡岛民的“澳洲原住民”（Indigenous Australians）在近年（特别是80年代以来）也使用得越来越多。
地区族群的自称名称
“澳洲原住民”的广义概念包括许多地区族群，这些族群经常使用来自当地原住民语言的自称。这些包括：
这些大族群中再有更细的分别，例如一位来自中部沙漠的“阿南古”人可能来自“皮詹贾贾拉”（Pitjantjatjara）、“扬库因贾贾拉”（Yankunytjatjara）、“雅尼亚贾拉”（Ngaanyatjarra）、“鲁利贾”（Luritja）或“安提基利尼亚”（Antikirinya）族群。据估计，在英国殖民者到来之前，澳洲大陆上的原住民人口大概在318,000到750,000之间。
托雷斯海峡岛民
托雷斯海峡岛民的遗传和文化史都和土著的传统不同。托雷斯海峡群岛东部的岛民尤其接近新几内亚的巴布亚人，使用的语言是巴布亚语的一种。因此，“澳洲土著”（Aboriginal Australians）不包括托雷斯海峡岛民。这也是近年来含义更广的“澳洲原住民”或“澳洲原住民族”概念使用越来越多的原因之一。澳洲原住民中，有6%自认为纯托雷斯海峡岛民，另有4%自认为兼有托雷斯海峡岛民和澳洲土著遗传。
托雷斯海峡群岛包括过百个岛屿，在1879年被昆士兰兼并。许多原住民组织的名称中包含
拉斯维加斯克伦威尔酒店

克伦威尔酒店（英语：The Cromwell Las Vegas），过去曾称为比尔赌场（Bill's Gamblin' Hall and Saloon）是位于美国内华达州拉斯维加斯赌城大道上的一间赌场酒店，由哈拉斯娱乐所持有及营运。酒店建于1979年，只有196间客房，是拉斯维加斯大道上其中一间最小的酒店建筑物。另外，其内观设计相当复古，亦是大道上其中一间最有昔日拉斯维加斯风情的赌场酒店。
赌场酒店原称为巴伯利海岸酒店(Barbary's Coast)，其原持有者保特博彩集团为发展旗下的新酒店项目Echelon Place(即原星尘酒店地段的发展计划)，而于2007年3月1日与哈拉斯娱乐以巴伯利海岸酒店交换位于项目旁边的一幅土地。新名字则以哈拉斯娱乐的创始者比尔．哈拉(Bill Harrah)的名字命名。
历史
巴伯利海岸一名来源自十九世纪欧洲人对摩洛哥、阿尔及利亚、突尼西亚和利比亚沿海北非海岸的称谓，当时此带海岸经常有海盗出没，治安非常杂乱。及后，三藩市的淘金热兴起，外地人不断涌入，令当地治安有如北非海岸一样，故此三藩市亦被人称为巴伯利海岸。
酒店所处的土地一直是以租借的形式使用的，直至2005年9月6日，保特集团以一千六百万美元购置了酒店所处位置的一万七千平方米土地。
古亭町

古亭町为台湾日治时期台北市的行政区，町名源自传统聚落古亭庄（古亭村庄）。该町位于川端町之东、锦町之南、大安龙安坡之西、水道町之北。战后划入古亭区，今台北市大安区古庄里、龙泉里及中正区的罗斯福路二段、三段周边，包含西侧和平西路一段牯岭街以东、南昌街二段、晋江街东侧之同安街、金门街一小部分，以及东侧和平东路一段以南浦城街、师大路、龙泉街、云和街、泰顺街之一部份均在町内。
王永平 (政治人物)

王永平（英语：Joseph Wong，），男，香港政治人物。历任香港驻关税暨贸易协定常任代表（即世界贸易组织前身），教育统筹局长，公务员事务局长，工商科技局长。
退休后任香港大学政治与公共行政学系名誉教授。商业电台节目主持，报纸专栏作家等。
生平
王永平在1964年于高主教书院完成中五年级学业（同届同学尚有陈巨源），其后因原校没有开办香港大学预科班而转往香港华仁书院升读中六及中七年级（1966年中七毕业）。他在1969年于香港大学获得经济学荣誉学士，1969年至1973年间任职国际船公司，1973年考入政府政务主任任内调职多个部门，1987年至1989年任副公务员事务司（副铨叙司），1989年至1991年任副工商司，1991年至1994年任关贸总协定香港永久代表，1994年至1995年任政务总署署长，1995年至2000年任教育统筹司（即教育局长），2000年至2006年任公务员事务局长，2006年至07年任工商及科技局长，2007年6月退休。
2008年起任香港中文大学政治与行政学系兼任教授。王永平现亦是香港大学政治与公共行政学系名誉教授和香港城市大学公共及社会行政学系客座教授。
2009年10月12日，王永平于香港免费报纸am730开设「指点天下」专栏。
2019年8月2日，王永平于中环遮打花园举行的「公仆仝人，与民同行」集会中担任压轴嘉宾，当中他驳斥港府所谓该集会冲击公务员政治中立说，称该集会未违公务员守则。随后台下热烈鼓掌。
2020年7月15日，王永平于在Facebook宣布永久删除其专页，「确保曾经登入这个网页的网友的个人资料不会被截取」。
2021年7月14日，王永平于其最后一个报纸专栏（AM730「指点天下」）最后一次出稿，表示由于下笔日益困难，加以看不出所写文章对时局有何裨益，「与其欲言又止，不如放下自在」。
公开水域游泳

公开水域游泳，是一项于海、湖泊或河流游泳的户外活动以及一项运动项目。铁人三项当中，就包括了公开水域游泳的一环。在2000年悉尼奥运时，铁人三项运动员就需要进行1.5公里的公开水域游泳。2005年加拿大蒙特娄的世界游泳锦标赛就设有5公里、10公里与25公里的小项。2005年10月27日，国际奥委会决定将公开水域游泳列入为2008年北京奥运正式的比赛项目之一，分别设有：男子10公里以及女子10公里两个小项。
配套设备
公开水域游泳唯一需要的配套设备是一个游泳套装，包括颜色鲜艳的泳帽，用以增加运动员的明显性。另外，泳衣或是泳裤也是必要的。
基于公开水域泳者人身安全的考虑，建议泳客可以配载安全吹气浮球，以保安全。其作用有，在公开水域游泳时保护自身安全，也可以拯救处在危险当中的他人，浮球也可以醒目地让船只看到泳者，以避免船只的踫撞伤害。浮球可放置包括手机在内的个人物品，佩戴后不影响泳者的游泳动作。另外，浮球球体外表可印制各种标识等。
有线18台

有线18台（i-CABLE Channel 18），是香港有线电视的其中一个博彩频道。主要提供香港赛马资讯，包括赛马晨操片段，赛马预测、赛后检讨及马圈人士访问等，在香港赛马日（每年九月份至翌年七月份的星期三、星期六或星期日）会直播跑马地马场或沙田马场赛事，赛前会以文字播映最新赛马赔率。自开台至有线结束收费频道营运前，在星期一至五香港股市交易时段，亦会提供即时财经资讯节目播映股票价格、最新指数及外汇价位等资料；此外，非赛马日的星期日及马季暑假期间会播放由有线新闻部制作的资讯节目。早年18台有一深入民心的口号：「有线18台，陪您发大财」，观众数量随著有线电视订户的增加而逐渐上升。其高清版本是hd603。
2018年5月24日早上6时，台号由第18/218频道改为第618频道。2023年6月1日起，因应香港有线电视交还收费电视牌照，「有线18台」将转向多媒体发展，如果想收看可以透过购买88元的「有线18宝」机顶盒及「赛马GPS」app收看「有线18台」的节目。
介绍
18台于1996年赛马季度首创「L型」平面设计，当马匹未全部入闸时，及赛事于直路一段的重播后，有线电视会将现场画面稍为缩小并移至电视画面的靠右上角，腾出的一些空间（状如英文字母L）用来播放文字式的即时马会赛马赔率，此设计后来被其他电视台于直播赛马时争相仿傚使用。
18台的另一优点是播放赛马的时间，比另一电视台充足，有线电视通常以此（播放赛事一场不漏）作为招徕；另一电视台因为广播条例所限，未能播足所有赛事，而为马迷所诟病。惟自数码电视启播后，亚洲电视亦仿效18台，提供一专用频道全程播放赛马赛事。
在2000年代初期，有线亦设立“宽频18马网”收费网站，提供排位，晨操，赔率和贴士新闻等资讯，「有线宽频」宽频上网用户月费为$198。
于2010年10月起，于高清603台（hd603）台先推出高清版《晨操逐格睇》、再于2010年11月28日赛马日起推出高清版《赛事传真》及《赛马结果》节目，务求打造高清603台（hd603）台成为全港独有的高清足球/赛马资讯台。2011年1月13日，新增Ch503播放有线18台声音版本。与本台相类似的频道包括now宽频电视的now668及myTV SUPER的myTV SUPER 18台。
花地湾站

花地湾站是广州地铁一号线的一座车站，位于中国广东省广州市荔湾区花地大道北福燕路口，1997年随地铁一号线首段开通而启用。
车站结构
车站楼层
花地湾站共有二层，地面为花地大道北、福燕路以及其它建筑；地下一层设南北两个站厅；地下二层为1号线月台。
站厅
花地湾站分为南北两个站厅，由于月台部分采用敞开式设计，因此两个站厅在非付费区并不相通。两个站厅的收费区均各自分别设有楼梯供乘客来往两个站台。而北站厅连接2个月台的专用电梯由于站台一侧的升降机门均设于月台北端屏蔽门之外的区域，使用时需要向车站工作人员协助使用。
现时本站提供不同类型的商店，例如便利店、面包糕饼店以及鸭脖店等。此外也有不少自助服务设施，例如自动售卖机以及自动充值/售卡机等。
月台
花地湾站设有一组对向式侧式月台，位于花地大道北地底。由于本站采用大明挖浅埋建设，站台部分采用敞开式的弧形拱顶，是本站特色。此外，本站是广州地铁地下车站中唯一一个使用半高式屏蔽门的车站。
本站虽为地下车站，但本站前后没有设置折返线，因此当受台风来袭等恶劣天气影响需要停运露天段时，1号线列车只能在芳村站折返，所以届时本站亦会被迫停运关闭。
出入口
花地湾站设有四个出入口，分布于南北两个站厅。其中B出入口设有连接车站站厅和地面的升降机，方便轮椅及携带婴儿车人士进出车站。
值得一提的是，本站C、D出入口通道由于需要避让地下铺设的管道，导致通道中间设置有先上再下的几级楼梯。
历史
，为当时第一期建设的1号线的中途站，与车站的现时位置一致。1993年12月28日，一号线正式动工。1997年6月28日，包括本站在内的西塱站至黄沙站五站随1号线首通段通车而正式启用。
2004年，地铁公司因考虑月台乘客安全和节省能源，决定为营运中的1号线全线加装月台幕门、半高式安全门，并展开月台风道及管线改造工程。在当初设计中，本站将会安装3米的全高式安全门，同时利用顶部弧形钢结构进行固定，后来因成本以及安全原因最终改用西塱站及坑口站一样的半高式安全门。2009年3月2日，本站的半高式安全门正式投入使用，本站是1号线第十五个安装站台安全门的车站。
雅可比矩阵

在向量分析中，雅可比矩阵（也称作Jacobi矩阵，英语：Jacobian matrix）是函数的一阶偏导数以一定方式排列成的矩阵。
当其为方形矩阵时，其行列式称为雅可比行列式（Jacobi determinant）。要注意的是，在英文中雅可比矩阵跟雅可比行列式都可称作Jacobian。
其重要性在于，如果函数 formula_1 在点 formula_2 可微的话，在点 formula_2 的雅可比矩阵即为该函数在该点的最佳线性逼近，也代表雅可比矩阵是单变数实数函数的微分在向量值多变数函数的推广，在这种情况下，雅可比矩阵也被称作函数 formula_4 在点 formula_2 的微分或者导数。
在代数几何中，代数曲线的雅可比行列式表示：伴随该曲线的一个代数群，曲线可以嵌入其中。
它们都以普鲁士数学家卡尔·雅可比命名。
雅可比矩阵
假设某函数从 formula_1， 从 formula_7 映射到 向量 formula_8， 其雅可比矩阵是一 formula_9 的矩阵，换句话讲也就是从 formula_10 到 formula_11 的线性映射，其重要意义在于它表现了一个多变数向量函数的最佳线性逼近。因此，雅可比矩阵类似于单变数函数的导数。
此函数 formula_4 的雅可比矩阵 formula_13 为 formula_9 的矩阵，一般由以下方式定义：
矩阵的分量可表示成：
雅可比矩阵的其他常用符号还有：
此矩阵的第 formula_21 行是由函数 formula_22 的梯度函数所表示的，formula_23 。 
如果 formula_24是formula_10 中的一点，formula_4在 formula_24点可微分，根据数学分析， formula_28是在这点的导数。在此情况下，formula_28这个线性映射即 formula_4 在点  formula_24附近的最优线性逼近，也就是说当 formula_2足够靠近点  formula_24时，我们有
讲更详细点也就是：
其中，formula_36 代表小o符号，formula_37 为 formula_2 与 formula_24 之间的距离。
例子
例一
由球坐标系到直角坐标系的转化由 formula_40 函数给出，其分量为：
此坐标变换的雅可比矩阵是
其雅可比行列式为 formula_43。以体积元变换为例，由于 formula_44，如果做变数变换，则其体积元（Volume element， formula_45），会变成：formula_46。
例二
formula_47，其各分量为
其雅可比矩阵为:
此例子说明雅可比矩阵不一定为方阵。
在动力系统中
考虑形为 formula_53的动力系统，formula_54。如果 formula_55，那么 formula_56是一个临界点。系统接近临界点时的行为跟 formula_57的特征值相关。
雅可比行列式
如果 formula_58，那么 formula_59 是从 formula_10 映射到 formula_10 的函数，且它的雅可比矩阵是一个方阵。于是我们可以取它的行列式，称为雅可比行列式。
在某个给定点的雅可比行列式提供了 在接近该点时的表现的重要资讯。例如，如果连续可微函数 formula_59 在 formula_24 点的Jacobi行列式不等于零，那么它在该点附近有 formula_59 的反函数。这称为反函数定理。更进一步，如果  formula_24 点的Jacobi行列式是正数，则 formula_59 在 formula_24 点保持定向（preserves orientation）；如果是负数，则 formula_59 逆转定向（reverses orientation）。而从Jacobi行列式的绝对值，就可以知道函数 formula_59 在 formula_24 点附近是放大或缩小体积；这就是它出现在换元积分法中的原因。
例子一
设有函数 formula_71，其分量为：
则它的Jacobi行列式为：
从中我们可以看到，当 formula_76 和 formula_77 同号时，formula_59 逆转定向；该函数处处具有反函数，除了在 formula_79 或 formula_80 的点。
例子二
这是一个与巴塞尔问题formula_81较为相似的级数formula_82的求解方法，首先可以转化为二重积分（在这里 formula_83 指 formula_2 与 formula_85 皆为从 0 到 1 的正方形区域）：
此时定义映射 formula_87，满足：
于是有相应的雅可比行列式：
因此formula_90，并且将正方形 formula_83 映射成