zaibd/wkpdtw huggingface dataset:
調料九里香（學名：_Murraya koenigii_）又名麻絞葉、咖哩葉、咖哩樹、可因氏月橘，是芸香科月橘屬的一種植物。原產於印度，分佈於熱帶與亞熱帶地區。以其葉子有咖哩的味道可做香料使用而得名。

植株為小喬木，可以生長至四至六公尺高，樹幹直徑可達四十公分粗。葉為羽狀複葉，有小葉 11-21 片，小葉長 2-4 公分，寬 1-2 公分。花小，白色，有香味。果實為小漿果，黑色。果實可以食用，不過裡面的種子具有毒性。



用途

本種葉子具有強烈的香味，可做香辛料使用，在印度及斯里蘭卡的料理裡，特別是在做咖哩料理時，常會加入這種葉子來當做調味料使用。新鮮的葉子保存期限很短，若是存放在冰箱內，則可以保存一個星期左右。市面上也可以買到乾燥的葉子，不過乾品的香味比較不香。
日本明治大學的研究顯示，咖喱葉提取物在實驗室環境下可殺死特定種類的癌細胞。



參考文獻
可園可以指：


* 東莞可園，廣東四大名園之一

* 北京可園，北京的一座私家園林

* 蘇州可園，蘇州的一座園林

* 福州可園，福州的一座歷史建築
可園是中國福州市的一處歷史建築，位於倉山區倉前街道馬廠街康山里 5 號，毗鄰以園。

可園建於民國初年，原為鹽務官員鍾景竹所建，英式建築風格，紅磚砌築，包括兩座高三層公寓樓。

1923 年初，此處曾為王連俊寓所，在此舉行了歷時一個月的福音布道會，有數百人加入了新興的福州地方教會。1928 年 8 月，林徽因和梁思成夫妻蜜月期間，回到林氏故鄉福州探母，在此小住月余。此外，福州醫學院教授林梁誠、梵語專家羅世方、作家徐君藩都曾在可園居住。

2013 年，可園被福州市列為保留歷史建築，並被納入馬廠街歷史建築群範圍。



參考
可園，中國江蘇省蘇州市的一座私家園林，位於姑蘇區人民路 708 號。



歷史

1963 年 3 月，可園被列為蘇州市文物保護單位。



參考
可地果螳屬（學名：_Cotigaonopsis_）為谷螳科的一個屬。



下屬物種

本屬包括以下物種：


* 普羅維登斯可地果螳 _Cotigaonopsis providenceae_ Vyjayandi, 2009



參考文獻
可執行與可連結格式（英語：Executable and Linkable Format，縮寫 ELF，此前的寫法是 Extensible Linking Format），常被稱為 ELF 格式，在計算中，是一種用於可執行檔案、目的碼、共享庫和核心轉儲（core dump）的標準檔案格式。首次發布於一個名為 System V Release 4（SVR4）的 Unix 作業系統版本中關於應用二進位介面（ABI）的規範中，並且此後不久發布於工具介面標準（Tool Interface Standard），隨後很快被不同 Unix 發行商所接受。1999 年，這種格式被 86open 專案選為 x86 架構處理器上的 Unix 和類 Unix 系統的標準二進位檔案格式。

按照設計，ELF 格式靈活性高、可延伸，並且跨平台。比如它支援不同的位元組序和位址範圍，所以它不會不相容某一特別的 CPU 或指令架構。這也使得 ELF 格式能夠被執行於眾多不同平台的各種作業系統所廣泛採納。



檔案格式

每個 ELF 檔案都由一個 ELF 首部和緊跟其後的檔案資料部分組成。資料部分可以包含：


* 程式頭表（Program header table）：描述 0 個或多個記憶體段資訊。

* 分段頭表（Section header table）：描述 0 段或多段連結與重定位需要的資料。

* 程式頭表與分段頭表參照的資料，比如 .text .data。

　
: :

記憶體段中包含了用於某個 ELF 檔案執行時執行所需的資訊，而片段中包含了用於連結和重定位的重要資料。整個檔案中的任何一個位元組至多只能屬於一個片段，也就是說可能存在不屬於任何片段的孤立位元組。



技術規範

Linux 標準規範（LSB）增修了上述一些規格中所指定的架構中相關的部分。例如關於 System V ABI、AMD64 Supplement 的案例。



工具


* GNU Binutils 是用來處理許多格式的目的檔 (包括 elf 檔案) 一整套的程式語言工具程式，包括 readelf，objdump，objcopy, nm, strings, strip, as, ar。

* `readelf` 顯示 elf 檔案

* `objdump` 顯示 elf 和 object 格式檔案，解碼 elf 檔案中高階語言語句所對應的機器語言語句段落，組合語言語句段落。

* `nm` 顯示 elf 檔案中變數名和位址



參照
可塑性澱粉材料全名為 Plastarch Material (PSM)，是一種可生物降解的熱塑性塑料。PSM 於 2005 年開始商用。經過酯化、交聯、接枝共聚等高分子化學加工工藝製成生物塑膠，通過對玉米澱粉和其他可再生資源的改性和塑化，使其為集剛性、韌性和彈性於一體的新型環保材料，原料可再生、降解。可以與傳統泛用塑料聚乙烯 (PE) / 聚丙烯 (PP) / 聚苯乙烯 (PS) / 聚氯乙烯 (PVC) / 乙烯 / 醋酸乙烯酯共聚物 (EVA) / 可熱塑性橡膠 (TPR) 等材質共混成為生物基塑料使用。



來源

以植物澱粉和纖維素等天然高分子材料為主要原料，資源可再生，能夠節約大量的石油資源。



材料特性與塑料替代

PSM 具有加工性能，可用普通的塑料加工設備加工成各類製品，產品可具有的使用性能：防水、防油、無毒無害（不含鄰苯類增塑劑、雙酚 A）、耐熱、耐冷。加工生產過程無廢水、廢氣、廢渣的「三廢」排放，符合 RoHS, REACH 等認證環保標準。它也是吸濕性。

由於 PSM 與其他塑料（如聚丙烯 (PP)）類似，PSM 可以運行在許多現有的吹塑成型、片材（吸塑）成型、射出成型（注塑）、發泡成型的生產線，加工溫度 320°F（160℃）-356°F（180℃）。



應用

PSM 目前用於各種各樣的應用在塑料市場：

1. 內外包裝的製品有：食品包裝、電子產品包裝、花缽和底碟、育苗花缽、醫藥包裝、酒店用品、防震包裝（珍珠板）、無定型泡沫緩衝材料（peanut packaging，台灣在相關產業常稱之為「乖乖」）。
2. 膜與膜類的製品有：工業和農用薄膜、生物全降解膜袋、澱粉基購物袋、收縮膜、重包裝袋、背心袋、生物降解塑膠袋。
3. 怡客相關製品：垃圾袋、男女鞋套、密實袋、桌布、澱粉基水杯、澱粉基餐碗、刀叉勺、餐具、杯盤碗碟、餐盒、無毒玩具。
4. 文體用品的製品有：高爾夫球釘、文具。
5. 其他製品還有牙膏蓋和牙刷、廚具、衣架、個人護理用品等等。

PSM 在生物塑料套袋應用上，成功解決普遍家電套袋中，利用回收聚乙烯 (PE) 或聚乙烯 (PE) 中填充大量的碳酸鈣產生的密度由 0.93 增大到 1.0-1.6 公克 / 立方公分（成本提高）、影響物理性能（容易掉粉）問題，PSM 成型膜袋密度約為 0.75 公克 / 立方公分。PSM 應用在三層吹瓶上，產品表面與一般 PE 一樣有光澤，無異常粉末或片狀物，無起泡，印刷和封口不受 PSM 材料用量影響。PSM 運用在生物降解塑料時，可堆肥性已經經國際權威的檢測機構比利時 OWS 進行 EN13432 和 ASTM D6400 標準檢測，並由獨立的第三方認證機構 DIN CERTCO 和 VINCOTTE 進行認證，取得了 "Compostable" 標識和 "OK Compost" 標識。

因為 PSM 是來自可再生資源（玉米澱粉），它已成為一個有吸引力的石油衍生的替代產品。



回收

PSM 生物降解材料及製品使用後的廢棄物可完全生物降解，​​能夠實現垃圾堆肥化和無害化處理。在大氣中的穩定的，但在適當的潮濕的土壤、淡水、海水，和活性污泥中的微生物存在條件下可生物降解（依據 EN13432 標準第 2 部分）的堆肥。90% 以上的 PSM 生物降解塑料僅需 80 天就成功轉為二氧化碳，水，能源和生物碳。

不像一般泛用塑料，PSM 也可以被焚燒處理。中國北京國家塑膠品質監督檢驗中心出具體的檢測報告顯示：每噸普通塑膠（如聚丙烯 (PP)）二氧化碳 CO2 排放量為 3.13 噸，每噸 PSM 二氧化碳 CO2 淨排放量為 0.6 噸。二氧化碳淨排放量只有傳統塑料二氧化碳排放量的 10～20%，能夠有效減少二氧化碳的排放。燃燒產生的是無毒煙霧和白色殘餘物，殘餘物可以用來作為肥料。[來源請求？]

如果與泛用塑料聚乙烯 (PE) / 聚丙烯 (PP) / 聚苯乙烯 (PS) / 聚氯乙烯 (PVC) / 乙烯 / 醋酸乙烯酯共聚物 (EVA) / 可熱塑性橡膠 (TPR) 等材質共混成為生物基塑料使用時，可依據共混材質回收。例如 PSM 與聚乙烯 (PE) 共混，則進入到聚乙烯 (PE) 類的回收系統。
塑性炸藥（Plastic explosive）是一種可塑型、黏土狀的炸藥配方，可依需要捏成各種形狀，混合塑化劑和氯酸鉀可以做成塑性炸彈。有 C4、C3 等分類，其組合成分依製造法各有不同。它的形態上有如黏土可耐強壓、揉擠甚至防水，除依特定引信引爆外，純粹高溫或遇火不會讓它自動爆炸。它的引爆方式很多，一般在炸藥上插定時信管，或用遙控、電流等，均可引爆，威力則不亞於 TNT。塑性炸彈不能被金屬探測器發現又可以製作成任意形狀而常被恐怖分子所利用。發生於 1988 年 12 月 21 日的洛克比空難就是由製成布狀的塑性炸彈造成的。



參考


* 黏著榴彈
可塘鎮，是中華人民共和國廣東省汕尾市海豐縣下轄的一個鄉鎮級行政單位。



行政區劃

可塘鎮下轄以下地區：

可塘社區居民委、​隴東村、​倉前村、​上達村、​下達村、​埔隴村、​羅南村、​羅西村、​黃厝港村、​羅東村、​羅北村、​羅山村、​城格山村、​陳厝坡村、​長橋村、​可北村、​可新村、​聯金村、​豐山村、​溪頭村、​下可塘村和東新村。
O2U 海盜式偵察機，或音譯為「可塞」，於 1925 年由錢斯・沃特公司研製的偵察機、教練機和水上飛機，此機又可大約被分成早期型的 O2U 和後期型的 O3U，兩者皆被稱為海盜式，此機和第二次世界大戰時錢斯沃特公司另一款有名的艦載戰鬥機 F4U 戰鬥機同名。



設計特點

O2U 的機身骨架為鋼管焊接主樑再加鋁合金支架而成，前機身為鋁合金蒙皮而後機身為帆布，前座位被油箱包圍，機翼為樺木製而上方主翼向後掠 4.75 度。

O2U 為後三點式固定起落架，固定式起落架為有伸縮式減震器，若果是水上飛機型號為浮筒。

其發動機沒有整流罩的是早型形 O2U，若有的話是後期型的 O3U，在其機頭和後座皆有一挺 M1919 機槍作為武裝。

1926 年 11 月試飛成功並且飛行成績良好，速度比一般雙座位飛機要快而且可以比美戰鬥機，其飛行穩定性也佳故也可作為教練機使用，其機身也容易做維修。



主要型號


* O2U-1

頭一批 130 架生產型，當中大部份是水上飛機，其中 6 架陸基型於 1927 年派駐給尼加拉瓜的海軍陸戰隊使用，而且外銷日本 3 架，日本人仿製成為九 O 式二號水上偵察機


* O2U-2

艦載機型，裝有著艦鉤和上翼的中段翼切加大並可在機腹掛上一杖 500 磅炸彈，O2U-2 共生產了 37 架


* O2U-3

修改機上的纜繩和把垂直尾翼重新設計成曲線的形狀，此機尾也為後來的型號沿用


* O2U-4

和 O2U-3 相近但換了設備


* O3U-1

由 O2U-4 發展而來，加裝發動機整流罩，速度明顯加快，故又名海盜二式


* O3U-2

取代 O2U-2 的艦載機型，又名 SU-2


* O3U-3

裝有拋擲式回收系統的水上飛機


* O3U-4

O3U-2 的改良型，又名 SU-4


* V-65

O3U-2/SU-2 的外銷型


* V-92

由 V-65 發展而來的外銷型，前方駕駛艙改為封閉式，當中外銷泰國的被稱為 V-93



基本資料 (O2U-1)


* 乘員：2 人

* 機長：7.32 米

* 翼展：10.97 米

* 機高：3.35 米

* 空重：1,021 公斤

* 載重：1,680 公斤

* 翼面積：44.54 平方米

* 最快時速：145 公里 / 小時

* 航程：724 公里

* 昇限：6,126 米

* 發動機：普惠 R-1340 胡蜂式風冷式星形發動機 (450 匹馬力)

* 武裝：上機翼上面有安裝兩挺 7.62 毫米口徑 M1919 機槍和後座安裝一挺同型機槍，下機翼下方武器掛架可懸掛四枚 116 磅的炸彈。



可塞機在中國

1929 年 10 月國民政府軍政部航空署署長張恵長從美國錢斯・沃特公司購買 12 架 O2U-1 偵察機，該機裝有炸彈掛架和機槍，是武裝型觀察機。交由廣東航校第 3 期畢業生 20 人做飛行員，隨即用於內戰。至 1933 年，總計購買了 42 架出口型 O2U-1 飛機。1933–1934 年，購買了 21 架出口型 O3U 飛機。前者被稱為舊可塞而後者被稱為新可塞，

列寧號

列寧號是中國工農紅軍的第一架軍用飛機，現存河南信陽鄂豫皖革命紀念館。

1930 年 3 月 16 日，國民政府軍政部航空署出動美製錢斯沃特 O2U 海盜式偵察機從漢口飛往開封，飛行員是龍文光上尉，但回航時遇上大霧，龍文光駕機迫降在宣化店，他隨後被鄂豫皖紅軍第一師三團二營手槍連俘虜，之後龍文光願意加入紅軍，而這架 O2U 被改名為列寧號。

