stanford-oval/wikipedia huggingface dataset:
凯辛娜公园
历史

公园持续出现的片段是十九世纪铁路地役权的痕迹。贯通凯辛娜公园的轨迹原先是A.T. Stewart所建的长岛中心铁路主干线，从法拉盛至贝勒罗斯（Bellerose）。该路段后易名为“白线”（"White Line"），从长岛铁路Creedmore站至花园城。1947年，公园正式成为皇后走廊公园一部分，加入凯辛娜走廊公园。
虽然齐佩瓦原住民并不在美洲东北活动，山姆·帕森用他们的词“好冷”（Kissena）来为湖命名。当公园成立是继承名字，之后是凯辛娜大道（旧称牙买加街）。
2004年，公园翻修。之前的翻修包括1942年公共事业振兴署对湖的修整及公园局对灌木的修剪等。
引述

↑  . NYC.gov. The City of New York.   [25 July 2013]. （原始内容存档于2013-12-09）.
↑  . Bike New York.   [25 July 2013]. （原始内容存档于2014-11-24）.
1 2  . NYC.gov. The City of New York.   [25 July 2013]. （原始内容存档于2014-08-02）.
↑  . New York City Department of Parks and Recreation. 2000-11-06  [2007-07-05]. （原始内容存档于2007-09-29）.
↑  . About.com. About.com. 17 July 2013  [25 July 2013]. （原始内容存档于2015-04-04）.
公园暮色
固体物理学

固体物理学是凝聚态物理学中最大的分支。它研究的对象是固体，特别是原子排列具有周期性结构的晶体。固体物理学的基本任务是从微观上解释固体材料的宏观物理性质，主要理论基础是非相对论性的量子力学，还会使用到电动力学、统计物理中的理论。主要方法是应用薛定谔方程来描述固体物质的电子态，并使用布洛赫波函数表达晶体周期性势场中的电子态。在此基础上，发展了固体的能带论，预言了半导体的存在，并且为晶体管的制造提供理论基础。
背景

固態材料由緊密堆積的原子所構成，原子之間有強烈的作用力。此作用力決定了固體的機械性質（如硬度及彈性）、熱學、電學、磁學與光學等特性。根據組成物質及形成材料時的條件，材料內的原子可能會形成規則（晶体，包括金属 和冰）或是不規則（无定形体，像是一般常見的玻璃）的排列。
作為一個一般性的理論，固態物理學的研究主要聚焦於晶體。這主要是因為晶體中原子的週期性有助於數學模型的建立。同樣地，晶體材料往往有可以利用在工程学上的電機、磁學、光学或机械工程性質。
晶體中微粒的作用力有多種形式。离子晶体中，阴阳离子以离子键结合。分子晶体中，参与成键的原子通过共用电子形成共价键结合。金属晶体中，电子离域，形成金属键。惰性氣體不成键；固態時，將其聚集的力量來自於各個原子的電子雲極化所造成的凡得瓦力。不同種固體之間的差異，便是源於鍵結種類的不同。
歷史

儘管固體的物理性質在數世紀以來一直是科學界中普遍的問題，以「固態物理學」為名的研究領域出現卻遲至1940年代才出現，特別隨著美國物理學會的固態物理部門（Division of Solid State Physics, DSSP）的建立而確定。固態物理部門滿足了工業界中物理學家的需求，固態物理學也因此與固體相關實驗在技術上的運用連結在一起。到了1960年代初期，固態物理部門已成為美國物理學會中最大的部門。
二戰後，歐洲也出現了大型的固態物理學家社群，特別是在英國、德國及蘇聯。在美國及歐洲，固態物理因在半導體、超導現象、核磁共振等現象上的研究而成為重要的研究領域。冷戰早期，固態物理的研究對象往往不僅止於固體，為1970年代至1980年代凝聚態物理學的發展奠基。凝聚態物理學主要由研究固體、液體、電漿及其他複合物的常用技巧組成。目前，固態物理學通常被認為是凝聚態物理學的分支，專注於具固定晶格的固體的性質。
晶體結構及性質

許多材料的特性取決於其晶体结构。有許多晶体学上的技巧可以用來研究晶體結構，如X射线晶体学、中子衍射技术及电子衍射。
晶狀固態材料中的個別晶體大小會因組成材料及初始的形成條件而有所不同。日常生活中會接觸的大多數晶狀材料都是多晶體，其中的個別晶體大小約在微觀尺度，但是巨觀大小的单晶亦可在天然（如钻石）或人工過程中產生。
實際的晶體中存在晶体缺陷或不同於理想結構的不規則排列，這些缺陷對實際材料的許多電學及力學上的特性有關鍵的影響。
電子性質

固体物理探討材料的諸多性質，如电阻率及熱容量。德鲁德模型是一個早期的導電模型，此模型將分子运动论套用到固体中的电子。透過假設材料中帶有不能移動的正離子、及一團由古典物理中不產生交互作用的電子所構成的「電子雲」，德鲁德模型得以解釋電導率和熱導率，以及金屬的霍爾效應，雖然電子熱容被大大地高估了。
阿諾·索末菲在自由電子模型（又名德鲁德-索末菲模型）中將古典的德鲁德模型與量子力学結合。此模型中，電子被假想為費米氣體，該氣體中的組成粒子遵守量子力學的费米-狄拉克统计。自由電子模型對金屬的熱容量的預測更為精準，但卻無法解釋絕緣體為何存在。
近自由电子近似为自由电子模型的修正版，其藉由周期性的微扰模拟导电电子及晶体中的离子之间的相互作用。藉由导入能带结构的概念，此理论成功解释了导体、半导体及绝缘体的存在。
近自由电子近似将位能具周期性时的薛定谔方程改写，在此条件下的波函数解称为布洛赫波。由于布洛赫的理论只适用于周期性位能，且材料中的原子会不停地随机移动，打乱周期性，此理论只能算是一个近似。尽管如此，此近似仍极具价值：没有此近似的话，大多数的固体物理分析会变得将当棘手，位能与其周期性之间的误差则以微扰理论处理。此外，平移对称性会被材料边界破坏。因为材料的原子数非常大，可以把材料看成是一个满足热力学极限的系统。因此，平移对称性便恢复，可以用布洛赫的理论来近似地描述材料的能带与体态性质。
一個简单立方晶系的示例
賈格福克 (密西西比州)

| 賈格福克 Jug Fork |
| --- | --- |
非建制地區
賈格福克賈格福克在密西西比州的位置
坐标： 34°25′35″N 88°47′21″W﻿ / ﻿34.42639°N 88.78917°W﻿ / 34.42639; -88.78917
國家: 美国
州份: 密西西比州
縣: 李縣
海拔: 104 公尺（341 英尺）
时区: CST（UTC-6）
 • 夏时制: CDT（UTC-5）
