stanford-oval/wikipedia huggingface dataset:
火星公主

| 火星公主 A Princess of Mars |
| --- | --- |
《火星公主》封面
原名: Under the Moons of Mars
作者: 埃德加·賴斯·巴勒斯
类型: 科幻小說
系列: 《巴森系列》
语言: 英語
故事背景地點: 火星 
發行
插圖: Frank Schoonover
出版机构: A. C. McClurg
出版時間: 1912 (serialized)  1917 (hardcover)
出版地點: 美國
媒介: 印刷
页数: xii, 326
系列作品
續作: 火星眾神（The Gods of Mars）
《火星公主》（英語：）是美國作家埃德加·賴斯·巴勒斯（Edgar Rice Burroughs）所創作的科幻小說，也是《巴森系列（英语：）》第一部小說。
《火星公主》於1912年2月至7月開始在雜誌《All-Story Magazine》中連載，這部小說被認為是20世紀科幻小说的典型範例。它也是行星羅漫史的一個開創性典範，也是科幻小說的一個子類，在其出版後的幾十年中變得非常受歡迎。《火星公主》早期章節也包含了西部小說的元素。《火星公主》故事背景發生在火星上，火星被認為是一顆充滿惡劣沙漠環境的垂死星球，這種火星環境設定是基於天文學家帕西瓦尔·罗威尔的作品，他的思想在19世紀末和20世紀初廣泛普及。
《巴森系列》啟發了許多著名的20世紀科幻作家，包括傑克·萬斯、布拉德伯里、克拉克、海萊因和約翰·諾曼。該系列也為尋找外星生命的科學家提供靈感，例如卡爾·薩根。
外部連結

The Official Princess of Mars site from Edgar Rice Burroughs, Inc. （页面存档备份，存于）
ERBzine.com Illustrated Bibliography: A Princess of Mars （页面存档备份，存于）
Text of the novel at Project Gutenberg （页面存档备份，存于）
Hypertext version of Project Gutenberg text of A Princess of Mars （页面存档备份，存于）
LibriVox中的公有领域有声书《A Princess of Mars》
列在網路推理小說資料庫中的《火星公主》
Edgar Rice Burroughs Summary Project page for A Princess of Mars （页面存档备份，存于）
Audio review and discussion of A Princess of Mars （页面存档备份，存于） at The Science Fiction Book Review Podcast （页面存档备份，存于）
2-甲基-2-丁醇

| 2-甲基-2-丁醇 |
| --- | --- |


IUPAC名 2-Methyl-2-butanol
系统名 2-Methylbutan-2-ol
别名: 叔戊醇，二甲基乙基原醇
识别
CAS号: 75-85-4  Y
PubChem: 6405
ChemSpider: 6165
SMILES:    CCC(C)(C)O 
Beilstein: 1361351
UN编号: 1105
EINECS: 200-908-9
RTECS: SC0175000
KEGG: D02931
MeSH: tert-amyl+alcohol
性质
化学式: C5H12O
摩尔质量: 88.15 g·mol−1
外观: 无色液体
氣味: 樟脑味
密度: 0.805 g/cm3
熔点: -9 °C（264 K）
沸点: 101-103 °C（374-376 K）
溶解性（水）: 120 g dm−3
溶解性: 可溶于苯、氯仿、乙醚、乙醇
log P: 1.095
蒸氣壓: 1.6 kPa (20 °C)
折光度n D: 1.405
热力学
ΔfHm⦵298K: −380.0–−379.0 kJ mol−1
ΔcHm⦵: −3.3036–−3.3026 MJ mol−1
S⦵298K: 229.3 J K−1 mol−1
危险性
警示术语: R：R11, R20, R37/38
安全术语: S：S2, S46
MSDS: hazard.com
欧盟编号: 603-007-00-2
欧盟分类:  F  Xn
GHS危险性符号  
GHS提示词: 危险
H-术语: H225, H315, H332, H335
P-术语: P210, P261
NFPA 704:    3 1 0   
闪点: 19 °C；24 °C (开杯)
自燃温度: 437 °C
爆炸極限: 9%
若非注明，所有数据均出自标准状态（25 ℃，100 kPa）下。
2-甲基-2-丁醇，或稱叔戊醇，学名结构式(CH3)2C(OH)CH2CH3。
性质

无色液体。易燃，燃烧时具有类似樟脑的气味。溶于8倍的水，水溶液对石蕊呈中性。与乙醇、乙醚、氯仿、苯、甘油和油类混溶。有中等毒性，对呼吸系统、眼、鼻有刺激作用。
制备

乙炔与丙酮经炔酮化反应生成乙炔基异丙醇，后者经分离、加氢和精馏，得叔戊醇。
用途

用于制取香料、增塑剂、彩色胶片成色剂、浮选剂和溶剂等，也用作液压油、润滑油等石油产品的添加剂。
参考资料

1 2  . PubChem Compound. USA: National Center for Biotechnology Information. Identification and Related Records. 26 March 2005  [2011-12-13]. （原始内容存档于2012-10-03）.
↑  Lomte, S.B.; Bawa, M.J.; Lande, M.K.; Arbad, B.R. . Journal of Chemical & Engineering Data. 2009, 54: 127–130. doi:10.1021/je800571y.
↑  Haynes, William M.; Lide, David R.; Bruno, Thomas J. .  95th. CRC Press. 2014: 362. ISBN 9781482208689. OCLC 908078665.
溫德米爾鎮區 (明尼蘇達州派恩縣)

| 溫德米爾鎮區 Windemere Township |
| --- | --- |
行政鎮區
溫德米爾鎮區溫德米爾鎮區在明尼蘇達州的位置
坐标：46°23′19″N 92°45′37″W﻿ / ﻿46.38861°N 92.76028°W﻿ / 46.38861; -92.76028
國家: 美国
州份: 明尼蘇達州
縣: 派恩縣
面积
 • 总计: 92.27 平方公里（35.63 平方英里）
 • 陸地: 78.77 平方公里（30.41 平方英里）
 • 水域: 13.50 平方公里（5.21 平方英里）
海拔: 336 公尺（1,102 英尺）
人口（2020）
 • 總計: 1,620人
 • 密度: 17.6人/平方公里（45.5人/平方英里）
时区: CST（UTC-6）
 • 夏时制: CDT（UTC-5）
電話區號: 320（英语：）
GNIS ID: 666013
溫德米爾鎮區（英語：）是位於美國明尼蘇達州派恩縣的一個行政鎮區。
歷史

溫德米爾鎮區於1882年設立，得名自位於英格蘭的溫德米爾湖。
地方資料

溫德米爾鎮區的面積為92.27平方千米，當中陸地面積為78.77平方千米，而水域面積為13.50平方千米。根據2020年美國人口普查的數據，當地共有人口1620人，而人口密度為每平方千米17.56人。
參考文獻