中日戰爭

中國在抗日戰爭前夕已購買了 V-65（42 架）和 V-92（21 架），此兩型皆被稱為新可塞，1936 年西安事變後一架 V-92 負責接送中共代表周恩來往返延安和西安之間，1937 年七七事變引致中日戰爭並隨即發生 813 淞滬會戰，8 月 15 日，中國空軍的 V-65（O3U-2）偵察機隊也掛上炸彈和 A-16 攻擊機隊一起轟炸駐上海日軍的公大紗廠（已被日本人改為軍事基地）等軍事目標，之後又用於華北戰場，該年年底退出戰場，作為航校教練機使用



使用國家


* 美國（生產國）

* 阿根廷

* 巴西

* 中華民國

* 德國

* 日本

* 墨西哥

* 秘魯

* 泰國



參考文獻


* 航空知識雜誌 2012 年 2 月號

* 航空知識雜誌 2012 年 9 月號



外部連結


* 安內攘外戰役中立第一功的美製可塞偵巡機
可重複使用發射系統(英文：reusable launch system) 是指能夠部分或全部回收火箭部件，並重複使用的發射系統。到目前為止，各國已飛行了幾種可完全重用的次軌道飛行系統和可部分重用的軌道飛行系統。

第一個可重用軌道飛行載具是太空梭，但它無法實現「將發射成本降低至低於一次性運載系統」的目標。SpaceX 首席執行官伊隆・馬斯克表示，如果能夠做到像飛機般可重複使用的火箭，那麼進入太空的成本將減少至百分之一以下。

在 21 世紀，市場對於可重複使用發射系統的興趣日益濃厚，使數種擁有此技術的太空飛行載具誕生。SpaceX 具有可重用第一級推進器、可回收太空艙（天龍號太空船）和一次性第二級推進器的獵鷹九號，太空飛船公司（The Spaceship Company）可重複使用的次軌道太空船 2 號，和藍色起源（Blue Origin）具有可回收第一級推進器和太空艙的次軌道新雪帕德火箭。



載具配置

現時尚未能證明單級入軌（SSTO）的方法是可行的，而幾種可部分重用的兩級入軌飛行器正在使用中或已經達到最後發展階段。

如果將飛機視為發射載具中的第一階段，則可以將從飛機發射的消耗性火箭彈歸類爲可部分重用。使用這種配置的其中一個例子是軌道科學公司的飛馬座運載火箭。

 

降落

發射部件 / 降落燃料重用



歷史

隨著 20 世紀上半葉發明火箭推進技術，太空旅行成為一種技術可能性。

單級可重複使用的太空飛機的早期想法被證明是不現實的，儘管即使第一批實用火箭運載工具（V-2）也可以到達太空邊緣，但可重複使用的技術卻過於沉重。另外，作為運輸核彈頭等武器的載具，許多早期的火箭不可能被設計為可回收火箭。多級火箭解決了早期火箭質量效率不足的問題。1981 年，美國航天飛機問世，這是第一個階段的可重複使用太空飛行器。

現代可重複使用的軌道飛行器包括 X-37 和 Dream Chaser。

20 世紀

美國航空航天局（NASA）在 1960 年代後期開始了航天飛機的設計過程，其願景是在 1970 年代使用乘員反激式助推器製造完全可重複使用的航天飛機。 這種設計被證明過於昂貴且無法及時開發，因此該設計被縮減為使用可重複使用的固體火箭助推器和消耗性的外槽。實踐證明，航天飛機在其整個生命週期（1981 年至 2011 年）中要比消耗性的發射系統昂貴得多。

1986 年，羅納德・裡根總統（Ronald Reagan）呼籲使用噴氣式超燃沖壓發動機國家航空飛機（NASP）/ X-30。 該項目由於嚴重的技術問題而失敗，並於 1993 年被取消。

在 1990 年代，麥克唐納・道格拉斯（McDonnell Douglas）Delta Clipper VTOL SSTO 提議進入了測試階段。 DC-X 原型展示了快速的周轉時間和自動計算機控制功能。

在 1990 年中期，英國的研究將早期的 HOTOL 設計演變為前景更為廣闊的 Skylon 設計，該設計仍在開發中。

從商業角度來說，Rocketplane Kistler 和 Rotary Rocket 試圖在破產之前製造可重複使用的私人開發火箭。

美國宇航局提出了危險的可重用概念，以取代航天飛機技術，這將在 X-33 和 X-34 計劃中得到證明，由於成本上升和技術問題，它們在 2000 年代初均被取消。

21 世紀

Ansari X Prize 競賽旨在開發私人亞軌道可重複使用載具。 許多私營公司與獲勝者 Scaled Composites 競爭，在兩週的時間內憑藉其可重複使用的 SpaceShipOne 兩次到達了 Kármán 線。

2012 年，SpaceX 開始使用實驗載具進行飛行測試計劃。 這些後來導致開發了 Falcon 9 可重複使用的火箭發射器。

2015 年 11 月 23 日，新雪帕德火箭成為第一架通過卡爾曼線 (Karman line)（100 km 或 62 mi）進入太空的垂直起飛 / 著陸（VTOL）亞軌道火箭，達到 329,839 英尺（100,535 m），然後返回並使用降落傘降落。
在協助將 11 顆 Orbcomm OG-2 商業衛星送入低地球軌道之後，SpaceX 於 2015 年 12 月 21 日實現了可重複使用軌道火箭級的第一次垂直軟著陸。

獵鷹 9 號第二次飛行是在 2017 年 3 月 30 日進行的。現在，SpaceX 通常會恢復並重新使用其第一階段，同時也打算重新使用整流罩。

截至 2020 年 5 月，唯一可操作的可重複使用的軌道級發射系統是獵鷹 9 號運載火箭和獵鷹重型運載火箭。 SpaceX 還正在開發可完全重用的星艦，預計於 2022 年進行首次軌道飛行測試



可重複使用發射系統列表



參考資料



參見
可大鄉，是中華人民共和國重慶市酉陽土家族苗族自治縣下轄的一個鄉鎮級行政單位。



行政區劃

可大鄉下轄以下地區：

可大村、​吳家村、​中壩村、​七分村、​昔比村、​新溪村、​客寨村和程香村。



中國傳統村落

2013 年 8 月，七分村被評為第二批中國傳統村落。
可姬蜂屬（學名：_Xestopelta_）是姬蜂科下的一個屬。



下屬物種

本屬包括以下物種：


* _Xestopelta alutacea_ (Benoit, 1955)

* 亮可姬蜂 _Xestopelta gracillima_ (Schmiedeknecht, 1926)

* _Xestopelta lugens_ (Seyrig, 1934)

* _Xestopelta sexcincta_ (Brauns, 1896)

* _Xestopelta vertebrata_ (Cushman, 1922)



參考文獻
《可它愛著這個世界》是中國男歌手周深演唱的首支自己作曲的歌曲。周深因此曲獲得微博 2019 十大影響力原創音樂人獎項。在 2018 年度流行音樂全金榜的音樂旅程中，周深參加了多場「音樂面對面」活動，在全國各地的歌迷們面前現場演繹了《可它愛著這個世界》等眾多優秀的音樂作品，周深因此在 2019 年 5 月獲得了流行音樂全金榜頒發的「年度最佳舞臺演繹」獎。歌曲於 2018 年 9 月 29 日作為數字單曲發布。



背景和風格

2018 年 9 月 29 日，這一天是歌手周深 26 歲生日，也是他演唱的首支由作曲人周深創作的歌曲《可它愛著這個世界》在音樂平台作為單曲發布的日子。周深介紹說，這首歌的創作靈感來自《夏目友人帳》中露神那一集，被那些「妖怪」們之間的溫暖感動，於是寫下了最初的旋律。後來經過多次修改，終於在四年後的這一天發表了這第一支自己的原創單曲。

上海普陀分享了這首治癒的歌曲，並評論：「周深 #歌聲里緘默的溫柔為我們推開去往精奇古怪的可愛世界的大門，用光芒里的最耀眼最旖旎直擊你內心的柔軟。」



創作者

以下內容整理自豆瓣音樂和 QQ 音樂：



重要演出

2018 年 12 月，周深在流行音樂全金榜長春和南寧的「音樂面對面」活動現場分別演唱了《可它愛著這個世界》。

2021 年 12 月 31 日，周深在 Bilibili 最美的夜跨年晚會現場演唱了《可它愛著這個世界》與《Just Like Fire》。



排行榜

《可它愛著這個世界》自上線就好評不斷，歌曲在各個榜單中也拿到了前三的好名次。



榮譽



參考文獻



外部連結


* YouTube 上的 b 站跨年晚會現場視頻
可安裝檔案系統（英語：Installable File System，縮寫 IFS）也稱可安裝的檔案系統，它是 MS-DOS/PC DOS 4.x、IBM OS/2 和 Microsoft Windows 中的一個檔案系統 API，使作業系統能夠辨識和載入用於檔案系統的驅動程式。



歷史

在 IBM 和微軟聯合開發 OS/2 時，他們意識到 FAT 檔案系統沒有提供現代作業系統所需要的一些特性，因此微軟開始開發代號為「Pinball」的高效能檔案系統（HPFS）。

相比 FAT 在作業系統核心中編寫代碼，微軟開發了一個基於驅動程式的檔案系統 API，以便他們和其他開發者可以在不對核心做修改的情況下添加新檔案系統。

當微軟停止就 OS/2 的開發時，IBM 繼續使用該 IFS 介面，而微軟在 Windows NT 中實現了類似的介面。



Windows 3.11 和 9x 中的 IFS

IFSHLP.SYS（Installable File System Helper）是一個 MS-DOS 裝置驅動程式，最早作為微軟 Windows 3.11 的一部分發布。它以繞過 16 位元 DOS API 並確保沒有其他真實模式驅動程式攔截 INT 21h 呼叫的方式使 Windows 386 增強模式下支援原生 32 位元檔案存取。

IFSHLP.SYS 的保護模式對應 Windows 3.11 中的 IFSMGR.386 和 Windows 95 以及 Windows 98 中的 IFSMGR.VXD。



Windows NT 中的 IFS

IFS API 是 Windows Driver Kit 的一部分。

當微軟停止開發 OS/2 並專注於當時稱為 OS/2 NT 的系統時，他們採用了 IFS 的想法與 HPFS 檔案系統。

相比原來的四份方案，NT IFS 被重新設計為兩份方案，microIFS 和 miniIFS 被從方案中移除，IFS 和 Helper 保持不變。Windows NT 4.0 中增添了碎片整理助手（DEFRAG）。微軟原 NTLDR 被編寫為從 FAT、HPFS 或 NTFS 編寫 NT 核心，不過隨後的版本放棄了對 HPFS 的支援。上述所有驅動程式和助手程式都是 32 位元 PE 可執行檔。FAT 檔案系統從核心中移除，轉移到一個 IFS，並利用 32 位元處理能力進行了大量效能最佳化（稱為 FASTFAT）。

最初的 Windows NT 3.1 包含 FAT、HPFS (Pinball) 和新建立的 NTFS 驅動程式，以及一個新且改進的 CD-ROM 檔案系統驅動程式，其支援 Microsoft Joliet 檔案系統所用的長檔名。

Windows NT 3.51 向 NTFS 和 IFS 介面增添了單個檔案的壓縮。Windows NT 4.0 中，HPFS 被移除。在 Windows 2000 中，FASTFAT 的更新增添了 FAT32 和通用光碟格式（UDF）的支援。

Windows 2000 修改了 IFS 介面以增添單個檔案的加密能力。

網路共享檔案系統和防病毒程式也使用 IFS 實現。

蘋果公司自 Mac OS X 10.6 的 Boot Camp 中開始包含唯讀的 HFS + 驅動程式，以供 Windows XP、Windows Vista 和 Windows 7 使用。



參考書目


* O'Reilly - Windows NT File System Internals, A Developer's Guide - By Rajeev Nagar - ISBN 1-56592-249-2

* Microsoft Press - Inside Windows NT File System - By Helen Custer - ISBN 1-55615-660-X

* Microsoft Press - Inside Windows NT - By Helen Custer - ISBN 1-55615-481-X



參見


* 虛擬檔案系統

* 檔案系統列表

* 檔案系統的對比



參考資料



外部連結


* Microsoft's IFSKit （頁面存檔備份，存於網際網路檔案館）（英文）
可定義數（英語：definable number）是指能夠以有限的文字描述出來的數。自然數、有理數、代數數、圓周率等都有明確的定義，都屬於可定義數的範疇。事實上，整個人類歷史上所有文獻提到過的所有的數都是可定義的，因為它們都已經被人們描述出來了。



參考文獻


* matrix67. 比根号 2 更 “无理” 的数. [2013-11-04]. （原始內容存檔於 2019-06-05）.
可宜（英語：Natalie Mitchell，1984 年 6 月 28 日 —），港英混血兒，於香港土生土長，早年就讀聖保祿學校，並曾到英國留學，2008 年經香港有線電視主播大募集而入行，曾為有線娛樂新聞台主播，在 2016 年 10 月離職。丈夫是香港籃球員鄭錦興。



演出

節目主持（香港有線電視）


* 2008 年 - 2016 年：有線娛樂新聞台主播

* 2010 年：絲路・千年一嘆

* 2011 年：怪談・靈異直播

* 2013 年：美少女的奇幻漂流

* 2014 年：今日觀點 夏日對決

* 2014 年：我是香港人

* 2015 年：娛樂熱辣辣

節目主持（ViuTV）


* 2018 年：晚吹 — 罪光燈

節目主持（香港開電視）


* 2022 年：有種老闆娘

其他演出


* 2017 年：第 11 屆亞洲電影大獎主持

* 2017 年：ViuTV《晚吹 — 總有一件喺左近》（第 24 集嘉賓）



參考資料



外部連結


* 可宜的 Facebook 專頁（繁體中文）

* 可宜的 Instagram 帳戶（繁體中文）
可實現性是可用來處理關於公式的信息而不是關於公式的證明的那部分證明論。自然數 _n_ 被稱為實現了自然數算術的語言中一個陳述。其他邏輯和數學陳述也是可實現的，假如提供了解釋合式公式一種方法，而不用藉助達成這些公式的證明。



起源

史蒂芬・科爾・克萊尼在 1945 年介入了可實現性的概念，寄希望於它成為直覺邏輯推理的忠實典範，但這個設想最初由 Rose 反證了一個可實現的命題公式的例子，它在直覺演算中是不可證明的。可實現性似乎由於它的複雜度而難於公理化，但它可以通過高階 Heyting 算術（HA）來達成。



後來發展