電話區號: 662（英语：）
GNIS ID: 672049
賈格福克（英語：）是位於美國密西西比州李縣的非建制地區。
地理

賈格福克所處的海拔為高於海平面104米（即341英呎），而該地所採用的時區為UTC-6，即北美中部時區（CST）。同時該地設有夏令時間，為UTC-6調快一小時，即UTC-5（CDT）。
參考文獻

↑  . . United States Geological Survey.
豐原客運豐原站

豐原客運豐原站位於台中市豐原區三民路46號，為豐原客運總部所在地，為台中市山線最重要的客運站，並有往台中、大甲、東勢、卓蘭、谷關、梨山的班車。
服務路線 > 台中市公車

| 0 | 1 | 2 | 3 | 4 |
| --- | --- | --- | --- | --- |
| 路線編碼 | 營運路線 | 備註 |  |  |
| 90 | 豐原－東勢高工 | 經葫蘆墩文化中心、豐原高中、豐陽國中、石岡市區、土牛、東新國中 |  |  |
| 90延 | 豐原－和平衛生所 | 經上/下城、大茅埔 |  |  |
| 92 | 豐安環線（豐原－大安國中） | 經豐原國中、下后里、后里區公所、外埔市區、大甲高中、大甲車站、大安區圖書館、大安區公所、大安港 |  |  |
| 202 | 豐富公園－樹德路－豐原 | 經臺中女中、精武車站、慈濟醫院、鐮村里、豐原區公所 |  |  |
| 203 | 豐富公園－新田－豐原 | 經一中商圈、東山路、豐南國中 |  |  |
| 206 | 豐原－東勢高工 | 經翁子、石岡 |  |  |
| 207 | 和平山環線（豐原－谷關） | 經翁子、石岡、東勢 |  |  |
| 208 | 豐原－卓蘭 | 經翁子、石岡 往豐原班次皆繞駛東勢高工 |  |  |
| 209 | 豐原－東勢林場 | 經翁子、石岡 往豐原班次皆繞駛東勢高工 |  |  |
| 211 | 豐原－土城－大甲體育場 | 經后里區南村路、泰安、土城、大甲高工 |  |  |
| 212 | 豐原－水美－大甲體育場 | 經三清總道院 |  |  |
| 213 | 豐原－下后里－大甲體育場 | 經月眉糖廠 |  |  |
| 215 | 豐原－麗寶樂園－大甲體育場 | 不經后里區公所 |  |  |
| 223 | 豐原－公老坪頂 | 經廟東夜市、南陽國小、豐原醫院、豐原監理站、豐原高中、豐原高爾夫球場 |  |  |
| 227 | 豐原－東陽里 | 經豐東國中、福陽國小 |  |  |
| 235 | 豐原圓環線（豐原－文化中心－豐原） | 右環線先抵達「北環福德祠」 左環線先抵達「新惠生醫院」 經豐原勞保局、豐原高商 |  |  |
| 865 | 豐原－梨山 | 經石岡、東勢、和平、谷關、台8臨37便道 |  |  |
| 900 | 北屯幹線（地方法院－豐原） | 地方法院端點為光明國中（公館路46巷） 經臺中女中、臺中車站、一中商圈、北新國中、頭家厝車站、潭子車站、弘文中學、豐原高商、廟東夜市 |  |  |
| 900跳蛙公車 | 光明國中－豐原高中 | 光明國中端點為光明國中(公館路46巷)  經臺中女中、臺中車站、一中商圈、北新國中、頭家厝車站、潭子車站、弘文中學、豐原高商、廟東夜市、豐原車站、豐村國小、豐原高中 |  |  |
服務路線 > 國道客運

| 0 | 1 | 2 |
| --- | --- | --- |
| 編號 | 路線 | 備註 |
| 6606  | 豐原－台北 | 行經后里、三義、西湖渡假村 |
參見

豐原車站
豐原客運
豐原客運東勢站
豐原客運大甲站
豐原客運谷關站
豐原客運卓蘭站
臺中市公車路線列表
中華民國汽車客運車站列表
參考資料

↑  .   [2013-08-24]. （原始内容存档于2014-05-27）.
↑  .   [2015-08-06]. （原始内容存档于2014-07-15）.
兴顺西镇

| 兴顺西镇 |
| --- | --- |
镇
坐标：41°16′29″N 109°58′57″E﻿ / ﻿41.27461°N 109.98246°E﻿ / 41.27461; 109.98246
国家:  中华人民共和国
上级行政区: 固阳县
村级区划单位数:  13 0社区 13行政村 0嘎查 
时区: 北京时间（UTC+8）
行政区划代码: 15 02 22 107
电话区号: +86 
兴顺西镇，是中华人民共和国内蒙古自治区包头市固阳县下辖的一个乡镇级行政单位。
行政区划

兴顺西镇下辖以下地区：
圪团忽洞村、​蛮达壕村、​哈达合少村、​佘太和村、​南公中村、​河楞村、​五分子村、​李四壕村、​兴顺西村、​红庆德村、​羊场卜子村、​史家营村和公合当村。
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
克里斯·梅森 (棒球运动员)

克里斯·梅森（英語：，1984年7月1日—），為美國的棒球選手之一，守備位置為投手。
經歷

美國職棒坦帕灣魔鬼魚（短期１Ａ～小聯盟２Ａ）（2005年～2007年）
美國職棒坦帕灣光芒（小聯盟２Ａ～小聯盟３Ａ）（2008年～2009年）
美國職棒紐約大都會（高階１Ａ～小聯盟３Ａ）（2009年）
委內瑞拉聯盟（2009年10月9日～11月）
中華職棒La New熊（2010年）
外部連結

克里斯·梅森在美國職棒（英语）
克里斯·梅森在中華職棒官網的資料
克里斯·梅森在Baseball-Reference.com（小聯盟以及海外聯盟）（英语）
克里斯·梅森在ESPN（英语）
克里斯·梅森在FanGraphs.com（英语）
日本作詩大獎