1 2  . 2020 United States Census. United States Census Bureau.   [2021-09-14].
↑  . . United States Geological Survey.
↑  Upham, Warren. . Minnesota Historical Society. 1920: 414.
捷克語字母

捷克語字母（捷克語：）是拉丁字母的其中一個版本，用於書寫捷克語。基本原則是配合附加符號，達到「一字母一音」。其他東歐語言（例如斯拉夫語族、波羅的語族和愛沙尼亞語）都是基於捷克語字母，根據需要增加或刪去一些字母。最明顯的例外就是波蘭語，波蘭語獨自發展了一套拉丁字母系統。
捷克語字母有41個字母和1個二合字母（「Ch」）：
| 捷克語字母 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| A | a | Á | á | B | b | C | c | Č | č | D | d | Ď | ď | E | e | É | é | Ě | ě | F | f | G | g | H | h | Ch | ch | I | i |
| Í | í | J | j | K | k | L | l | M | m | N | n | Ň | ň | O | o | Ó | ó | P | p | Q | q | R | r | Ř | ř | S | s | Š | š |
| T | t | Ť | ť | U | u | Ú | ú | Ů | ů | V | v | W | w | X | x | Y | y | Ý | ý | Z | z | Ž | ž |   |   |   |   |   |  |
字母「Q」跟「W」大多用於外來字詞，多數被「捷克語化」的過程被替代成「Kv」和「V」。二合字母「Dž」和「dž」也是用於大部分的外來語，而不會在字母表中佔一位置。
歷史

大部分含附加符號的字母被揚·胡斯在15世紀初的拼寫改革中被加入，來代替在26個基本拉丁字母中沒有相同聲音的二合字母和三合字母（波蘭語仍然在使用以前的合字）。在16世紀期間，字母「Ů」（歷史上是讀成「Ó」，不過現在會讀成「Ú」）被加入到字母表。唯一剩餘的合字就是「Ch」，排列介於「H」和「I」，表示該字母的發音類近於德語的「ch」或是俄語的「Х」音（[x]）。它被視為是一個單字母——在填字遊戲中，它只佔一格；還有直行書寫（例如商店招牌），「c」跟「h」經常放在一起。把「Ch」寫在同一格的流行程度已隨著電腦在捷克共和國逐漸普遍。
帶尖音符（「čárka」）的字母（Á、É、Í、Ó、Ú、Ý）和帶「kroužek」的字母「Ů」全部用作標示長元音，它們跟沒有附加符號的同一組字母並列在相同的順序。如果字母除了重讀外沒有其他不同之處，這些字母將會根據它們的複雜度來排列。因此在字典中，「kura」在「kúra」的前面；「kúra」又在「kůra」前面。揚抑符（ˇ,háček）在歷史上標示顎音化，字母「Č」、「Ř」、「Š」和「Ž」現在標示後齒齦音，而「Ď」、「Ň」和「Ť」代表硬顎輔音。它們都有跟無附加符號版本的排列一樣。
字母名稱和讀音

| 字母 | 名稱 | IPA值 |
| --- | --- | --- |
| A a | á | /a/ |
| Á á | dlouhé á | /aː/ |
| B b | bé | /b/ |
| C c | cé | /ts/ |
| Č č | čé | /tʃ/ |
| D d | dé | /d/ |
| Ď ď | ďé | /ɟ/ |
| E e | é | /ɛ/ |
| É é | dlouhé é | /ɛː/ |
| Ě ě | ije, é s háčkem | /ɛ/, /jɛ/ |
| F f | ef | /f/ |
| G g | gé | /ɡ/ |
| H h | há | /ɦ/ |
| Ch ch | chá | /x/ |
| I i | í, měkké í | /ɪ/ |
| Í í | dlouhé í, dlouhé měkké í | /iː/ |
| J j | jé | /j/ |
| K k | ká | /k/ |
| L l | el | /l/ |
| M m | em | /m/ |
| N n | en | /n/ |
| Ň ň | eň | /ɲ/ |
| O o | ó | /o/ |
| Ó ó | dlouhé ó | /oː/ |
| P p | pé | /p/ |
| Q q | kvé | /kv/ |
| R r | er | /r/ |
| Ř ř | eř | /r̝/ |
| S s | es | /s/ |
| Š š | eš | /ʃ/ |
| T t | té | /t/ |
| Ť ť | ťé | /c/ |
| U u | ú | /u/ |
| Ú ú | dlouhé ú, ú s čárkou | /uː/ |
| Ů ů | ů s kroužkem | /uː/ |
| V v | vé | /v/ |
| W w | dvojité vé | /v/ |
| X x | iks | /ks/ |
| Y y | ypsilon, krátké tvrdé í | /ɪ/ |
| Ý ý | dlouhé ypsilon, dlouhé tvrdé í | /iː/ |
| Z z | zet | /z/ |
| Ž ž | žet | /ʒ/ |
1 2  非正式的二合音標多數用於塞擦音：/ts/、/dz/、/tʃ/、/dʒ/，實際的IPA版本支援用連線來連住兩個分開的字母。
1 2  字母「Ě」和「Ů」不會出現在任何字的開首，因此這兩個字母僅在全部大写或小型大寫字母時出現大寫，例如報紙標題。
1 2 3  字母「F」、「G」和「Ó」分別代表：/f/、/ɡ/、/oː/，首兩個字母不是/v/和/k/的同位異音，因為這兩個字母都是用於外來語的。它們在捷克語中已經普及，但是某些捷克人對這些音的讀法仍然是有問題的。
1 2  輔音是受同位異音，是軟顎音；如果軟齶擦音和聲門擦音之間沒有區別，/x/的濁音可能是/ɣ/或/ɦ/；/ɦ/的清音可能是/h/或/x/。
↑  「長腿R」⟨ɼ⟩有時會被認為是⟨ř⟩（非正式）的發音。這個字元被「小寫R」（加上一個附加符號）代替，表示齒齦顫音。
電腦編碼

在電腦編碼中，捷克語字母有幾種不同的編碼標準：
ISO 8859-2
Windows編碼表-1250（英语：）
IBM PC編碼表-852（英语：）
Kamenický編碼（英语：），用於早期的DOS個人電腦和惠多網。
統一碼
參見

拉丁字母
揚抑符（Háček，「ˇ」）
Kroužek（「˚」）
捷克語
外部連結

捷克語 （页面存档备份，存于）
Czech Encodings FAQ and 已知編碼列表 （页面存档备份，存于）（捷克語）
Typo.cz （页面存档备份，存于） 關於中歐語言的印刷及排版的資訊
參考資料

↑  For some time in the 1990s, even the difference between accented and unaccented letters was not respected in crosswords, presumably because the software used could not handle accented characters gracefully.
↑  Details in Czech at www.cestina.cz （页面存档备份，存于）.
凱于圖凱努

