hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
蒙疆聯合自治政府 背景
1936年8月2至4日西北蒙汉防共自治军司令王道一部从商都出发攻打红格尔图，当时红格尔图的守军只有两个连，担任外围支援的中共党员纪松龄协助指挥的蒙古骑兵队兵力也有限。王道一部发动几次进攻均未攻下村庄。4日下午，傅作义赴集宁，命彭毓斌部增援，反击向红格尔图、土牧尔台进犯的西北蒙汉防共自治军王道一部2000余人，歼灭过半。王道一逃回商都大本营，被日军枪毙。1936年10月5日王英将西北蒙汉防共自治军改称大汉义军，自任总司令，在商都集结部队，准备进犯绥东。11月14日军分三路进犯绥东。日军德化特务机关长田中隆吉指挥王英军5000余人在飞机大炮的掩护下，由商都出发，二次进犯红格尔图。18日傅作义部于红格尔图打败军王英部，王英部退却至商都。此役毙伤1700多人，俘虏300多人，击落敌机1架，缴获汽车和大车数十辆、无线电台1部，史称“红格尔图战役”，是绥远抗战中一次重大而较有影响力的战役。由于田中隆吉好大喜功，1936年8月至12月贸然发动绥远事变，“蒙古军”遭到了傅作义部的沉重打击，损失惨重，“蒙古军政府”一蹶不振，德王的“建国计划”几乎“陷入绝望”。
蒙疆聯合自治政府 背景
1937年6月察北各地民众自发起义，组成国民自卫军，打击日本在各县的军事力量和汉奸蒙奸。
蒙疆聯合自治政府 背景
1937年七七事变后，第二次中日战争全面爆发。日本关东军策划发动“察哈尔作战”，随即组编东条英机指挥的察哈尔兵团（又称东条兵团），进攻察哈尔省、绥远省等省，于1937年8月12日越过长城，1937年8月27日侵占察哈尔省张家口，9月4日成立察南自治政府；1937年9月13日侵占山西省大同市，10月15日成立晋北自治政府；1937年10月14日侵占了归绥，1937年10月17日侵占了包头。东条兵团的军事行动，是日本关东军对苏联与外蒙古的军事战略的一部分。关东军制定的《蒙古自治联盟政府大纲》中，详细地规定了这一“自治政权”：“政府”主政者为主席，其范围包括蒙古全域，目前为锡盟、察盟、乌盟、伊盟，归绥及包头为特别市，行政上与盟相同。“政权施政”以“防共”及“民族协和”为根基，政务和军事分离、分别由（日本）最高顾问协议决定。自治联盟政府、盟公署、特别市公署及县公署力求机构简洁，在蒙旗不进行激进的变革。政府年号以成吉思汗纪元并用阳历，沿用军政府旗章，政府所在地为绥远城。对于关东军的以上计划，“蒙古军政府”事先一无所知。在日军占领归绥之后，德王等蒙古王公准备召开第二次蒙古大会，准备讨论“蒙古独立建国”问题，遭到归绥特务机关长桑原荒一郎中佐和驻屯归绥的酒井镐次旅团长的否决。德王与幕僚吴鹤龄等商议，继续以“蒙古军政府”作为政权机构，不再成立新政权，也遭关东军否决，关东军明确要德王成立与察南、晋北同样的政权。关东军让步，同意了德王提出的把“蒙古自治联盟政府” 改为“蒙古联盟自治政府”的请求，即“联合各盟实行自治”的含义。
蒙疆聯合自治政府 背景
1937年10月27日在归绥召开“第二次蒙古大会”，通过了《蒙古联盟自治政府组织大纲》、《蒙古联盟自治政府暂行组织法》和《第二次蒙古大会宣言》等文件。“自治政府”以“防止共产、协和民族”为基本方针，以生、聚、教、兴、养、卫六事为施政纲领；设政务院和总军司令部，置政务最高顾问和军事最高顾问；强调“远承成吉思汗包容诸民族一致合作之伟大精神”，即该政权并不是纯粹的蒙古族政权；“自治政府”由云王为主席，德王为副主席。1937年10月27日，蒙古軍政府迁入归绥，更名为蒙古联盟自治政府，以歸綏為首府，並将归绥更名為厚和豪特特别市（厚和豪特後簡化為厚和，历任市长贺秉温、李春秀、徐荣候），與包頭特别市及巴彥塔拉盟（后来设立）、察哈爾盟、錫林郭勒盟、烏蘭察布盟、伊克昭盟等5盟隶属蒙古联盟自治政府政务院管辖。
蒙疆聯合自治政府 背景
经过日本关东军与华北方面军妥协，1937年12月27日，以驻大同的日本陆军第26师团为主，成立日本陆军驻蒙兵团，直属日本军部大本营，负责内蒙古、察南、晋北地区之警備任務。1938年7月4日，驻蒙兵团改编为驻蒙军，并且编入华北方面军战斗序列。驻蒙兵团与驻蒙军一直实际操控当地的傀儡政权即察南自治政府、晋北自治政府、蒙古聯盟自治政府。
日本驻蒙军通过驻地的特务机关控制各“自治政府”。张家口特务机关后在厚和、大同、包头等地分设特务机关。蒙古聯盟自治政府最高顾问金井章次听命于驻蒙军。
蒙疆聯合自治政府 背景
1937年11月22日，察南自治政府、晋北自治政府、蒙古聯盟自治政府在张家口签订《关于设立蒙疆联合委员会的协定》，正式成立了蒙疆联合委员会。该《协定》称：“蒙古联盟自治政府、察南自治政府、晋北自治政府认为在蒙疆方面利害休戚相同，有必要对相互关联的重要事项进行协议统制，为此决定设立联合委员会。”掌管的事务包括：统一管理平绥铁路、邮政、电信， 改组、扩大察南银行，统一3个政权的货币，为调整财政将盐务、鸦片、烟草的经营统归联合委员会，煤炭、钢铁及主要电业企业归联合委员会统制。“联合委员会”成员中，“蒙古联盟”3人（卓特巴札布、陶克陶、金永昌）、察南2人（于品卿、杜运宇）、晋北2人（夏恭、马永魁）。关东军司令官向“联合委员会”推荐最高顾问1人、参议1人及各专门委员会的顾问2人。当时关东军驻大同特务机关长羽山喜郎中佐提出“政权”名称为“蒙疆”，第一个字代表蒙古人为主体的政权，第二个字代表不是纯蒙古地区，而是与长城相关的沿边地区。德王对“蒙疆”两字极为反感，认为“蒙疆”二字“意味着其仍是中国的边疆，不是独立的蒙古政权，是隶属于中国的地方政权”。德王反对设立“蒙疆联合委员会”，这与其推动实现蒙古独立建国的目标相背离。《德穆楚克栋鲁普自述》中说：“起初是采取置之不理的态度，委员派谁就派谁，来了通知或指示，合乎我心意的就执行，不合乎我心意的就放一边....总之，我对蒙疆联合委员会的态度，不敢积极反对，只有消极抵抗。”德王仍就任蒙疆联合委员会总务委员长。
1938年7月召开“第三次蒙古大会”上：德王被选为主席并兼任“政务院长”，李守信为副主席并兼任“蒙古军总司令”，“参议府议长”为吴鹤龄，“政务院总务部长”为陶克陶，“财务部长”为吉尔嘎朗，“保安部长”为特克希卜彦，“蒙古军”总参谋长为乌古廷。
1938年10月1日，日本陆军中央制定出《对蒙政策要纲》：“给予蒙疆政权内政上的自主权，但又要是属于中国联邦的一员，避免成为形式上的独立国家，其范围包括内蒙西部地区和察南、晋北。”1939年3月，对于蒙疆地区的“政务指导”“直接接受（日本）陆军大臣的指示”。
1939年3月10日在张家口设立兴亚院蒙疆连络部，负责调整占领政策及对蒙疆联合委员会（很快改组为蒙疆联合自治政府）进行行政方面的指导。蒙疆政权与满洲国一样聘用日本人为官吏领导行政部门，所以连络部的人员规模明显偏小。大东亚省设立后，改组为张家口大使馆事务所。
蒙疆聯合自治政府 成立与瓦解
1939年夏，诺门罕事件导致的战争规模越来越大。从对苏蒙联军的战争角度，“蒙古联盟自治政府”所在的内蒙古西部地区，人口稀少、经济实力薄弱、草原地形平坦，不能有效抵抗苏军进攻。为此，日军认为必须将“蒙古联盟自治政府”与人口众多、地形险要、纵深回旋腹地的察南和晋北合为一体，组成一个“民族协和” 的统一“政权”，以实现对抗苏蒙的战争基地的“战略目标”。
1939年6月11日，在最高顾问金井章次的“指导”下，德王与于品卿、夏恭一起面见驻蒙军司令官莲沼蕃，表示3个自治政府愿意合并，成立“统一政权”。两个月后，“政权统合审议会”提出了建立“蒙古联合自治国”的具体方案。日本军部和驻蒙军考虑到与南京亲日政权的关系，将“国”改为“政府”，即承认中国的宗主权，但内政则完全独立。1939年8月29日，德王召开“第4次蒙古大会”，决定了与察南、晋北合并事宜。
蒙疆聯合自治政府 成立与瓦解
1939年9月1日，察南自治政府和晋北自治政府与蒙古聯盟自治政府合并，成立蒙疆聯合自治政府，首都遷至張家口，並将張家口改為直屬蒙疆的張家口特別市。最高顾问是金井章次。德王担任主席，于品卿、夏恭为副主席。政务院下设总务、财政、保安、民政、畜产、交通、教育、司法等部。专门制定了新的“四色七条旗”：该旗把中间赤色条，表示以日本为中心；其次上下两条为白色，象征回族；接着的上下两条是蓝色，象征蒙古族；最外两条是黄色，象征汉族。総人口525万4833人，其中漢族501万9987人，蒙族15万4203人。
蒙疆聯合自治政府 成立与瓦解
1940年汪精卫政权在南京成立后，在名义上拥有蒙疆，但实际上没有管辖权。1941年8月4日對內再次改名为蒙古自治邦。并改中华民国年号为成吉思汗纪元。该政府一直與日軍及汪精卫国民政府合作，被視為日軍的傀儡政權。“就（蒙疆聯合自治政府）最高顾问而言：首任金井章次原为满洲国滨江省次长；第二任大桥忠一原为满洲国参议、外交部次长，第三任神吉正一原为满洲国间岛省省长。”蒙疆联合自治政府两任总务部长：“关口保原为满洲国首都警察副总监；沼田不二男原为满洲国交通部第一司长。”蒙疆联合自治政府的下属机构人员：“晋北政府最高顾问前岛升原为满洲国参事官，察南政府最高顾问竹内元平原为满洲国热河省专卖署副署长”等。
苏德战争爆发后，驻蒙军为安抚德王，1941年8月4日“蒙古自治邦”正式挂牌，但是没有举行任何仪式，对外依然称“蒙古联合自治政府”。
1942年秋天，蒙疆聯合自治政府派遣了五十余人的大型代表团前往满洲国首都新京访问。代表团“以‘兴蒙委员会’委员长松津旺楚克为团长、‘绥西保商督办’蒋辉若上将为副团长”。
1945年八月風暴，苏蒙联军攻入内蒙，推进至承德、张北。8月23日晋察冀八路军大反攻，攻占张家口市。
1945年8月15日，日本天皇裕仁宣布投降。8月19日，德王的蒙疆政府彻底瓦解。德王、李守信随驻蒙军司令部逃至北平。1945年8月25日，“蒙疆政权”副主席于品卿在张家口被八路军逮捕，后被晋察冀边区组成的特别法庭判处死刑，并在1945年12月24日于张家口被处决。1945年9月，德王、李守信等飞抵重庆，蒋要求德王“最好抱着缄默不言的态度”，求得“不咎既往”，并答应每月供给“15万元生活费”，令其迅速返回北平做“隐居”的寓公。而德王和李守信在1950年初外逃蒙古人民共和国，但随即被蒙方逮捕并移交给中华人民共和国，后二人被囚禁于张家口至1963年和1964年分别被特赦释放，出狱后二人均被聘请为内蒙古自治区文史研究馆馆员。德王和李守信在分別在1966年和1970年在呼和浩特因病去世。
蒙疆聯合自治政府 旗帜
红（赤）蓝黄白四色七条旗，红色居中象征日本，取“以日本为中心，大同协和汉、蒙、回各族”之意。
蒙疆聯合自治政府 行政区划
蒙疆联合自治政府下辖巴彥塔拉（今乌兰察布大部和呼包二市周邊地區）、察哈尔（今锡林郭勒南部）、锡林郭勒、烏蘭察布（今阴山以北到戈壁的牧区）、伊克昭（今鄂尔多斯）等五个盟，厚和（今呼和浩特）、包头等两个特別市；1939年增設張家口特別市，部分文獻則稱同時將呼和浩特、包頭降為盟轄市。
在傳統上的漢族聚居區設有察南、晋北两政厅。1943年1月1日察南政廳改為宣化省，晉北政廳改為大同省。
蒙疆聯合自治政府 经济
日本人建立了蒙疆银行，印刷自己的货币，上面没有年份。一些当地传统的钱庄发行的货币上标注干支纪年，如甲辰年。
蒙疆聯合自治政府 教育
初等教育包括初级小学4年，高级小学2年。中等教育分为普通中等教育（初级中学与高级中学各3年）、中等职业教育（学制1至3年）、中等师范教育（招收初中毕业生，学制4年）、简易师范教育（招收高小毕业生，学制4年）。
日本文部省曾想推廣統一的日語教材，蒙古學院教授宮島英男在會議上批評：「只要文部省試著派十人或二十人去蒙古內地，二年、三年在那裡只吃羊肉，就可以知道文部省編纂的教科書無法在蒙古使用。蒙古的教科書必須利用喇嘛教的活佛做為題材，或者利用蒙古語和日文文法上的類似之處。」
陈祯禄
敦拿督陳禎祿爵士，KBE（馬來語：，1883年4月5日—1960年12月13日），馬來亞華人公會的創始人及第一任總會長、成功的商人及政治家，致力于为海外华人争取权益，同时力促民族和谐与平等，并积极参与马来亚自治及独立运动。
陈祯禄 家庭背景
陳禎祿的祖先是來自中國福建漳州的陳夏觀。自1771～1775年間起已居住在馬六甲，從事往來望加錫以及馬六甲之間的生意，之後他便娶了馬六甲華人李採娘（譯名）。直至今日，她的照片仍然在荷蘭街（現在的敦陳禎祿街）的故居祖先廳堂的家中。
陳禎祿的祖父陳春木（譯名）出生於馬六甲，從事甘蜜與锡米生意。陳春木也創立了首家航行全馬來亞港口的蒸汽船公司。1884年，此船務公司與中國一家船務公司合併。 1890年，一位歐洲人Bogaart邀請他一起成立“實得力輪船公司”（Straits Steamship Co. Ltd.）。
陈祯禄 早期生活
1883年4月5日，陳禎祿在馬六甲峇峇家庭出世，為陳恭安之子。陳禎祿在馬六甲就讀於馬六甲高等中學，之後以優秀的成績贏的“陳德源獎學金”。之後到新加坡萊佛士學院深造，並考獲高級劍橋文憑。由於父親當時還無法承繼祖父的遺產，加上兩名哥哥逝世，他就承擔起養家的責任而放弃到英國讀法律。
1902年起，陳禎祿便在萊佛士學院當6年的校長。1908年陳禎祿離開新加坡回到馬六甲，投身於橡膠工業。
1909年，他擔任自己位於武吉加影與阿逸摩立的橡膠園經理。1912年至1935年，他在打理橡膠園立下大功勞，最後他便被推選為這些橡膠園的董事局主席。
陈祯禄 政治之路
陳禎祿在1916年受委為馬六甲鄉村局委員。
早在1922年被任命为海峡殖民地立法议员时开始，陈祯禄便致力于为海外华人的争取平等权益，并多次对殖民地政府歧视华人的政策表达抗议。
1926年，陳禎祿在立法委員任內提出前瞻性的政治理想──要使馬來亞獲得自治權。
1931年時，英殖民統治者強硬推行「親巫政策」時，他強烈抗議反對「優待一族，歧視他族」政策，並主張在人民之間培養與創設純粹的馬來亞精神和意識，以逐漸把種族性的觀念消除。
陈祯禄 政治之路
1932年12月23日，他發表一份呈給英殖民部的備忘錄，刊登在當時的《英文海峽時報》，指出英殖民政府歧視華人的政策，使永久定居本邦，以本邦為家鄉的華人，對自己在馬來亞的安全，將來及子孫的前途，感覺嚴重不安與憂懼，並指出歧視華人的政策將在巫人與華人（也包括印度人）之間，造成明顯的裂痕，歷久之後更可能擴大為兩者之間的互相猜疑、仇視。他更以立法委員的身份在議會上慷慨陳辭，要求增加亞籍人士的非官方議員席位；他為馬六甲河沿岸的貧窮馬來漁民請命，籲請殖民政府改善他們的生活環境。此外，他極力促請英政府准許非英籍民加入馬來亞民事服務，華人婚俗合法化；提倡民選制度並建議執行議會延攬亞籍人等。
1933年，擔任海峽殖民地執法委員。
二战时，陈祯禄避难于印度，在1945年日軍投降前，他創立「海外華人協會」（Overseas Chinese Association），並擔任主席，他寫信給當時的殖民地大臣，說明從印度回馬後將成立一個華人協會，以「爭取馬來亞華人的利益」。
陈祯禄 政治之路
陳禎祿在戰後返回馬來亞，通過馬來亞華人商聯會，召集全馬代表大會，討論馬來亞華人前途的問題，第一次會議是在1947年新加坡中華總商會召開。1948年，正值馬共拿起武器走入森林之際，也正是英政府宣佈施行緊急法令的風雨之時，「馬來亞華人公會」於翌年的1949年2月27日，即緊急法令實施8個月後成立。他出任第一任總會長，並主張開放黨籍，讓所有有意在馬來亞定居的華人申請加入馬華公會。他反對英殖民政府要驅趕50萬華人出境的無禮舉動，說服英政府撤消建議，及主動協助在緊急法令下受苦的華人。隨後，陳禎祿帶領馬華公會與友族共同爭取獨立，並在獨立那一年內成功爭取让超過100萬華人成為馬來亞公民。
1953年8月23日召開的馬來亞國民大會上，陳禎祿和巫統領袖東姑阿都拉曼出任聯合主席，在這次大會上他倡導“馬來亞最實際的政治，絕不是一個種族支配另一個種族，那是‘分而治之’的謬論，生活在同一個國家的不同民族，彼此親善與充分聯繫，相互視為同胞，將能產生一種真正的馬來亞國家意識”。
1954年，聯盟代表團赴英談判，要求獨立，卻失敗。較後，聯盟通過各級華巫議員辭職抗議，發動示威。
1956年，以東姑阿都拉曼為首的代表團在倫敦談判成功，簽署獨立協議書。1957年8月31日，馬來亞獨立。
陈祯禄 從商之路
陳禎祿曾擔任華僑銀行、森那美、合發、實業信託（Estate & Trust Agencies）等多家企業的董事長。
陈祯禄 教育領域
1918年，陳禎祿曾效力於英華學院理事會。
陈祯禄 评价
陈祯禄去世后，首相东姑阿都拉曼在1960年12月21日于国会下议院发表悼词时，如此评价陈祯禄：
约翰·诺斯洛普
约翰·纳的森·诺斯洛普（John Knudsen Northrop，1895年11月10日—1981年2月18日），绰号杰克·诺斯洛普，出生於新澤西州纽瓦克，美国航空工业家，诺斯洛普公司的创建者和洛克西德公司的创始人之一。
约翰·诺斯洛普 初期生涯
诺斯洛普于1916年進入聖塔芭芭拉的洛克希德飛機製造公司擔任製圖員，在公司任職時他設計製造了生涯中第一款作品：洛克希德S-1（Loughead S-1）。由於洛克希德公司的產品在民用市場沒有競爭力，最後這間公司在第一次世界大戰結束後因經營不善在1920年倒閉。1923年诺斯洛普加入了道格拉斯飞行器公司，參與了道格拉斯環球巡航者開發作業，並逐漸成為公司的首席工程师。1927年，諾斯羅普離開道格拉斯公司，加入在1926年重建的洛克西德公司，擔任洛克希德織女星開發總工程師，織女星的前衛設計及優秀性能成為愛蜜莉亞·艾爾哈特飛越大西洋所使用的座機，織女星在1920年代締造各種飛行紀錄上，也替洛克希德飛機公司獲取相當收益。
除了在洛克希德的工作，諾斯羅普本人對飛翼機的探索也在這時開始，1929年諾斯羅普打造一架全金屬製飛翼機，但由於飛行控制尚不成熟，最後只得在該機身上裝設垂直尾翼。
约翰·诺斯洛普 創業辦校
1927年，諾斯羅普離開洛克希德，1928年成立了Avion公司，但是在1929年這間公司遭聯合飛機與運輸公司收購，公司先改名為諾斯羅普飛機公司（Northrop Aircraft Corporation），後縮編成諾斯羅普航空技術公司。不過這間公司在1931年計畫將公司搬遷至堪薩斯州，諾斯羅普因此脫離聯合公司，在老唐納德·威爾士·道格拉斯協助在加州瑟袞多開設诺斯洛普公司，為道格拉斯公司旗下子企業。諾斯羅普公司在1930年代研製出幾款成功的應力蒙皮金屬製飛機，包括諾斯羅普伽馬、諾斯羅普德爾塔，但是這間公司在1937年時因勞資問題導致公司解散，成為道格拉斯公司直屬的瑟袞多部門。
约翰·诺斯洛普 創業辦校
1939年，诺斯洛普在加州霍桑重新設立諾斯羅普公司，這間公司由航空家兼商人莫耶·韋克斯·史蒂芬斯協助成立。1942年在加州創辦諾斯洛普航空學院（後為Northrop University，1990年停辦）在新的公司里，诺斯洛普把精力集中在“飞翼”的设计方面。诺斯洛普相信飞翼是飞行器设计的下一个重要阶段。其设计的飞翼包括諾斯羅普N-1M， 诺斯洛普N-9M，诺斯洛普YB-35，诺斯洛普YB-49等。但最後因YB-49與軍方的衝突，諾斯羅普在他57歲的1952年退休離開公司與航空業。
在探索頻道製作的紀錄片“The Wing Will Fly”，其子傑克·諾斯羅普二世陳述其父一生都懷疑在YB-49和美軍的衝突是競爭廠商康維爾於幕後操作的陰謀。
约翰·诺斯洛普 晚年
1950年代離開公司後，諾斯羅普在房地產業經商，但因經營不善失去大部分財富。
1976年後，諾斯羅普健康狀況逐漸轉壞，他當時向美國國家航空暨太空總署致函希望它們重視飛翼機的低阻力與高升力特質，太空總署回函說「他的概念並沒被拋棄」。至1970年代末期，諾斯羅普受多重疾病打擊，逐漸無法言語或行走；但是在1980年4月，諾斯羅普公司特地邀請他本人返回公司，美國空軍也特案許可他進入諾廠當時高度機密的計畫辦公室，向他展示ATB計畫－B-2幽靈戰略轟炸機的概念與模型。就後世轉述，當時諾斯羅普在一張紙上顫抖地寫出：
10個月後，諾斯羅普逝世，享年85歲。
约翰·诺斯洛普 榮譽
1974年，諾斯羅普被美國機械工程師學會授予聖路易斯精神獎章。
1972年，諾斯羅普被引介列入國際航太名人堂，1974年又被列入美國國家航空名人堂，2003年被追認進入美國國家發明名人堂。
風神翼龍屬的一個品種以他的名字命名為Quetzalcoatlus northropi。
霍桑機場又被稱作傑克·諾斯羅普飛行場。
諾斯洛普公司
诺斯洛普公司（Northrop Corporation），簡稱諾普，是美国主要飞机制造商之一。由约翰·诺斯洛普创建。
諾斯洛普公司 歷史
诺斯洛普于1916年在洛克西德航空器制造公司（Loughead）得到其在航空界的第一个工作。1921年Loughead Aircraft Manufacturing Company倒閉,1923年诺斯洛普加入了道格拉斯飞行器公司并成为首席工程师。1927年诺斯洛普回到了重新组建的洛克西德公司（Lockheed）。并设计了洛克西德织女星飞机。
1928年诺斯洛普创建了其自己的Avion公司，1930年被迫将公司卖给了联合飞行器和运输公司，成为诺斯洛普飞行器公司Northrop Aircraft Corp。1932年在唐纳德·道格拉斯的帮助下创办了诺斯洛普公司。该公司制造了两种非常成功的单翼机，伽马和德尔他。
諾斯洛普公司 歷史
1937年由于劳工问题原诺斯洛普公司成为道格拉斯公司的一部分。1939年诺斯洛普在加利福尼亚Hawthorne重新创建了新的诺斯洛普公司。在新的公司里，诺斯洛普把精力集中在飞翼的设计方面。诺斯洛普相信飞翼是飞行器设计的下一个重要阶段。其设计的飞翼包括N-1M、N-9M、YB-35、YB-49等。但是只有到了在20世纪80年代使用飞翼设计的B-2隐形轰炸机才真正把飞翼的设计概念引入实用阶段。
1994年由于在先进战斗机和联合攻击机两个项目的竞争上输给了洛克西德公司，诺斯洛普公司收购格鲁门公司而组成诺斯洛普·格鲁门公司。
诺斯洛普公司的著名产品包括P-61黑寡妇夜间战斗机，F-5自由战士，F-20虎鲨，B-2，T-38教練機。以及在竞争中输给F-22的YF-23黑寡婦二式戰鬥機（同麦道合作）。
诺斯洛普·格鲁门
诺斯洛普·格鲁门公司（Northrop Grumman），簡稱諾格，是總部設於美國的跨國航太及國防科技公司。组建于1994年，诺斯洛普公司收购格鲁门公司后组成，是世界第4大军工生产厂商（2022年）、最大的雷达制造商。2020年该公司在财富美国500强杂志中位列排名美國第96名的大企業。
诺斯洛普·格鲁门及其合作廠商曾獲頒8次科利爾獎，最近一次是因開發首款航空母艦載無人駕駛戰鬥機X-47B試驗機獲獎。
诺斯洛普·格鲁门公司目前是美國新世代遠程隱形轟炸機B-21突襲者戰略轟炸機的領導開發商，此款新型隱形轟炸機預定將取代當前世界唯一的隱形轟炸機，同爲诺斯洛普·格鲁门公司開發的美軍現役B-2幽靈戰略轟炸機執行傳統及核子轟炸任務。诺斯洛普·格鲁门同時是2021年啟用的美國詹姆斯·韋伯太空望遠鏡主要開發及製造商，亦負責製造NASA太空發射系統的固態火箭推進器。诺斯洛普·格鲁门另外也是美國空軍新一代洲際彈道飛彈系統LGM-35哨兵洲際彈道飛彈的總開發承包商。
诺斯洛普·格鲁门 集團事業群
截至2008年，格鲁门公司將其內部業務分組成四個部門，每一部門都獨立運作；其部門單位多為收購而成立的。
資訊服務系統部門
資訊技術部：負責提供客戶系統資訊和服務，它也處理訓練和模擬等。
任務系統部：涉及指揮，控制和情報系統，特別是複雜的資訊收集和檔案管理結構，以及提供決策者在複雜環境條件下支援的一種獨一無二系統。
技術服務部：是2006年1月1日成立的新部門。諾斯諾普·格魯門公司表示該部門提供後勤支援、保障和技術服務市場。是美國空軍外部承包商程序之下於2008年10月1日接受訂單的七大商家之一。
诺斯洛普·格鲁门 产品
目前諾斯羅普·格魯曼公司主要经营方向为飛弹与飛弹系统。但在飞行器类产品仍然持續進行生產，目前與波音公司競標新一代空中加油機KC-X，並生產下一代匿蹤戰略轟炸機B-21。
诺斯洛普·格鲁曼同時也為美国海军建造航空母舰、驅逐艦及核潜艇等軍用艦艇，以及包含破冰船、油轮和货轮在内的民用船支。诺斯洛普·格鲁曼也制造卫星、推进系统以及雷射武器系统。
诺斯洛普·格鲁门 服务
诺斯洛普·格鲁门提供各种军用和民用服务。诺斯洛普·格鲁门是美国政府最大的IT服务提供商。2005年，诺斯洛普·格鲁门获得了弗吉尼亚州更新其信息系统的订单，总价20亿美元。诺斯洛普·格鲁门还维护英国的军用雷达系统。
诺斯洛普·格鲁门提供的其他类型的服务还包括出动飞机向哥伦比亚的可疑可卡因田喷洒除草剂，训练伊拉克国民军等。未來發展方向為各種UAV無人軍用飛機和DDX等先進戰艦包案。
格鲁门公司
格鲁曼航空航天公司（英語：，前稱Grumman Aircraft Engineering Corporation）是美国主要的航空航天設備制造商之一。于1929年由勒罗伊·格鲁曼和杰克·斯沃巴尔创建。1994年同诺斯洛普公司合併成为諾斯洛普·格魯門公司。
格鲁门公司 公司成立起源
格拉曼在與合夥人成立公司前，原職是洛寧航空機械公司的工程師兼試飛員，在洛寧公司最後的職務已是廠長；在1928年楔石飛機公司與洛寧合併，且決定將公司從紐約州搬遷至賓夕法尼亞州水牛城時，格拉曼和幾位洛寧公司的工程師決定離職自立門戶，與他同進退的合作夥伴包括埃德蒙·沃德·普尔、杰克·斯沃巴尔、威廉·T·施文德勒、克林顿·托爾（E. Clinton Towl），幾個人買下了考克斯-克萊明飛機公司，這間公司位於紐約長島，1925年破產；公司名稱以格拉曼命名原因是這幾位合資者當中格拉曼是最大出資者。
格拉曼飛機公司在1929年12月5日申請成立，1930年1月2日開始營運；格拉曼公司的初期業務除了維修洛寧公司的飛機，焊接卡車的鋁構骨架外，它們積極向美國海軍爭取生意訂單；格拉曼公司以當時首創的可收縮起落架為賣點，推銷給美國海軍格拉曼FF戰鬥機：一架有伸縮式起落架的雙翼機。在1930年代，格拉曼多度贏得美國海軍訂單，讓公司營運漸入佳境。由于格拉曼公司的产品的高可靠性，人们经常把格拉曼公司生产的飞机成为“格鲁曼铁器”（Grumman Iron Works）。
格鲁门公司 二次世界大戰期間
第二次世界大战期间，格魯門是美國海軍主要的艦載機來源。格魯門第一架單翼艦上戰鬥機F4F野貓是以在競標時輸給F2M雙翼機設计改良之後，重新獲得軍方採用，並且外銷英國皇家海軍使用，面對日本零式戰機時，F4F是美國海軍唯一能夠支撐戰局的艦載機。F6F地獄貓是格魯門針對零式戰機所設計新機種，配合TBF復仇者魚雷轟炸機，成為美國海軍在二次世界大戰中期以後的作戰主力。
在二次世界大戰結束前，格魯門另外推出F7F雙發動機艦上戰鬥機以及強調減輕重量的F8F熊貓戰鬥機，不過這兩架飛機都沒有機會在二戰中發揮實力。F7F於韓戰時期擔任夜間戰鬥機的任務。由於格魯門的產品與產量，日本损失的飞机中由三分之二是被格鲁曼公司的产品击落的。
格鲁门公司 噴射機時代
1949年格拉曼公司生產了該公司第一種噴射戰鬥機F9F，不過仍然是直線翼設計的F9F性能明顯不及米格-15戰鬥機，因此空戰的機會不如空軍的F-86。格魯門在噴射時代初期並不是很順利，麥道與沃特兩家公司分別以F-4和F-8兩架戰鬥機稱霸整個美國海軍的戰鬥機市場，格魯門在1960年代陸續推出A-6攻擊機、C-2灰狗式運輸機與E-2空中預警機。直到1970年代以F-14雄貓正式回到艦載戰鬥機的市場。
格鲁门公司 太空領域
格鲁曼还是阿波罗登月计划的主要参与者，共制造了13个登月舱。在阿波罗计划结束后，格鲁曼公司还参与了航天飞机的竞标，但是输给了洛克威爾。
1969年改名为格鲁曼航空航天公司。
格鲁门公司 冷戰結束
1980年代後期美國海軍準備升級F-14，可是冷戰結束導致國防經費大量刪減，所有提升與後續發展計畫幾乎停擺，而格拉曼對新世代技術起步過慢如匿蹤技術，當時洛克希德與诺斯洛普公司早已進行多年，但格魯曼至冷戰結束時自家仍未有任何匿蹤技術使公司失去技術優勢，在經營持續走下坡路的情況下，在1994年格鲁门黯然接受诺斯洛普公司合并要求改組為诺斯洛普·格鲁曼公司，F-14成為格魯門的最後迴響。2006年F-14自美國海軍正式退役，為格魯門的艦載戰鬥機的設計與生產歷史正式畫上休止符。
勒罗伊·格鲁曼
勒罗伊·格鲁曼（英語：；1895年1月4日—1982年10月4日）生於紐約州，是美国著名的工业家和航空学工程师，格鲁门公司的创始人。
勒罗伊·格鲁曼 生平
1916年格鲁曼在康奈尔大学获得工程学学位。在海军预备队服役时在佛罗里达彭萨科拉接受了高级飞行训练最终成为飞行教官。后来海军送格鲁曼去麻省理工学院学习当时还是全新学科的航空工程。1919年美国海军派格鲁曼到洛宁飞行器工程公司监督海军定购的50架单翼飞机的制造。由于格鲁曼优异的表现，1920年该公司决定雇格鲁曼做该公司的总经理。1929年洛宁飞行器工程公司被契石飞行器公司收购并搬至宾夕法尼亚，格鲁曼和杰克·斯沃巴尔以及一些属下决定退出并成立自己的公司。格鲁曼和杰克·斯沃巴尔都是长岛人，他们决定把新公司的地址选在长岛。1930年1月2日，新公司在Baldwin一个曾属于Cox-Klemin飞行器公司的废弃厂房里开张。公司一开始主要的业务为维修损坏的洛宁水陆两用飞机以及制造卡车车身。格鲁曼公司的第一架飞机是为美国海军生产的带可收放起落架的双翼双座机"格鲁曼FF-1"。随后格鲁曼还设计了几种成功的飞机。由于格鲁曼公司的产品的高可靠性，人们经常把格鲁曼公司生产的飞机成为“格鲁曼铁器”。
勒罗伊·格鲁曼 生平
1939年时格鲁曼公司还只是一家仅有一个门卫的小公司。1940年法国和英国开始定购时速330英里的F4F野猫型飞机。1943年格鲁曼公司的员工达到25,500人。其主要产品为F4F野猫型战斗机，F6F地狱猫型战斗机和TBF复仇者型鱼雷轰炸机。TBF复仇者型鱼雷轰炸机时二战时制造的最大的单引擎飞机。1945年3月格鲁曼公司的月产量达到了664架，创造了至今没能被打破的记录。同其他军用飞机制造商一样，格鲁曼公司战后经历了一段萧条。但是格鲁曼成功的带领公司转型，找到了新的民用飞机市场。由于其成功管理，格鲁曼公司仅仅裁掉了5000名员工，并且保留了很多退伍兵的工作。这一阶段格鲁曼公司的著名产品有Agcat农用机和湾流商用机。在阿波罗计划中格鲁曼公司制造了登月舱。1966年格鲁曼退休。
1982年10月4日逝世，享年87岁。
勒罗伊·格鲁曼 荣誉
格鲁曼一生获得很多荣誉，但是其最显要的荣誉是2001年他超过查尔斯·林白获得了航空方面的“世纪长岛人”称号。
羅斯巴赫之戰
羅斯巴赫之戰（德語：）發生於1757年11月5日的薩克森選侯國，由腓特烈大帝指揮的普軍在此戰大勝擁有人數優勢的法國－神聖羅馬帝國聯軍。此役被譽為是腓特烈大帝最輝煌的戰績，是七年戰爭歐洲戰場中最驚人的勝利。
羅斯巴赫之戰 戰前形勢
科林之戰後普魯士戰略形勢極為嚴峻。整個歐洲都在向普魯士進逼。普魯士本土正南的薩克森、西里西亞有奧地利主力，與腓特烈的普軍主力對峙，正東有8萬俄軍進攻東普魯士，由普魯士列瓦爾德元帥擋住，但是普軍卻於9月大耶格爾斯多夫之戰慘敗於阿普拉什金元帥的俄軍。所幸阿普拉什金也吃驚不小，再加上補給困難，戰後反而向後撤，他本人因此被女沙皇解除了指揮職務。
黎塞留公爵元帥的法軍在8月迫使英國王子威廉·奧古斯都坎伯蘭公爵指揮的英國漢諾威聯軍投降，柏林以西漢堡——不萊梅——漢諾威方向門戶洞開。所幸法軍作戰並不積極，黎塞留本人是個花花公子，浪費了乘勝前進的機會。腓特烈向西方向派去布倫斯威克的斐迪南親王，從此以後，斐迪南一直獨當一面，僅憑著一支小小的各國聯合部隊，化解西方方向法軍的所有進攻，西方向在1757年以後，再也沒有成為腓特烈的麻煩。不能不說，布倫斯威克親王斐迪南元帥是腓特烈手下真正的帥才。
羅斯巴赫之戰 戰前形勢
另外在西南方向，黎塞留的副司令，法國將軍蘇比斯親王會合了德意志諸侯聯軍（他們是集合在奧地利皇室神聖羅馬帝國旗下的），總兵力6萬以上，穿過薩克森前來夾擊腓特烈。腓特烈現在是四面楚歌，只是他佔有內線作戰優勢，希望可以利用各路聯軍配合上的失誤，集中兵力快速各個擊破。
羅斯巴赫之戰 戰鼓響起
面對四方大軍雲集，腓特烈留下貝費恩公爵的41,000人，命令他在西里西亞境內進行防禦，牽制住奧地利道恩元帥的10萬大軍。自己帶少量普軍，以塞德利茨為騎兵總指揮，星夜趕去迎擊西南方向的蘇貝斯。同時，腓特烈給西方的法軍黎塞留元帥送去一筆賄賂，買得他按兵不動，將斐迪南親王的部隊也抽調回來集中。正當蘇貝斯和腓特烈之間的大戰將要開始的時候，突然傳來一個消息：道恩元帥分出哈迪克（Haddik）中將的一支3,400人的小部隊，偷襲柏林得手，腓特烈連忙去救，所幸哈迪克只佔領柏林一天就撤退了，腓特烈反正趕不上救援，又回到羅昂親王指揮的聯軍正面。聯軍41,000人對21,000普軍，幾乎佔有2比1的優勢，蘇貝斯決定發動進攻，以求一戰定乾坤。11月5日，羅斯巴赫之戰開始。
羅斯巴赫之戰 聯軍大敗
羅斯巴赫是為數極少的腓特烈取守勢的會戰之一。戰場在薩爾河（Saar）北面，普軍防線成南北走向，面向西方。聯軍上午上午11點走出營帳，列3路縱隊向東行進，意圖是插入普軍陣地和薩爾河之間。因為聯軍人數占絕對優勢，聯軍統帥部判斷腓特烈有可能後撤避免戰鬥，下午腓特烈判明法軍進攻方向之後，才命令軍隊收拾營帳準備迎戰，而法軍正好以為普軍開始撤退，加緊以縱隊前進接敵。實際上，腓特烈計畫以陣線右翼（北端）前面的一列小山丘為掩蔽，悄悄集中兵力於右翼，把左翼回縮，將法軍引誘到普魯士陣地南端和薩爾河之間的陷阱，加以殲滅。法軍還蒙在鼓裏，三路行軍縱隊還沒有等到展開，就遭到普魯士前鋒塞德利茨4,000騎兵的迎頭痛擊，先鋒被擊潰。但是塞德利茨初戰告捷並不窮追，收攏部隊，因為法軍畢竟勢大，一旦把敵人擠壓得太緊，反而容易形成僵持。真正的打擊來自普魯士步兵主力，他們已經完成了旋轉運動，把向西的正面改為向南，在高地上18門重炮掃射的掩護下，腓特烈的弟弟，普魯士海因里希親王率領7個步兵營殺進亂成一團的法軍，而經過休整的塞德利茨騎兵同時迂回到法軍背後，把戰鬥變成一場屠殺。激戰中，德國北方騎兵用方言喊出的呼號「Gah To」，竟然被法軍錯聽成法語「蛋糕」的諧音，官兵更加摸不著頭腦。羅斯巴赫之戰下午3點半才開火，但是一個半小時之內，法奧聯軍已經潰不成軍，死傷3,000人，被俘5,000人。而普魯士的損失，僅僅是165人陣亡，376人受傷。但是塞德利茨中將也在受傷之列，回國修養，沒有能參加下一場洛伊滕之戰。
羅斯巴赫之戰 輝煌戰績
羅斯巴赫之戰是一場一邊倒的勝利，經此一戰，路易十四朝和路易十五朝早期法軍勇敢善戰的形像被毀壞殆盡，當年蒂雷納子爵和維拉爾公爵屢次入侵德意志，予取予求的時代，給德意志諸邦留下痛苦的記憶，而這次勝利大大振奮了德國人的民族精神。而且羅斯巴赫之戰是腓特烈斜線式戰術完美的表演之一，今天被美國西點軍校選作那個時代的經典會戰，以大模型重現在它的軍事博物館陳列中。 後世拿破崙評價腓特烈大帝的時候說：「越是在最危急的時候，就越顯得他的偉大，這是我們對於他能說的最高的讚譽之詞」。
张积慧 (空军)
张积慧（1927年2月10日—2023年4月26日），山东省荣成县人。中国人民志愿军空军战斗英雄，中国人民解放军空军飞行员、副司令员，中国共产党第九、十、十一届中央候补委员。
张积慧 (空军) 早年生活和军旅生涯
1927年2月，张积慧出生在山东荣成县（今荣成市）宁津桥上村的一个贫苦农民家庭。全家7口人依靠父亲张本周给地主当长工和耕种三亩薄地来维持生活。
10岁时，张积慧开始上小学，15岁考入了宁津中心小学，1944年入中学读书。1945年初，他到山东抗大一分校，从此参加八路军并加入了中国共产党。抗战胜利后，他随部队辗转到了东北，恰逢中国人民解放军第一所航空学校在通化成立，他被选派到航校学习，1948年毕业，成为解放军航校培养的首批飞行员。
张积慧 (空军) 抗美援朝初期
1950年，张积慧参加中国人民志愿军，被任命为航空兵第四师十二团飞行大队长。1951年9月，中国人民志愿军航空兵第四师正式进入朝鮮半島，与苏联第64战斗机航空军共同参与对空作战，张积慧也第一次进行了空中实战，但是并没有击落敌机。不过他很快掌握了实战经验，在10月16日的第三次实战中，他成功击落了一架敌机并迫使一架F-86 “佩刀”坠毁。这次战斗后，师司令部政治部给张积慧记一等功一次。1952年2月4日，张积慧再次击落一架美国F-86飞机，荣立二等功。在抗美援朝过程中，张积慧总计参加空战10余次。
张积慧 (空军) 击落戴维斯
1952年2月10日，张积慧擊落美王牌飞行员乔治·A·戴维斯。张积慧因此荣立特等功和一级战斗英雄的称号。朝鲜政府也授予他朝鲜民主主义人民共和国一级、二级自由独立勋章、军功章。
张积慧 (空军) 晚年
志愿军回国后，张积慧先后任副团长、副师长、师长、副军长、军长。1973年5月，升任空军副司令员。1978年7月至1980年8月被关押两年。1980年9月，调任成都420厂副厂长。1983年11月，调任烟台市副市长。1987年12月，任烟台市人大常委会副主任。1990年7月，调回空军，按大军区副职待遇离职休养。
鏞記酒家
鏞記（全名：鏞記酒家，英文：）是香港知名食肆，以炭燒燒鵝馳名，店址位於中環威靈頓街，其分店位於香港赤臘角國際機場。
鏞記酒家 歷史
鏞記前身是一家咖啡茶檔，檔主麥鏞故取名「鏞記」。當時毗鄰經營燒臘檔的甘穗煇建議兩檔聯營，並成為鏞記股東之一。1942年，鏞記以4000港元租用上環永樂街32號鋪位，但其後毀於香港日佔時期，麥鏞退出轉行經營時裝。由甘穗煇繼續沿用鏞記字號經營下去。1944年，鏞記搬遷至石板街32號。
中環威靈頓街鏞記是1964年自置物業，甘穗輝在威靈頓街購入一個樓高四層的舖位，10年內相繼購入相連的四個舖位，分期拆卸進行重建，1978年完成工程，成為今天的鏞記大廈。 鏞記酒家亦有“富豪飯堂”之稱，曾蔭權、李嘉誠、周潤發等官員、富豪及名人曾光顧鏞記酒家。有附近上班的專業人士是鏞記的“常客”。鏞記門前部份路段原為禁止客貨上落的禁區，但部份名人及官員曾在光顧鏞記時，違例在此上落，如前財政司司長梁錦松。
1968年，美國《財富雜誌》選出鏞記為世界15大食府之一。在香港受到禽流感威脅，暫停供應家禽的時期，鏞記曾被迫暫停燒鵝的供應。
鏞記酒家 歷史
甘穗輝入行40年後，於66歲退休，業務雖交兒子甘健成打理，仍堅持每日到鏞記，更不時會親自“斬燒鵝”，他總喜歡坐在樓面的一角，觀賞食客品嚐燒鵝。 他在鏞記慶祝成立60週年的紀念刊撰文稱，“我喜歡酒家這種熱鬧感覺，我認為這裡是社會的縮影，當中有熟悉的人物事情，偶然幾位多年沒見的舊朋友，大家又可聚在一起話當年。”
2010年7月13日創辦人的長子甘健成因股權問題申請將酒家的母公司鏞記控股清盤，而在2010年7月21日，香港高等法院已經批准甘健成為鏞記控股清盤。2012年10月5日甘健成在家中感到身體不適，送往律敦治醫院搶救無效，終年66歲。2012年10月31日香港高等法院駁回甘健成生前入稟的鏞記清盤申請，冀甘氏家族能達成庭外和解。2015年11月11日，甘健成遺孀代表亡夫向終審法院提上訴，案件經審訊後，終院法院裁定遺孀上訴得直，頒令母公司須於28天內清盤。
鏞記酒家 龍鳳大禮堂
鏞記三樓設龍鳳大禮堂，於1974年竣工。整個工程參照北京故宮設計，並邀請來自北京專造寺院木雕的師傅負責木雕。工程花費280萬，用了約一年建成。禮堂曾招待過不少名人與政要，包括泰國皇室成員、德國前總理科爾和前港督彭定康等。。
鏞記酒家 米芝蓮指南
鏞記酒家自2009年起，曾連續3年獲得米芝蓮1星評價。2012年米芝蓮指南改列為一般推介食肆，2013年起未有再獲收錄。
甘健成二子甘崇轅另起爐灶，成立甘牌燒鵝，開業數月便在2014年10月成為一星食肆。
柯里-霍华德同构
柯里-霍華德对应（英語：）是在计算机程序和数学证明之间的紧密联系；这种对应也叫做柯里-霍華德同构、公式为类型对应或命题为类型对应。这是对形式逻辑系统和数学运算之间符号的相似性的推广。它被认为是由美国数学家哈斯凯尔·柯里和逻辑学家威廉·阿尔文·霍瓦德（William Alvin Howard）独立发现的。
柯里-霍华德同构 對應的起源、范围和結論
对应可以在两个层面上看到，首先是类比层次，它声称對一个函数计算出的值的类型的断言可类比于一个逻辑定理，计算这个值的程序可类比于这个定理的证明。在理论计算机科学中，这是连接λ演算和类型论的毗邻领域的一个重要的底层原理。它被经常以下列形式陈述为“证明是程序”。一个可选择的形式化为“命题为类型”。其次，更加正式的，它指定了在两个数学领域之间的同构，就是以一种特定方式形式化的自然演绎和简单类型λ演算之间是双射，首先是证明和项，其次是证明归约步骤和beta归约。
柯里-霍华德同构 對應的起源、范围和結論
有多种方式考虑柯里-霍華德对应。在一个方向上，它工作于“把证明编译为程序”级别上。这裡的“证明”最初被限定为在构造性逻辑中—典型的是直觉逻辑系统中的证明。而“程序”是在常规的函数式编程的意义上的；从语法的观点上看，这种程序是用某种λ演算表达的。所以柯里-霍華德同构的具体实现是详细研究如何把来自直觉逻辑的证明写成λ项。（这是霍華德的贡献；柯里贡献了组合子，它是相对于是高级语言的λ演算是能写所有东西的机器语言）。最近，同样处理经典逻辑的柯里-霍華德对应的扩展可被公式化了，通过对经典有效规则比如双重否定除去和皮尔士定律关联上明确的用续体比如call/cc处理的一类项。
还有一个相反的方向，对一个程序的正确性关联上“证明提取”的可能性。这在非常丰富的类型论环境中是可行的。实际上理论家对推进非常丰富类型的函数式编程语言的开发的动机，已经部分地混合了希望带给柯里-霍華德对应更加显著的地位的因素。
柯里-霍华德同构 类型
依据λ演算，我们将使用λx.E来指示带有形式参数x和函数体E的函数。在应用于参数比如a的时候，这个函数生成E，并带有x的所有自由出现都被替换为a。有效的λ演算表达式有如下形式之一：
通常我们将缩写(（A B）C)为(A B C)，缩写λa.λb.E为λab.E。一个表达式被称为是“闭合的”，如果它不包含自由变量。
类型可以依赖于类型变量，它被指示为小写的希腊字母α, β等等。在我们概念中类型变量是被隐含的全称量化的，就是说，如果一个值有包括类型变量的一个类型，则它必须由这个类型变量的所有可能实例组成。我们可以定义任意表达式的类型为如下：
例如，考虑函数K = λa.λb.a。假定a有类型α而b有类型β。则λb.a有类型
β→α，而λa.λb.a有类型α→(β→α)。我们接受→是右结合的约定，所以这个类型也可以写为α→β→α。这意味着K函数接受类型α的参数并返回一个函数，它接受类型β的参数并返回类型α的值。
柯里-霍华德同构 类型
类似的，考虑函数B = λa.λb.λc.(a (b c))。假定c有类型γ，则b必须有形如γ→β的某种类型，表达式(b c)有类型β。a必须有形如β→α的某种类型，表达式(a (b c))有类型α。那么λc.(a (b c))有类型γ→α；λb.λc.(a (b c))有类型(γ→β)→γ→α，而λa.λb.λc.(a (b c))有类型(β→α)→(γ→β)→γ→α。你可以把这解释为意味着B函数接受类型(β→α)的参数和类型(γ→β)的参数并返回一个函数，它接受类型γ的参数并返回类型α的结果。
很明显λ-表达式可以有非常复杂的类型。你可能要问是否有带有给定类型的λ-表达式。找到带有特定类型的λ-表达式的问题叫做类型居留问题。
答案是非常引人注目的：有带有特定类型的闭合λ-表达式，当且仅当这个类型对应于一个逻辑定理，在这裡的→符号再次解释为意味着逻辑蕴涵的时候。
柯里-霍华德同构 类型
例如，考虑恒等函数λx.x，它接受类型ξ的参数并返回类型ξ的结果，所以有类型ξ→ξ。ξ→ξ当然是逻辑定理：给定一个公式ξ，你可以结论出ξ。
K函数的类型α→β→α也是一个定理。如果已知α为真，则你可以结论出如果β为真就能推出α。这有时也叫做重复规则。B的类型是 (β→α)→(γ→β)→γ→α。你可类似的把它解释为逻辑重言式；如果已知(β→α)为真，则如果已知(γ→β)为真，你就能推出γ蕴涵α。
在另一方面，考虑α→β，它不是定理。明显的没有这种类型的λ-项；它必定是接受类型α的参数并返回某个完全无关的和未约束类型的结果的函数。这是不可能的，因为你不能从这种函数里得到什么东西，除非把它放到其他什么地方之中。
尽管有类型β→(α→α)的函数（比如，λb.λa.a，它接受一个参数b，忽略参数，并返回恒等函数），却没有类型(α→α)→β的函数，如果存在的话，它会是转换恒等函数到任意值的函数。
柯里-霍华德同构 类型
尽管所有居留类型对应于逻辑定理为真，逆命题却不为真。即使我们限制我们的尝试到只包含→运算的逻辑公式，所谓的逻辑的蕴涵片段，不是所有经典有效的逻辑公式是居留类型。例如，类型((α→β)→α)→α是非居留的，尽管叫做皮尔士定律的对应逻辑公式是重言式。
直觉逻辑是比经典逻辑弱的系统。经典逻辑把自身关注于在抽象的、柏拉图主义意义上为真的公式，而直觉逻辑只在可以为它构造一个证明的时候认为公式为真。公式α ∨ ¬α示例了这种区别；它是经典逻辑的一个定理而不是直觉逻辑的定理。尽管它是经典的真的，在直觉逻辑中这个公式断言了我们要么证明α要么证明¬α。因为我们不是总能做到这些事情之一，它不是直觉逻辑的一个定理。
在居留类型和有效逻辑公式之间的对应完全是双向的，如果我们限制我们的注意力到直觉逻辑的蕴涵片段（这也叫做希尔伯特代数）。
柯里-霍华德同构 希尔伯特演繹系統和組合子邏輯的對應
形式上刻画直觉逻辑的一个简单方式是希尔伯特演繹系統。它有两个公理模式。所有形式为
α→β→α
的公式都是公理，所有形式为
(α→β→γ)→(α→β)→α→γ
的公式都是公理。
唯一的演绎规则是肯定前件，它声称如果我们已经证明了两个定理，一个有形式α→β而另一个有形式α，我们可以结论出β也是定理。以这种方式推导出来的公式的集合正好是直觉逻辑的集合。特别的是，皮爾士定律不能以这种方式演绎。（对皮爾士定律不能以这种方式演绎的证明请参见海廷代数条目）。
如果我们增加皮爾士定律为第三个公理模式，这个系统就有能力证明在经典逻辑的蕴涵片段中的所有定理。
考虑λ-表达式的下列两个函数：
K: λxy.x
S: λxyz.(x z (y z))
柯里-霍华德同构 希尔伯特演繹系統和組合子邏輯的對應
可以证明任何函数都可以通过适当的K和S相互应用来建立。（有关证明请参见组合子逻辑）。例如，上面定义的函数B等价于(S(K S)K)。如果一个函数比如B，可以表达为S和K的复合，则这个表达式可以直接转换成类型B的一个证明，它被解释为逻辑公式，是直觉逻辑的一个定理。本质上，K的外观对应于第一个公理模式的使用，S的外观对应于第二个公理模式的使用，而函数应用对应于肯定前件演绎规则的使用。
第一个公理模式是α→β→α，并且它精确的是K函数的类型；类似的第二个公理模式(α→β→γ)→(α→β)→α→γ，是S函数的类型。肯定前件声称如果我们有两个表达式，一个类型是α→β（就是说，接受类型α的值并返回类型β的值）而另一个类型是α（就是说，类型α的值），则我们应当能够找到类型β的值；明显的，我们可以通过应用这个函数到这个值之上来得到；结果会有类型β。
作为一个简单的例子，我们将构造定理α→α的证明。这是恒等函数I = λx.x的类型。函数((S K)K)等价于恒等函数。作为对证明的描述，它声称了我们需要首先应用S到K。我们做如下：
柯里-霍华德同构 希尔伯特演繹系統和組合子邏輯的對應
α→β→α
(α→β→γ)→(α→β)→α→γ
如果我们在S中设γ = α，我们得到：
(α→β→α)→(α→β)→α→α
因为这个公式的前件(α→β→α)是一个已知定理，并且实际上正好是K，我们可以应用肯定前件并推导出后件：
(α→β)→α→α
这是函数(S K)的类型。现在我们需要应用这个函数到K。我们再次操纵公式使得前件看起来像K，这次我们替代β为(β→α):
(α→β→α)→α→α
我们再次应用肯定前件来推出后件：
α→α
我们完成了。
一般的说，这个过程是只要程序包含形如(P Q)的应用，我们应当首先证明对应于P和Q的类型的定理。因为P要被应用于Q，对于某种α和β，P的类型必定有形式α→β而Q的类型必定有形式α。我们可以通过肯定前件规则推出β。
作为一个更加复杂的例子，我们看对应于函数B的定理的证明。B的类型是(β→α)→(γ→β)→γ→α。B等价于(S(K S)K)。这是对证明定理(β→α)→(γ→β)→γ→α的指引。
首先我们需要构造(K S)。我要使K公理的前件看起来像S公理，通过设置α等于(α→β→γ)→(α→β)→α→γ，和β等于δ:
柯里-霍华德同构 希尔伯特演繹系統和組合子邏輯的對應
α→β→α
((α→β→γ)→(α→β)→α→γ)→δ→(α→β→γ)→(α→β)→α→γ
因为前件正好是S，我们可以推出后件：
δ→(α→β→γ)→(α→β)→α→γ
这是对应于(K S)的定理。现在我们要应用S到这个表达式。取得S
(α→β→γ)→(α→β)→α→γ
我们设置α = δ，β = (α→β→γ)和γ = ((α→β)→α→γ)，生成
(δ→(α→β→γ)→(α→β)→α→γ)→(δ→(α→β→γ))→δ→(α→β)→α→γ
我们可以接着推出后件：
(δ→α→β→γ)→δ→(α→β)→α→γ
这是类型(S(K S))的公式。这个定理的一个特殊情况有δ = (β→γ):
((β→γ)→α→β→γ)→(β→γ)→(α→β)→α→γ
我们需要应用最后这个公式到K。我们再次特殊化K，这次是替代α为(β→γ)，替代β为α:
α→β→α
(β→γ)→α→(β→γ)
这同于前者公式的前件，所以我们推出后件：
(β→γ)→(α→β)→α→γ
交换变量α和γ的名字得到
(β→α)→(γ→β)→γ→α
这就是我们要证明的。
柯里-霍华德同构 自然演繹和lambda演算的對應
在下表第一列中的推导规则定义了直觉蕴涵自然演绎（为蕴涵连结词准备一个介入和一个除去规则）的标准系统。在第二列中给出-演算的标准类型指派（赋值）系统。
柯里-霍华德同构 相继式演算
希尔伯特式证明是很难构造的。证明逻辑定理的更加直觉的方式是根岑的相继式演算。相继式演算以同希尔伯特式证明对应于组合子表达式一样的方式对应于λ-表达式程序。
直觉逻辑的蕴涵片段的相继式演算规则是：
(公理)
(Right →)
(Left →)
Γ表示上下文，它是假设的集合。指示假定上下文Γ我们可以证明a。逻辑定理完全由其证明不需要假设的那些公式t组成的；就是说，t是一个定理，当且仅当我们可以证明。详情请参见相继式演算。
在相继式演算中的证明是树，它的根是我们要证明的定理，而它的叶子是公理模式实例；每个内部节点必须标记为要么Right →要么Left →，并且必须包含依据指定规则从子节点推出的一个公式。
相继式演算证明紧密的对应于λ-演算表达式。断言可以被解释为意味着，给定带有在Γ中列出类型的值，我们可以制造带有类型a的一个值。公理对应于带有新的无约束的类型的新变量介入。
Right →规则对应于函数抽象：
柯里-霍华德同构 相继式演算
(Right →)
什么时候我们能结论出某个程序Γ包含类型α→β的函数?在Γ加上类型α的一个值的时候，包含了足够的机械来允许我们制造类型β的一个值。
Left →规则对应于函数应用：
(Left →)
如果我们可以制造类型α的一个值，并且如果给出类型β的一个值，我们还可以制造类型γ的一个值，则类型α→β的一个函数将允许我们制造类型γ的一个值：首先我们可以制造α，接着应用α→β函数于它，并接着使用结果的β值来制造类型γ的一个值。
例如，(β→α)→(γ→β)→γ→α的相继式演算如下：
(β→α)→(γ→β)→γ→α的证明告诉我们如何制造带有这个类型的一个λ-表达式。首先，介入分别带有类型α和β的变量a和b。Left →规则声称制造程序 (λb.a b)，它构造类型α的一个值。我们再次使用Left →来构造(λb.a (λg.b g))，它仍有类型α。
柯里-霍华德同构 引用
De Bruijn, Nicolaas (1968), Automath, a language for mathematics, Department of Mathematics, Eindhoven University of Technology, TH-report 68-WSK-05. Reprinted in revised form, with two pages commentary, in: Automation and Reasoning, vol 2, Classical papers on computational logic 1967-1970, Springer Verlag, 1983, pp. 159–200.
柯里-霍华德同构 引用
de Oliveira, Anjolina; de Queiroz, Ruy, ,  7(2), Oxford Univ Press: 173–215, 1999 . (Full version of a paper presented at 2nd WoLLIC'95, Recife. Abstract in Journal of the Interest Group in Pure and Applied Logics 4(2):330-332, 1996.)
柯里-霍华德同构 引用
De Bruijn, Nicolaas Govert,  (PDF), Groote, Philippe de  (编), , Cahiers du Centre de logique (Université catholique de Louvain) 8, Academia-Bruyland: 27–54,   [2008-08-28], ISBN 978-2-87209-363-2, （原始内容存档 (PDF)于2021-03-06） , the contribution of de Bruijn by himself.
柯里-霍华德同构 引用
Geuvers, Herman, , Groote, Philippe de  (编), , Cahiers du Centre de logique (Université catholique de Louvain) 8, Academia-Bruyland: 139–191, ISBN 978-2-87209-363-2 , contains a synthetic introduction to the Curry-Howard correspondence.
Gallier, Jean H.,  (PDF), Groote, Philippe de  (编), , Cahiers du Centre de logique (Université catholique de Louvain) 8, Academia-Bruyland: 55–138, ISBN 978-2-87209-363-2 , contains a synthetic introduction to the Curry-Howard correspondence.
柯里-霍华德同构 引用
De Groote, Philippe (编), , Cahiers du Centre de Logique (Université catholique de Louvain) 8, Academia-Bruylant, 1995, ISBN 978-2-87209-363-2 , reproduces the seminal papers of Curry-Feys and Howard, a paper by de Bruijn and a few other papers.
Sörensen, Morten Heine; Urzyczyn, Paweł, , Studies in Logic and the Foundations of Mathematics 149, Elsevier Science, 2006 [1998], ISBN 978-0-44452-077-7 , notes on proof theory and type theory, that includes a presentation of the Curry-Howard correspondence, with a focus on the formulae-as-types correspondence
Girard, Jean-Yves (1987-90). Proof and Types （页面存档备份，存于）. Translated by and with appendices by Lafont, Yves and Taylor, Paul. Cambridge University Press (Cambridge Tracts in Theoretical Computer Science, 7), ISBN 0-521-37181-3, notes on proof theory with a presentation of the Curry-Howard correspondence.
仙台站
仙台站（日语：〔〕／ Sendai eki */?）位在日本宮城縣仙台市青葉區與宮城野區，是東日本旅客鐵道（JR東日本）、仙台市地下鐵的鐵路車站，也是仙台市的中心車站。