日本作詩大獎（日语：／ nihon sakushi taishō */?；英語譯名：），是日本每年一度的音樂頒獎典禮，由日本作詩家協會（日语：）主辦，東京電視台協辦，曾與「日本有線大獎」及「日本唱片大獎」並列為日本每年年末三大頒獎禮之一，也是現時唯一單以歌詞作為考量的音樂頒獎典禮。但自從日本有線大獎於2017年後停辦、繼承的「日本演歌歌謠大獎（日语：）」既不在年末、又只舉辦了一屆便停止，使年末舉行的頒獎禮只剩下兩個。
本獎項和日本唱片大獎中的「作詩獎」類近，但最大的分別是，日本唱片大獎會將流行曲及演歌、民謠都一併考慮，而日本作詩大獎則主要集中於演歌或民謠類作品。正如獎項的名稱所指，「作詩」一詞是突出歌詞中既能有表達詩意的意境，亦講求用字、字數等文學條件，如俳句、川柳般的格局。如此計算，一般流行歌的歌詞便較難達到了文學部份的要求。唯一出現過例外的是2011年的第44屆，最優秀作品獎由山上路夫（日语：）寫給福井舞的《幾度落櫻》（）所奪得，是現時唯一一首獲得此大獎的J-POP歌曲。而近十年來，入選作品亦開始出現有非演歌、民謠類別作品。
「日本作詩大獎」雖然是以作詞家為主要對象，但亦是不少演歌歌手十分重視的一項獎項，程度不下於已停辦的「日本有線大賞」（或是其後的承繼項目日本演歌歌謠大賞（日语：）），雖然歌手在「日本作詩大獎」中不會獲取任何獎狀或獎座，但能在此出場及演唱均視為極大的榮譽，甚至不比獲選NHK紅白歌合戰為低，而獲得「最優秀作品獎」的歌手更可以向得獎作詞家獻花，每每都會出現歌手激勳落淚的場面。
獎項概要

每年均會頒發下列獎項：
名額1名，授於演出當日獲得最高分的作品。
名額2名，授於演出當日得分第二及第三的作品。
名額1名，授於該年度新晉作詞人。
名額1名，同樣授於該年度新晉作詞人。
不定期頒發，授於對歌詞創作或在歌唱上有成就的人士。過往共頒發過四次，獲獎者有田端義夫（日语：）、五木宏、北島三郎及松井五郎（日语：）。
評審準則

由六位評審組成，根據歌詞及歌手演釋為評分考量，每首歌曲最高可獲10分，最低為1分，計算總分後，最高分數的歌曲便可成為「最優秀作品獎」，第二及第三高分歌曲則獲得「優秀獎」。
外部連結

日本作詩家協會 日本作詩大獎公式網頁 （页面存档备份，存于）（日語）
四鎮將軍

四鎮將軍，即鎮東將軍、鎮西將軍、鎮南將軍、鎮北將軍，是中國古代的高級武官。在漢魏時開始設立，並成為「重號將軍」（常設將軍）的一種。一般地位次於四征將軍，高於四安將軍，唯有蜀漢例外，二者顛倒，四鎮反而高於四征，在四方將軍(前後左右)之下。
沿革

歷代品秩沿革:四鎮將軍存在時間約為「192年-557年」前後約莫360餘年。
曹魏時為「第二品」，地位高於九卿、尚書令等重臣，僅在三公之下。
晉朝時四鎮略降為「第三品」，地位相當於尚書令、侍中等官員。
劉宋時則亦為「第三品」，地位不變。
南齊時亦有，但品級史料未載，不詳。大體與前朝無太多改變。
南梁時四鎮被改為八鎮，位列「二十二班」，仍為重號將軍，為將軍職第三等，在四征之下，四安之上。
北魏時則為四鎮為「從二品」，加大者，地位則次於衛將軍，為「正二品」。
北齊時則為四鎮為「從二品」，加大者，地位則次於四征將軍，為「正二品」。
北周未曾設立後，歷代皆無此官位，就此消失。
曾任名人 > 鎮東將軍

在東漢末年首次設立該職位，魏武帝曹操就曾經在建安元年(196年)夏六月，被漢獻帝任命為鎮東將軍。蜀漢昭烈帝劉備亦曾擔任過該職位。
曾任名人 > 鎮西將軍

在東漢末年首次設立該職位，初平三年(192年)，曾經割據西涼的韓遂，在與馬騰前往長安皆受漢朝招安時，就被漢獻帝任命為鎮西將軍。
曾任名人 > 鎮南將軍

在東漢末年首次設立該職位，初平三年(192年)，佔據荊州的漢朝宗室劉表，就曾因為李傕、郭汜攻入長安，成功捉住獻帝，挾天子以令諸侯時，想讓他做為外援，因此任命他為鎮南將軍、荊州牧，封成武侯，假節。
曾任名人 > 鎮北將軍

在東漢末年首次設立該職位，在建安十年（205年）以前，王邑就曾經為鎮北將軍、河東太守、安陽亭侯，後被杜畿取代。
參考文獻

↑  《通典·秩品一～秩品四》
↑  《三國志·魏書·武帝紀》:「天子拜太祖建德將軍，夏六月，遷鎮東將軍，封費亭侯。」
↑  《三國志·蜀書·先主傳》:「曹公表先主為鎮東將軍，封宜城亭侯。」
↑  《三國志·魏書·董卓傳》:「是歲，韓遂、馬騰等降，率衆詣長安。以遂為鎮西將軍，遣還涼州，騰征西將軍，屯郿。」
↑  《三國志·魏書·劉表傳》:「李傕、郭汜入長安，欲連表為援，乃以表為鎮南將軍、荊州牧，封成武侯，假節。」
↑  《三國志·魏書·鍾繇傳》:「臣前上言故鎮北將軍領河東太守安陽亭侯王邑巧辟治官，犯突科條，事當推劾，檢實姦詐。」
镇南将军章，龟纽金印，1991年出土于湖南安乡刘弘墓。现藏于湖南博物院
計算機代數

用计算机代数系统公理对代数函数 f(x)={\frac {x}{\sqrt {x^{4}+10x^{2}-96x-71}}}进行符号积分
数学和计算机科学中，计算机代数或符号计算或代数计算，是研究、开发用于操作表达式等数学对象的算法与软件的科学领域。这通常被视为是运算科学的一个子领域，但运算科学一般基于近似浮点数的数值计算，而符号计算则使用含变量的表达式进行精确计算，其中变量没有赋值。
执行符号计算的软件系统称为计算机代数系统，“系统”暗示了软件的复杂性，其中至少包括一种在计算机中表示数学数据的方法、一种编程语言（通常异于用于实现的语言）、一种专门的内存管理器、一套供输入输出表达式的用户界面、一大套用于通常运算的子程序，如表达式简化、能实现链式法则、多项式因式分解、不定积分等等的求导算法。
计算机代数被广泛用于数学实验、设计数值程序所用的公式。纯数值方法失效时，计算机代数也可用于完整的科学计算，这见于公开密钥加密和一些非线性问题。
术语

有些学者区分“计算机代数”（computer algebra）与“符号计算”（symbolic computation），后者指数学公式计算之外的符号计算。有人则用“符号计算”表示计算机科学方面的内容，而用“计算机代数”表示数学方面的内容。
科学界