改進可實現性使用有類型 lambda 演算作為語言實現者。改進可實現性是展示馬爾科夫原理在直覺邏輯中不可推導的一種方式。正相反，它允許構造性的證實前提的獨立性原理： $(\neg A\rightarrow \exists x\;P(x))\rightarrow \exists x\;(\neg A\rightarrow P(x))$ 。

相對可實現性是非必需可計算的資料結構的遞歸或遞歸可枚舉元素的直覺主義分析，比如在實數在數字計算機系統上只能近似表示的時候在所有實數上的可計算的運算。



計算機科學應用

改進可實現性證實了實施於某些證明輔助工具比如 Coq 中的「證明提取」過程。



引用


* Birkedal, Lars; Jaap van Oosten. Relative and modified relative realizability. 2000.

* Kreisel G. (1959). "Interpretation of Analysis by Means of Constructive Functionals of Finite Types", in: Constructivity in Mathematics, edited by A. Heyting, North-Holland, pp. 101--128.

* Kleene, S. C. On the interpretation of intuitionistic number theory. Journal of Symbolic Logic. 1945, 10: 109–124.

* Kleene, S. C. (1973). "Realizability: a retrospective survey" from Mathias, A. R. D.; Hartley Rogers. Cambridge Summer School in Mathematical Logic : held in Cambridge/England, August 1-21, 1971. Berlin: Springer. 1973. ISBN 354005569X.  , pp. 95-112.

* Oosten, Jaap van. Realizability: An Historical Essay. 2000.

* Rose, G. F. Propositional calculus and realizability. Transactions of the American Mathematical Society. 1953, 75: 1–19.



注釋
在邏輯中，特別是數理邏輯中，推理規則（推論規則）是構造有效推論的方案。這些方案建立在一組叫做前提的公式和叫做結論的斷言之間的語法關係。這些語法關係用於推理過程中，新的真的斷言從其他已知的斷言得出。規則也適用於非形式邏輯和邏輯論證，但是形式化更加困難和有爭議。

按照規定，推理規則的應用純粹是語法過程。儘管如此它必須是有效的，或者更精確地說保持有效性。為了使保持有效性的要求有意義，某種形式的語義與推理規則有關和推理規則自身的斷言是必需的。對於在推理規則和和語義之間相互關係的討論請參見命題邏輯。

命題邏輯中推理規則的顯著例子是肯定前件和否定後件規則。對於一階謂詞邏輯，推理規則需要處理邏輯量詞。對這種論證的更詳細的描述請參見有效性。在一階謂詞邏輯中把所有推理規則作為一個單一規則來統一處理請參見一階歸結。

注意有很多不同的形式邏輯系統，每個都帶有合式公式、推理規則和語義的自己的集合。參見時間邏輯、模態邏輯或直覺邏輯的實例。量子邏輯也是一種不同尋常形式的邏輯。參見證明論。在謂詞演算中，需要一個補充的推理規則。它叫做普遍化。

在形式邏輯的設置（和很多有關領域）中，推理規則通常用如下形式給出：

前提 #1 
前提 #2 
 ...
  
前提 #n
  
結論

這個表達式聲稱，在某個邏輯推導期間已經獲得了給定前提，同樣可以認可特定結論。用來描述前提和結論二者的的精確的形式語言依賴於推導的實際上下文。在一個簡單的情況下，你可以使用邏輯公式，比如

 A→B
  
 A   
  
 B

它是命題邏輯的肯定前件規則。推理規則通常通過使用全稱變量而公式化為規則模式。在上面的規則（模式）中，A 和 B 可以被實例化為論域（有時約定為某種受限制的子集比如命題）的任何元素，來形成推理規則的無限集合。

證明系統形成自一組規則，它們可以被連結在一起形成證明或_推導_。任何推導都只有一個最終結論，它是要證明或推導的陳述。如果在推導中留下了未滿足的前提，則推導就是_假言_陳述："_如果_前提成立，_那麼_結論成立 "。



可接納性和可推導性

在規則的集合中，一個推理規則可能是多餘的，在它是「可接納的」或「可推導的」的意義上。一個可推導規則是可以使用其他規則從它的前提推導出它的結論的規則。可接納規則是只要前提成立結論就成立的規則。所有可推導規則都是可接納規則。要鑑別它們的區別，考慮定義自然數的下列規則集合（判斷 $n\,\,{\mathsf {nat}}$ 斷言 $n$ 是自然數的事實）:

　
: ${\begin{matrix}{\frac {}{\mathbf {0} \,\,{\mathsf {nat}}}}&{\frac {n\,\,{\mathsf {nat}}}{\mathbf {s(} n\mathbf {)} \,\,{\mathsf {nat}}}}\\\end{matrix}}$

第一個規則聲稱 0 是自然數，第二個聲稱 s（n） 是自然數，如果 _n_ 是自然數。在這個證明系統中，下列規則示範了自然數的第二個後繼者也是自然數，是可推導的：

　
: ${\frac {n\,\,{\mathsf {nat}}}{\mathbf {s(s(} n\mathbf {))} \,\,{\mathsf {nat}}}}$

它的推導只是上述後繼規則的兩次使用的複合。下列規則斷言任何非零自然數有前驅者存在，只是可接納的：

　
: ${\frac {\mathbf {s(} n\mathbf {)} \,\,{\mathsf {nat}}}{n\,\,{\mathsf {nat}}}}$

這是自然數的事實，並可以通過數學歸納法證明。（要證明這個規則是可接納的，你可以假定這個前提的一個推導，並在其上歸納出生成 $n\,\,{\mathsf {nat}}$ 的推導）。但是，它不是可推導的，因為它依賴於前提的推導的結構。為此「可推導性」在增加到證明系統下是穩定的，而「可接納性」不是。要看出區別，假設下列無意義規則被增加到證明系統：

　
: ${\frac {}{\mathbf {s(-3)} \,\,{\mathsf {nat}}}}$

在這個新系統中，雙後繼規則仍是可推導的。但是，找到前驅者的規則不再是可接納的，因為沒有方式來得到 $\mathbf {-3} \,\,{\mathsf {nat}}$ 。可接受性的脆弱來自它被證明的方式：因為這個證明可以歸納於前提的推導的結構上，對系統的擴展向這個證明增加了新情況，而它可能不再成立。

可接納規則可以被認為是一個證明系統的定理。例如，在相繼式演算中切消成立，「切」規則是可接納的。



其他考慮

推理規則也可以用如下形式陳述：（1）某些（比如零）前提，（2）十字轉門（turnstile）符號 $\vdash $ ，它意味著 "推出"、"證明" 或 "得出"，（3）一個結論。十字轉門符號化了執行能力。蘊涵符號 $\rightarrow $ 沒有這種能力：它只指示_潛在的_推理。 $\rightarrow $ 是另一個邏輯運算符，它運算於真值之上。 $\vdash $ 不是邏輯運算符。它是一個催化劑，代謝真陳述來建立新陳述。

推理規則必須區別於一個理論的公理，它是被假定為真而無須證明的斷言。依據語義，公理是有效的斷言。公理通常被當作應用推理規則和生成一組結論的起點。注意在推理規則和公理之間沒有明確的區別，在規則可以被人工編碼為公理或反之的意義上。例如，一個規則的前提的集合可以為空，所以結論總是為真。反過來說，一個公理通常假定是一個單一子句，但是實際上你可以指定生成一個公理的無限集合的模式，它淺薄的有著和推理規則有一樣的形式。

或者用更少的技術術語：

規則是關於系統的陳述，公理是系統內的陳述。例如：


* 規則從 $\vdash p$ 推出 $\vdash Provable(p)$ 是個陳述，聲稱如果你已經證明了 p 則 p 是可證明的（通常是合理的主張）。

* 公理 $p\to Provable(p)$ 將意味著所有真的陳述都是可證明的（通常不是個合理的主張）。

在證明論中，推理規則在邏輯演算比如相繼式演算和自然演繹的規定中扮演了關鍵角色。



參見


* 命題演算

* 自然演繹

* 推理規則列表
可汗（拼音：Kèhán（叶音）；古突厥語：𐰴𐰍𐰣‬ _Qaghan_；蒙古語：ᠬᠠᠭᠠᠨ，鮑培轉寫：_qaγan_，八思巴文：ꡢꡖꡋ，秘史記音：中合罕，西里爾字母：хаан）或大汗，又譯為可寒、合罕，通黑汗，統治者頭銜，原意王朝、神靈和上天，類似漢語所說的天子，或是皇帝。

可汗為位於歐亞大草原游牧部落的一個歷史頭銜，汗國的統治者，用來代指酋長或統治者，廣泛使用於遊牧民族地區，在古代鮮卑、回紇、柔然、高車、突厥、吐谷渾、鐵勒、女真等建立的汗國，其君主或最高政治首領皆稱可汗或大汗。



起源

可汗最早的記錄出現於 3 世紀（283-289 年間），鮮卑部落首次使用「可汗」作為其首領的頭銜，最初，可汗只領導相對較小的部落實體，通常在廣闊的蒙古和中國北方草原中或附近，游牧民族幾乎無窮無盡的遊行進入鄰近定居地區的歷史。有些人在一段時間內設法建立了一些重要的公國，因為他們的軍事力量一再證明對東亞和中亞等地區的國家構成嚴重威脅。

「可汗」最早在鮮卑系的柔然人中使用，據《宋書》記載乙那婁與慕容吐谷渾對話，稱吐谷渾為「可寒」：

> 樓喜拜曰：「處可寒。」虜言「處可寒」，宋言爾官家也。即使所從二千騎共遮馬令回，不盈三百步，欻然悲鳴突走，聲若頹山。如是者十餘輩，一向一遠。樓力屈，又跪曰：「可寒，此非復人事。」渾謂其部落曰：「我兄弟子孫，並應昌盛，廆當傳子及曾孫玄孫，其間可百餘年，我乃玄孫間始當顯耳。」於是遂西附陰山。
> 
> 

此外著名的北魏太武帝時期的嘎仙洞石壁祝文有「皇祖先可寒」、「皇妣先可敦」，柔然覆滅後其變體出現在古突厥（Göktürks），在塞爾柱帝國，它是最高的貴族頭銜，高於馬利克（阿拉伯語的「國王」）和埃米爾（王子）。

Dybo（2007）根據 Benveniste（1966）的觀點，認為 Khagan 的最終詞源來自中古伊朗語 \*hva-kama-「自治者，皇帝」。Savelyev 和 Jeong（2020）指出，Khagan 及其對應的女性詞 Khatun 的詞源都可能源自東伊朗語言，特別是源自「早期薩卡語 \*hvatuñ，參見經證實的粟特語單詞 xwt'w 'ruler' (<\*hva-tāvya-) 和 xwt'yn ' 統治者的妻子 ' (<\*hva-tāvyani)」。

在蒙古帝國「汗」表示一個部落的統治者，而所有蒙古人的統治者是可汗或大可汗。這個頭銜的重要性隨後下降。在薩法維王朝，這是省長的頭銜，而在蒙兀兒帝國，這是僅限朝臣的高級貴族。在蒙兀兒帝國垮台後，它被濫用並降格成為一個氏族稱號。

蒙古及突厥語中「汗」是部落或軍事領袖的意思。「可汗」有「大汗」或「諸汗之汗」的意思，由柔然汗國開始用作君主稱號，代替了匈奴的「單于」稱號。在花剌子模，可汗是對總督的敬稱。在當代的土耳其，「可汗」（Kağan 或 Kaan）是常見的名字（當代土耳其語「ğ」近乎無聲），在當代的巴基斯坦與阿富汗，「汗」（Khan）也是一個姓氏。



歷史

可汗作為一國之主的稱號最早始於公元 402 年柔然首領社崘自稱丘豆伐可汗。《隋書》錄沙缽略在給隋文帝信中自稱「伊利俱盧設莫何始波羅可汗」，隋文帝覆信中亦稱對方「伊利俱盧設莫何沙缽略可汗」。

漢人君主也稱可汗，但非自稱，《樂府詩集・木蘭詩》即有：「昨夜見軍帖，可汗大點兵。」之句，但北魏乃鮮卑建立的政權，隋文帝與隋煬帝被東突厥人稱為「聖人莫緣可汗」，但此可汗非彼可汗，只是一人（即啟民可汗）對隋朝皇帝之尊稱；中國皇帝被廣大的突厥語族部落稱為可汗要等到 7 世紀唐太宗之時。唐朝貞觀四年，擊敗東突厥後，西域各國君主在長安尊唐太宗為「天可汗」，貞觀二十一年滅薛延陀第二次在靈州被 15 部鐵勒諸部酋長尊為天可汗，其地位在游牧民族語義中比聖人可汗還高，「天」在突厥語中具有很高尚、有權力的含義，其後在中亞掌權的突厥國王吐火羅葉護、石國吐屯王也稱唐玄宗為「天可汗」，在安史之亂後唐代宗也被回紇人藥葛羅稱為「天可汗」：

> 四夷君長詣闕請上為天可汗，上曰：「我為大唐天子，又下行可汗事乎？」群臣及四夷皆稱萬歲。是後以璽書賜西北君長，皆稱天可汗。
> 
> 

> 上至靈州，敕勒諸部俟斤遣使相繼詣靈州者數千人，咸云：「願得天至尊為奴等天可汗，子子孫孫常為天至尊奴，死無所恨。」
> 
> 

> 奴身罪逆不孝，慈父身被大食統押。應徹天聰，頌奉天可汗進旨云：「大食欺侵，我即與你氣力。」奴身今被大食重稅，欺苦實深。若不得天可汗救活，奴身自活不得，國土必遭破散，求防守天可汗西門不得。伏望天可汗慈憫，與奴身多少氣力，使得活路。又承天可汗處分突厥施可汗云：「西頭事委你，即鬚髮兵除卻大食。」其事若實，望天可汗卻垂處分奴身，緣大食稅急，不求得好物奉進，望天可汗照之。所欲驅遣奴身，及須已西方物，並請處分奴身，一一頭戴，不敢怠慢。
> 
> 

> 奴身千代已來，忠赤於國，只如突厥騎施可忠赤之日，部落安貼，後背天可汗，腳底火起。今突厥屬天可汗，在於西頭為患，唯有大食，莫逾突厥。伏乞天恩不棄突厥部落，打破大食，諸國自然安貼。
> 
> 

> 藥葛羅曰：「懷恩欺我，言天可汗已晏駕，令公亦捐館，中國無主，我是以敢與之來。今知天可汗在上都，令公復總兵於此，懷恩又為天所殺，我曹豈肯與令公戰乎！」
> 
> 

從蒙古帝國時代開始，蒙古族的最高首領稱為大汗（合罕），等於皇帝，高於「汗」。