| 凯于图凯努 Kautokeino Guovdageaidnu |
| --- | --- |
市镇

   旗幟 徽章
 凯于图凯努在芬马克郡的位置
凯于图凯努凯于图凯努在挪威的位置
坐标：69°N 23°E﻿ / ﻿69°N 23°E﻿ / 69; 23
国家: 挪威
郡: 芬马克郡
设立: 2020年
行政中心: 凯于图凯努村
面积
 • 总计: 9,707.34 平方公里（3,748.02 平方英里）
 • 陸地: 8,968.47 平方公里（3,462.75 平方英里）
 • 水域: 738.88 平方公里（285.28 平方英里）
人口（2023年）
 • 總計: 2,847人
 • 密度: 0.293人/平方公里（0.76人/平方英里）
时区: CET（UTC+01）
 • 夏时制: CEST（UTC+02）
ISO 3166码: NO-5612
官方书面语言: 書面挪威語
網站: www.guovdageainnu.suohkan.no
凱于圖凱努（挪威語：，北薩米語：，克文語：），是挪威芬马克郡的市镇，行政中心为凯于图凯努村。市镇面积为9,707.34平方公里，2023年人口数量为2,847人。
有三分之一的居民以驯鹿放牧为工作，这也是当地的主要产业。凯于图凯努设有很多的科学教育机构，如萨米大学、北欧萨米研究所和食品质检局等。在当地使用的语言主要为萨米语和挪威语这两种语言，它们也是市镇的官方语言，而当地85%的居民则使用萨米语作为第一语言。
滕多伊 (愛達荷州)

| 滕多伊 Tendoy |
| --- | --- |
非建制地區
滕多伊滕多伊在愛達荷州的位置
坐标： 44°57′34″N 113°38′41″W﻿ / ﻿44.95944°N 113.64472°W﻿ / 44.95944; -113.64472
國家: 美国
州份: 愛達荷州
縣: 萊姆哈伊縣
海拔: 1,476 公尺（4,842 英尺）
时区: 北美山区时区（UTC-7）
 • 夏时制: MDT（UTC-6）
電話區號: 208
GNIS ID: 398226
滕多伊（英語：）是位於美國愛達荷州萊姆哈伊縣的一個非建制地區。該地的面積和人口皆未知。
地理

滕多伊的座標為44°57′34″N 113°38′41″W﻿ / ﻿44.95944°N 113.64472°W﻿ / 44.95944; -113.64472，而該地的平均海拔高度為1476米（即4842英尺）。
參考文獻

1 2  . . United States Geological Survey.
凱斯特萊恩斯米爾巴赫河

48°57′47″N 10°54′53″E﻿ / ﻿48.96303°N 10.91486°E﻿ / 48.96303; 10.91486
凱斯特萊恩斯米爾巴赫河是德國的河流，位於該國東南部，由巴伐利亞負責管轄，屬於尚巴赫河的右支流，河道全長2.4公里，發源自特羅伊希特林根。
參考資料

Topographische Karten （页面存档备份，存于）, Bayerisches Vermessungsamt (BayernAtlas)
Verlauf des Kästleinsmühlbachs （页面存档备份，存于）
1998年美國國家棒球名人堂票選

| 1998年美國國家棒球名人堂票選 |
| --- | --- |
    棒球名人堂    
透過BBWAA入選名人堂的唐·薩頓
新入選者: 5人
透過全美棒球記者協會票選: 1人
透過資深選手委員會推薦: 4人
總入選人數: 237人
入選日期: 1998年7月26日
棒球名人堂票選
«1997年1999年»
1998年美國國家棒球名人堂票選遵循1995年的票選規則。全美棒球記者協會進行年度票選，最後選出唐·薩頓。資深選手委員會在這年進行閉門會議，他們從資深大聯盟選手、行政人員、總教練、主審和黑人聯盟選手中進行評選，最後他們選出喬治·戴維斯、賴瑞·多比（英语：）、李·麥克菲爾（英语：）和布列特·羅根（英语：）四人。大聯盟在1998年7月26日舉辦入選典禮。
全美棒球記者協會票選結果

全美棒球記者協會只從1978年以後效力於大聯盟的選手中進行評選，但效力年限只到1992年為止。
每個球員需要獲得至少75%的選票方能入選。本屆票選包含26名球員；總共有473張選票，最終總計投出2559人次，入選名人堂門檻為355票，平均每張選票圈選了5.41人。未達5%得票率的候選人，將被剔除名人堂票選資格。
首次進行票選的球員將以劍標（†）顯示。獲得至少75%以上同意票的入選人以粗體字表示；在未來票選中才入選的候選人以斜體字表示。
羅恩·桑托是第十五次進行票選，同時也是最後一次。
新入選的球員包含17名全明星球員，這17人合計共入選44次明星賽。不過有其中9人沒有在名單上。
以下球員首次具有票選資格，但並未在名單上：吉姆·艾克（英语：）、戴夫·安德森（英语：）、弗洛伊德·班尼斯特（英语：）、傑西·巴菲爾德、胡安·貝倫格（英语：）、戴夫·伯格曼（英语：）、唐·卡曼（英语：）、瑞克·席洛姆（英语：）、麥克·菲茲傑洛德（英语：）、吉姆·甘特納（英语：）、瑞奇·傑德曼（英语：）、傑瑞·唐·葛里頓（英语：）、馮·海耶斯（英语：）、布魯克·傑克比（英语：）、丹尼斯·蘭普（英语：）、約翰·摩西斯（英语：）、蘭斯·穆里尼克斯（英语：）、肯·奧柏克菲爾（英语：）、蓋瑞·佩提斯（英语：）、傑米·奎爾克（英语：）、拉斐爾·拉米瑞茲（英语：）、唐·羅賓森、路易斯·薩拉札（英语：）、戴夫·舒密特（英语：）、麥克·梭夏、麥特·席納卓（英语：）、戴夫·史密斯（英语：）、帕特·塔布勒（英语：）、華特·泰瑞爾（英语：）和丹尼·沃林恩（英语：）。
J·G·泰勒·史賓克獎

棒球記者山姆·萊西（英语：）（1903年–2003年）獲選該屆的J·G·泰勒·史賓克獎。
福特·C·弗里克獎

道奇隊播報員哈梅·哈林（英语：）（1935年–）獲選該屆的福特·C·弗里克獎。
參考

↑  Holtzman, Jerome. . Chicago Tribune. July 27, 1998: 3–4  [October 8, 2019]. （原始内容存档于2019-10-08） –newspapers.com.
外部連結

棒球主题
美國國家棒球名人堂官網 （页面存档备份，存于）
棒球名人堂BBWAA票選規則 （页面存档备份，存于）
1998年名人堂票選 at www.baseballhalloffame.org
凱斯特海伊猶太會堂