目前还没有计算机代数领域的专门学会，这一职能由计算机协会的特别兴趣小组（special interest group）SIGSAM承担。
计算机代数领域有多个年会，最重要的是由SIGSAM定期主办的ISSAC（符号与代数计算国际研讨会）。
有几种专门研究计算机代数的期刊，其中最重要的一种是由Bruno Buchberger于1985年创办的《符号计算》（Journal of Symbolic Computation）。其他一些期刊也定期发表计算机代数方面的文章。
计算机科学 > 数据表示

由于数值软件在进行数值计算时的效率很高，因此在计算机代数中，通常用精确数据进行精确计算。这意味着即使输出规模很小，计算过程的中间数据也可能不可预测地增长，这种行为称为表达式膨胀（expression swell）。为解决这问题，数据表示和处理算法中有各种各样的方法。
计算机科学 > 数据表示 > 数字

数值计算最常用的数字系统是浮点数和大小固定的整数。由于表达式膨胀，这些系统都不便于计算机代数。
因此，计算机代数使用的基数是数学整数，通常用某个底数（一般是机器字允许的最大底数）的无界有符序列表示。从整数可以定义有理数。
为高效算术运算编程是一项艰巨的任务，因此大多数免费的计算机代数系统和商业系统，如Mathematica和Maple都使用GMP库，它也因此成为事实上的标准。
计算机科学 > 数据表示 > 表达式

除数字和变量外，每个表达式都可看做是跟着操作数序列的算符。在计算机代数软件中，表达式通常都这样表示，许多看似不是表达式的东西都可以这样表示和操作，非常灵活。例如，方程是以“=”为算符的表达式，矩阵可表为以“矩阵”为算符、行为操作数的表达式。
连程序也可以看做是以“过程”为算符、含至少两个操作数（参数列表与内容）的表达式，内容也是以“正文”为算符、以指令为操作数的表达式。反过来，表达式也可以看成程序：a + b可看做加法运算程序，参数是a、b。执行这个程序即对给定值的a、b表达式求值；若无给定值，则求值结果就是输入。
这种“延迟求值”在计算机代数中是最基本的。例如，等式中的“=”也是等式检验程序的名称：通常，等式求值结果仍是等式，但进行检验时，无论是用户通过“求布尔值”命令提出明确要求，还是系统在程序内部启动的自动检验，都会执行求值为布尔值的结果。
由于表达式操作数的规模无法预测，而且在过程中可能变化，因此操作数序列通常用指针序列（如Macsyma）或哈希表元素序列（如Maple）。
计算机科学 > 简化

在表达式 a^{x}上直接应用关于x的求导基本规则，可得
一般来说，我们需要比这更简单的表达式，需要简化。
这一般通过重写逻辑完成。有几类重写逻辑值得考虑，最简单的是总要缩减表达式，例如E − E → 0或sin(0) → 0。它们被系统地用于计算机代数系统。
加法、乘法这种有结合律的运算的混合会带来困难。处理结合运算的标准方法是，考虑其操作数是任意的，即将a + b + c表示为"+"(a, b, c)。因此a + (b + c)、(a + b) + c 都能简化为"+"(a, b, c)，展示为a + b + c。对于a − b + c这样的表达式，最简单的办法是系统地将−E、E − F、E/F分别改写为(−1)⋅E、E + (−1)⋅FE⋅F−1。换句话说，表达式的内部表示中，数字的表示没有减法、除法或一元负号。
加法和乘法的交换律也是一个难点。问题在于如何快速识别同类项。对很长的和或积来说，测试每对项的成本都很高。Macsyma排序了和与积的操作数，将同类项放在连续位置上，这样就可以轻松检测出来。Maple则使用了散列函数，输入同类项时会产生碰撞，由此可以立即合并。这样，计算中多次出现的子式就能被立即识别，并只储存一次，这样就避免了重复操作，从而节省内存并加快计算速度。
部分重写规则有时会增加表达式的大小，有些会减小，例如分配律和三角恒等式。具体来说，分配律允许 (x+1)^{4}\rightarrow x^{4}+4x^{3}+6x^{2}+4x+1、 (x-1)(x^{4}+x^{3}+x^{2}+x+1)\rightarrow x^{5}-1。这类重写规则没有很好的决策方式，一般交给用户决定。实现分配的计算机函数通常叫做“展开”，反向则是“因式分解”，需要一种非平凡算法，因此是计算机代数系统的一个关键功能。
数学

在计算机中处理表达式时会出现一些基本数学问题。我们主要考虑多元有理函数，这不是严格的限制，因为表达式中出现的无理函数一旦被简化，通常都会被视为新的不定项，例如
视为 \sin(x+y)和 \log(z^{2}-5)组成的多项式。
数学 > 等式

对表达式而言，有两种等价关系。语法相等指在计算机中的表示相等，这在程序中很容易测试；语义相等指两个表达式表示相同的数学对象，如
由理查森定理可知，若表达式中允许指数或对数，便可能不存在算法可判断代表数字的的两式是否语义相等。因此，只能对多项式和有理函数等部分表达式进行（语义）等价测试。
要测试两式是否登记爱，通常都不用特别设计算法，而是将表达式置于某个规范形中，或将差置于标准形中，再测试结果的语义等价。
在计算机代数中，“规范形”与“标准形”不是同义词。“规范形”（canonical form）是指只有语法相等时才语义相等；“标准形”（normal form）是指只有语法上为0时，才在语义上为0.换句话说，0在标准形表达式中有唯一形式。
标准形是计算机代数的首选，有以下几个原因。首先，规范形的计算成本可能更高。例如，求多项式规范形必须要展开每个积，而标准形不需要（下详）。其次，与含根式的表达式类似，规范形（如果存在）取决于一些任意的选择，对于独立计算的两式可能是不同的。这就使得规范形的使用变得不切实际。
历史

计算机代数起源于约1970年，当人们首次将闻名已久的算法应用于计算机时发现其效率非常低。因此，研究者的主要工作是重新应用经典代数，以使其生效，并构造实现它们的高效算法。一个典型例子是计算多项式最大公约数，是简化分式必须的。令人惊讶的是，经典的辗转相除法对无穷域上的多项式效率很低，因此需要开发新的算法。线性代数的经典算法也如此。
另见

自动化定理证明
计算机辅助证明
计算机代数几何
计算机代数系统
模型检查
符号人工智能
阅读更多