小可汗

西突厥處羅可汗立小可汗，置二人，分統所部。在大可汗統轄下的可汗，也稱為小可汗。比如突厥分裂之前的西部室點密可汗、達頭可汗、阿波可汗，東突厥頡利可汗時代的突利可汗等。



可汗相關術語


* Khanzadeh (韃靼語：Xanzadä) – 王子，可汗的兒子

* Khanbikeh (韃靼語：Xanbikä) – 女王，可汗的妻子

* 汗八里（大都） - 元朝首都，後來發展成為現代北京。

* Ilkhan（伊爾汗）

* 可敦 - 可汗夫人，相當於女性的可汗



參考文獻



參見


* 汗 (頭銜)

* 單于、可敦

* 天子、天可汗、博格達汗

* 蒙古大汗
可尼琥珀蝸牛（學名：_Guppya coneyi_）是柄眼目琥珀蝸牛科 _Guppya_ 的一種。本物種的種小名是紀念軟體動物學家 Coney。



分佈

主要分布於台灣，常棲息在落葉堆下。



參考文獻



外部連結
日向礁是中國黃海上的一個不可居住的暗礁石，乃江蘇省鹽城市外海沙洲島，離水面下 7.8 米，距離韓國可居島西側 48 公里。日向礁不是島嶼，不可作為領海基點和專屬經濟區的起點。2012 年初，大韓民國主張日向礁屬韓國領土，改名為可居礁（가거초），劃歸全羅南道新安郡黑山面管理，並開始興建觀察基地人工島。



歷史

該礁位於中國海域東端，是中國漁民世代賴以為生的傳統漁場。以中國海上漁民的立場來看，有「日出之方向」的意思。1927 年 3 月 29 日，日本「日向」 號軍艦在此觸礁，同年 8 月 14 日日軍對該暗礁進行調查，並據船名命名為「日向礁」。



參考資料



參看


* 蘇岩礁
可展曲面是在其上每一點處高斯曲率為零的曲面。有一個一般性的定理表明：一片具有常數高斯曲率的曲面能夠經彎曲（非拉伸、收縮、皺褶或撕裂）而變為任何一片具有相同常數高斯曲率的曲面。因為平面就是在每一點處高斯曲率為常數零的特殊曲面，所以每一點處曲率為零的任何一片曲面，能夠經彎曲而展開成一片平面。這就是可展曲面這個術語所要表達的。另外，三維空間中可展曲面都是直紋曲面（反之不成立，三維空間中的雙曲面是非可展的直紋曲面的例子），但是在高維空間中可以舉出非直紋曲面的可展曲面的例子。



例子


* 平面是最簡單的可展曲面。

* 柱面是可展曲面。

* 錐面是可展曲面。

* Oloid 是可展曲面。



形成可展曲面的方式


* 彎曲一個已知的可展曲面，可以形成一個新的可展曲面。

* 任何一個單參數平面族所包絡的曲面是可展曲面。並且命題的逆也成立：任意可展曲面都是某個單參數平面族所包絡的曲面。（但是要注意，單參數直線族才描述所有的直紋曲面，而它們並不都是是可展曲面。）

* （一般情況下）空間曲線的切線族所描述的曲面是以這個空間曲線為邊界的可展曲面。並且，不能以這樣的方式獲得的可展曲面僅僅還剩下錐面和柱面（平面可以視為特殊的柱面）。因此，這構成了可展曲面的一種分類（分為三類）。



參考


* Hilbert, David; Cohn-Vossen, Stephan (1952), Geometry and the Imagination (2nd ed.), New York: Chelsea, pp. 341–342, ISBN 978-0-8284-1087-8
可峇雅、峇雅服或娘惹衫（馬來語：kebaya）是一種傳統的女性衣裳，起源於爪哇麻婆王國。早期，可峇雅流行於印度尼西亞、馬來西亞、新加坡、汶萊、緬甸、泰國南部、柬埔寨和菲律賓南部。製作可峇雅的布料是絲綢、棉布、半透明尼龍或聚酯等等。可峇雅大多以刺繡作為裝飾，以野花野草或各種各樣的花卉作為花樣。可峇雅常常會與紗籠、傳統蠟染布料、織金錦或五顏六色的布料一起穿搭。

可峇雅作為印度尼西亞的民族服裝，影響了整個爪哇群島的服飾。



詞源

可峇雅一詞相信是源自阿拉伯語，當時阿拉伯人把 abaya (直譯為「衣服」) 傳入爪哇本土，隨著時間的推移慢慢演變成「kebaya」這個詞彙。
數學中，一個 _n_ 維光滑流形 _M_ 為可平行化流形 是指具有向量場

　
: _V_1, ..., _V_n,

使得在 _M_ 中任何一點 _P_ 的切向量

　
: _V_i, _P_

組成 _P_ 點切空間的一組基。等價地說，切叢是平凡叢，所以相伴的線性標架主叢有一個 _M_ 的整體截面。

選取 _M_ 上這樣特定的一組向量場的基稱為 _M_ 的一個平行化或絕對平行化。



例子

_n_=1 的一個例子是圓周：我們取 _V_1 為單位切向量場，比如都指向逆時針方向。_n_ 維環面也可以平行化，因為可以看作是圓周的笛卡爾積。譬如取 _n_=2，將正方形坐標紙的對邊粘貼起來便組成了一個環面，取每個點的兩個切方向即可。更一般地，任何李群 _G_ 可平行化，因為在單位元的切空間上一組基可以通過變換群 _G_ 在 _G_ 上的作用移到任何一點。（任何變換是一個微分同胚從而這些微分同胚誘導了 _G_ 上點的切空間的一個線性同構。）

一個經典問題是確定一個球面 _S_n 是否可平行化。_S_1 即為圓周，可以平行化已經解釋了。毛球定理指出 _S_2 _n_ 不能平行化。但是 _S_3 可以平行化，因為它就是李群 SU (2)。剩下惟一可平行化的球面是 _S_7；1958 年被 Michel Kervaire 證明，拉烏爾・博特和約翰・米爾諾也獨立地得到了這個結論。



注


* 術語標架流形（或裝備流形）通常用於給定了一個法叢的平凡化的嵌入流形。
有疏漏性推理是對推理形式的研究，它儘管令人信服，卻不如演繹推理那麼形式化和嚴格。它已經在哲學中，和最近在人工智慧中討論過了。

其他演繹推理的替代者包括歸納推理和逆推推理。它們在傳統上不被術語「有疏漏性推理」所覆蓋。



哲學起源

儘管亞里斯多德把對邏輯和哲學有效的推理形式同在日常生活中使用的更常見的推理（參見辯證法和修辭學）區分了開來，後來的哲學家主要關心演繹推理。

直到邏輯實證主義開始失寵，哲學家羅德里克・奇澤姆和 John L. Pollock 復興了對有疏漏性推理的興趣。



人工智慧

大約在同一個時期，人工智慧的先驅如約翰・麥卡錫和 Patrick J. Hayes 在遇到框架問題和限定問題的時候，提出了某種形式的有疏漏性推理。

已提出的一些形式的有疏漏性推理：


* McCarthy 提出的方案是限制的邏輯原理

* Raymond Reiter 提出了預設邏輯系統和封閉世界假定的形式化

* McDermott 和 Doyle 提出了非單調邏輯

* Robert C. Moore 提出了自動認識邏輯

* Donald Nute 提出了有疏漏性邏輯



參見


* 常識

* 信念修正



外部連結


* Article on Defeasible Reasoning（頁面存檔備份，存於網際網路檔案館） in the Stanford Encyclopedia of Philosophy

* An example of defeasible reasoning in action
有疏漏性邏輯是 Donald Nute 提出的用來形式化有疏漏性推理的非單調邏輯。在預設邏輯中，有三種不同類型的命題：


* 硬性規則：指定一個事實總是另一個事實的結論；

* 有疏漏性規則：指定一個事實典型的是另一個事實的結論；

* 廢止者：指定對有疏漏性規則的例外。

可以在有疏漏性規則和廢止者上給出優先級。在演繹期間，硬性規則總是使用，而有疏漏性規則只能在沒有更高優先級的廢止者指定它不能用的時候使用。



參見


* 常識

* 非單調邏輯

* 預設邏輯

* 有疏漏性推理



引用


* D. Nute (1994). Defeasible logic. In _Handbook of logic in artificial intelligence and logic programming_, volume 3: Nonmonotonic reasoning and uncertain reasoning, pages 353-395. Oxford University Press.

* G. Antoniou, D. Billington, G. Governatori, and M. Maher (2001). Representation results for defeasible logic. _ACM Transactions on Computational Logic_, 2 (2):255-287.
可度者（?—?），唐朝奚族部落聯盟領袖。

唐太宗貞觀二十二年（648 年），可度者率其所部內屬唐朝，太宗置饒樂都督府，任命可度者為右領軍兼饒樂都督、持節都督六州諸軍事，封樓煩縣公，賜姓李氏。以阿會部為弱水州，處和部為祁黎州，奧失部為洛瑰州，度稽部為太魯州，元俟折部為渴野州。唐高宗顯慶元年（656 年），又授右監門大將軍。可度者去世後，顯慶五年（660 年），奚族和契丹叛唐，唐高宗以定襄都督阿史德樞賓、左武候將軍延陀梯真、居延州都督李合珠為冷岍道行軍總管，率軍討奚，命尚書右丞崔餘慶充使總護三部兵，奚遣使降唐。阿史德樞賓等為沙磚道行軍總管討契丹，擒契丹松漠都督大賀阿卜固送東都。



參考文獻


* 《舊唐書》卷 199 下

* 《新唐書》卷 219
可度量化（metrizable）是一種拓撲空間的性質。



定義

一個拓撲空間中被說成是可度量的，如果有一個度量 $(X,\tau )$
 $d\colon X\times X\to [0,\infty )$ 並且這拓撲 $\tau $ 由 _d_ 誘導產生。
烏雷松度量化定理給出了一個拓撲空間是可度量化的充分條件



有關定理

如果 X 是一個可度量化的拓撲空間，而 Y 與 X 同胚，那麼 Y 是可度量化的。
這反映了可度量化是一種拓撲性質。



參考

《拓撲學基礎及應用》/（美）亞當斯（Adams.C）等著；沈以淡等譯.- 北京：機械工業出版社，2010.2 ISBN：978-7-111-28809-1
可持續發展（英語：sustainable development，縮寫：SD）或永續發展，「可持續性」其最常見的定義出自布倫特蘭委員會的《我們共同的未來》：「既能滿足我們現今的需求，又不損害子孫後代，能滿足他們的需求的發展模式。」 永續發展努力實現環境保護、經濟和永續發展的目標。



定義

「永續發展」的出現，就是要糾正過去的錯誤，避免其他國家重蹈覆轍。「永續發展」強調經濟體系內的發展必須環環相扣，並得以自給自足。

目前世界對「永續發展」的公認概念，其定義源於 1987 年世界環境與發展委員會提出，並於聯合國第四十二屆大會公佈的報告 ——《我們共同的未來》：

> 永續發展是既滿足當代人的需要，又不損害後代人滿足其需要的能力的發展。它包含兩個關鍵概念：資源永續廣義的定義 1、在提升和創造當代的同時，不能以降低福祉為代價；2、以善用所有生態體系的自然資源為原則，不可降低其環境基本存量，在利用生物與生態體系時。長期單純追求經濟增長的發展模式導致環境的破壞，各種環境危機浮現，人們認識到經濟發展受環境承載力制約。永續發展源於 1980 年代的「綠色運動」，由於 1960 年代已開發國家在非洲及南美洲大量收購農地種植咖啡和甘蔗，並用所得的金錢購買糧食，以供應給當地居民。然而，由於土地發展過度，且缺乏規劃，令咖啡和糖的期貨在短時間內貶值。南美各國經濟頓時崩潰，加上水土流失、濫用農藥及過度消費行為持續擴大，令土地貧瘠，甚至沙漠化，引致飢荒。\
* 「需要」的概念，特別是世界上窮人的基本需要，應給予最優先的重視；以及
> 
> 
* 技術和社會組織的狀態對環境滿足當前和未來需要的能力所施加的限制。
> 



三要素

永續發展不簡單的等同於生態化或者環境保護，一般認為它由三方面內容構成。


* 環境要素（Environmental aspect）

　
: 指儘量減少對環境的損害（environmental impact）。儘管這一原則得到各方人士的認可，然而，往往不同社會群體對於社會發展有不同的想像，不同的視角，有不同的價值評判標準，因此對於問題有不同的詮釋。例如核電站，支持人士認為它可以減少溫室氣體排放，是環保的，反對人士認為核廢料有長期放射性污染，核廢料處置存在爭議，同時核電站存在安全隱患是不環保的。


* 社會要素（Social aspect）

　
: 指仍然要滿足人類自身的需要。永續發展並非要人類回到原始社會，儘管那時候的人類對環境的損害是最小的。


* 經濟要素（Economic aspect）

　
: 指必須在經濟上有利可圖。這有兩個方面的含義，一是只有經濟上有利可圖的發展項目才有可能得到推廣，才有可能維持其可持續性；二是經濟上在虧損的項目必然要從其他盈利的項目上獲取補貼才可能收支平衡正常運轉，由此就可能造成此地的環保以彼地更嚴重的環境損害為代價。

永續發展強調三要素協調發展，促進社會的總體進步，避免一方面的受益以犧牲其他方面的發展和社會總體受益為代價。



社會

由於人口和財富的激增，地球自然資源無法滿足人類的需求，人與自然的矛盾更加突出。因此必須禁止那種不顧子孫後代而任意糟蹋自然資源的行為，並建立一個永續發展的社會。而永續發展的社會應具備以下特徵：

1. 不僅實現代際正義，更要實現代內正義，即當代一部份人的發展不應損害另一部份人的利益。
2. 經濟與社會的發展要符合地球生態系統的動態平衡的法則和資源可持續利用的原則。
3. 改變不合理的資源消耗式的消費模式。
4. 解決全球的貧窮問題，窮人的生活質量有所提高。
5. 地球環境惡化得到抑制並得到根本的改善。
6. 在平等公正和尊重國家主權的前提下解決國際爭端，以對話代替對抗。
7. 依靠科技進一步解決永續發展中的主要問題。
8. 建立節約資源型﹑環境友好型的社會。



目標

永續發展目標（英語：Sustainable Development Goals，簡稱 SDGs）是聯合國的一系列目標，這些目標於 2015 年底替換千年發展目標。這些目標將從 2016 年一直持續到 2030 年。這一系列目標共有 169 項具體目標。

變革世界的 17 個目標