凱斯特海伊猶太會堂（Keszthely Synagogue）是匈牙利城市凱斯特海伊的一座猶太會堂。這座猶太會堂始建於1852年，外觀是新古典主義風格。
參考文獻

↑  The Organ: An Encyclopedia
By Douglas Earl Bush, Richard Kassel, Published by Routledge, 2006, ISBN 0-415-94174-1, page 263.
源姓

日本氏族，請見「」。
源姓是一个中國罕见的漢姓。目前，廣東省鶴山市龍口鎮霄鄉村居住著源姓約一千多人，世界各地還有20000多人。據考證，源姓始於北魏秃髮氏，是鲜卑的後裔。
秃髮破羌降北魏，北魏明元帝（一说系北魏文成帝）因秃髮、拓跋同源，故賜姓为“源”，是為源贺。
據考證，《魏書》、《北齊書》、《隋書》、《新唐書》、《舊唐書》中所記源氏族人，即為鶴山源氏祖先。
鲜卑族虽已消亡，但源氏族人经历的历史沧桑，见证了一个北方民族汉化融合的过程，宣統退位以來，許多族人再一次改為原姓。
源氏大宗族譜

1997年，源氏找到了散失多年的《源氏大宗族譜》。從中查知“源族受姓始於北魏……”進一步證實了霄鄉源氏確為鮮卑後裔。
歷代人物

源賀（北魏）
源乾曜（唐朝）
源吉林（清朝）：广东甘和茶（盒仔茶）发明人。
源菲然（现代）：2020年香港小姐竞选12強佳麗，冠軍謝嘉怡之表妹。TVB藝人。
相關條目

秃发氏
百家姓
中文姓氏
中國姓氏列表
源氏
外部連結

[在维基数据编辑]
↑  《魏书》卷四十一·源贺传
斗门街道 (绍兴市)

此條目介紹的是浙江省绍兴市街道办事处。关于陕西省的同名街道办事处，请见「」。关于其他以陡门或斗门为名的地点，请见「」。
| 斗门街道 |
| --- | --- |
街道
坐标：30°06′01″N 120°35′18″E﻿ / ﻿30.10015°N 120.58832°E﻿ / 30.10015; 120.58832
国家:  中华人民共和国
上级行政区: 越城区
村级区划单位数:  40 26社区 14行政村 
时区: 北京时间（UTC+8）
行政区划代码: 33 06 02 012
电话区号: +86 
斗门街道是中华人民共和国浙江省紹興市越城区下辖的一个街道办事处。
2017年7月23日，浙江省人民政府批复同意撤销斗门镇建制，其行政区域改由绍兴市越城区政府直辖。
2017年8月7日，绍兴市人民政府批复同意在原斗门镇行政区域内设立斗门街道办事处。
行政区划

斗门街道下辖以下村级行政区划单位：
斗门社区、​西堰社区、​盐仓娄社区、​桑港社区、​杨望社区、​寺东社区、​外谷社社区、​石泗社区、​王家社区、​南星社区、​菖中社区、​菖二社区、​新马山社区、​东堰社区、​丁港社区、​里谷社社区、​袍渎社区、​坝里金社区、​坝头丁社区、​赵墅社区、​钟家甲社区、​新合作社区、​新皇甫社区、​新孙端社区、​新豆姜社区、​新斗门社区、​百盛娄村、​璜山北村、​荷湖村、​三江村、​后璜村、​前璜村、​斗门村、​凤村、​洋江村、​方徐村、​上窑村、​富陵村、​褚家村和朱家潭村。
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  《浙江省人民政府关于绍兴市越城区部分行政区划调整的批复》（浙政函〔2017〕77号）
↑  《绍兴市人民政府关于越城区部分行政区划调整的批复》（绍政函〔2017〕37号）
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
演绎定理

演绎定理是数理逻辑的一個核心規則，它清晰地描述元語言的純符號組合所做的演繹與逻辑语言裡的实质条件的聯繫。
簡介

演绎定理通常被視為元定理，也就是以元語言來描述的符號組合規則（也就是推理规则，如肯定前件）為基礎，配上邏輯公理（被認為＂永遠為真＂的一套合式公式）為前提去證明的某種規則，通常都有以下的形式：（以下 {\mathcal {A}}_{1},\,\cdots ,\,{\mathcal {A}}_{n} 、  {\mathcal {B}} 為任意合式公式）
視為元定理的例子請參見一阶逻辑條目的演繹元定理。
但在某些逻辑系统中，演绎定理被定為基礎的推理规则。這種系統跟視為元定理的系統比較起來，推理的效力是等同的，所以在此並不贅述。
演绎的例子

证明 ((P→(Q→P))→R)→R:
(P→(Q→P))→R 1. 假设
P→(Q→P) 2. 公理 1
R 3. 肯定前件 2,1
((P→(Q→P))→R)→R 4. 演绎自 1 到 3 QED
从使用演绎元定理的演绎转换到公理化证明

在公理化版本的命题逻辑中，通常有着公理模式和推理规则(这里的 P、Q 和 H 可以被替换为任何命题)：
公理 1：P→(H→P)
公理 2：(H→(P→Q))→((H→P)→(H→Q))
推理规则肯定前件：从 P 和 P→Q 推出 Q
从这些公理和推理规则你可以快速的演绎出定理模式 P→P (参见命题演算)。选择这些公理模式使你能够容易的从它们推导出演绎定理。可以通过使用真值表验证来证实它们为重言式，而肯定前件保持真理。
假如我们有了 Γ 与 H 证明 C，并且我们希望证实 Γ 证明 H→C。对于在演绎中的每个步骤 S:
如果这个步骤是在 Γ 中的前提(重复步骤)或一个公理，我们可以应用肯定前件于公理 1：S→(H→S)，来得到 H→S。
如果这个步骤是 H 自身(假设步骤)，我们应用这个定理模式来得到 H→H。
如果这个步骤是应用肯定前件于 A 和 A→S 的结果，我们首先确保它们已经被转换成 H→A 和 H→(A→S)，并接着采用公理 2：(H→(A→S))→((H→A)→(H→S))，并应用肯定前件来得到 (H→A)→(H→S)，并接着再次应用来得到 H→S。
在这个证明的结束处我们有了所需要的 H→C，除了它现在只依赖于 Γ 而不再依赖于 H 之外。所以这个演绎步骤将消失，合并到是从 H 推导出的结论的前面步骤中。
为了最小化结果证明的复杂性，在转换之前要进行某些预处理。实际上不依赖于 H 的任何步骤(除了结论)都应当被移动到假设步骤之前并去缩进一个层次。并且任何其他不必要步骤(不用来得到结论或可以被绕过的)，比如不是结论的重复应当除去。
在转换期间，在演绎开始处(紧接着 H→H 步骤之后)放置所有的对公理 1 的肯定前件应用可能是有用的。
在转换肯定前件的时候，如果 A 在 H 的范围之外，则必须应用公理 1：A→(H→A)，和肯定前件来得到 H→A。类似的，如果 A→S 在 H 的范围之外，应用公理 1：(A→S)→(H→(A→S)) 和肯定前件来得到 H→(A→S)。做这二者不是必须的，除非肯定前件步骤是结论，因为二者都在这个范围之外，那么肯定前件应当已经被移动到 H 之前并且因此也在这个范围之外。
在Curry-Howard同构下，上述对演绎元定理的转换过程类似于从lambda 演算项到组合子逻辑项的转换过程，这里的公理 1 对应于 K 组合子，而公理 2 对应于 S 组合子。注意 I 组合子对应于定理模式 P→P。
转换的例子