For a detailed definition of the subject:
Buchberger, Bruno.  (PDF). Journal of Symbolic Computation. 1985, 1 (1): 1–6  [2023-09-16]. doi:10.1016/S0747-7171(85)80025-0. （原始内容存档 (PDF)于2023-08-31）.
For textbooks devoted to the subject:
Davenport, James H.; Siret, Yvon; Tournier, Èvelyne. . Translated from the French by A. Davenport and J. H. Davenport. Academic Press. 1988. ISBN 978-0-12-204230-0.
von zur Gathen, Joachim; Gerhard, Jürgen.  2nd. Cambridge University Press. 2003. ISBN 0-521-82646-2.
Geddes, K. O.; Czapor, S. R.; Labahn, G. . 1992. Bibcode:1992afca.book.....G. ISBN 978-0-7923-9259-0. doi:10.1007/b102438.  含有內容需登入查看的頁面 (link)
Buchberger, Bruno; Collins, George Edwin; Loos, Rüdiger; Albrecht, Rudolf (编). . Computing Supplementa 4. 1983. ISBN 978-3-211-81776-6. S2CID 5221892. doi:10.1007/978-3-7091-7551-4.  含有內容需登入查看的頁面 (link)
表达式(8 − 6) × (3 + 1)的LISP树形式，来自1985年的一篇硕士论文。
克拉克 (密西西比州)

| 克拉克 Clack |
| --- | --- |
非建制地區
克拉克克拉克在密西西比州的位置
坐标： 34°50′45″N 90°17′35″W﻿ / ﻿34.84583°N 90.29306°W﻿ / 34.84583; -90.29306
國家: 美国
州份: 密西西比州
縣: 蒂尼卡縣
海拔: 62 公尺（203 英尺）
时区: CST（UTC-6）
 • 夏时制: CDT（UTC-5）
郵區編號: 38664
電話區號: 662（英语：）
GNIS ID: 668497
克拉克（英語：）是位於美國密西西比州蒂尼卡縣的非建制地區。
歷史

克拉克的郵局於1892年設立，其後於1927年停運。
地理

克拉克所處的海拔為高於海平面62米（即203英呎），而該地所採用的時區為UTC-6，即北美中部時區（CST）。同時該地設有夏令時間，為UTC-6調快一小時，即UTC-5（CDT）。
參考文獻

↑  . . United States Geological Survey.
↑  . Jim Forte Postal History.   [2024-04-07]. （原始内容存档于2024-04-07）.
国际谷物公约

《国际谷物公约》（International Grains Agreement， IGA)，前身是1995年的《国际小麦协定》（International Wheat Agreement），由《谷物贸易协定》（Grains Trade Convention, GTC）及《食品援助协定》（Food Aid Convention, FAC）组成，由国际谷物协会（International Grains Council, IGC）进行管理。
《谷物贸易协定》提供谷物市场和政策开发的信息共享、分析及咨询。在《食品援助协定》下，捐赠国承诺每年提供一定数量适于人类食用的食品援助给发展中国家，或者提供用于购买适量食品的现金给受惠国。《国际谷物公约》不包含任何稳定供应商、价格和贸易的机制。
賈凡

贾凡可以指：
賈凡 (歌手)，中国大陆歌手、歌剧及音乐剧演员。
賈凡 (籃球教練)，台湾篮球教练。
新茲瓦尼夫卡

48°34′59″N 38°21′22″E﻿ / ﻿48.58306°N 38.35611°E﻿ / 48.58306; 38.35611
新茲瓦尼夫卡（烏克蘭語：）是位於烏克蘭東部的村莊，由盧甘斯克州北頓涅茨克區的波帕斯納市鎮（烏克蘭語：）負責管轄。該村始建於1890年，面積1.83平方公里，海拔高度149米，2001年人口168，人口密度每平方公里92.1人。
參考資料

Погода в селі Новозванівка （页面存档备份，存于）
四氟化铽

| 四氟化铽 |
| --- | --- |

英文名: 
别名: 氟化铽(IV)
识别
CAS号: 36781-15-4  Y
SMILES:    [F-].[F-].[Tb+4].[F-].[F-] 
性质
化学式: TbF4
外观: 白色晶体
若非注明，所有数据均出自标准状态（25 ℃，100 kPa）下。
四氟化铽是一种无机化合物，化学式为TbF4。它是一种白色晶体，为强氧化剂。它可由高纯的三氟化铽和二氟化氙、三氟化氯或氟气反应得到：
性质

四氟化铽在热水中迅速分解，生成三氟化铽和少量的氟氧化铽（TbOF）。加热四氟化铽分解为三氟化铽和单质氟：
分解反应会生成Tb(TbF5)3这一混合价态的中间产物，其晶型和Ln(HfF5)3一致。
四氟化铽在加热时可以将三氟化钴氧化为四氟化钴：
也能在320~460 °C将[60]富勒烯氟化。
以四氟化铽为原料，和氯化钾在氟气气氛中反应，可以生成混合价态氟化物KTb3F12；在氟化铷-氟化铝-四氟化铽体系中，得到的是Rb2AlTb3F16。
吴普特

吴普特（1963年4月—），陕西武功人，中华人民共和国教育家、政治人物。西北农林科技大学校长。
生平

吴氏早年在西北农业大学水利系农田水利工程专业学习。毕业后曾在中科院水利部水保所工作，职务至任中科院水利部水保所科研处副处长，中科院黄土项目办副主任，国家节水灌溉杨凌工程技术研究中心主任。1999年10月回到母校西北农林科技大学，历任学校科研处处长、学校党委常委、副校长、西北农林科技大学科学技术发展研究院院长等职。2017年12月，升任西北农林科技大学校长。2018年2月24日，当选为第十三届全国人大代表。2023年3月，他当选为第十四届全国人大常委会委员。
参考资料

↑  . www.moe.gov.cn.   [2017-12-27]. （原始内容存档于2019-05-14）.
↑  . news.nwsuaf.edu.cn.   [2017-12-27]. （原始内容存档于2019-05-17）.
↑  . 中新网.   [2021-02-13]. （原始内容存档于2018-02-27）.
↑  . 新华通讯社. 2023-03-12  [2024-03-05]. （原始内容存档于2024-03-05）.
施密特-卡尔曼滤波器

此條目介紹的是降階的卡尔曼滤波器。关于線性化的卡尔曼滤波器，请见「」。
施密特-卡尔曼滤波器（Schmidt–Kalman Filter），是修改版的卡尔曼滤波，減少狀態估測的維度，不過仍有額外的狀態可以計算协方差矩阵及卡尔曼增益。常見的應用是考量像是傳感器誤差等擾嚷參數（英语：）的影響，但又不增加狀態估測的維度，因此可以確保协方差矩阵可以準確的呈現誤差的分析情形。
不增加狀態空間維度，而使用施密特-卡尔曼滤波器的主要好處是減少運算的複雜度。因此可以用在即時系統的濾波中。另外一個使用施密特-卡尔曼滤波器的場合是殘餘誤差無法觀測的情形下，也就是說，無法從量測資料中將誤差效果獨立出來的情形。此時，施密特-卡尔曼滤波器是強健性的濾波方式，不去估計偏差的大小，但在真實誤差分析中去追蹤偏差的影響。
若是非線性系統，可以在目前的平均值及协方差估計值附近，將觀測模型及狀態傳遞模型線性化，類似延伸卡爾曼濾波（英语：）的作法。
命名及歷史發展