永續發展目標呼籲所有國家（不論該國是貧窮、富裕還是中等收入）行動起來，在促進經濟繁榮的同時保護地球。目標指出，消除貧困必須與一系列戰略齊頭並進，包括促進經濟增長，解決教育、衛生、社會保護和就業機會的社會需求，遏制氣候變化和保護環境。



文化

公元前 241 年，秦・呂不韋主持編纂《呂氏春秋・義賞》中提到：「竭澤而漁，豈不獲得？而來年無魚；焚藪而田，豈不獲得？而來年無獸。詐偽之道，雖今偷可，後將無復，非長術也。」



參見



參考資料

參考書目


* 周兆祥，《綠色思想》（1989）

* 周兆祥，《綠色政治》（1988）

* Rita Yi Man Li, 2011, Building Our Sustainable Cities, US, Common Ground Publishing.



外部連結


* （繁體中文） SDGs 懶人包》什麼是永續發展目標 SDGs？17 項目標一次掌握 - 未來城市 @天下 （頁面存檔備份，存於網際網路檔案館）

* （簡體中文） 可持續發展小詞典

* 《全球聚焦》特刊企業的永續發展

* （英文） Jonathan T. Scott 當代創業導師：永續發展經營模式推行者

* （繁體中文） 節能減碳行動網（頁面存檔備份，存於網際網路檔案館）

* （繁體中文） 永續發展相關新聞

* （繁體中文） 香港樹仁大學永續發展房地產研究中心 （頁面存檔備份，存於網際網路檔案館）
可彎砂岩（英語：Itacolumite）
是一種天然的多孔黃色砂岩，在切割成較薄的板片時具有柔韌性。 標準產地在巴西米納斯吉拉斯州南部的 Itacolumi，因此而被命名它的名字。 其他產地在於印度哈里亞納邦的 Charkhi Dadri 區的 Kaliana 村.，美國的喬治亞州以及北卡羅來納州的 Stokes 和 McDowell 縣。 它是柔性砂岩中最好和最廣為人知的例子，巴西米納斯吉拉斯地區也是發現的鑽石產地。

在可彎砂岩的裂開面上，可以看到綠色雲母鱗片，但事實上，該岩石似乎是由石英組成的。 一塊 30-60 厘米長、幾厘米厚的岩石板片，由兩端支撐，它會因自身重量而逐漸彎曲。 如果然後將其翻轉，它會向相反方向彎曲變直。 一兩毫米厚的該岩石薄片可以在手指之間彎曲，也會發出吱吱作響的聲音，但只有整個岩石的一小部分，才具這種特性的標本。

彎曲性成因

石英砂粒之間的雲母片曾經被建議是彎曲性成因。因爲雲母片可能讓相鄰石英晶粒之間進行一定量的移動。 但更可能的原因是岩石的多孔特性以及各個顆粒之間的互鎖連接。 孔隙率允許孔隙間運動，而鉸鏈狀的顆粒連接讓它們固定在一起，不產生位移。

風化作用也能造成彎曲性。風化作用能去除原始岩石的基質成分，而造成孔隙。部分孔隙被後期二氧化矽充填，也連接相鄰顆粒之間的不規則表面，使它們互鎖 結合在一起。 大多數已知的可彎砂岩是細粒度的。 據說它們在乾燥一段時間後會失去彎曲性，這可能是由於間隙物質的硬化，但也有在乾燥環境中，可彎砂岩能保存多年的這種特性。



參考文獻
可錄光碟（英語：compact disc-recordable, CD-R）是一種可單次錄寫的唯讀記憶光碟。

早期的可錄光碟用銀作塗層，容量只有 650MB。後來推出保存期更長、用金作塗層的可錄光碟。不過由於後來金的價格不斷上漲，使生產商想盡辦法製作塗層更薄的碟片。

後來有機化學技術的進展，使可錄光碟可以無需採用金或銀作塗層，而且使較高容量的可錄光碟 (700MB) 生產更划算。2009 年在香港，一般牌子的可錄光碟只需要大約 1 港元就可以買到，使可錄光碟變得極為普遍。



原理

CD-R 與 CD-ROM 的工作原理相同，都是通過雷射照射到碟片上的「凹陷」和「平地」其反射光的變化來讀取的；不同之處在於 CD-ROM 的「凹陷」是印製的，而 CD-R 是由刻錄機燒制而成。所以 CD 刻錄盤的存儲壽命要低於壓製的光碟。視光碟質量而定，一般 3-10 年左右，光碟就會損壞。CD 碟片中加了一層染色層，光碟刻錄機的鐳射頭所發出的光束強度可以隨時變化，這樣就能改變碟片染料層的狀態。鐳射光根據數據的不同，在空白的 CD 碟片上燒出可供讀取的的反光點，數據也就被記錄。



超刻

該行為主要使用 NERO 等軟體進行 CD-R 的超容量刻錄。根據光碟質量的不同，超刻的量也不同。一般的碟片能超刻約 20MB。可以在超刻之前對光碟進行測試，測出其的超刻能力。



相關


* CD-ROM

* DVD

* DVD 播放機

* CD 錄播機
可待因（Codeine），化學式為 C18H21NO3，是一種鴉片類藥物（opioid），有止痛、止咳和止瀉的藥效，它的硫酸鹽或磷酸鹽常用於藥品中。

可待因是一種存在於鴉片中的生物鹼，含量約佔 0.7-2.5%。它可從鴉片中提取，也可用化學方法自嗎啡製造。



用途

作為藥物，用於


* 止咳

* 止瀉

* 止痛（輕度至中等的痛楚）

* 激躁性結腸症

可待因在市場上有時會與撲熱息痛（paracetamol，美國稱 acetaminophen）混合成 co-codamol（在北美常見的商品名為「Tylenol 3」），與阿司匹靈混合成 co-codaprin，或是與異丁苯丙酸（布洛芬）混合，這些混和藥劑提供比其它藥劑更好的止痛效果。



受管制物質

可待因是聯合國於 1961 年的《麻醉品單一公約》下的列表 II 的成癮性較低的麻醉藥物，在世界各地受到嚴格管制。但有很多國家或地區容許民眾不需醫生處方而購買若干含可待因的藥品，例如咳嗽藥水，但那些藥品的可待因含量較低，而每次售賣的數量亦通常有限制，甚至賣方需要登記購買者的個人資料。但由於這些藥品很容易從中提鍊出高濃度的可待因，成為加工成毒品的原料之一，故仍有不少國家明令禁止民眾攜帶此類藥品入境，例如：泰國。



藥物動力學

可待因進入人體後，約有 10% 的吸收份量在體內經代謝作用轉化成嗎啡。由於不是所有進入體內的可待因能轉成嗎啡，所以可待因的藥效較嗎啡弱，其成癮性亦較嗎啡少。



服量

口服，每日服 3 至 4 次。成人及 12 歲以上，每次 15 至 30 毫克；5 至 12 歲，每次 7.5 至 15 毫克；1 至 5 歲，每次 3 毫克。不過 12 歲以下兒童通常不建議服用可待因。

1 歲以下兒童應避免服用可待因。



不良反應

常見之不良反應有：瘙癢、噁心、嘔吐、昏睡、口乾、瞳孔縮小、姿態性低血壓（orthostatic hypotension）、小便不暢、便秘。

長期使用時，身體可對可待因產生耐藥性，令藥效減弱，並有可能產生依賴性。

與其它鴉片類藥物一樣，可待因的其中一個潛在的嚴重不良反應是壓抑呼吸，通常與服用過量有關，可引致死亡。



濫用

由於含可待因的藥品比較容易得到，它們常被濫用，通常服食過量以感受興奮反應，但濫用對身體的害處甚多，包括上癮、上文所列的副作用等，服用過量可令人產生幻覺，令吸食者神志不清，甚至死亡。中國瀋陽曾發生過為購買複方磷酸可待因溶液而搶劫的事件，搶劫者服用此止咳藥水已有十年，因購買這一藥水而花光積蓄，從而搶劫。

由於含可待因的咳藥水多數含有大量糖份，濫用者有較大機會產生蛀牙。



參考資料



外部連結


* [1] （頁面存檔備份，存於網際網路檔案館） （英文）
可得峰（韓語：가득봉）是一座位於韓國江原道麟蹄郡的山峰，主峰標高海拔 1060 公尺。
可得性捷思法（英語：Availability Heuristic）或可得性偏差(英語：Availability Bias)，是指人們在討論一個特定的主題、概念、方法或做出決定時，依賴於腦海中直接浮現的例子。其操作基於這樣一個信念，如果某件事情能夠被當場回憶起來，或者是越容易想到的情境（例如最近才發生，或是很常發生，讓人們印象特別深刻），此時個人會認為此事一定是重要的，發生的機率也越高，或者至少比那些不那麼容易被回憶起來的替代解決方案更重要。特別是如果一個人對回憶的內容深信不疑，他們會更依賴所回憶的內容。例如在判斷某對夫妻是否會離婚時，腦中可能會浮現有多少跟他們情況類似的夫妻。如果記憶中這些夫妻離婚占多數，那麼這個人就會認為這對夫妻離婚的可能性很高。



參考文獻
PPTC（Polymeric Positive Temperature Coefficient），即高分子聚合物正係數溫度元件。又稱可復式保險絲（Resettable Fuse）或聚合物保險絲（Polyfuse），在中國大陸的電子業界俗稱自恢復保險絲或過流保護片。在西方電子業界多稱為 Polyswitch，這是泰科電子的產品商標。



歷史與市場

PPTC 是美商 Raychem（現已經併入 Tyco Elelctronics）在 1981 年發明，主要應用在電池、計算機、電機、通訊行業的過電流保護上。目前全球的年市場規模大約 4 億美元。其中 Tyco Elelctronics 市場占有率約 65%-70%。



材料與作用機制

PPTC 核心由高分子材料和導電顆粒製成。兩端以鎳製成電極。外部包以樹脂或塑料薄膜。

在低溫時，聚合物結晶間的導電粒子構成三維網絡，呈導通狀態。當電流過大，致使溫度升高時，體積膨脹，聚合物由結晶態轉為非結晶態，使導電粒子的連繫網絡斷裂，因而不導通或絕緣。當溫度降低，且不再有大電流後，待一小段時間恢復結晶狀態，又可導通。



特性與應用

PPTC 特性是在正常電流情況下呈現低電阻，約數毫歐到數歐姆之間。在過電流故障下，電阻急劇升高，從而保護後端電路。由於具有優異的可恢復特性，用於過電流保護時，在故障消除之後，電路可自動恢復到導通狀態，省去傳統保險絲熔斷後需更換的不便。



主要供應商與商標

PPTC 主要的供應商與他們對可復式保險絲所使用的商標或註冊商標有：


* Tyco Elelctronics/Raychem （註冊商標：PolySwitch）

* FUZETEC 富致科技

* Way-on

* Bourns （註冊商標：Multifuse）

* Polytronics （註冊商標：EVERFUSE）

* Littelfuse （註冊商標：POLYFUSE）

上述商標有時可能也當作可復式保險絲的別稱。



PPTC 的選用方法

每一種 PPTC 都有「耐壓」、「耐流」、「維持電流」及「動作時間」等參數。可以根據具體電路的要求並對照產品的參數進行選擇。

1. 確定被保護電路正常工作時的最大環境溫度、電路中的工作電流、熱敏電阻動作後需承受的最大電壓及需要的動作時間等參數；
2. 根據被保護電路或產品的特點選擇「晶片型」、「徑向引出型」、「軸向引出型」或「表面貼裝型」等不同形狀的熱敏電阻；
3. 根據最大工作電壓，選擇「耐壓」等級大於或等於最大工作電壓的產品系列；
4. 根據最大環境溫度及電路中的工作電流，選擇「維持電流」大於工作電流的產品規格；
5. 確認該種規格熱敏電阻的動作時間小於保護電路需要的時間；
6. 對照規格書中提供的數據，確認該種規格熱敏電阻的尺寸符合要求。



另見


* 被動元件

* 電阻

* 無熔絲開關



附註與參考資料
可微分函數（英語：Differentiable function）在微積分學中是指那些在定義域中所有點都存在導數的函數。可微函數的圖像在定義域內的每一點上必存在非垂直切線。因此，可微函數的圖像是相對光滑的，沒有間斷點、尖點或任何有垂直切線的點。

一般來說，若 _X_0 是函數 _f_ 定義域上的一點，且 _f_′(_X_0) 有定義，則稱 _f_ 在 _X_0 點可微。這就是說 _f_ 的圖像在 (_X_0, _f_(_X_0)) 點有非垂直切線，且該點不是間斷點、尖點。



可微性與連續性

若 _f_ 在 _X_0 點可微，則 _f_ 在該點必連續。特別的，所有可微函數在其定義域內任一點必連續。逆命題則不成立：一個連續函數未必可微。比如，一個有折點、尖點或垂直切線的函數可能是連續的，但在異常點不可微。

實踐中運用的函數大多在所有點可微，或幾乎處處可微。但斯特凡・巴拿赫聲稱可微函數在所有函數構成的集合中卻是少數。這表示可微函數在連續函數中不具代表性。人們發現的第一個處處連續但處處不可微的函數是魏爾斯特拉斯函數。



連續可微的分類

函數 _f_ 是連續可微（continuously differentiable），如果導數 _f'(x)_ 存在且是連續函數。可微函數 _f(x)_ 之導數 _f'(x)_ 不可能有跳躍不連續點，但可能有本性不連續點。例如考慮以下函數 _f(x)_：

　
: $f(x)\;=\;{\begin{cases}x^{2}\sin(1/x)&{\text{if }}x\neq 0\\0&{\text{if }}x=0\end{cases}}$

此函數在 _x_=0 處可微，可照定義求出 f'(0)：

　
: $f'(0)=\lim _{\epsilon \to 0}\left({\frac {\epsilon ^{2}\sin(1/\epsilon )-0}{\epsilon }}\right)=0,$

但對 _x_≠0，

　
: $f'(x)=2x\sin(1/x)-\cos(1/x)$

當 _x_ 趨近於 0 時，_f'(x)_ 的極限並不存在。

連續可微函數被稱作 $C^{1}$ 函數。一個函數稱作' $C^{2}$ 函數如果函數的一階、二階導數存在且連續。更一般的，一個函數稱作 $C^{k}$ 函數如果前 _k_ 階導數 _f_′(_x_), _f_″(_x_), ..., _f_(_k_)(_x_) 都存在且連續。如果對於所有正整數 n，f(n) 存在，這個函數被稱為光滑函數或稱 $C^{\infty }$ 函數。



多元函數的可微性

如果一個函數的所有偏導數在某點的鄰域內存在且連續，那麼該函數在該點可微，而且是 class _C_1。(這是可微的一個充分不必要條件)