要展示如何把自然演绎转换成公理化形式的证明，我们应用它于重言式 Q→((Q→R)→R)。实际上，知道可以这么做通常就足够了。我们通常使用自然演绎形式来替代更长的公理化证明。
首先，我们写使用自然演绎的证明:
Q 1. 假设
Q→R 2. 假设
R 3. 肯定前件 1,2
(Q→R)→R 4. 演绎自 2 到 3
Q→((Q→R)→R) 5. 演绎自 1 到 4 QED
其次，我们转换内层的演绎为公理化证明:
(Q→R)→(Q→R) 1. 定理模式 (A→A)
((Q→R)→(Q→R))→(((Q→R)→Q)→((Q→R)→R)) 2. 公理 2
((Q→R)→Q)→((Q→R)→R) 3. 肯定前件 1,2
Q→((Q→R)→Q) 4. 公理 1
Q 5. 假设
(Q→R)→Q 6. 肯定前件 5,4
(Q→R)→R 7. 肯定前件 6,3
Q→((Q→R)→R) 8. 演绎自 5 到 7 QED
第三，我们转换外层的演绎为公理化证明:
(Q→R)→(Q→R) 1. 定理模式 (A→A)
((Q→R)→(Q→R))→(((Q→R)→Q)→((Q→R)→R)) 2. 公理 2
((Q→R)→Q)→((Q→R)→R) 3. 肯定前件 1,2
Q→((Q→R)→Q) 4. 公理 1
[((Q→R)→Q)→((Q→R)→R)]→[Q→(((Q→R)→Q)→((Q→R)→R))] 5. 公理 1
Q→(((Q→R)→Q)→((Q→R)→R)) 6. 肯定前件 3,5
[Q→(((Q→R)→Q)→((Q→R)→R))]→([Q→((Q→R)→Q)]→[Q→((Q→R)→R))]) 7. 公理 2
[Q→((Q→R)→Q)]→[Q→((Q→R)→R))] 8. 肯定前件 6,7
Q→((Q→R)→R)) 9. 肯定前件 4,8 QED
这三个步骤可以简洁的使用Curry-Howard同构表述为:
首先，在 lambda 演算中，函数 f = λa. λb. b a 有类型 q → (q → r) → r
其次，通过在 b 上的 lambda 除去，f = λa. s i (k a)
第三，通过在 a 上的 lambda 除去，f = s (k (s i)) k
引用

Introduction to Mathematical Logic by Vilnis Detlovs and Karlis Podnieks （页面存档备份，存于）  Podnieks is a comprehensive tutorial.  See Section 1.5.
凱瑟琳·詹金斯

| 凱瑟琳·詹金斯 OBE |
| --- | --- |
Jenkins performing live at Clumber Park in 2011
歌手
出生: Katherine Maria Jenkins  (1980-06-29) 1980年6月29日（44歲）
配偶: 安德魯·李維塔（2014年结婚）
儿女: 1
音乐类型: 跨界音樂、歌劇流行音樂、古典樂
演奏乐器: 次女高音
出道地点: 威爾士尼思
活跃年代: 1998–present
唱片公司: Universal, Warner, Decca
网站: KatherineJenkins.co.uk
凱瑟琳·詹金斯（英語：；1980年6月29日—）是威爾士抒情歌歌手和歌曲作者。她是跨界音樂歌手，演奏了一系列的歌劇，流行歌曲，音樂劇和讚美詩。
凱瑟琳·詹金斯在年輕時贏得唱歌比賽，曾在皇家音樂學院學習。 2003年，她在威斯敏斯特主教座堂唱歌，紀念教宗若望保祿二世的二十五週年慶典。
參考資料

↑  "Profile on Classical Crossover.co.uk （页面存档备份，存于）". Retrieved 28 October 2009.
↑  "Profile on Classical Archives （页面存档备份，存于）". Retrieved 28 October 2009.
↑  . classicfm.co.uk.   [12 February 2012]. （原始内容存档于2010-12-28）.
外部連結

官方网站
Katherine Jenkins在互联网电影资料库（IMDb）上的資料（英文）
1-萘甲酸钠

| 1-萘甲酸钠 |
| --- | --- |

别名: 萘-1-甲酸钠 α-萘甲酸钠
识别
CAS号: 17273-44-8  Y
SMILES:    [Na].O=C(O)C1=CC=CC=2C=CC=CC21 
性质
化学式: C11H7NaO2
摩尔质量: 194.16 g·mol−1
若非注明，所有数据均出自标准状态（25 ℃，100 kPa）下。
1-萘甲酸钠是一种羧酸盐，化学式为C11H7O2Na。它可由1-萘甲酸和氢氧化钠反应制得。它和二氯二(甲基环戊二烯基)锆在甲苯中反应，过滤除生成的氯化钠后，可以结晶出无色的氯化(1-萘甲酸)二(甲基环戊二烯基)锆。
林建萱

| 林建萱> 女演员 |
| --- | --- |
本名: 林建萱
国籍:  中華民國
出生:  (1997-05-05) 1997年5月5日（27歲）
职业: 演員
语言: 國語、台語、英語
教育程度: 松山家商
林建萱（1997年5月5日—），台灣女演員，現就讀松山家商。
電視劇

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
| 首播 | 電視台 | 劇名 | 角色 |
| 2015年 | 台視 | 春梅 | 林春梅（幼年） |
| 2015年 | 大愛 | 萬里桂花香 | 陳秋燕（幼年） |
| 2018年 | 大愛 | 長盤決勝 | 張月如(少女) |
| 2022年 | 台視 | 美麗人生 | 許勉（少年） |
| 2022年 | 大愛 | 冬菊，沒問題！ | 唐綠洋（少年） |
澳大利亚植物名称索引

澳大利亚植物名称索引（英語：，简称：APNI）是一个对于澳大利亚维管植物所有公开名称的在线数据库。  它涵盖了所有名称，无论是当前的名称、同义词还是无效的名称。它包括书目和类型化细节，来自澳大利亚植物普查（英语：）的信息，澳大利亚各州的分布情况，与其他资源的链接，如标本、收集图、植物照片，以及对植物其他方面进行注释和评论的网站。
历史