Stanley F. Schmidt（英语：）發展了施密特-卡尔曼滤波器，一方面說明不可觀察的偏差，同時又維持在實時系統實現需要的低維度。
相關條目

卡尔曼滤波
延伸卡爾曼濾波（英语：）
參考資料

↑  Schmidt, S. . Leondes, C.  (编).  3. New York, NY: Academic Press. 1966: 293–340.
日本新鱗鮋

| 日本新鱗鮋> 保护状况 |
| --- | --- |
 未予评估（IUCN 3.1）
科学分类 
界：: 动物界 Animalia
门：: 脊索动物门 Chordata
纲：: 綱 Actinopteri
目：: 鲈形目 Perciformes
科：: 真裸皮鲉科 Tetrarogidae
属：: 新鳞鲉属 Neocentropogon
种：: 日本新鱗鮋 N. japonicus
二名法
Neocentropogon japonicus Matsubara, 1943

異名
 Neocentropogon aeglefinus japonicus,Matsubara, 1943
日本新鱗鮋，為輻鰭魚綱鮋形目鮋亞目真裸皮鮋科的其中一種，為溫帶海水魚，分布於西北太平洋日本高知縣外海海域，體長可達13.5公分，棲息在底層水域，生活習性不明，具有毒性。
切露米可

| chelmico> 组合 |
| --- | --- |
音乐类型: Japanese Hip Hop、J-Pop、放克、合成器流行、鼓打貝斯
出道地点:  日本東京都
活跃年代: 2014年至今
唱片公司: TREKKIE TRAX(2016) Cupcake ATM（2014-2018） 日本華納音樂/unBORDE（2018 - ）
经纪公司: 日本華納音樂(2018-)
网站: chelmico.com
现任成员
Rachel I Mamiko
chelmico（日语：），官方中文譯名:「切露米可」。日本女性雙人嘻哈團體。2MC體制 ( 成員 : Rachel、
Mamiko )。其團名 「chelmico」取自兩位成員名字的字尾組成，字母組成皆為小寫。。
成員

Rachel (日語:レイチェル) 別名:MC RACHEL 
 作詞作曲 / 金色系長髮 /早期藝名:渡賀Rachel(日語:渡賀レイチェル)/ 本名:未公開  
生日:1993年7月4日 / 出生地:神奈川橫濱市 / 身高:173cm / 血型 : B型   。美日混血、單親母親家庭。興趣:讀書、電影、遊戲、古著「ミスiD2014」入賞。學生時代輕音樂社團出身。在成為饒舌歌手之前嚮往開花店或當圖書館職員。遊戲宅，閒暇時經營「NOOB DRIVE【Directed by Rachel from chelmico】」遊戲實況頻道，取向為休閒、雜談路線。曾經實況過以白色恐怖為主題的台灣原創遊戲《返校》，同時也是其遊戲粉絲。最喜歡的台灣導演是楊德昌，是電影《牯嶺街少年殺人事件》的粉絲。隸屬於女性偶像研究組織 :「なでksジャパン」一員。已婚育有一子。
為chelmico的精神性支柱，所以粉絲暱稱「隊長」aka:「廠長」、「大麥克漢堡姊姊」。
高中畢業後當過飛特族一段時間曾在古著店打工。在Chelmico活動外還身兼模特兒身份，拍攝作品散見各媒體。
搭檔Mamiko對Rachel的形容語為「行動力強並擁有凝聚人心來引导其他人前进的能力」
Mamiko (日語:マミコ) 別名:MC Mamiko 

作詞作曲/深色系短髮 / 本名:鈴木真海子(Suzuki Mamiko) 
生日:1996年6月26日 / 出生地:東京都秋留野市 / 身高:163cm / 血型 : O型三兄妹家庭的么妹。興趣:聽廣播節目、搞笑藝能鑑賞、料理。學生時代是回家部，在成為饒舌歌手之前嚮往當電台幕後PA或高速公路收費站負責人。搞笑漫才宅，為了業界交流而與搞笑藝人:岡田康太（なかよしビクトリーズ）、加賀翔（かが屋）、後藤拓実（四千頭身）等人組成「岡田軍団」活動。並隸屬於多人音樂工作室「Pistachio Studio」一員。個人活動名義為「鈴木真海子」。
喜好戶外活動、曾經在海邊商店打工三天。
喜歡絨毛玩具，還將絨毛魚玩偶命名「ブーバ」(讀作:Bouba)。
喜好攝影，身兼Rachel的御用攝影師。
搭檔Rachel對Mamiko的形容語為「冷靜」
簡歷

在組成「chelmico」前，Rachel與Mamiko兩人為好朋友關係。2012年19歲的Rachel與16歲的Mamiko，在西日暮里的麥當勞透過共同友人介紹認識。兩人都是RIP SLYME粉絲及嘻哈音樂的愛好者。2014年時期，Rachel參加講談社主辦的「MISS iD2014」徵選活動時因開玩笑說「想成為饒舌歌手」，被當時的實行委員長邀請她組2MC饒舌團體，因此當時Rachel找上嘻哈同好的Mamiko組隊。成團後在透過「MISS iD2014」委員長的引薦，臨時填補「涉谷文化祭2014」活動十分鐘空檔的演出，此場成為Chelmico的初次公開LIVE，表演受到好評迴響。
2015年初次自主創作歌曲「ラビリンス'97」在網路音樂平台上發表。
2016年10月19日-獨立廠牌時期同名專輯『chelmico』發售。同年12月17日初次個人演唱會「真冬のWOW」開催。
2017年9月6日-獨立廠牌時期迷你專輯『EP』發售。
2018年8月8日-簽入日本華納唱片公司unBORDE廠牌主流出道。
2020年5月15日-粉絲俱樂部『chelmico bears』（日語:チェルミコ ベアーズ）開設。
共同作業者

TOSHIKI HAYASHI(%C) : 現場DJ擔當 / 作曲共同製作
Pistachio Studio : 作曲共同製作
大倉龍司　：參與從地下時期首專至今所發行的CD封面與GOODS、團徽的設計。
小山ゆうじろう : 參與FC LOGO以及GOODS、連載專欄題字的插圖繪製
音樂作品 > 專輯