形式上，一個多元實值函數 f: Rm → Rn 在點 x0 處可微，如果存在線性映射 J: Rm → Rn 滿足

　
: $\lim _{\mathbf {h} \to \mathbf {0} }{\frac {\|\mathbf {f} (\mathbf {x_{0}} +\mathbf {h} )-\mathbf {f} (\mathbf {x_{0}} )-\mathbf {J} \mathbf {(h)} \|_{\mathbf {R} ^{n}}}{\|\mathbf {h} \|_{\mathbf {R} ^{m}}}}=0.$

注意，偏導數（甚至所有方向導數）都存在並不能保證函數在該點可微，考慮以下函數 _f_: R2 → R：

　
: $f(x,y)={\begin{cases}x&{\text{if }}y\neq x^{2}\\0&{\text{if }}y=x^{2}\end{cases}}$

此函數在 (0, 0) 並不可微，但其所有偏導數及方向導數在該點皆存在。以下是一個連續的例子：

　
: $f(x,y)={\begin{cases}y^{3}/(x^{2}+y^{2})&{\text{if }}(x,y)\neq (0,0)\\0&{\text{if }}(x,y)=(0,0)\end{cases}}$

此函數在 (0, 0) 並不可微，但其所有偏導數及方向導數在該點皆存在。



複變函數的可微性

在複分析中，任何在某點附近可微的複變函數被稱為全純函數，這類函數也將會是無限可微，甚至是解析函數。
可微分編程是一種編程范型，在其中數值計算程序始終可通過自動微分來求導數。這允許了對程序中的參數的基於梯度優化，通常通過梯度下降。可微分編程廣泛用於各種領域，特別是科學計算和人工智慧。



方式

多數可微分編程框架是通過構造包含程序中的控制流和資料結構的圖來進行工作的。各種嘗試一般可歸入兩組之中：


* 基於靜態、編譯圖的方式，比如 TensorFlow 1、Theano 和 MXNet。它們意圖允許良好的編譯器優化並易於伸縮成大系統，但是它們的靜態本質，限制了交互性和能夠輕易建立的程序類型，例如難於構建涉及循環或遞歸的那些程序，還有使得用戶難以針對他們的程序進行有效的推理。

* 基於運算符重載、動態圖的方式，比如 PyTorch 和針對 NumPy 的 Autograd，TensorFlow 2 也預設使用了動態圖方式。它們的動態和交互本質，使得多數程序可以更容易的書寫和推理。但是它們導致了解釋器開銷，特別是在包含很多小運算的時候，和較弱的可伸縮性，並且縮減了來自編譯器優化的利益。用 Julia 寫的 Flux 用到了自動微分程序包 Zygote，它直接工作在 Julia 的中間表示之上，但仍可以由 Julia 的 JIT 編譯器進行優化。

早期方式的局限在於，它們都是以適合於這些框架的風格書寫求微分的代碼，這限制了同其他程序的互操作性。新近的方式，通過從語言的語法或中間表示構造圖來解決了這種問題，允許任意代碼都是可求微分的。



應用

可微分編程已經應用於多個領域，比如在機器人學中結合深度學習和物理引擎，用可微分密度泛函理論解決電子結構問題，可微分光線追蹤，圖像處理和概率編程。



參見


* 可微函數

* 機器學習



引用
在數學中，微分同胚是適用於微分流形範疇的同構概念。這是從微分流形之間的可逆映射，使得此映射及其逆映射均為光滑（即無窮可微）的。



定義

對給定的兩個微分流形 $M,N$ ，若對光滑映射 $f:M\to N$ ，存在光滑映射 $g:N\to M$ 使得 $f\circ g=\mathrm {id} _{N}$ 、 $g\circ f=\mathrm {id} _{M}$ ，則稱 $f$ 為微分同胚。此時逆映射 $g$ 是唯一的。

若在微分流形 $M,N$ 之間存在微分同胚，則稱 $M$ 與 $N$ 是微分同胚的，通常記為 $M\simeq N$ 。

對於 $C^{r}$ 流形，可採同樣辦法定義 $C^{r}$ 微分同胚之概念。



例子

考慮

　
: $\mathbb {R} /\mathbb {Z} \simeq S^{1}$

此微分同胚可由下述映射給出：

　
: $x\mapsto e^{2\pi ix}.$



與同胚的關係

對維度 $\leq 3$ 的流形，可證明同胚的流形必為微分同胚；換言之，此時流形上的拓撲結構確定了微分結構。在四維以上則存在反例，最早的構造是約翰・米爾諾的七維怪球，米爾諾更證明了七維球上恰有 28 種微分流形結構，它們都可表成某個在 $S^{4}$ 上的 $S^{3}$ - 叢。在 1980 年代，西蒙・唐納森與邁克爾・哈特利・弗里德曼的證明在 $\mathbb {R} ^{4}$ 上有不可數個相異的微分結構。



外部連結


* D.V. Anosov, Diffeomorphism, Hazewinkel, Michiel (編), 数学百科全书，Springer, 2001, ISBN 978-1-55608-010-4
在數學中，可忽略函數（英語：Negligible function）是指

　
: 對於一個函數 $\mu (x):\mathbb {N} {\rightarrow }\mathbb {R} $ ，如果對於任意一個正多項式 $poly()$ ，存在一個 $N_{c}>0$ ，使得對於所有的 $x>N_{c}$

　
: $\mu (x)<{\frac {1}{poly(x)}}$

那麼這個函數便是可忽略的（negligible）。通常我們把「存在一個 $N_{c}>0$ ，使得對於所有的 $x>N_{c}$ 」簡化為「對於所有足夠大的 $x$ 」。



歷史

可忽略函數這個概念是和數學分析的形式化模型相關的。第一個比較嚴格的定義是波爾查諾在 1817 年給出的。後來的柯西，魏爾施特拉斯和海涅都用了基本相同的以下定義：

　
: （連續函數） 一個實數函數 $f(x)$ 在 $x=x_{0}$ 處_連續_，當對於任意一個正實數 $\epsilon >0$ ，有一個正實數 $\delta >0$ ，使 $|x-x_{0}|<\delta $ 時，有 $|f(x)-f(x_{0})|<\epsilon $ 。

只要每步改變一項參數，此定義就可經數步轉換成為可忽略函數的定義。首先，當 $x_{0}=\infty ,f(x_{0})=0$ 時，我們需要定義 "_足夠大_"（sufficiently large），並定義無窮小量：

　
: （足夠大） 實數 $x$ _足夠大_時一個數學命題為真，若且唯若存在一個實數 $N_{c}>0$ ，對所有的實數 $x>N_{c}$ 此數學命題為真。

　
: （無窮小） 一個連續函數 $\mu (x)$ _無窮小_，當對任意足夠大的正實數 $x$ ，對任意正實數 $pnum={\frac {1}{\epsilon }}>0$ ，有

　
: $|\mu (x)|<\epsilon ={\frac {1}{pnum}}$ 。

然後我們把正實數 $\epsilon $ 換成正實數多項式函數 $\epsilon (x)$ 。

　
: （可忽略函數） 一個連續函數 $\mu (x)$ _可忽略_，當對任意足夠大的正實數 $x$ ，對任意正多項式 $poly(x)={\frac {1}{\epsilon (x)}}>0$ ，有

　
: $|\mu (x)|<\epsilon (x)={\frac {1}{poly(x)}}$ 。

在基於計算複雜性理論的現代密碼學中，一個安全技術是數學上可證明安全（provably secure）的意思通常是，此安全技術的失敗的機率是關於密鑰長度 $x=n$ 的一個_可忽略函數_（參見公鑰密碼學）。因為密鑰長度 $n$ 肯定是自然數，這就是為什麼開篇的定義把定義域改為自然數體的原因。



注釋



參考


* Goldreich, Oded. Foundations of Cryptography: Volume 1, Basic Tools. Cambridge University Press. 2001 [2007-03-02]. ISBN0-521-79172-3. （原始內容存檔於 2020-08-11）.

* Sipser, Michael. Section 10.6.3: One-way functions. Introduction to the Theory of Computation. PWS Publishing. 1997: 374–376. ISBN 0-534-94728-X.

* Papadimitriou, Christos. Section 12.1: One-way functions. Computational Complexity 1st. Addison Wesley. 1993: 279–298. ISBN 0-201-53082-1.

* Colombeau, Jean François. New Generalized Functions and Multiplication of Distributions. Mathematics Studies 84, North Holland. 1984. ISBN 0-444-86830-5.

* Bellare, Mihir. A Note on Negligible Functions. Dept. of Computer Science & Engineering University of California at San Diego. 1997. CiteSeerX 10.1.1.43.7900 .
黃毛蠅（學名：_Mormotomyia hirsuta_）又名妖蠅，為妖蠅科（Mormotomyiidae）妖蠅屬的唯一物種，是肯亞一種很罕有的蒼蠅。它們最初是在肯亞 Okazzi 山脈中的一個位點發現，其幼蟲則是在蝙蝠的糞石中發現。推測成蟲是以蝙蝠身體的分泌物為食物。

本種長約 1 厘米，腳有毛。它們的翅膀已失去效用，眼睛也很細小，所以它們看似蜘蛛。其標本只曾於 1933 年及 1948 年被採集得到。



分類

妖蠅科舊屬大跗蠅總科（Sphaeroceroidea），後來先後被歸類於蝨蠅總科（Hippoboscoidea）及鳥蠅總科（Carnoidea），直到 2011 年才歸類至水蠅總科。



參考文獻



外部連結


* Daily Mail
Annus horribilis 是一個拉丁語短語，意為「可怕的一年」。這一表達有時類似漢語成語「多事之秋」。它與 annus mirabilis 互補，後者的意思是「精彩的一年」。



短語由來

1891 年的英國國教會出版物中使用了 annus horribilis 一詞來描述 1870 年，這一年羅馬天主教會定義了教皇無誤的教條。



伊莉莎白二世

1992 年 11 月 24 日，英國女王伊莉莎白二世在倫敦市政廳慶祝其成為女王 40 周年的演講中，將這一表達帶到了現代，她說：

> 當我回首往事時，1992 年將不會是讓我感到全然快樂的一年。用我的一位有同情心的筆友的說法，這一年是「可怕的一年」。 
> 1992 is not a year on which I shall look back with undiluted pleasure. In the words of one of my more sympathetic correspondents, it has turned out to be an annus horribilis.
> 
> 

後來有人透露稱，這位「有同情心的筆友」是她的前助理私人秘書愛德華・福特爵士。這一年王室發生了很多令人不快的事件，比如：


* 女王的第二個兒子約克公爵安德魯王子與他的妻子約克公爵夫人莎拉分居（3 月 19 日）

* 女王的女兒安妮長公主與馬克・菲利普斯上尉離婚（4 月 23 日）

* 威爾斯王妃黛安娜的坦白書《黛安娜：她的真實故事》（Diana: Her True Story）出版，揭露了她與女王的長子威爾斯親王查爾斯婚姻中的問題，尤其是他與卡蜜拉的婚外情（6 月 7 日）；黛安娜與查爾斯分居（12 月）

* 女王官邸溫莎城堡發生火災（11 月 20 日）



科菲・安南

2004 年 12 月 21 日，時任聯合國秘書長科菲・安南在年終新聞發布會上使用了這一短語。他指出：「毫無疑問，這是特別艱難的一年，令我鬆了一口氣的是，這可怕的一年即將結束。」（There's no doubt that this has been a particularly difficult year, and I am relieved that this annus horribilis is coming to an end.）輿論普遍認為這一言論暗指聯合國伊拉克石油換食品計劃中長期被指控存在腐敗。他還談到了阿富汗的動亂和暴力、剛果民主共和國、伊拉克、巴勒斯坦和蘇丹（達爾富爾戰爭）等地的動盪和暴力；正在進行的聯合國內部改革；以及社會對聯合國和他本人的「持續批評」。不幸的是，在他發表講話五天後，發生了 2004 年印度洋大地震及其引發的印度洋海嘯，是這一年中造成最多死亡人數的災害。



胡安・卡洛斯一世

2007 年，西班牙王室特別是胡安・卡洛斯一世國王也度過了艱難的一年。家庭悲劇和一系列爭議導致西班牙報紙將這一年稱為 annus horribilis。



參見


* 拉丁語短語列表

* 災難年



參考資料



外部連結


* Royal.gov.uk – 1992 年 11 月 24 日女王在市政廳演講的文字記錄
可怕的動物（英文：Fearsome critters）是指早期北美伐木者民俗傳説中所流傳的幻想生物。



起源



特徵



列表

野獸


* 旺普斯貓：一種流傳於美國的民間傳説生物，亦是美國多個教育機構的吉祥物。

* 臭鼬猿：一種出沒於美國佛羅里達州、北卡羅來納州與阿肯色州的人型神秘生物，它得名於身上令人作嘔的氣味。

* 濕眶客：一種流傳在伐木工人傳說中的生物，據稱居住在賓州北部鐵杉木林裏。濕眶客的傳說可能起源於 19 世紀晚期，其時賓州正處於伐木工業的高峰期，並在伐木業中佔有極重要的一席之地。

* 球尾貓：一種類似美洲獅的動物，但尾部末端有著尾錘，這種生物的故事主要流傳於 20 世紀初。

* 霍達格：一種出沒於威斯康辛州萊茵蘭德的生物，起源於 1893 年尤金・謝潑德（Eugene Shepard）的惡作劇。目前霍達格已經是萊茵蘭德的標志，它是萊茵蘭德高中的吉祥物，霍達格音樂節以及其它一些企業與組織也有使用「霍達格」這個名稱，同時萊茵蘭德還建立有它的雕塑。

* 澤西惡魔：一種傳說中的兩足有蹄類飛行生物，身長 1 至 1.8 公尺、全身覆蓋黑色毛髮、頭部似馬、以及深紅色的眼睛、蝙蝠般的翅膀。據傳出沒於南新澤西州的松林泥炭地。

* hugag：外貌像駝鹿般的生物，重達三頓，四足筆直無法彎曲，頭部無毛髮覆蓋且嘴唇嚴重下垂。

* Teakettler：流傳於威斯康辛州與明尼蘇達州的傳説生物，外貌是一隻長有貓耳的小狗，它的聲音如同沸騰的水壺，衹有很少的伐木者曾目擊過這種動物。

* Glawackus：19 世紀至 20 世紀初流傳於美國康乃狄克州的民間傳説生物，它通常被描述一隻大貓或狗，亦有目擊者認爲部分特徵類似熊。

* 加卡洛普：北美傳説中長有鹿角的兔子，原型可能是患有棉尾兔乳頭瘤病毒的野兔。

