构造出来。因此，他们拒绝使用如排中律，无穷公理和选择公理这样的公理。同时也有一些用语和以往不同，例如或的语意会比基础数学中的更强。 数学构成主义拒绝使用反证法，然而爆炸原理在一些数学构成主义的变体中是被接受的，包括直觉主义。 直到十九世纪结束，所有的数学证明使用的还是构造性证明。第一个使用非构造...

可重組計算（Reconfigurable computing） 是一種具有高度彈性運算組織構造（英语：computing fabric）的電腦處理方式（英语：computer processing）。和使用平常的微處理器主要不同的地方在於，可重組計算具有能力對資料路徑（英语：data path）和控制流程做實質上的改變。...

魔法禁書目錄用語為日本作家鎌池和馬的輕小說作品《魔法禁書目錄》及其外傳《科學超電磁砲》、《科學一方通行》的用語介紹。 學園都市（学園都市（がくえんとし）） 佔據東京都的三分之一（將東京西部佔據，並佔有埼玉縣和神奈川縣一部分的圓形城市），居住著230萬名人口，其中八成人口是學生的巨大都市。分為23個...

三体用语，为中国作家刘慈欣的科幻小说作品《三体》及其续作《三体II：黑暗森林》和《三体III：死神永生》的用语介绍。 魔法时代 1453年君士坦丁堡战役期间的一段时间。由于高维碎块接触地球，人类可以通过高维碎块进行空间跳跃，持续时间极短，在高维碎块离开地球后结束。 黄金时代...

日本解剖學會於1929年和1941年设立了两次用語改訂委員會，会议成果於1949年发表在《解剖學用語》（序文為1944年） 中，“摄护腺”因其汉字难写难认，其日语名稱改为“前位腺”，后又确定为“前立腺”。 前列腺是雄性哺乳動物生殖系統中的一個器官，属外分泌腺。在解剖學、演化學和生理學上前列腺的構造因物種而有差異。...

在物件導向的用語中，抽象資料型別相當於類別；抽象資料型別的實體就相當於物件。某些語言包含了用於宣告抽象資料型別的建構子。例如，C++ 和 Java 為此提供了類別建構子。 抽象資料結構即根據所要運算的資料以及其計算複雜性所定義的抽象儲存區，而不關心具體的資料結構的實作。...

用語，之後衍生到對各種事物的類似情感。 萌被用來表達對於漫畫、動畫、電子遊戲中的角色的一種喜愛、興奮、狂熱、誘發慾望或幻想的感情，而此一情感是不能光以「喜愛」表述的。這種表述方式之後延伸到了各種主題上。能引發萌的角色稱為萌角色。萌所誘發的幻想不見得帶有性或色情涵義。 此用語...

設計、實現及維護領域特定語言以及開發工具（集成开发环境）的成本。 尋找、設定及維護適當的語言scope。 設計領域特定語言時，需在領域專門的語言構造，以及通用的語言構造之間取捨平衡。 相較於程式設計師撰寫的程式碼，領域特定語言的效率可能會比較低。 同一領域可能有計多種非標準語言，例如不同保險公司開發、使用的領域特定語言。...

本列表介紹日本Falcom公司製作的角色扮演遊戲《英雄傳說 軌跡系列》的世界觀及相關用語。 此處收錄以下相關遊戲作品的登場人物，以該人物於作品中主要活動地區或者所屬組織分類。 《英雄傳說VI 空之軌跡》（FC、SC、the 3rd） 《英雄傳說VII》（零之軌跡、碧之軌跡） 《英雄傳說...

到夏季則再度昇華進入大氣，不過南極的乾冰並不會完全昇華。夏季仍存在的部分稱為永久極冠，而整體構造稱做極地層狀沉積（Polar Layered Deposits），和地球南極洲與格陵蘭冰層一樣為一層層的沉積構造。北極冠寬達1,100公里，厚達2公里，體積82.1萬立方公里；南極冠寬達1,400公里，最厚達3...