| 張數 | 發售日期 | 專輯名稱 | 規格編號 | 最高排名 |
| --- | --- | --- | --- | --- |
| 1st | 2016年10月9日 | chelmico | CCA001TS（初回限定盤） CCA001（通常盤）  | 177 |
音樂作品 > 迷你專輯

| 張數 | 發售日期 | 專輯名稱 | 規格編號 | 最高排名 |
| --- | --- | --- | --- | --- |
| 1st | 2016年6月9日 | Love Is Over | SoundCloud |  |
| 2nd | 2017年9月6日 | EP | CCA003（初回限定盤） CCA004（通常盤）  | 90 |
音樂作品 > 專輯

| 張數 | 發售日期 | 專輯名稱 | 規格編號 | 最高排名 |
| --- | --- | --- | --- | --- |
| 1st | 2018年8月8日 | POWER | WPCL-12909  | 55 |
| 2nd | 2019年8月21日 | Fishing | WPCL-13092X（初回限定盤） WPCL-13092（通常盤）  | 49 |
| 3rd | 2020年8月26日 | maze | WPZL-31762（初回限定盤） WPCL-13220（通常盤）  | 40 |
| 4th | 2022年6月1日 | gokigen | WPZL-31967（初回限定盤） WPCL-13379（通常盤）  |  |
音樂作品 > 迷你專輯

| 張數 | 發售日期 | 專輯名稱 | 規格編號 | 最高排名 |
| --- | --- | --- | --- | --- |
| 1st | 2021年4月16日 | COZY | 數位發行 |  |
樂曲提供

ゴクドルズ-《Why》
作詞：Rachel、Mamiko /作曲：Rachel、Mamiko, ryo takahashi（2019年2月13日）
Sexy Zone- 《HAPPY END》(菊池風磨SOLO曲)
作詞：Rachel、Mamiko、菊池風磨/作曲:三毛猫ホームレス 、Mamiko （2020年2月5日)
MINERALS-《Sunset》
作詞：Mamiko (chelmico)/作曲・編曲：Kunihiko Kondo (Mime)（2020年10月13日）
入野自由-《M-9.10》
作詞：Rachel、Mamiko / 作曲:エズミ・モリ 、 Rachel、Mamiko（2020年11月4日）
lyrical school-《Fantasy》
作詞：Rachel / 作曲：Rachel、ryo takahashi/ 編曲: ryo takahashi、Rachel（2021年3月17日）
lyrical school-《バス停で》
作詞：Rachel / 作曲：ryo takahashi、Rachel/ 編曲: ryo takahashi（2022年4月20日）
搞笑團體香蕉人單獨LIVE「bananaman live 2022 H」開場曲-《THIS IS H》
作詞:Rachel、Mamiko/作曲:ryo takahashi、Rachel、Mamiko（2022年8月6日）
GF6-《GF6》
作詞:Rachel、Mamiko/作曲:ryo takahashi、Rachel、Mamiko/製作人:ryo takahashi、Rachel、Mamiko)（2022年8月9日）
WATWING-《WAIT A MINUTE》
作詞:Rachel、Mamiko/作曲:Rachel、Mamiko、ESME MORI/製作人:Rachel、Mamiko、)（2022年8月10日）
lyrical school-《mada mada da! 》
作詞：Rachel / 作曲：ryo takahashi/ 編曲: ryo takahashi（2023年7月19日）
ばってん少女隊-《あんたがたどこさ〜甘口しょうゆ仕立て〜 》
作詞：Rachel / 作曲：PARKGOLFi（2023年7月28日）
搞笑團體香蕉人單獨LIVE「bananaman live 2023 O」開場曲-《BLUE》
（2023年8月5日）
合作歌曲

tofubeats - 「Her Favorite feat.okadada」＆「衣替え」
PV演出:Rachel（2014年4月8日）
大森靖子「洗脳」-M2《イミテーションガール》
聲音/ PV演出:Rachel（2014年12月3日）
ラブリーサマーちゃん 「#ラブリーミュージック」-M4《私の好きなもの》
PV演出:Rachel、Mamiko（2015年11月11日）
大比良瑞希「TIME LIMIT 」
PV演出:Mamiko（2015年12月10日）
ONIGAWARA「チョコレイトをちょうだい」-M2《YOU×3 feat. chelmico》
歌唱演出：Rachel、Mamiko / 作詞：ONIGAWARA、Rachel、Mamiko /作曲：ONIGAWARA（2015年12月16日）
中田康貴「Digital Native」-M9《Wire Frame Baby feat. MAMIKO》
歌唱演出:Mamiko（2018年2月7日）
「Jam Studio®」音樂社群APP企劃歌曲《Jam Studio feat. AFRA × 鎮座DOPENESS × MAMIKO chelmico × KOJOE》
歌唱 / PV 演出 : Mamiko （2018年3月9日）
冨田惠一「M-P-C“Mentality, Physicality, Computer"」-M4《アルペジオ feat.chelmico》
歌唱演出：Rachel、Mamiko / 作詞：Rachel、Mamiko / 作曲：冨田惠一（2018年10月3日)
平井堅「half of me」-M2《HOLIC feat. chelmico》
歌唱演出：Rachel、Mamiko / 作詞:平井堅 、Rachel、Mamiko /作曲:AmPm 、 Chocoholic（2018年11月28日）
m-flo loves chelmico「RUN AWAYS」
歌唱演出：Rachel、Mamiko / 作詞：m-flo、Rachel、Mamiko /作曲：m-flo、Rachel、Mamiko（2020年6月12日）
yonawo「明日は当然来ないでしょ」-M1《独白》
和聲演出:Rachel、Mamiko（2020年11月10日）
STAMP 《HIDE YOU feat.chelmico》
歌唱演出：Rachel、Mamiko / 作詞:GASHIMA 、Rachel、Mamiko /作曲:STAMP、Rachel、Mamiko、SHUN from FIVE NEW OLD（2021年2月17日）
XAVIER企劃《Call In Sick feat. chelmico》
歌唱演出：Rachel、Mamiko/ 作詞:Rachel、Mamiko、石井マサユキ /作曲:石井マサユキ（2021年9月15日）
minan《all-rounder feat. Rachel (chelmico), valknee》
歌唱演出：Rachel/ 作詞:Rachel、valknee、 minan /作曲:Shin Sakiura, Rachel, valknee, minan（2021年11月24日）
ASIAN KUNG-FU GENERATION《星の夜、ひかりの街 (feat.Rachel&OMSB)》
歌唱演出：Rachel（2022年3月30日）
Elvis Costello《Magnificent Hurt (Remix)》
歌唱演出：Rachel、Mamiko/作詞:Rachel、Mamiko/作曲:Elvis Costello/Remix:chelmico（2022年11月18日）
パソコン音楽クラブ《PUMP! feat.chelmico》
歌唱演出：Rachel、Mamiko/作詞:Rachel、Mamiko/作曲:パソコン音楽クラブ（2023年5月10日）
lil soft tennis 《 Bicycle (feat. chelmico)》
歌唱演出：Rachel、Mamiko/作詞:lil soft tennis、Rachel、Mamikos/作曲:lil soft tennis、Rachel、Mamiko（2023年6月21日）
ESME MORI 《日々 feat. Rachel & 永井聖一 》
歌唱演出：Rachel/作詞:ESME MORI、Rachel/ 作曲:ESME MORI（2023年7月28日）
TOSHIKI HAYASHI(%C)  《Have a nice day feat. Rachel  》
歌唱演出：Rachel/作詞:Rachel/ 作曲:TOSHIKI HAYASHI(%C)、Rachel（2023年8月9日）
製作