* Agropelter：居住於緬因州至俄勒岡州溫帶針葉林的傳説生物，使用樹枝與木塊攻擊入侵者，造成許多伐木工人死亡。

* Dungavenhooter：居住於緬因州與密芝根州一種類似鰐魚的生物，擁有巨大的鼻孔，會於灌木叢中襲擊伐木者。

* Funeral Mountain Terrashot：19 世紀至 20 世紀初流傳於北美的幻想生物，它們的模樣如同長有四條腿的棺材，據傳曾有一群摩門教徒在加利福尼亞州葬禮山遇見過這種生物。

* Sidehill gouger：北美民俗傳説生物，這種生物一側的腿比另一側長，因此可以在陡峭的山坡行走，但衹能向著一個方向。如果 Sidehill gouger 被驅趕至平原，那麽它將陷入無盡圓形路徑中。

* Splintercat：美國的民俗傳説生物，一種大型夜間貓科動物，以堅固的頭部撞倒樹木。

* Axehandle hound：流傳於美國明尼蘇達州、威斯康辛州的民俗傳説生物，這是一種外形呈斧頭形狀的狗。

魚


* 毛皮鱒魚：流傳於北美的民俗傳説生物，一種長有毛髮的魚類。

蛇


* Hoop snake：流傳於美國、加拿大與澳大利亞民俗傳説中的蛇類，據説這種蛇可以銜住像輪子一般滾動，並且使用帶毒的尾巴殺死獵物，如果遇見它，唯一逃脫的方法是躲至樹後。

* Joint snake：美國南部民俗傳説中的蛇類，據説這種蛇可以自行將身體斷開與重組，有理論認爲 Joint snake 可能是脆蛇蜥。



另請參見


* 傳說生物列表

* 神秘生物列表

* Snipe hunt

* Drop bear

* _Fearsome Creatures of the Lumberwoods, With a Few Desert and Mountain Beasts_



參考資料

書籍


* Boatright, Mody C. Tall Tales from Texas Cow Camps. (Dallas: The Southwest Press, 1934)

* Botkin, B.A. (Ed.) A Treasury of American Folklore. (New York: Crown Publishers, 1955), The \*American People: Stories, Legends, Tales, Traditions and Songs. (New Jersey: Transaction Publishers, 1977)

* Davidson, Levette Jay & Forrester Blake (eds.). Rocky Mountain Tales. (Tulsa: University of Oklahoma Press, 1947)

* Leach, Maria (ed.) Funk & Wagnall's Standard Dictionary of Folklore, Mythology and Legend. (New York: Harper & Row, 1972)

* MacDougall, Curtis D. Hoaxes. (New York: Dover Publications, Inc., 1958)

* Cohen, Daniel. Monsters, Giants, and Little Men from Mars: An Unnatural History of the Americas. (New York: Doubleday, 1975)



外部連結


* Fearsome Critter Database (En) （頁面存檔備份，存於網際網路檔案館）

* Fearsome Creatures of the Lumberwoods by William T. Cox - 免費在綫電子書（英文）
《可怕的爬蟲屋》（英語：The Reptile Room）是《波特萊爾大遇險》系列的第二部小說，作者為丹尼爾・韓德勒（英語：Daniel Handler）



主要情節

波特萊爾家的三位孤兒在和善良友好並愛好蛇類的爬蟲學家蒙哥馬利・蒙哥馬利叔叔住在一起後，過了幾天的幸福時光，蒙叔叔計畫帶他們前往祕魯去旅行。
不料歐拉夫伯爵卻突然到來，他喬裝成蒙叔叔的助手史帝芬諾以伺機謀害蒙叔叔，成為孤兒們的監護人的同時得到財產。孩子們在去祕魯的前一天設法警告蒙叔叔，但蒙叔叔只認為史帝芬諾是想竊取他研究成果的間諜，便撕毀史帝芬諾去祕魯的機票。當晚歐拉夫悄悄將蛇毒注射到蒙叔叔的身上，又在他臉上扎兩個孔假稱是蛇咬的，孩子們為蒙叔叔的死感到很傷心。但聰明的孩子們隨後還是向銀行家波先生揭穿歐拉夫伯爵的詭計。



改編作品

2004 年的電影劇情改編自《波特萊爾大遇險》系列的前三本書，包含了《可怕的爬蟲屋》的情節。

Netflix 電視劇《波特萊爾的冒險》第一季的第三集和第四集皆改編自《可怕的爬蟲屋》。



參考文獻
《春閨風月》（英語：_The Awful Truth_）是一部 1937 年的神經喜劇電影，艾琳・鄧恩、加利・格蘭特主演。導演李歐・麥卡瑞憑該片獲奧斯卡最佳導演獎。



劇情

Jerry Warriner（格蘭特）一次旅行回來發現其妻 Lucy（鄧恩）不在。當她回來時，陪伴的有英俊的音樂老師 Armand Duvalle（Alexander D'Arcy），Jerry 發現 Lucy 曾在鄉間與 Armand 度過一晚，據稱那是因為他的車壞了。後來 Lucy 發現 Jerry 根本沒去佛羅里達。相互的猜疑導致離婚。

Lucy 與 Patsy 姨媽（Cecil Cunningham）搬到一所公寓，與她的新鄰居、來自俄克拉荷馬的 Dan Leeson (Ralph Bellamy) 訂婚。不過 Leeson 的媽媽 (Esther Dale) 不喜歡她。最後，Lucy 認識到她仍愛著 Jerry，打算悔婚。Jerry 意外的在 Lucy 的寓所撞見 Armand，二人爭吵被 Leeson 和母親看見，Leeson 攜母憤然離去。

Jerry 後來與 Barbara Vance (Molly Lamont) 訂婚，Lucy 扮作 Jerry 的妹妹闖入 Barbara 的寓所百般搗亂。Jerry 感到與 Barbara 沒了希望，載 Lucy 離去。二人最後終於複合。



參考資料


* 網際網路電影資料庫（IMDb）上《春閨風月》的資料（英文）
《神奇酷科學》是尼克・阿諾撰寫、東尼・德・索羅斯繪製插畫，由哲學家出版社在英國和印度出版的一系列可以分開的套書（台灣境內為遠見天下文化事業群之小天下文化出版）（除了《Evolve or Die》是由 Phil Gates 所作）。這是為了引發孩童對科學的興趣，設計上集中在通俗、不平常、駭人聽聞或令人不愉快的事件。史丹福大學的一位化學教授曾經報告她的學生對科學的興趣經常可以歸咎於一系列古怪的科學事件。同樣的，亞馬遜的系列書籍評論往往也將孩子們對科學的興趣歸咎於這樣的系列。這套書流通於 24 個國家，單單在英國就已經售出 400 萬冊。



歷史

在撰寫系列之前，尼克・阿諾在北倫敦大學從事教育項目。他向伯明罕郵報解釋： "It was actually a lucky break or a well-placed letter – whichever you want to believe – Because I wrote this really cheeky letter to the publishers Scholastic saying that if they were looking for someone to write a horrible science book I was the one. And would you believe they actually let me write a science book and put lots of horrible bits in it – and then it was hugely successful」。

在 2010 年代中期，可怕的科學決定對書籍進行改造，改變了一些舊書的封面，並且所有正在出版的新書都有一個新的、更豐富多彩的背景和更新的信息。

2013 年，伯明罕舞台公司製作了一個可怕的科學戲劇表演 —— 這也將可怕的歷史帶到了舞台上 —— 創建於 2013 年。



系列

「生物世界」系列


* 《神奇酷科學 1：人體的運作祕密》

* 《神奇酷科學 2：蟲的驚奇世界》

* 《神奇酷科學 3：植物的求生本領》

* 《神奇酷科學 4：動物的狩獵絕招》

「環境與發明」系列


* 《神奇酷科學 5：地球的生態危機》

* 《神奇酷科學 6：太陽系的奇妙旅行》

* 《神奇酷科學 7：科學家的祕密生活》

* 《神奇酷科學 8：發明家的異想世界》

「物理奧妙」系列


* 《神奇酷科學 9：驚天動地的聲音》

* 《神奇酷科學 10：變幻莫測的光》

* 《神奇酷科學 11：無所不在的力》

* 《神奇酷科學 12：征服天空的飛行》

「永恆的時間與能量」系列


* 《神奇酷科學 13：無所不能的能量》

* 《神奇酷科學 14：改變世界的電》

* 《神奇酷科學 15：點石成金的化學》

* 《神奇酷科學 16：穿越萬物的時間》

「無止境的生存競爭」系列


* 《神奇酷科學 17：動物的生存絕技》

* 《神奇酷科學 18：奇妙的消化工廠》

* 《神奇酷科學 19：對抗傳染病大作戰》

* 《神奇酷科學 20：生存競爭大演化》



參考來源



外部連結


* The Official Horrible Science Homepage （頁面存檔備份，存於網際網路檔案館）

* Horrible Books and Magazines USA （頁面存檔備份，存於網際網路檔案館）
《可憐天下父母心》（英語：_The Great Devotion_）是 1960 年上映的一部香港家庭倫理電影，為導演楚原的成名作，由白燕及張活游主演。2005 年，本片獲香港電影金像獎協會票選為「最佳華語片一百部」之一。



劇情

陳志康是小學教員，和玉薇兩夫婦養有二男二女，過著寒微的生活，新近又添了一個幼女；志康還有一個不常來往的富有表姐。女兒小薇負責做飯，很招一個鄰居大媽的喜歡。天寒地凍，兩個男孩兒只好擠在一起睡覺，志康不得已當掉了結婚戒指。

志康在學校打抱不平與校長衝突，結果被開除，求職又由於同情比他更不幸的人而主動放棄，家裡更加揭不開鍋了。玉薇上表姐家借錢，但表姐在丈夫和三姑六婆的勸說下只給了玉薇二十文，讓她贖回棉被。她常常頭痛，瞞著志康，終於有一日撐不住病倒。小康為了給媽治病，鼓動四個孩子不上學上街乞討，結果被落魄歸來的志康撞見，路上志康還碰到已淪為乞丐的林老師（後來餓死在街頭）。經原來學生介紹他曾短暫到私立小學工作，可不久又失業。玉薇知道孩子們逃學後責打他們，直到最後從小樂口中問出他們下午的去處。志康原來的學生幫忙，讓兩個男孩兒利用業餘時間打點他們的小店以賺取收入。

經人介紹，志康撰寫了小說《可憐天下父母心》向出版社投稿，但由於銷路不好沒能立刻發表，編輯答應向另一家出版社推薦。鄰居向玉薇提議收養小薇，但小薇割捨不了同家裡人的親情，最終此事作罷。為了給孩子看病，志康連夜寫稿，肺病發作，咳出血來。幼女重病，志康向放高利貸的借錢，但仍沒能挽救她的性命。他還不起利息，結果被人毒打。連續的打擊使他萬念俱灰，買了毒藥回來要和家人一起自殺。

影片末尾，志康目睹一個母親情願替準備跳樓的兒子去死、一個父親甘願代替犯了搶劫罪的兒子承擔罪責，受到很大震動，他飛奔回家，發現孩子們睡著了，而玉薇還活著 —— 她捨不得孩子們，沒把毒藥放到湯裏。志康的小說終於出版，一家人終於又見到了光明。



演員表


* 江學萍 —— 白茵

* 駱子倫 —— 杜平

* 馬文森 —— 萬靈

* 周德華 —— 司馬華龍

* 張奕明 —— 尤奇

* 杜國雄 —— 楚原

* 國雄母 —— 梁淑卿

* 陳志康 —— 張活游

* 李玉薇 —— 白燕

* 陳小康 —— 黎小田

* 陳小健 —— 梁俊密

* 陳小薇 —— 王愛明

* 陳小樂 —— 馮寶寶

* 林老師 —— 楊業宏

* 經理 —— 李鵬飛

* 表姐 —— 葉萍

* 國雄父 —— 黃楚山

* 財奇 —— 馮峰

* 子倫母 —— 容玉意



參考資料



外部連結


* 香港影庫上《可憐天下父母心》的資料（繁體中文）

* 時光網上《可憐天下父母心》的資料（簡體中文）

* 豆瓣電影上《可憐天下父母心》的資料 （簡體中文）

* 網際網路電影資料庫（IMDb）上《可憐天下父母心》的資料（英文）
回復型導桿（英語：Flexible delineator post）或稱回復型防撞桿、可恢復式導桿、回復式導桿，是一種設置在道路上的導桿。雖主要為防止車輛轉彎或迴轉，以及分隔人行道或者自行車道和道路的指示標，但在遇熱時回復型導桿會容易軟化，而且不能保證可防止衝撞的發生。
《可惜不是你》（英語：_Where the Lost Ones Go_），2017 年中國偶像劇，2017 年 4 月至 6 月拍攝，改編自葉紫同名言情小說的 IP 網台聯動劇。由英英鹿執導，葉紫編劇的愛情題材電視劇，范世錡、宋妍霏、肖順堯、陳斯琪、余昊洋等聯袂主演。2017 年 4 月在杭州開機，同年 6 月殺青，於 2017 年 11 月 20 日在芒果 TV 上線播出。



播出時間



演員列表



電視劇歌曲



參考資料



外部連結


* 可惜不是你的新浪微博
在數論中，可惡數（Odious number）是一組非負的整數，其有著奇數個數字 1 於它的二進位表示法中。此名稱顯然是對英文「奇數」（odd number）的戲仿。

例如 7 的二進位表示法為 111，有三個數字 1，為奇數，因此是可惡數。

前幾個可惡數是:

　
: 1, 2, 4, 7, 8, 11, 13, 14, 16, 19, 21, 22, 25, 26, 28, 31, 32, 35, 37, 38 ...

這些數字在圖厄 - 摩爾斯數列給出了非零值的位置。

不可惡的數字被稱為邪惡數。
《可惡的女人們》（韓語：발칙한 여자들，英語：Rude Women）是韓國 MBC 於 2006 年 7 月 29 日起播放的週末特別計劃連續劇。香港亞洲電視購買了此劇的版權，並於 2006 年 12 月 18 日首播。



劇情介紹

宋美珠與金恩英是高中時的好朋友，恩英因為醫院欠缺一名牙醫，就邀請美珠從美國回流任職，美珠的丈夫鄭石是一個整容醫生，當恩英介紹美珠給他時，鄭石大吃一驚，因為美珠就是 10 多年前與他離婚的前妻，而美珠回到韓國的目的就是對拋棄了她和兒子的鄭石報復。英恩為美珠租用的房子是棒球選手 Rocky 擁有的，但 Rocky 的經理人卻把它出租了，因為他以為 Rocky 將到美國打棒球，但 Rocky 卻因受傷而不能去，美珠在進行她的報復計劃的同時，她與 Rocky 也發展出一段忘年戀……。