它初自南希·泰森·伯比奇（英语：）的想法。第一部由阿瑟·查普曼编撰，是一部四卷3055页的印刷作品，包含6万多个植物名称。当时是澳大利亚生物资源研究（英语：）（ABRS）的一部分。1991年，它被作为一个在线数据库，并移交给了澳洲国家植物园。两年后，它的维护责任被交给了新成立的植物生物多样性研究中心。
规模

它被澳大利亚植物标本馆公认为澳大利亚植物命名的权威来源，并且是澳大利亚虚拟标本馆（英语：），一个为了提供对澳大利亚主要标本馆的数据和标本收藏的综合在线访问，拥有1000万澳元资金的合作项目，的核心组成部分。
它提供两种查询接口：
澳大利亚植物名称索引 (APNI)， 提供完整结果，没有自动解释的完整查询界面。
它的名字是什么（WIN）， 一个功能较弱的查询界面，可提供简洁的结果，并增加了对输入的自动（并不总是正确的）推断。
参考资料

↑  . International Plant Name Index.   [21 November 2013]. （原始内容存档于2000-08-18）.
↑  
Croft, J.; Cross, N.; Hinchcliffe, S.; Lughadha, E. Nic; Stevens, P. F.; West, J. G.; Whitbread, G. . Taxon. May 1999, 48 (2): 317–324. ISSN 0040-0262. JSTOR 1224436. doi:10.2307/1224436.
↑  
Lughadha, Eimear Nic. . Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 29 April 2004, 359 (1444): 681–687. ISSN 0962-8436. PMC 1693359 . PMID 15253353. doi:10.1098/rstb.2003.1446.
↑  . Biodiversity.org.au.   [10 June 2022]. （原始内容存档于2023-04-08）.
↑  .   [2007-09-09]. （原始内容存档于2016-08-07）.
其他资料

.   [2007-09-09]. （原始内容存档于3 September 2007）.
.   [9 September 2007]. （原始内容存档于3 September 2007）.
Chapman, Arthur. . Canberra: Australian Government Publishing Service. 1991.
炎陵站

炎陵站位于湖南省株洲市炎陵县，是吉衡铁路的一座火车站，技术性质为中间站，业务性质为客、货运站，车站等级为四等站；2013年12月28日随着吉衡铁路启用，2014年7月1日铁路开通客运服务，本站也正式启用客运功能。2019年11月30日由中国铁路南昌局集团宜春车务段划归中国铁路广州局集团衡阳车务段管辖。
本站的启用也标志着株洲市下辖县全通火车。
车站结构

候车厅采用人字形屋顶设计，建筑面积6000平方米，车站雨棚6426平方米，车站前广场有4.58万平方米，总投资5900万元。
停靠车次

每日停靠5趟车次。
邻近车站

| 前一站 | 中国铁路 | 中国铁路 | 中国铁路 | 後一站 |
| --- | --- | --- | --- | --- |
| 睦村站 |  | 吉衡铁路 |  | 浣溪站 |
凱斯特萊恩斯魏爾湖

| 凱斯特萊恩斯魏爾湖 |
| --- | --- |
凱斯特萊恩斯魏爾湖凱斯特萊恩斯魏爾湖在德國的位置
标: 49°09′03″N 10°45′29″E﻿ / ﻿49.15094°N 10.75804°E﻿ / 49.15094; 10.75804
所在国家:  德国
凱斯特萊恩斯魏爾湖（德語：），是德國的湖泊，位於該國東南部，由巴伐利亞州負責管轄，處於貢岑豪森，長0.2公里、寬0.1公里，面積0.001平方公里，海拔高度421米，湖岸線長度0.5公里。
參考資料

Topographische Karten（页面存档备份，存于）, Bayerisches Vermessungsamt (BayernAtlas)
Lage des Weihers（页面存档备份，存于） im BayernAtlas ("Bavaria Atlas") by the Bavarian State Government
冉庄镇

| 冉庄镇 |
| --- | --- |
镇
坐标：38°40′17″N 115°22′01″E﻿ / ﻿38.67138°N 115.36684°E﻿ / 38.67138; 115.36684
国家:  中华人民共和国
上级行政区: 清苑区
村级区划单位数:  16 0社区 16行政村 
人口
 • 總計: 36,119人
时区: 北京时间（UTC+8）
行政区划代码: 13 06 08 101
电话区号: +86 (0)312
冉庄镇，是中华人民共和国河北省保定市清苑区下辖的一个乡镇级行政单位。
行政区划

冉庄镇下辖以下地区：
冉庄村、​张马庄村、​东孙庄村、​三房村、​西辛庄村、​姜庄村、​大张庄村、​小张庄村、​封庄村、​靳庄村、​北马庄村、​西马庄村、​东马庄村、​陈吴庄村、​蒋庄村和羊庄村。
中国传统村落

冉庄村
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
艾利毛鱷屬

| 艾利毛鳄属 化石时期：始新世  PreЄ Є O S D C P T J K Pg N  ▼   |
| --- | --- |

科学分类 
界：: 动物界 Animalia
门：: 脊索动物门 Chordata
纲：:  Reptilia
演化支：: 真 Eureptilia
演化支：: 卢默龙类 Romeriida
亚纲：: 双孔亚纲 Diapsida
演化支：: 新双弓类 Neodiapsida
演化支：: 蜥类 Sauria
演化支：: 主龜龍類 Archelosauria
下纲：: 主龍形下綱 Archosauromorpha
演化支：: 鱷腳類 Crocopoda
演化支：: 主龍型類 Archosauriformes
演化支：: 真鱷腳類 Eucrocopoda
演化支：: 镶嵌踝类 Crurotarsi
演化支：: 主龍類 Archosauria
演化支：: 偽鱷類 Pseudosuchia
演化支：: 鳄类 Suchia
演化支：: 副鱷形類 Paracrocodylomorpha
演化支：: 铠鳄类 Loricata
总目：: 鱷形超目 Crocodylomorpha
演化支：: 坚颅类 Solidocrania
演化支：: 鱷型類 Crocodyliformes
演化支：: 中真鱷類 Mesoeucrocodylia
演化支：: 後鱷類 Metasuchia
亚目：: †诺托鳄亚目 Notosuchia
演化支：: †西贝鳄类 Sebecosuchia
属：: 艾利毛鳄属 Eremosuchus Buffetaut, 1989