气歧管）或者预燃室（柴油机）内，这即为直喷（direct injection）。 在台灣，一般習稱搭載燃料噴射裝置的汽車或摩托車引擎為「噴射引擎」，用語正好與航空產業所使用的「喷气引擎」（jet engine）之台灣譯法重名。但由於除了極為特殊的場合外jet engine鮮少使用在汽車與摩托車上，一...

定理、圓的周長及面積、三角形的面積、圓柱、球及四角錐的體積等。泰勒斯發展了以幾何物件的相似為基礎，計算一些無法直接量測的高度或距離的方法。天文學的發展也帶來三角學及球面三角學的誕生，也有一些對應的計算技巧。 歐幾里德在所著的《幾何原本》中作了更抽象化的處理。歐幾里德引入了一些公理來說明點、線和面一...

是古希臘對義大利、古羅馬和西班牙的稱呼。Planum（複數形 plana）是拉丁語的高海拔平原或高原。在太空地质学和國際天文聯會行星體系命名法中，該用語是用於其他行星或天然衛星上的相對平坦而高海拔平原或高原。 1877年義大利天文學家喬凡尼·斯基亞帕雷利命名的火星反照率特徵中，將中心座標 20°S,...

市民和軍人能以磁懸浮列車來往宇宙和地球（也能進行運輸用途），而在天上人武力介入初期，GUNDAM就是以磁懸浮列車進行運輸的。 由於軌道電梯非常巨大而難以防禦，構造上也極其脆弱，因此一般會派駐一定數量的部隊駐守於軌道電梯內部。 Union的軌道電梯稱為「Tower」（英語的塔），坐落於南美洲的亞馬遜河上游附近。...

大隈重信と新1万円札・渋沢栄一【前編】. 早稲田ウィークリー. [2024-07-13] （日语）.  Thomas William Kinder(キンダー)｜用語｜ヒストリスト［Historist］−歴史と教科書の山川出版社の情報メディア−. ヒストリスト［Historist］−歴史と教科書の山川出版社の情報メディア−...

(software)和Mathematica, 支援STL檔的技術計算系統。 MeshLab, 視覺化、處理、且轉換3D網模進/出STL的免費、開源且跨平台的應用軟體。 FreeCAD, 能輸入、輸出STL檔的CAD開源軟體。 OpenSCADE, 構造實體幾何建模且支援專門領域用語言，能產生及輸入STL檔。 MountainsMap...

國并未以憲法或法律明確規定日語為官方語言，但各种法令都规定需使用日语，在学校教育中作为国语教授的也是日语。日語是日本通用語及事實上的官方語言。 沒有精確的日語使用人口的統計，如果計算日本人口以及居住在日本以外的日本人、日僑和日裔，日語使用者應超過一億三千萬人。幾乎所有在日本出生長大的日本國國民都以日...

對於科技術語的翻譯，目前世界語社群內部有較大爭議。爭議點主要在，要直接使用傳統世界語的構詞法，還是直接引用國際通用的形式來構造新詞。而這種爭議，本質上是一種文化爭論：使用歐洲語言的世界語者傾向使用自身較爲熟悉的“國際形式”，但是對於來自亞洲的世界語者而言，這種構詞方式則相對...

美國社會為了推廣良好的語法，在2008年起宣布3月4日為全國的語法節（英语：National Grammar Day）。 規範性語法 描寫性語法 教學用語法 形式文法 生成語法（衍生語法） 文字、詞語、句子、文字作品 语言 语言类型学 语言学家列表 句法學 普遍文法 語義學 崔应贤. 现代汉语语法学习与研究入门...

月亮捷陸畢姆 由頭翅給予「月亮」之力的捷陸畢姆兵。擅長計算和敵人的距離、來避開攻撃後、發射電撃彈來加以攻擊。 Antikhton 有著正十二面体的構造、表面上無法確定有十面的有著神聖幾何學模様的神話獸。看到它時，會因為歪曲掉自己的認識構造而加強自己的負面感情。 Grave捷陸畢姆...

Abstract Syntax Tree 异步编程 命名参数、联合类型、注解、构造器属性提升、match 表达式、nullsafe 运算符、JIT，并改进了类型系统、错误处理、语法一致性。 枚举、只读属性、First-class 可调用语法、纤程、交集类型和性能改进 只读类、null、false 和 true...