演員陣容

主要人物


* 柳好貞 飾演 宋美珠

* 鄭雄仁 飾演 鄭正錫

* 林志恩 飾演 金恩英

* 史　江 飾演 高相美

* 吳珠恩 飾演 楊多臨

* 李己雨 飾演 Rocky／張宇鎮

其他人物


* 鄭埻夏 飾演 白億年

* 張東稷 飾演 楊智煥

* 全媛珠 飾演 秋吉妍

* 金　汎 飾演 鄭玄俊



其他搭配歌曲


* 台灣東森戲劇台版本
  
* 片尾曲：蕭亞軒《L.o.V.e.》



收視率

以下為該劇於亞洲電視首播之收視紀錄（18/12/2006-14/01/2007）星期一至五：



外部連結


* 韓國 MBC（頁面存檔備份，存於網際網路檔案館）（韓文）

* 臺灣東森官方網站（繁體中文）

* 香港亞視官方網站（繁體中文）
《可惡！把我的青春還給我》（英語：_Game Not Over_），2017 年台灣偶像劇，由酷瞧原創出品，本劇結合經典線上遊戲《天堂》為主軸，由邵雨薇、夏騰宏、歐陽倫、徐韜、張珀榕領銜主演，於 2017 年 11 月 10 日開鏡，酷瞧於 2017 年 12 月 18 日播出。



播出時間

首播



故事大綱

曾是校園女神的喬喬，依照家裡的期待，放棄出國學設計的夢想投入職場。經歷十多年的職場磨練，現在已成為 Swapub 的高階主管，一改當年的溫柔，喬喬做事精明幹練、甚至有點毒舌。某日，喬喬接到《天堂 M》的合作提案，她想起高中時期，那些和她一起共練《天堂》最強等級的角色：娜希雅、熱血拼命的朋友們：風雲人物罐頭、心思細膩的小西、校草阿明與隨遇而安的雞肉，也想起高中時什麼都不管、認真玩耍的自己，為了找回當年的勇氣，喬喬決定找回大家，完成高中時未能完成的夢想清單。為了完成夢想清單，大家踏上旅程。



演員列表

主要演員

客串演員



電視劇歌曲



參考資料



外部連結


* 可惡！把我的青春還給我的 Facebook 專頁
可愛是一個主觀的詞彙，描述了一種通常與青春和外表相關的吸引力，也是行為學中的科學概念和分析模型，最初由康拉德・洛倫茲（Konrad Lorenz）等提出。 洛倫茲提出嬰兒圖式 (英語：baby schema；德語：Kindchenschema) 的概念，這是一組面部和身體特徵，使一個生物看起來「可愛」並觸發（「釋放」）其他人照顧它的動機。 可愛可以歸因於被認為有吸引力或迷人的人以及事物。

嬰兒圖式 / 兒童圖式指定了人類兒童和年幼動物中發生的幼態比例，尤其是某些面部特徵，它們充當關鍵刺激並因此觸發育幼行為。 這確保了父母照顧他們的孩子，保護他們並撫養他們。 在子代幼年期相對長的物種中，這種由本能行為引起的反應在維持父母對孩子的情緒連結（親子關係）方面也起著重要作用。



心理學的詮釋

洛倫茲於 1949 年指出，幼童的可愛特質能夠引發成人的養育之心，確保幼童能夠受到妥善的照顧。這是一種演化上的適應，確保了人類的延續。他也指出，證據表明人類與較可愛的動物互動較頻繁，這些可愛的動物有著大眼、大頭、短鼻等特徵。

也就是說，人類喜愛有明顯幼態延續（pedomorphosis）特徵的動物。所謂幼體滯留是個體雖然達到成年的階段，仍然殘存著幼體的特徵，包括大頭或大眼。因此，這也就足以解釋為何大熊貓或無尾熊那麼受歡迎。狗或貓普遍被認為很可愛，也許是因為人類喜愛豢養有幼體特徵的寵物，同時也認為牠們較不具攻擊性。

某些晚近的研究進一步證實了洛倫茲的理論。例如，成年的人類與嬰兒互動很頻繁。研究也發現，可愛特徵與臉部對人類的吸引力似乎都大同小異，不分哪個文化都一樣。

除此之外，對可愛的心理反應不只限於人類。許多幼小的哺乳類和鳥類都有共同的典型的生理特徵，一眼就能看出牠們和成熟的個體是有差別的。最近對幼年三角龍頭骨的研究也發現，可愛是一種既古老又非常有用的生存之道。

一項研究認為，「可愛」這種吸引力會讓大腦產生破壞的衝動，這種現象被稱為「萌系侵略性」。



文藝

可愛在許多文化裡是市場行銷的主要工具，例如日本的皮卡丘和 Hello Kitty。可愛在英語系國家也是一種商業賣點，艾蒙、The Family Circus、菲比小精靈、美好時光與其他可愛商品都大熱賣。可愛在電影中也起了很大的宣傳作用。秀蘭・鄧波兒主演的電影因此爆紅。其他的電影如親愛的，我把孩子縮小了、三個奶爸一個娃、模範警察等。另外還有紀錄片企鵝寶貝，片中的可愛企鵝是令人矚目的焦點。在電影快樂腳中，企鵝是以電腦動畫來呈現的。

史蒂芬・古爾德為期刊《自然歷史》撰寫一篇文章，指出越來越多人把米老鼠畫得看起來像嬰兒。古爾德說米老鼠的畫風越來越可愛，這是為了讓米老鼠更流行。



參見


* 日本可愛文化

* 萌

* 娃娃臉

* 幼態延續



參考文獻

...
《可愛動物日記》（日語：やえかのカルテ）是日本漫畫家武田日向所創作的漫畫作品。



概要

《可愛動物日記》最初在《月刊 Comic Dragon》（月刊コミックドラゴン）2001 年 5 月號至 2003 年 4 月號連載，後來轉移到《月刊 Dragon Age》（月刊コミックドラゴン）2003 年 5 月號至同年 9 月號連載，單行本一共三冊。而中文版由台灣角川書店所代理發行。

《狐狸與花雀：武田日向短篇集》（富士見書房 2007 年初版，台灣角川書店 2008 年 3 月 20 日初版第 1 刷，中文版 ISBN 978-986-174-618-0）第 105 至 138 頁收錄〈可愛動物日記番外篇：Yaeka's Airmail〉共 5 話，第 104 頁收錄〈可愛動物日記 番外篇的番外篇〉共 1 頁。



舞台設定


* 在這部作品與現實的日本不盡相同，以北海道為模型的北海道州（在這個世界的日本是州制度）為舞台。

 



登場人物

鈴乃動物醫院相關

本草 八重佳（本草 やえか（もとくさ -））
: 本作品的主角，非常喜愛動物，感情起伏非常激烈。

如月 芹奈（如月 芹奈（きさらぎ せりな））
: 八重佳的學姐，成績非常優秀。

朝霞 鈴乃（朝霞 鈴乃（あさか すずの））
: 與進修中八重佳不同，是個獸醫學校畢業的職業獸醫。

八重佳的同班同學

船越 水葉（船越 水葉（ふなこし みずは））
: 與八重佳的同班同學也是青梅竹馬。在「靠近南邊的海的動物醫院（名稱不詳）」進修中。

市村 球貴（市村 球貴（いちむら たまき））
: 對芹奈非常憧憬。在「商店街裡的動物醫院（名稱不詳）」進修中。

堤 偲（堤 偲（つつみ しのぶ））
: 聽得懂「動物的聲音的特殊能力」。為了研究動物學，獸醫學等，在大學的研究所工作。因為了解對方的感情，而積極的掛念著。

八重佳的學姐

日下 周（日下 周（くさか あまね））
: 把優等生的芹奈視為眼中釘。夢想是成為北海道州的領導者。進修地不明（在作品中有在像牧場一樣的地方的插畫）。

勝木 真琴（勝木 真琴（かつき まこと））
: 在「貓的主題樂園（名稱不詳）」進修中。

 



單行本


* 第一冊 ISBN 4049261960（日語，2002 年 5 月 1 日初版）、ISBN 986-799-354-3（中文，2002 年 11 月 16 日初版第 1 刷）

* 第二冊 ISBN 4049262193（日語，2003 年 3 月 1 日初版）、ISBN 986-799-395-0（中文，2003 年 6 月 1 日初版第 1 刷）

* 第三冊 ISBN 4049262436（日語，2004 年 3 月 1 日初版）、ISBN 986-766-488-4（中文，2004 年 5 月 17 日初版第 1 刷）



廣播劇 CD

2004 年 8 月 27 日由 Frontier Works 販售。

配音員


* 本草八重佳：南央美

* 朝霞鈴乃：久川綾

* 如月芹奈：氷上恭子

* 船越水葉：斎藤千和

* 市村珠貴：渡邊明乃

* 勝木真琴：生天目仁美

* 堤偲：新谷良子

* 日下周：大原沙耶香



外部連結


* （繁體中文）台灣角川的介紹頁
可愛區（日語：カワイイ区／カワイイく）是日本福岡縣福岡市於 2012 年 8 月 29 日至 2015 年 3 月 31 日運營的虛擬行政區。

2012 年，福岡市設立本區，為虛構的「第 8 個行政區」，準備以「可愛」為切入口，向外界推廣福岡市的魅力，包括福岡的飲食、時尚、美容等與「可愛」有關的文化及產業，以及都市機能緊密相連所創造的便利購物環境等，希望藉此帶動地區發展。計劃由福岡市負責資訊推廣的市長室廣報戰略課推行。

福岡市表示，本區名稱的「可愛」是「『討人喜愛』、『令心情平和』等的意思」，不僅可形容女性，亦可用於所有的人、動物、行動等（官方網站），不過仍然招來誤解。



歷史

可愛區設立的契機可追溯至 2012 年 3 月。當時，AKB48 的篠田麻里子拜訪福岡市長，表示「想提供幫助，為福岡的朋友注入活力」，願意向福岡市提供協助。福岡市及後提出計劃，在網上設立「第 8 個區」，由篠田擔任區長，向首都圈的年輕人宣傳福岡市。

市最初不知道多少人會登記為區民，考慮到福岡市的人口為 149 萬，於是將目標設為 1 萬人。在篠田協調下，網站委託給電通製作，雙方簽訂約 1,000 萬日圓的無招標合同。

2012 年 8 月 29 日，可愛區正式成立。為吸引首都圈關注，辭令交付式設在東京舉行。登記開始 3 日後，9 月 1 日，登記者超過 3 萬人。9 月 25 日，開始發行「可愛區政報」（カワイイ区政だより）；9 月 29 日，開始發行特別住民票。11 月 1 日，區民突破 4 萬人，及後亦持續增長。



爭議

可愛區引發了不少爭議，包括男女共同參畫（性別平等）方面的爭議。福岡市收到 4 宗質疑「可愛區不會助長性別歧視嗎」等的市民投訴後，向男女共同參畫審議會諮詢，有委員認為計劃「欠缺性別平等考慮」。由於負責計劃的廣報戰略課事先未有諮詢市男女共同參畫課，有意見更要求市重新審視或取消計劃，令事情越鬧越大。

不少人及後發信給市，認為「4 宗投訴就解僱太可惜」，「沒有性別歧視」，但市認為事關重大，考慮到知道篠田麻里子是可愛區區長的人愈來愈多，「不能給沒有直接關係的篠田女士，再添任何麻煩」，最終請求她卸任區長。

可愛區的運營工作亦有引發爭議。售價 300 日圓的可愛區特別住民票，預訂及郵寄工作曾交由未與福岡市簽訂正式合同的 RKB 每日放送進行，公司原定與自製透明文件夾共同銷售，並已在福岡市運營的可愛區網站上刊登廣告橫幅（9 月 14 日停止接受預訂，橫幅亦被刪去；停止前，RKB 每日放送已接受 1500 人預訂），被指運營不透明之處過多，未有向市民完整交代。

一般認為，可愛區企畫的起源是篠田拜訪福岡市長高島宗一郎時的靈機一動，而在篠田牽線下，電通獲得了福岡市民交的約 1,000 萬日圓稅金；2013 年 2 月 16 日，有市議員在市議會決算特別委員會分科會上表示，「有市民說，市長是在拿公款來玩」。

而對於審議會上的「可愛是歧視」觀點，有聲音就質疑「是不是想藉性別盲視之名，把高島趕下台」。



數據


* 人口 - 41,617 人（截至 2014 年 12 月 1 日）

* 面積 - 0 平方公里

* 區徽 - 粉色絲帶… 設計理念為「以絲帶連結可愛，從福岡推廣可愛」。



區長


* 首任 - 篠田麻里子 （任期 2012 年 8 月 29 日 - 2013 年 2 月 19 日）

福岡縣糸島市出身。當時是 AKB48 成員。可愛區創立後，免費負責宣傳工作。


* 第 2 任 - Micaela Anne Braithwaite（任期 2013 年 9 月 12 日 - 2015 年 3 月 31 日）

來自溫哥華。在日加拿大人，住在縣內，是網誌寫手及英語口語講師。



行政

可愛區的「行政服務」包括對區民發行特別住民票，發放區政報等。詳情如下。

可愛區的區民登記手續在官方網站上進行。登記需要提供昵稱及電子郵件地址，不收費用，非福岡市民亦可登記。市民登記後可獲發區民編號，並透過電子郵件，定期收取「可愛區政報」。

可愛區並發行「可愛區特別住民票」（カワイイ区特別住民票）。特別住民票在福岡市役所一樓「資訊廣場」（情報プラザ）發行，費用 300 日圓，可在市內合作店鋪及設施出示，參加各種活動及享用優惠服務。由於特別住民票屬虛構區發行，故不能用作官方證明文件。發行時收取的 300 日圓，與發行真實住民票的收費相同。

民間商戶及團體向福岡市提出申請，接受審查後，可獲准使用區標；福岡市另接受由贊同理念的民間組織提出的掛名贊助及合作請求。



終止

隨著傳媒的關注逐漸減少，市議會等處開始有聲音質疑計劃是否仍有必要，福岡市總務企畫局及後表示，計劃「在城市推廣方面取得較大成果，但難以繼續保持創新，吸引話題，故決定終止」，決定於 2015 年 3 月 31 日終止「可愛區」計劃。



參見


* 福岡市

* 高島宗一郎

* RKB 每日放送

* 篠田麻里子

* Asia Youth Culture Center 福岡縣為宣傳年輕文化而創設的文化推廣組織。



外部連結


* [kawaiiku.jp 福岡市可愛區（已關閉）]

* 福岡市 可愛區的 Facebook 專頁

* Kawaii fukuoka city 的 Twitter 帳戶



參考文獻