模式種
艾利毛鱷 Eremosuchus elkoholicus Buffetaut, 1989
艾利毛鱷屬（屬名：Eremosuchus）是鱷形超目西貝鱷類的一屬，化石發現於阿爾及利亞的El Kohol地層，地質年代相當於始新世。牠們的牙齒側向扁平、有鋸齒狀邊緣。
在1989年被命名時，艾利毛鱷被歸類於Trematochampsidae科，但同時也被認為是波羅鱷科的近親。當時是根據頭顱骨的一些特徵，而被歸類於Trematochampsidae科，例如：側向扁平的牙齒、下頜聯合處寬廣而凹陷。但近年發現，這些特徵並不僅限於Trematochampsidae科，某些西貝鱷類也有這些特徵，例如：波羅鱷、西貝鱷。艾利毛鱷的上隅骨，有構成頭顱-下頜關節的一部分，許多基礎型中真鱷類也有這個特徵。近年的種系發生學研究，多將艾利毛鱷歸類於西貝鱷類。艾利毛鱷被歸類於西貝鱷類的基礎物種，而沒有歸類於西貝鱷類的任何一科。艾利毛鱷被認為是佩文切鱷的近親。
參考資料

↑  Carvalho, I. S.; Campos, A. C. A.; Nobre, P. H. . Gondwana Research. 2005, 8 (1): 11–30. doi:10.1016/S1342-937X(05)70259-8.
↑  Buffetaut, E. . Palaeontographica. 1989, 208: 1–10.
↑  Ortega, F.; Buscalioni, A. D.; Gasparini, Z. . Geobios. 1996, 29 (3): 353–364. doi:10.1016/S0016-6995(96)80037-4.
↑  Turner, A. H.; Calvo, J. O. . Journal of Vertebrate Paleontology. 2005, 25 (1): 87–98. doi:10.1671/0272-4634(2005)025[0087:ANSCFT]2.0.CO;2.
沈阳师范大学附属学校

| 沈阳师范大学附属学校 |
| --- | --- |


地址: 辽宁省沈阳市皇姑区黄河北大街253-1
其它名称: Affiliated School of Shenyang Normal University
类型: 小学、初中、高中一体私立学校
隶属: 沈阳师范大学
创办日期: 2000年
创始人: 刘闺立
校長: 刘闺立
年级: 小学一至六年级、初一至初三、高一至高三
校訓: 博爱 博学 求真 求成
校树: 银杏树
校色: 绿色
校花: 向日葵
電話號碼: (024)86575005
学校网址: http://www.ssdfsxx.com
沈阳师范大学附属学校，是中国辽宁省沈阳市的一所集小学、初中、高中为一体的学校，2000年建校，附属于沈阳师范大学，高中部为辽宁省省级示范性高级中学 。
校长 > 刘闺立

刘闺立，女，中共党员，沈阳市教育专家，2008年北京奥运会沈阳市火炬传递手，为沈阳师范大学附属学校创立者及首任校长，将一农村小学改造为沈阳师范大学附属学校。
参考资料

↑  沈阳师范大学附属学校. .   [2012-02-19]. （原始内容存档于2015-10-04）.
↑  沈阳师范大学. .   [2012-02-19]. （原始内容存档于2011-07-05）.
↑  沈阳招生考试网. . 沈阳招生考试网. 2011-07-22  [2012-02-19]. （原始内容存档于2012-01-29）.
↑  东北新闻网. . 东北新闻网. 2007-09-08  [2012-02-20]. （原始内容存档于2008-12-02）.
↑  辽一网. . 辽一新闻. 2008-07-17  [2012-02-20]. （原始内容存档于2012年8月17日）.
↑  张杨、韩琳. . 华商晨报. 2011-09-08  [2012-02-20]. [永久]
2005年大魯閣纖維關廠抗爭事件

大魯閣纖維關廠抗爭事件是台湾的一起劳工运动事件，發生於2005年6月16日至7月13日，共計27天。此事件導因於違法關廠與資遣費問題，最後隨著中壢廠工會自行與資方談判妥協而告終。此起關廠事件有兩大特色：
資方疑鑽「違法被罰比守法便宜」的漏洞，明知違反《大量解僱勞工保護法》，仍然無預警大量解僱。
資方數次刊登報紙全國版廣告，宣稱已依《勞動基準法》給付資遣費、中壢廠員工已經同意公司方案、工運人士別有用心等等。資方為了勞資爭議而刊登廣告，這在解嚴以來的台灣工運史上尚屬罕見，也反映了勞資雙方在財力上的對比。
公司背景

大魯閣纖維股份有限公司是台灣一間紡織公司，成立於1973年，原轄中壢、新埔二廠，1996年又在山東設立三間工廠。1994年，該公司由以謝修平（國民黨立委謝國樑之父）為首的三功集團入主經營，並開始轉投資。該集團涉足金融、教育、租賃、投資甚至航運等事業。
也是從1994年起，原本體質健全、每年鉅額獲利的大魯閣纖維開始虧損。大魯閣纖維工會認為三功集團顯然無心經營大魯閣纖維，並有西進大陸、債留台灣、掏空資產的嫌疑。在勞動條件方面，則有十多年來幾乎未調薪、年終獎金從原本的兩個月漸減至零、以及違法依底薪計算加班費等等現象，更要求員工擔任免費哭靈團與助選員。
重整，無預警資遣

2005年4月，大魯閣纖維宣布重整。中壢廠首先停工，而新埔廠則在6月14日將最後一個國際訂單做完之後停工。6月16日上午，中壢廠及新埔廠的工會在台北關渡宮前舉辦「畢業旅行」，促進兩廠工會會員交流，並準備後續行動；不料資方在中午宣布關廠，工會隊伍遂拉到三功集團下屬基隆市第二信用合作社及大魯閣纖維總部。250名員工當天下午在滂沱大雨中拉起白布條抗議，要求資方依法解僱員工，除了給付合理資遣費之外，並補足積欠員工的種種津貼及加班費。
工會訴求

由勞委會出面進行跨縣市的勞資爭議調解。
保障員工工作權；否則資遣費應確實照顧員工生活需要，關廠解僱依法定程序。
下列事實已非個案，而是台灣普遍現象，政府應有積極措施，而非一直以「勞資自行協商」或「你們去打官司，我補助經費」來應付：
公司平日未依法或足額提撥退休金，政府如何處理？
公司連年虧損或疑似掏空，連累員工，政府有什麼辦法？
公司申請緊急處分，只是為了躲債，卻又先處分工人；申請重整也是要躲債，反而員工被整
《大量解僱勞工保護法》無實質保障，變成保護雇主解僱權的法；雇主未依法提前60日預告，一旦被政府處罰就趕快隨便補一頁A4充當解僱計畫書，使大解法的連續罰無法作用；勞工所受的損失，如何要求雇主賠償？
員工要求追補守靈津貼與競選造勢之人頭津貼，以平日延長工時（加班費）計算，並列入平均工資，以及加班費依法計算、追討縮水的保障年薪，並補償十年未調薪的損失。
口號为“老闆死老娘，員工守靈堂”等八句。
工會起初要求「2+2」的資遣條件。所謂的「2+2」，是以員工所有工作年資乘以二再加上2個月的提前預告工資，當作資遣費給付基數；在工會內部，基數底線隨著抗爭進行而逐步調降。
抗爭行動