擔任富士電視台綜藝節目『ギャルフェス』選秀企劃評審員。在節目上親自選拔出道成員，組成辣妹嘻哈團體:「GF6」，並製作出道同名單曲《GF6》
媒體演出 > CM廣告代言

AOKI「AOKI&CanCamTVCM 360°キレイ コラボスーツ篇」(聲音演出) (2017年2月)
花王「ビオレさらさらパウダーシート」(聲音演出/CM歌曲)(2017年4月)
三越伊勢丹「夏のクリアランスセール」 (聲音演出/CM歌曲)(2017年6月)
日本可口可樂「爽健美茶」25周年紀念宣傳代言(本人演出/CM歌曲) (2019年2月)
YAGI & CO 公司「VIBTEX」(代言/CM歌曲)(2020年9月)
日本微軟Surface產品連動Spotify音樂平台Bag Check企劃廣告(聲音演出/CM歌曲)(2020年11月)
日本google「Galaxy S21機型」 網路廣告代言(本人演出/CM歌曲)(2021年5月)
日本Levi's「SilverTab™」廣告短片(本人演出)(2022年8月)
媒體演出 > 電影

東佳苗導演作品 「THE END OF ANTHEM」演出 : Rachel  （2017年8月27日)
媒體演出 > 配音

兒童教育節目シャキーン! 「ミックスジュースクイズ」環節的配音演出:Rachel/Mamiko（2020年9月28日 - NHK Eテレ）
原創2次元角色企劃『ふと思ったんですけど』動畫角色/配音:Rachel/Mamiko（2020年11月 -共10集 フジテレビ）
媒體演出 > 節目解說

談話節目「余談ですけど・・・」解說演出:Mamiko（2021年1月12日 -6月22日 ABCテレビ)
媒體演出 > 朗讀

文學與音樂朗讀活動「文学を踏む」朗讀演出:Rachel（2017年7月24日 )
媒體演出 > 傳統廣播電台

chelmicoのオールナイトニッポン0(ZERO)（2019年5月18日、ニッポン放送）
chelmicoの でも、まだ土曜日（2020年1月4日 - 3月28日、TBSラジオ）
媒體演出 > 網路廣播電台

MUSIC ARROWS～chelmicoのBEST BAR～（2017年10月5日 - 2018年3月29日、TS ONE）
chelmico ララランラララジオ（2018年11月29日、block.fm）
chelmicoの でも、まだ土曜日（2020年4月25日至今、YouTube）
Amazon Music トーク with chelmico でも、まだまだ土曜日番外編（2020年12月12日、Amazon Music、twitch）
chelmicoの「この曲聴いた？」（2021年11月-- 、block.fm）
媒體演出 > 雜誌連載

TV Bros. 「chelmicoのキスがピーク」(2019年10月- )
mini 「chelmicoの初連載」(2020年4月- 2020年11月)
迴響

NHK電視台動畫《別對映像研出手》2020年12月10日獲得美國《紐約客》雜誌「2020年度最棒的電視節目」名單評選的同時，該劇由Chelmico負責製作並演唱的片頭曲《Eazy Breezy》也得到名單中「毫無疑問擁有2020年度最好的主題曲」的評語。。
入圍SPACE SHOWER MUSIC TV主辦的「SPACE SHOWER MUSIC AWARDS 2021」年度最佳突破藝人獎項(BEST BREAKTHROUGH ARTIST)。
歌曲《Eazy Breezy》21年3月8日獲得「SPACE SHOWER MUSIC AWARDS 2021」年度最佳CG動畫PV(BEST CG/ANIMATION VIDEO)獎項，該PV由田向潤導演監製。
歌曲《Eazy Breezy》PV於21年6月10日獲得美國CLIO國際廣告獎「Clio Music 2020/2021」視覺設計獎項銅獎殊榮。
歌曲《Eazy Breezy》在21年10月31日被英國搖滾明星艾維斯·卡斯提洛在其專欄「On my radar」推薦動畫《別對映像研出手》時稱讚是非常酷的主題曲(原話:very cool theme song)。
業界連動

| 歌曲名 | Tie-UP |
| --- | --- |
Drive: 日本郵政《年賀状/遠くに篇》網路CM歌曲
Countdown: Leopalace21《新生活主題》企劃製作曲
爽健美茶的RAP: 日本可口可樂《爽健美茶25周年紀念》CM歌曲
Player: Apple Inc.《Apple Watch Series 4》CM歌曲
switch: 東京電視台深夜25點動畫《四月一日先生的家》第一期片頭曲
Beer Bear: PARCO《SPECIAL IN YOU.》網路CM歌曲
Highlight: AbemaTV《報導節目「AbemaPrime」》片頭曲
ひみつ: JINS《JINS CLASSIC》網路CM歌曲
Eazy Breezy: NHK電視台動畫《別對映像研出手！》片頭曲
Limit: Fitness Club《JOYFIT》合作曲
Terminal 着、即 Dance: J-WAVE『SAISON CARD TOKIO HOT 100』《MUSIC LOVERS ONLY PROJECT》宣傳曲
GREEN: 電影《Daughters》主題歌

あべこべ: 東京電視台《シナぷしゅ》2022年3月主題歌
外部連結 > STAFF

chelmico官方YOUTUBE頻道 （页面存档备份，存于）

chelmico官方推特帳號 （页面存档备份，存于）

chelmico官方instagram帳號 （页面存档备份，存于）

chelmico粉絲俱樂部  （页面存档备份，存于）(chelmico bears)
外部連結 > Rachel

Rachel的個人推特帳號 （页面存档备份，存于）

Rachel的個人instagram帳號
Rachel的遊戲實況頻道 （页面存档备份，存于）(NOOB DRIVE 【Directed by Rachel from chelmico】)
外部連結 > Mamiko

Mamiko的個人推特帳號 （页面存档备份，存于）

Mamiko的個人instagram帳號 （页面存档备份，存于）