是，Icon还包括了过程不立即返回成功或失败，转而每次调用它们之时返回一个新值的概念。这些过程叫做生成器，并且是Icon语言的关键部份。在Icon的用语中，一个表达式或函数的求值产生一个“结果序列”。结果序列包含这个表达式或函数生成的所有可能的值。在结果序列被耗尽的时候，这个表达式或函数失败。...

，主要研究一個「可變量」的無窮小變動如何導致另一個量（第一個變數（量）的函數值）相對應的變動。之後過了近一個世紀，李昂哈德·尤拉修正了無窮小微積分的用語，並引入 y = f ( x ) {\displaystyle y=f(x)} 的概念， f {\displaystyle f} 是個函數，具有參數...

（第二局以後）按大貧民、貧民、…、大富豪以階級順序出牌。 與有玩家勝出時，他最後出的牌有關的規則。 某玩家勝出時，他打出的最後一張（組）牌，照常計算。 某玩家勝出時，他打出的最後一張（組）牌，不作計算，由之後的玩家成為主導者。 當有大富豪以外的玩家勝出時，大富豪無條件降為大貧民，稱為一落千丈。...

shell之中。一个表达式还可以产生“多个值”，它是通过“并立子句”（collateral clause）从其他一些值构造出来的。这种构造看起来就像过程调用的参数包（pack）。 基本数据类型在ALGOL 68用语中叫做“模态”（mode），其原始声明符为：INT、REAL、COMPL（复数）、BOOL、CHAR、BITS和BYTES。ALGOL...

康夫、松浦, 寿輝、石田, 英敬 編『フーコー・コレクション〈1〉狂気・理性』筑摩書房〈ちくま学芸文庫〉、2006年5月。ISBN 978-4-480-08991-5。 中山元『思考の用語辞典―生きた哲学のために』筑摩書房〈ちくま学芸文庫〉、2007年2月。ISBN 978-4-4800-9049-2。...

那》和《摩诃婆罗多》的梵語文本中找到。在這些史詩，用語偏離波你尼规定，部分專家相信應該是受到俗語的干擾，或者是革新而致，而不是因為它們早于波你尼。傳統梵語學者稱這些偏離現象為ārṣa（意：“出自圣哲的”），這是對古代作者的傳統稱謂。在某些地方，用語也比嚴謹的古典梵語更為通俗。此外，學者還提出一種叫...

百科全書 031 日本語 032 中國語 033 英語 034 德國語 035 法國語 036 西班牙語 037 義大利語 038 俄羅斯語 039 用語索引＜一般＞ 040 一般論文集・一般講演集 041 日本語 049 雜著 050 逐次刊行物（・年鑑） 051 日本雜誌 059 一般年鑑 060...

横断山脉是中国重要的有色金属矿产地。金沙江、澜沧江和怒江蕴藏多达百种有色金属矿。攀枝花地区是中国煤矿、铁矿储量及产量较大的地区之一。 横断山脉是中国主要水能资源分布区。如金沙江以枯水位计算，干流落差达3000余米，包括支流在内，水能蕴藏量近1亿千瓦。 驼峰航线 27°30′N 99°00′E / 27.500°N 99.000°E...

著單眼眼鏡，左眼因年幼時受的創傷導致視力較差（漫畫單行本 銀河天使2nd 第一集 第5話）。個性豪爽相當有俠義精神，是個不拘小節的大姊頭，說話方式及用語十分男性化，不過沉默的時候展現出女人的成熟魅力；是天使隊裡最年長的人，也是最成熟的人。相當擅常射擊，射擊本領非常厲害。興趣是收集各式槍枝，是在這個雷...

2兆円市場の萌える構造. 日本東京: 講談社. 2005年4月1日: p.28–30. ISBN 978-4063646351 （日语）.  使用|accessdate=需要含有|url= (帮助) 引文格式1维护：冗余文本 (link) 堀田純司. 萌え萌えジャパン 2兆円市場の萌える構造. 日本東京:...