大魯閣纖維工會從6月16日起，先後於大魯閣纖維總公司、大魯閣纖維新埔廠、勞委會與親民黨黨部等地抗爭。
大魯閣纖維針對這起爭議，於6月23日在聯合晚報登了半版的廣告；大魯閣纖維工會隨後發佈新聞稿回應。雙方論點綜整如下：
| --- | --- |
資方: 工會
完全依照《勞動基準法》給付資遣費。: 另一個事實：員工三年多來加班費只以底薪計算，違反《勞動基準法》。
依《勞動基準法》解僱工人。: 違反《大量解僱勞工保護法》，且明知故犯。
照顧上萬名股東的權益。: 自三功集團入主十年以來，轉投資大增，且年年虧損，如何對得起股東？
願意在合乎情理的情況下給資深員工補償。: 另一個事實：員工十年沒有調薪，近年來員工承受假日加班費縮水、勞動契約中的保障年薪最後兩個月縮水到零。
沒有能力負擔員工的訴求。: 訴求只為加班費、年終獎金、無預警解僱等違法部分補償。而公司呈報法院的再生計畫中，預計變更廠房改建為住宅區，淨利估計新臺幣26.5億元。
有心人士利用善良勞工，把勞資爭議製造成政治問題。: 工會赴親民黨黨部陳情後，獨派人士汪笨湖主持的年代MUCH台節目《台灣心聲》連夜力邀工會受訪，但遭工會拒絕。
親民黨立委謝國樑在媒體上表示，「感謝某些員工自發生的助選行為」。: 員工不去助選還需以書面說明理由，員工遷戶口則可獲小禮品。
7月1日（勞工退休金新制施行首日），大魯閣纖維工會成員攜家帶眷至新竹縣政府陳情。新竹縣勞工局擇於新竹縣總工會召開勞資調解會。由於工會堅持資方先行撤回違反《大量解僱勞工保護法》的解僱令，而資方拒絕，使得調解會未達共識。雙方於7月4日繼續在原地點進行調解。大魯閣工會除了在進場調解前以口號和歌曲表達訴求外，也在資方驅車離去時以口號和歌聲緊迫跟隨相送。
大魯閣纖維工會在調解會上提出了幾點訴求：（一）恢復工作權，撤回違法的解僱令；如要解僱，依照《大量解僱勞工保護法》程序重新開始。（二）追討違法計算的加班費差額、違反勞動契約的保障年薪縮水部分、計算特休未休加班費、職工福利金及守靈津貼、助選津貼等等。資方則表示不可能收回解僱令，如果解僱與加班費計算等問題有違法之處，由司法程序解決。雙方沒有達成任何共識。勞方另提出了勞健保續保至勞資爭議結束為止，資方亦不同意。
大魯閣纖維工會指出：資方解僱理由是否符合《勞動基準法》，尚有爭議；但違反《大量解僱勞工保護法》則是事實，資方在其他場合也承認。工會認為資方明知違法，仍然無預警大量解僱，令員工不能接受；尤其立法院訂定了漏洞百出的大解法，再由立法委員謝國樑自己的公司來鑽洞，更令人氣憤。大魯閣兩廠工會亦表示，資方之所以趕在6月17日違法解僱，可能也和要躲避7月1日實施的勞工退休金新制有關。
大魯閣纖維王董事親自出席調解會；員工所稱「董娘」的總經理、前任董事長謝林曼麗也出席。勞方方面，除了一直參與抗爭的桃園縣產業總工會籌備處、新竹縣產業總工會、桃園愛鄉協會與勞動黨外，桃園縣總工會、新竹縣總工會、台中客運工會、新三興工會、優美工會、富美家工會、工研院工會、久聯化工工會、台豐印刷工會、花王工會、台灣松電工工會、華可貴工會、桃園縣教師會等友會也到場聲援。新竹縣縣長鄭永金、新竹縣議會副議長張幸源及新竹縣勞工局在調解會前到場關心；立委林為洲出席調解會。
資方在7月5日再度刊登聲明，同樣引發工會的反擊：
| --- | --- |
資方: 工會
6月17日關廠並非「無預警」。: 放風聲不等於預警。在6月1日、9日兩次廠內正式公開的場合上，公司都拒絕證實關廠風聲。
對於資遣事宜，勞資雙方經多次溝通後，已與多數員工協定完成，發放條件優於勞基法相關規定。: 加班費違法少算、勞動契約中「保障年薪十四個月」的違約部分若一併計算，公司目前的方案仍低於勞基法。
絕未積欠員工薪資。: 加班費與保障年薪依法律定義仍屬薪資。
勞資雙方經多次協調後，7月4日再提優於勞基法的資遣方案，並已獲致大部分員工同意，在主管機關見證下，雙方簽署同意書。: 扣除非工會會員（其中多數為外勞及最高階主管），只有少數基層的會員同意，且亦有人立刻後悔，認為實際上不足勞基法標準（考慮加班費與保障年薪的積欠）。
公司產業工會仍自行握有大額現金存款，但仍有部分產業工會員工計劃於7月5日到基隆市向不知情善良群眾募款，行為實不足取。: 抹黑工會的募款行為，是斷人糧源又不讓人募捐。工會會員面臨中年失業、下一份穩定的工作不知何在，抗爭漫長無期，當然需要經費支援。
部分員工在有心人士煽動下激烈抗爭，主要是企圖擾亂社會及金融秩序，以達到脅迫公司就範目的，除深感遺憾外，重申絕不屈服於不正當手段的決心。: 貶低成年勞工的智商。公司自己違法，牽托別人，實不足取。
7月5日上午，百餘員工在工會及勞動黨人員的帶領下來到基隆市，於基隆車站前拉起白布條，以行動劇及詩歌朗誦方式進行抗爭。工會下午前往基隆市義一路基隆二信港東分社，企圖以每人持新臺幣一百元開戶的方式癱瘓基隆二信的作業，不過被基隆市警察局以未依《集會遊行法》申請為由阻擋、舉牌要求解散；最後，立委劉文雄出面要求員工回談判桌，並答應擔任溝通橋樑；工會方前往基隆車站等地散發傳單，當晚夜宿國光客運基隆站。
依勞動黨桃竹苗勞工服務中心表示：在新埔廠工會赴基隆抗爭的過程中，事實上遭到了警方違法對待，其中包括：基隆二信歡迎工會集體開戶，警察仍然攔路阻擋、並放話「三個人以上走出火車站，就要逮捕移送」、「即使合法申請，也有辦法耍小手段讓你變成非法」等等。在最後的勞資談判中，資方甚至表示可以請警察酌斟文句，讓被移送的工人能得到緩刑。這些措施成功地削弱了部份工會幹部的士氣。