stanford-oval/wikipedia huggingface dataset:
Lean
Lean 4代碼范例

自然數可以在皮亞諾公理的基礎上以歸納類型定義。任何一個自然數要麼是零，要麼就是某另一個自然數的後繼：
inductive Nat : Type
| zero : Nat
| succ : Nat → Nat
要定義自然數之間的加法，須用模式匹配遞歸定義：
def Nat.add : Nat → Nat → Nat
| n, Nat.zero   => n                      -- n + 0 = n
| n, Nat.succ m => Nat.succ (Nat.add n m) -- n + succ(m) = succ(n + m)
Lean支援兩種定理證明模式。一是「項模式」（英語：），以普通的函數複合語法表達定理。二是「策略模式」（英語：），以一行行指令的方式調用自動化證明工具，互動證明定理。以下範例使用策略模式證明「邏輯和是個對稱關係」這一命題：
theorem and_swap (p q : Prop) : p ∧ q → q ∧ p := by
intro h            -- 假設 p ∧ q 成立，設 h 為其證明，此時目標是 q ∧ p
apply And.intro    -- 將目標拆成 q 和 p 兩個目標
· exact h.right    -- 第一個子目標可以用 h : p ∧ q 的右半部滿足
· exact h.left     -- 第二個子目標可以用 h : p ∧ q 的左半部滿足
同一命題用項模式（連同模式匹配功能）可如下證明：
theorem and_swap (p q : Prop) : p ∧ q → q ∧ p :=
fun ⟨hp, hq⟩ => ⟨hq, hp⟩
應用 > 數學

Lean受到了托馬斯·黑爾斯和凱文·巴扎德（英语：）等數學家的重視。黑爾斯在他的「形式抽象」（英語：）計劃中用到Lean語言。巴扎德則通過他的「齊娜計劃」（英語：），希望用Lean寫下倫敦帝國學院本科數學課程內容中的每一項定理。
2021年，在菲爾茲獎得主皮特·舒爾策的慫恿下，一組數學家利用Lean形式化舒爾策在凝聚態數學（英语：）範疇的一篇證明，證實了它的正確性。這項計劃成功形式化位於研究最前沿的數學成果，受到了廣泛關注。2023年，菲爾茲獎得主陶哲軒利用Lean形式化多項式弗賴曼-魯饒猜想（英语：）（英語：）的一項證明，該項證明同年發表在陶哲軒等人的一篇論文當中。
應用 > 人工智能

2022年，人工智能公司OpenAI開發出一個可以利用Lean證明定理的神經網絡，利用大型語言模型撰寫高中級別數學奧林匹克競賽題的證明。
同年，Meta旗下的Meta AI也開發出一款人工智能模型，能夠自動解答十道國際數學奧林匹克競賽題，供公眾在Lean環境下免費使用。
參見

数学主题
自由软件主题
類型論
依賴類型
參考資料

↑  .   [2025年1月11日] （英語）.  引文格式1维护：未识别语文类型 (link)
1 2  Moura, Leonardo de; Ullrich, Sebastian. Platzer, André; Sutcliffe, Geoff , 编. . Automated Deduction – CADE 28 (Cham: Springer International Publishing). 2021: 625–635  [2024-06-21]. ISBN 978-3-030-79876-5. doi:10.1007/978-3-030-79876-5_37. （原始内容存档于2025-01-21） （英语）.
↑  . Lean Language.   [2024-03-13]. （原始内容存档于2025-01-30）.
↑  . Lean Manual.   [24 March 2023]. （原始内容存档于2023-03-15）.
↑  . Lean FRO. 2023-07-25  [2024-03-14]. （原始内容存档于2024-12-22）.
↑  . GitHub.   [2024-03-13]. （原始内容存档于2024-04-22）.
↑  . Quanta Magazine. （原始内容存档于2 Oct 2020）.
↑  . leanprover-community.github.io.   [2023-10-24]. （原始内容存档于2025-01-30）.
↑  . leanprover-community.github.io.   [2024-06-21]. （原始内容存档于2025-02-03）.
↑  . leanprover-community.github.io.   [2024-06-21]. （原始内容存档于2024-12-26）.
↑  Hales, Thomas. . Jigger Wit. September 18, 2018. （原始内容存档于21 Nov 2020）.
↑  Buzzard, Kevin.  (PDF).   [2020-10-06]. （原始内容存档 (PDF)于2021-05-08）.
↑  . Github.   [2024-06-21]. （原始内容存档于2021-10-20）.
↑  . Xena. 8 May 2019  [2024-06-21]. （原始内容存档于2021-09-28） （英语）.
↑  Hartnett, Kevin. . Quanta Magazine. July 28, 2021. （原始内容存档于2 Jan 2022）.
↑  Sloman, Leila. . Quanta Magazine. 2023-12-06  [2023-12-07]. （原始内容存档于2024-12-27） （英语）.
↑  . OpenAI. February 2, 2022  [March 13, 2024]. （原始内容存档于2024-04-13）.
↑  . Meta AI. November 3, 2022  [2024-03-13]. （原始内容存档于2025-01-28）.
外部連結

Lean官方網站 （页面存档备份，存于）
Lean社群網站 （页面存档备份，存于）
Lean FRO （页面存档备份，存于）
自然數遊戲：Lean互動教程 （页面存档备份，存于）
骷髏戰士

| 骷髏戰士 |
| --- | --- |
类型: 动作冒险游戏、砍殺遊戲 
平台: PlayStation 
开发商: Guerrilla Cambridge 
发行商: 索尼互動娛樂 
总监: Chris Sorrell 
制作人: Chris Sorrell 
音乐: 安德鲁·巴纳巴斯、Paul Arnold 
系列: 骷髅战士系列 
模式: 单人电子游戏 
发行日: 1998年10月9日 
《骷髏戰士》（英语：）是在PlayStation上，以丹尼爾‧佛提思爵士（Sir Daniel Fortesque）為主角的動作冒險遊戲。
外部連結

|  论 编骷髏戰士系列（英语：） |
| --- | --- |
主系列:  骷髏戰士  2（英语：） 
重製版:  復活（英语：）  骷髏戰士（英语：）（2019年） 
相關遊戲:  PlayStation全明星大乱斗
潘蓓蕾

潘蓓蕾（1941年—），祖籍台湾台北，出生于上海，高山族，中华人民共和国政治人物。九三学社社员。曾担任十一届全国政协常务委员、中国轻工业联合会副会长。2008年，当选第十一届全国政协常务委员，代表九三学社，分入第十二组。并担任经济委员会专委。
生平

潘蓓蕾於1941年2月出生於上海。潘蓓蕾的父亲潘金声，是台湾台北人，祖先來自浙江上虞，早年曾留学日本，移民中國大陸後，因政策原因被認為高山族。曾因在上海创办第一家“国光”口琴厂而被称誉为“中国口琴之父”。
1960年，潘蓓蕾高中毕业後錄取北京轻工业学院（现陕西科技大学），跟隨微生物学权威金培松、生物化学知名学者姚国雄做研究，毕业设计是"年产2000吨啤酒厂"，指导老师戴仁泽曾任青岛啤酒厂总工程师。
大学毕业后，潘蓓蕾被分配在陕西省轻工业科学研究所，工作重点是通过微生物的筛选工作，经历了种种艰辛之后，潘蓓蕾成功筛选出了优良菌种UV－11，不仅在全省酒厂推广、应用，还推广至外省，产生了显著的社会效益和经济效益。
在将生物技术应用于食品工业的同时，潘蓓蕾也开创性地将生物技术引入造纸、皮革行业。多年的科研生涯中，潘蓓蕾主持和参与的20多个科研项目，经推广后，获得了显著的效益，她的学术水平和造诣也得到了公众的认可。
1980年，潘蓓蕾报考了西安交大管理工程研究生班，攻读"双学位"。1982年，学识渊博的潘蓓蕾，被组织调到省轻工业厅科技处。由于表现出色，3年后，省委决定任命潘蓓蕾为省轻工厅副厅长。
1989年4月，在陕西省七届人大二次会议上，潘蓓蕾以几乎全票的高票当选为陕西省副省长，成为陕西省的第一位女副省长。
參考文獻

↑  . 新华社北京1月25日电 中国人民政治协商会议第十一届全国委员会委员名单(共2237人，2008年1月25日政协第十届全国委员会常务委员会第二十次会议通过). 2008年1月25日  [2013-04-09]. （原始内容存档于2013年9月28日）.
↑  . 全国政协委员会.   [2013-04-11]. （原始内容存档于2019-06-13）.
↑  . 北京工商大學校友網.   [2023-11-15]. （原始内容存档于2023-11-15）.
↑  .   [2024-02-20].
↑  . 陕西省历史上第一位女性副省长——名副其实的“女学霸”！. 2008年1月25日  [2023年11月14日]. （原始内容存档于2023年11月14日）.
|  论 编九三学社第九届中央委员会 |
| --- | --- |
1992年12月－1997年11月
名誉主席:  周培源  严济慈  金善宝 
主席: 吴阶平
副主席:  徐采栋  郝诒纯  安振东  王文元  杨　槱  陈明绍  陈学俊  赵伟之  洪绂曾  金开诚  王　选（增选）  黄其兴（增选） 
常务委员:  王　选（增选）  王文元  王丙戌  王辉丰  左明生  田麦久  师昌绪  刘邦瑞  刘应明（增选）  刘荣汉  安振东  许香谷  孙曾一  李　毅  杨　槱  杨光华  吴阶平  吴若秋（增选）  何浣芬  宋则行  汪　愚（增选）  陈　杰  陈　忠  陈明绍  陈学俊  陈善明  周　翔（增选）  周明镇  金开诚  金国芬  赵伟之  郝诒纯  洪绂曾  姜信真  徐采栋  高继中（增选）  唐立民  黄其兴  梅祖彦  董耐芳  彭司勋  曾近义  谢丽娟  阙端麟  廖延雄  潘蓓蕾  戴　斌 
秘书长: 刘荣汉
↑  注1：王选、黄其兴在九三学社九届四中全会上被增补为中央副主席  ↑  注2：王选、刘应明、周翔在九三学社九届四中全会上被增补为中央常委  ↑  注3：吴若秋、汪愚、高继中在九三学社九届五中全会上被增补为中央常委 
|  论 编九三学社第十届中央委员会 |
| --- | --- |
1997年11月－2002年12月
名誉主席: 王淦昌
名誉副主席:  徐采栋  柯　召  郝诒纯  杨　槱  陈明绍  陈学俊 
主席: 吴阶平
常务副主席: 王文元
副主席:  安振东  赵伟之  洪绂曾  金开诚  王　选  黄其兴  刘应明  闵乃本  谢丽娟  陈抗甫（增选）  韩启德（增选） 
常务委员:  王　选  王文元  王幼辉  王明时  王辉丰  邓浦东  冯培恩  卢光琇  田麦久  刘北辰  刘应明  刘荣汉  刘淑莹  安振东  吴阶平  吴若秋  宋彭生  张　涛  李慧珍  杨光华  汪　愚  沈根荣  闵乃本  陈　忠  陈心昭  陈抗甫  陈家骅  周　翔  罗锡恩  郑楚光  金开诚  姜信真  洪绂曾  赵　俊  赵伟之  赵奇僧  徐宗俊  高继中  黄其兴  黄明度  黄懋衡  龚振栋  韩启德（增选）  谢丽娟  阙端麟  潘蓓蕾 
秘书长: 刘荣汉
↑  注1：陈抗甫、韩启德在九三学社十届四中全会上被增补为中央副主席；韩启德同时被增补为中央常委 
|  论 编九三学社第十一届中央委员会 |
| --- | --- |
2002年12月-2007年12月
名誉主席: 吴阶平
名誉副主席:  王文元  徐采栋  杨　槱  陈明绍  陈学俊  赵伟之  黄其兴 
主席: 韩启德
常务副主席: 陈抗甫
副主席:  王　选  洪绂曾（辞职）  金开诚（辞职）  刘应明  闵乃本（辞职）  谢丽娟  冯培恩  贺　铿（增选）  王志珍（增选）  邵　鸿（增选） 
常务委员:  王　选  王志珍  王林旭  王辉丰  卢光琇  田麦久  丛　斌  冯培恩  刘石民  刘应明  刘政奎  刘鸿庥  刘淑莹  李仁霖  李慧珍  严　俊  吴博威  闵乃本  沈根荣  宋彭生  张　涛  张化本  张桃林  陈心昭  陈永川  陈抗甫  陈家骅  邵　鸿  罗锡恩  金开诚  郑祖康  郑楚光  赵　俊  洪绂曾  姚志彬  贺　铿  袁汉民  徐国权  韩启德  韩忠朝  曾　华  谢小军  谢丽娟  蔡秋芳  熊黑钢  潘蓓蕾 
↑  注1：洪绂曾、金开诚、闵乃本在九三学社十一届四中全会上辞去中央副主席、常委、委员职务，开始担任中央顾问  ↑  注2：贺铿在九三学社十一届二中全会上被增补为中央副主席。   ↑  注3：王志珍、邵鸿在九三学社十一届四中全会上被增补为中央副主席
黄静

黄静可以指：
黃靜 (港姐)，1980年香港小姐季军
黃靜 (傳媒人)，藝名Kawaii (本名黃潔恩 Vanessa)，香港前电台主持人，曾以聽眾身份代替另有工作的夏妙賢前往日本訪問德永英明，其後獲夏氏賞識而入行。
黃靜 (演員)，香港演員，曾參演電影《十年》
黄静，2003年教师裸死案中死者
黄静，2006年华硕索赔事件中索赔的消费者
黃靜，2021年至今有線電視導播
塔耶布·費拉里

| --- | --- |

个人资料
国籍:  阿尔及利亚
出生:  (1979-01-16) 1979年1月16日（46歲）
活跃年代: 1998 -
身高: 
运动
运动: 田徑
项目: 中長跑、長跑
3000公尺：8分25.25秒 （2009年） 5000公尺：14分21.93秒 （2008年） 10公里：29分25秒 （2009年） 12公里：36分52秒 （2010年） 15公里：47分01秒 （2013年） 半程馬拉松：1小時04分10秒 （2009年） 馬拉松：2小時13分59秒 （2011年） 3000公尺障礙（91.4公分）：9分07.77秒 （2009年）
成绩与头衔
国际性决赛: 1998年IAAF世界越野錦標賽（Junior Race）：第35名
最近更新于：2018年9月21日
塔耶布·費拉里（1979年1月16日—）是一名阿爾及利亞田徑運動員，曾代表國家參加2012年倫敦奧運的男子馬拉松比賽，並未獲得獎牌。
外部連結

塔耶布·費拉里在的頁面
袁彩雲

袁彩雲（Fiona Yuen Choi Wan，1976年1月20日—），是1996年香港小姐季軍及國際親善小姐，出生於德國科隆，曾是香港無綫電視、亞洲電視和有綫電視的女藝員，大學預科學歴。她精通5種語言，能講流利的德語、法語、粵語、英語及國語。
簡介

在香港演藝圈除了拍電視劇之外，也在不同電視台擔任不同節目的主持工作，尤以旅游節目和飲食節目最為人熟悉，因而建立了其食家或烹飪專家的形象。
此外，她也主持過不同的體育節目例如2006年因其德國背景而被TVB委任主持2006年世界杯足球赛一系列節目；2008年在亞洲電視又成為了奧運大使主持2008年北京奧運的節目。
近年，她也嘗試過寫書，出版過一些學德文和有關飲食烹飪的書。
2009年3月28日，嫁予加拿大籍飲食業華商Anthony Kong，並於6月移民加拿大，和夫君定居於温哥華至今，淡出香港演藝圈。
早年生活

袁彩雲的父母皆是香港人，早年已由香港移民到德國生活，一共育有7名子女，其中袁彩雲排行第四，她在德國土生土長但仍然說得一口流利粵語，因為其父母很早就送她到中文學校讀中文，而她又很愛觀賞當年的香港電影、電視、音樂和各影視作品並十分留意當時香港的娛樂消息。雖然過著一個普通德國年青人的生活，她在文化上難看得出和港英華人差異。
回港選美

袁彩雲小時候曾經在香港就讀小學一年級並在港居住兩年，愛上香港繁華多采的生活，縱使回到德國，每隔兩三年放暑假都會回港旅游。
1995年，大學預科畢業的她決定回港發展，最初在一家珠寶公司工作，負責接待德國人。1996年她參加了當年的香港小姐競選，更被獲選為季軍，此外，憑著她的語言優勢，她也贏得了《國際親善小姐》的名銜。
加入香港演藝圈

自從袁彩雲在香港小姐獲獎之後，便加入了TVB成為藝員。最初只拍電視劇，後來因多次主持不同的飲食節目便建立了其食家或烹飪專家的形象。此外，她也主持過不同的體育節目例如2006年因其德國背景而被TVB委任主持2006年世界杯足球赛一系列節目；2008年在亞洲電視又成為了奧運大使主持2008年北京奧運的節目。近年，她也嘗試過寫書，出版過一些學德文和有關飲食烹飪的書。
感情生活

袁彩雲自加入演藝圈以來，曾有過數段戀情，其中較囑目的算是2006年初與合和集團主席兼全國政協胡應湘之子胡文新相戀。不過這段戀情最後只維持了約半年就無疾而終。
2006年9月袁彩雲與郭晉安、蔡少芬、譚小環等人受TVB委任出席在温哥華舉行由新時代電視主辦的大型節目魅力凝聚新時代的表演，結束之後，由大會安排眾人到某餐廳用膳，當時剛回復單身的袁彩雲邂逅了該餐廳的老闆Anthony Kong。袁彩雲回港之後，兩人開始交往，彼此來回穿梭港、加兩地，到了2007年，這段異地情緣逐漸展開，直到2009年，他倆先在温哥華秘密註冊結婚，然後在3月28日正式在香港深水灣鄉村俱樂部公開舉行結婚典禮。
婚後袁彩雲在同年6月正式移居温哥華，與比她年長12年的飲食業華商江铭峯（Anthony Kong）共同生活並淡出香港娛樂圈。
演出作品 > 音樂錄影帶（無綫電視）

一知半解 主唱：李克勤（1997年）
不認不認 主唱：黎　駿（1997年）
演出作品 > 電視劇（無綫電視）

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
| 首播 | 劇名 | 角色 | 備註 |
| 1997年 | 真情 | 王思琴 | （與薛家燕、郭少芸、鄺文珣、郭可盈合演） |
| 1998年 | 離島特警 | 雷真琴 | （與呂頌賢、宣　萱、郭晋安、海俊傑、潘芝莉、劉　江合演） |
| 1999年 | 刑事偵緝檔案IV | 阮美美 | （與陳錦鴻、古天樂、宣　萱、佘詩曼、李珊珊、向海嵐合演） |
| 1999年 | 衝上人間 | 趙淑美 | （與張可頤、張家輝、郭晉安、陳法蓉、林曉峰、惠英紅合演） |
| 2000年 | 楊貴妃 | 楊玉瑶/虢國夫人 | （與江　華、向海嵐、吳美珩、郭少芸、曾偉權、阮兆祥合演） |
| 2000年 | 雷霆第一關 | 蕭玉桂（Queenie） | （與汪明荃、王　喜、吳美珩、梁　琤、宣　萱、李修賢合演） |
| 2000年 | 碧血劍 | 何鐵手 | （與林家棟、江　華、吳美珩、佘詩曼、歐子欣、關寶慧合演） |
| 2000年 | 妙手仁心II | 萬寧生（Suki） | （與吳啟華、蒙嘉慧、林保怡、陳慧珊、邵美琪、蔡少芬合演） |
| 2001年 | 封神榜 | 蘇凝香 | （與陳浩民、葉　璇、錢嘉樂、溫碧霞、苑瓊丹、元　華合演） |
| 2002年 | 雲海玉弓緣 | 曹錦兒 | （與林　峯、葉　璇、李彩樺、陳國邦、羅敏莊、郭政鴻合演） |
| 2003年 | 衛斯理 | 蔡 茜 | （與羅嘉良、蒙嘉慧、唐文龍、楊　怡、麥長青、高　雄合演） |
| 2003年 | 富豪海灣非凡情緣（粵语：） | Candy |  |
| 2004年 | 怪俠一枝梅 | 艷芬芳 | （與溫兆倫、楊　怡、蔣雅文、陳鍵鋒、關禮傑、歐倩怡合演） |
| 2004年 | 爭分奪秒 | 羅秀玲 | （與方中信、蒙嘉慧、譚耀文、姚嘉妮、鄭嘉穎、陳　豪合演） |
| 2005年 | 老婆大人 | 魯詠詩（Vinci） | （與陳錦鴻、宣　萱、鄧健泓、李思捷、王　傑、李詩韻合演） |
| 2005年 | 隨時候命 | 張文芮（Renee） | （與鄭伊健、林保怡、佘詩曼、楊思琦、黎諾懿、鍾嘉欣合演） |
| 2006年 | 心理心裏有個謎 | 余小薇 | （與陳錦鴻、滕麗名、鄭嘉穎、江芷妮、歐錦棠、歐倩怡合演） |
| 2006年 | 婚姻乏術 | 尤美雪 | （與羅嘉良、苑瓊丹、謝天華、蘇玉華、麥長青、胡杏兒合演） |
| 2007年 | 廉政行動2007 | 何美欣 | （與阮兆祥、黃德斌、陳錦鴻、李鴻杰、王俊棠、李國麟合演） |
| 2007年 | 通天幹探 | 亞　冰(Cindy) （張子豪之未婚妻） | （與元　彪、陳　豪、鄭嘉穎、黎　姿、蒙嘉慧、邵美琪合演） |
| 2008年 | 與敵同行 | Fiona | （與郭晉安、蒙嘉慧、鄭嘉穎、商天娥、姚子羚、麥長青合演） |
| 2009年 | 幕後大老爺 | 程英英 | （與馬國明、徐子珊、高鈞賢、唐　寧、劉家輝、蔣志光合演） |
| 2011年 | 駁命老公追老婆 | 牛一一 | （與方中信、郭羨妮、陳　豪、謝天華、湯盈盈、唐　寧合演） |
| 2011年 | 布衣神相 | 茹小意 | （與林文龍、林　峯、楊　怡、李詩韻、姜大偉、麥長青合演） |
| 2013年 | 談談情·練練武 | 程尚怡（Aka） | （與林保怡、郭羨妮、龔蓓苾、夏　雨、鄧健泓、陳之輝合演） |
演出作品 > 節目主持（無綫電視）

週末任你點（1996年）
永安中國遊吃喝玩樂在福建（1998年）
永安旅遊話你知：點解東歐咁好玩（2000年）
康泰最緊要好玩 玩盡花旗（2001年）
智趣相投總廚有請（2003年）
食通香港地（2004年）
頂CUP世界盃德FUN速遞（2006年）
頂CUP世界盃星級戰將（2006年）
頂CUP世界盃越鬥越強（2006年）
頂CUP世界盃晚晚有德FUN（2006年）
日日有食神（2006年）
食盡東西（2006年）
演出作品 > 節目主持（有線電視）

美食在你心（2008年）
一煮成名（2008年）
演出作品 > 節目主持（亞洲電視）

情繫中華奧運英雄（2008年）
為中國加油（2008年）
生活著數台（2008年）
廣飲廣食（2009年）
廣州美食地圖（2010年）
演出作品 > 表演嘉賓（新時代電視）

魅力凝聚新時代（2006年）
著作

《圖解德語》（香港，博益出版集團，2006年）
《為你下廚》（香港，明窗出版社，2008年）
参考资料

↑  .   [2009-03-31]. （原始内容存档于2009-04-01）. ，星島日報，2009年3月29日
↑  . [永久]
↑  袁彩雲接受加拿大新時代電視節目訪問公開戀情經過[永久]
外部連結

袁彩雲的Facebook專頁
YouTube上的袁彩雲頻道
| 0 | 1 | 2 |
| --- | --- | --- |

| 前任： 周婉儀 | 香港小姐競選季軍 1996年 | 繼任： 佘詩曼 |
| 0 | 1 | 2 |
| --- | --- | --- |

| 前任： 周婉儀 | 香港小姐競選友誼小姐 1996年 | 繼任： 李明慧 |
譚維新

| 譚維新 Noè Giuseppe Tacconi 宗座外方傳教會會士 |
| --- | --- |
前開封府宗座代牧區宗座代牧
教區: 領銜敘利亞蘭貝西教區（義大利語：）
任命: 1916年11月20日
卸任: 1941年
前任: 首任
繼任: 陽霖 (教座從缺5年)
其他職位: 領銜敘利亞蘭貝西教區（義大利語：）主教 (1911年-1942年)
聖秩
晉鐸: 於1895年8月4日晉鐸
晉牧: 由林懋德 於1911年11月30日晉牧
個人資料
出生: 1873年2月23日 意大利王國倫巴第大區帕維亞省帕維亞
逝世: 1942年9月26日(1942歲—09—26)（69歲） 意大利王國倫巴第大區帕維亞省帕維亞
國籍: 意大利籍
教派: 天主教
居住地: 河南省開封府
曾任職位: 河南南境宗座代牧 (1911年-1916年) 河南東境宗座代牧 (1916年-1924年)
譚維新（義大利語：；1878年2月23日—1942年9月26日）是天主教意大利籍總主教及宗座外方傳教會會士。曾任河南南境宗座代牧（1911年-1916年）、河南東境宗座代牧（1916年-1924年）和開封府宗座代牧（1924年-1941年）。
生平

譚維新出生1878年2月23日，在意大利王國倫巴第大區帕維亞省西南部的市鎮帕維亞，1890年10月6日，他17歲時加入宗座外方傳教會。1895年8月4日，譚維新在22歲時晉鐸，且被派遣前往中國河南省傳教。
1911年9月18日，譚維新在38歲時獲時任教宗庇護十世出任成為河南南境宗座代牧區宗座代牧，領銜敘利亞蘭貝西教區（義大利語：）主教。同年11月30日，在北京由直隸北境宗座代牧林懋德主教主禮、直隸東境代牧武致中主教和直隸中境宗座代牧富成功主教襄禮晉牧。
1916年9月21日，聖座從河南南境宗座代牧區劃出河南省東部的26個縣設立河南東境宗座代牧區，且由宗座外方傳教會會士負責管理。同年11月20日，譚維新主教調任成為河南東境宗座代牧區首任宗座代牧。1924年12月3日，河南東境宗座代牧區根據主教駐地更名為更名為開封府宗座代牧區，譚維新主教繼續出任宗座代牧。
譚主教任內於1921年主禮晉牧林棟臣為河南北境宗座代牧。並且，分別襄禮晉牧在1928年戴夏德為陝西西安府宗座代牧及1935年巴友仁為河南洛陽宗座代牧
1941年，譚主教榮休及返回意大利，分別由畢性和蒙席及羅克信神父出任開封府宗座代牧區宗座署理。1942年9月26日，譚維新主教在意大利王國倫巴第大區帕維亞省帕維亞去世，享年69歲。
王繼洛

| 王繼洛 |
| --- | --- |
大明
籍貫: 河南開封府鄭州
出生: 十二月十四日 
逝世: 卒年不詳 
配偶: 娶趙氏
出身
 嘉靖二十年辛丑科同進士出身 
王繼洛（1507年—？），字希程，河南開封府鄭州人，民籍，明朝政治人物。
生平

河南鄉試第三十四名舉人。嘉靖二十年（1541年）中式辛丑科會試第一百八十一名，登第三甲第八十四名進士。
家族

曾祖王琮；祖父王治；父王鍊，母楊氏。慈侍下。兄王继濂。
毀滅戰士系列

「」至此。關於系列第一部作品，詳見「」；關於2016年游戏，詳見「」。
| 毀滅戰士系列 |
| --- | --- |

《毀滅戰士 (2016年遊戲)》的標誌
类型: 第一人稱射擊（FPS）
开发商: id Software Midway Games Nerve Software
发行商: GT Interactive（英语：） 動視 貝塞斯達軟件
主创: 約翰·卡馬克 湯姆·霍爾 约翰·罗梅洛 阿德里安·卡马克 凱文·克勞德（英语：）
平台: MS-DOS Microsoft Windows Various consoles
首作: 毀滅戰士 1993年12月10日
最新作: 毀滅戰士：永恆 2020年3月20日
毀滅戰士系列（英语：），是由id Software開發的第一人稱射擊電子遊戲系列，在電子遊戲界中被普遍視作第一人稱射擊遊戲的开拓者之一。本系列以一個不具名、在Union Aerospace Corporation（UAC）工作的宇宙軍人为题材，他为了存活下来而與怪物及僵屍戰鬥。游戏有一些特性，如3D畫象，真實三維空間性，網絡多人遊戲及讓玩家利用毀滅戰士WAD（英语：）創作額外關卡。自《毀滅戰士》於1993年發佈，本系列已有4部續作、無數的擴展關卡以及同名電影《毀滅戰士》。
遊戲系列

《毀滅戰士》（1993年）
《終極毀滅戰士（英语：）》（1995年）
《毀滅戰士II》（1994年）
《最終毀滅戰士（英语：）》（1996年）
《毀滅戰士64（英语：）》（1997年）
《毀滅戰士3》（2004年）
《毀滅戰士3：邪惡復甦》（2005年）
《毀滅戰士RPG（英语：）》（2005年）
《毀滅戰士復活（英语：）》（2009年）
《毀滅戰士II RPG（英语：）》（2009年）
《毀滅戰士》（2016年）
《毀滅戰士：永恆》（2020年）
《毀滅戰士：黑暗時代》（預定2025年）
相關作品 > 電影

2005年推出同名電子遊戲改編電影《毀滅戰士》，導演為安德瑞·巴寇亞克，主要演員為卡爾·奧賓、狄維·莊遜、露莎蒙·碧姬。雖然電影的反響不佳，而id Software的CEO表示将可能會有另一套《毀滅戰士》的電影。
重啟電影《毀滅戰士：滅絕》由東尼·吉格里歐執導，但未在戲院上映，而是於2019年以DVD首映的方式發行。
相關作品 > 小說

以下同系列小說作者為Dafydd ab Hugh（英语：）和Brad Linaweaver（英语：）
《Knee-Deep in the Dead》（1995）#Book 1
《Hell on Earth》（1995）#Book 2
《Infernal Sky》（1996）#Book 3
《Endgame》（1996）#Book 4
以下同系列小說作者為Matthew Costello（英语：）
《Doom 3: Worlds on Fire（英语：）》（2008）#Book 1
《Doom 3: Maelstrom（英语：）》（2009）#Book 2
參考

↑  . AllMovie.   [2016-02-24]. （原始内容存档于2020-10-29） （英语）.
↑  Brian Crecente. . Allure Media. 2008-08-02  [2012-04-09]. （原始内容存档于2019-06-30） （英语）.
|  论 编毀滅戰士系列 |
| --- | --- |
主系列:  毀滅戰士  II  最終（英语：）  64（英语：）  3 邪惡復甦  BFG版（英语：）  毀滅戰士 (2016重啟)  永恆  黑暗時代 
衍生作:  毀滅戰士RPG（英语：）  復活（英语：）  2 RPG（英语：） 
小說:  毀滅戰士（英语：）  Doom 3: Worlds on Fire（英语：）  Doom 3: Maelstrom（英语：） 
電影:  毀滅戰士 (電影)  毀滅戰士：滅絕 
其他媒體:  毀滅戰士：桌上遊戲（英语：） 
世界觀:  BFG 9000  牛魔王（英语：）  毀滅戰士（英语：）  重力槍（英语：） 
技術:  毁灭战士引擎 原始碼移植（英语：）  id Tech 4  id Tech 6（英语：）  毀滅戰士WAD（英语：） 
其他:  DWANGO（英语：）  Chex Quest（英语：）  id Software  Marine Doom（英语：）  德軍總部3D  Freedoom（英语：）  Brutal Doom（英语：）
英格兰足球超级联赛月度最佳主教练

亚历克斯·弗格森获得英超月度最佳主教练27次，他是目前获得该奖次数最多的主教练
英格兰足球超级联赛月度最佳主教练是一项英格兰足球奖项，每月颁发一次，颁给英格兰足球超级联赛每个比赛月中执教表现最出色的主教练。该奖项得主由一项综合在线公众投票（在最终结果中占10％以上的权重）和一些专家的意见共同选出。因赞助商冠名，该奖在1993-2001年被称为卡尔灵（英语：）月度最佳主教练，2001-2004年，被称为巴克莱信用卡月度最佳主教练，2004年至今被称为巴克莱月度最佳主教练。
英超联赛创立于1992年，当时英格兰甲级联赛的球队脱离了英格兰足球联赛系统，建立了一个商业上独立的联赛，自主与转播商和赞助商谈判，1993-94赛季，英超官方又设立了月度最佳主教练和赛季最佳主教练奖，新奖项与旧的英格兰足球联赛主教练协会评选的年度最佳主教练并行。1993年8月，第一个月度最佳主教练奖颁给了曼联主教练亚历克斯·弗格森。为与该奖匹配，1994-95赛季，英超又设立了月度最佳球员奖。
弗格森得奖27次，是目前获得英超月度最佳主教练奖次数最多的人。哈里·雷德克纳普在五次执教经历（西汉姆联、朴茨茅斯、南安普顿、第二次在朴茨茅斯上任、托特纳姆热刺）都获得该奖，也是一个记录。另有16位教练在一家以上的俱乐部任职时获得该奖，包括戈登·斯特拉坎（考文垂与南安普顿）；斯图尔特·皮尔斯（诺丁汉森林与曼城）；马丁·奥尼尔（莱斯特城、阿斯顿维拉与桑德兰）；罗伊·霍奇森（布莱克本和富勒姆）；拉法埃尔·贝尼特斯（利物浦，切尔西与纽卡斯尔联）；布伦达·罗杰斯（斯旺西与利物浦）；阿兰·帕杜（西汉姆联与纽卡斯尔联）；山姆·阿勒代斯（博尔顿与西汉姆联）；托尼·普利斯（水晶宫与西布罗姆维奇）；毛里西奥·波切蒂诺（南安普顿与托特纳姆热刺）；克劳迪奥·拉涅利（切尔西与莱斯特城）；卡洛·安切洛蒂（切尔西与埃弗顿）；若泽·穆里尼奥（切尔西与托特纳姆热刺）；努诺·埃斯皮里托·桑托（狼队、托特纳姆热刺和諾定咸森林	）；埃迪·豪（伯恩茅斯与纽卡斯尔联）；桑恩·戴治（般尼与愛華頓）。
17位主教练能够连续两次或更多次获得月度最佳主教练奖，他们是：乔·金尼尔（英语：）、凯文·基冈、罗伊·埃文斯、亚历克斯·弗格森、阿尔塞纳·温格、戴维·奥利里（英语：）、斯图尔特·皮尔斯、保罗·杰维尔、拉法埃尔·贝尼特斯、卡洛·安切洛蒂、曼努埃尔·佩莱格里尼、克劳迪奥·拉涅利、安东尼奥·孔蒂、佩普·瓜迪奥拉、尤尔根·克洛普、米克尔·阿尔特塔、安格·普斯迪高古。瓜迪奥拉是唯一一个能连续四个月获奖的主教练，而克洛普则是唯一一个单赛季得奖五次的。普斯迪高古是唯一一位在首次執教球隊前三個月內都贏得獎項的的主教练。仅有2002年3月的最佳教练奖颁给了两个人，利物浦的主教练热拉尔·乌利耶和看守教练菲尔·汤姆森（英语：），因为乌利耶因健康问题错过了一些比赛，3月执教由两人共同完成。
表格注释

† 表示两人共享该奖
得主列表

| 1 !一月 | 2019.12019 | 奥勒·居纳尔·索尔斯克亚 |  挪威 | 曼联 |  |
| 2 !二月 | 2019.22019 | 佩普·瓜迪奥拉 |  西班牙 | 曼城 |  |
| 3 !三月 | 2019.32019 | 尤尔根·克洛普 |  德国 | 利物浦 |  |
| 4 !四月 | 2019.42019 | 佩普·瓜迪奥拉 |  西班牙 | 曼城 |  |
| 5 !八月 | 2019.52019 | 尤尔根·克洛普 |  德国 | 利物浦 |  |
| 6 !九月 | 2019.62019 | 尤尔根·克洛普 |  德国 | 利物浦 |  |
| 7 !十月 | 2019.72019 | 弗兰克·兰帕德 |  英格兰 | 切尔西 |  |
| 8 !十一月 | 2019.82019 | 尤尔根·克洛普 |  德国 | 利物浦 |  |
| 9 !十二月 | 2019.92019 | 尤尔根·克洛普 |  德国 | 利物浦 |  |
| 1 !一月 | 2020.12020 | 尤尔根·克洛普 |  德国 | 利物浦 |  |
| 2 !二月 | 2020.22020 | 肖恩·戴彻 |  英格兰 | 伯恩利 |  |
| 六月 | 2020.32020 | 努诺·埃斯皮里托·桑托 |  葡萄牙 | 狼队 |  |
| 七月 | 2020.42020 | 拉尔夫·哈森许特尔 |  奥地利 | 南安普顿 |  |
| 5 !九月 | 2020.52020 | 卡洛·安切洛蒂 |  義大利 | 埃弗顿 |  |
| 十月 | 2020.42020 | 努诺·埃斯皮里托·桑托 |  葡萄牙 | 狼队 |  |
| 十一月 | 2020.42020 | 若泽·穆里尼奥 |  葡萄牙 | 托特纳姆热刺 |  |
| 十二月 | 2020.42020 | 迪恩·史密斯 |  英格兰 | 阿斯顿维拉 |  |
| 一月 | 2020.42021 | 佩普·瓜迪奥拉 |  西班牙 | 曼城 |  |
| 二月 | 2020.42021 | 佩普·瓜迪奥拉 |  西班牙 | 曼城 |  |
| 三月 | 2020.42021 | 托马斯·图赫尔 |  德国 | 切尔西 |  |
| 四月 | 2020.42021 | 史蒂夫·布鲁斯 |  英格兰 | 纽卡斯尔联 |  |
| 五月 | 2020.42021 | 尤尔根·克洛普 |  德国 | 利物浦 |  |
| 八月 | 2021.82021 | 努诺·埃斯皮里托·桑托 |  葡萄牙 | 托特纳姆热刺 |  |
| 九月 | 2021.82021 | 米克尔·阿尔特塔 |  西班牙 | 阿森纳 |  |
| 十月 | 2021.82021 | 托马斯·图赫尔 |  德国 | 切尔西 |  |
| 十一月 | 2021.82021 | 佩普·瓜迪奥拉 |  西班牙 | 曼城 |  |
| 十二月 | 2021.82021 | 佩普·瓜迪奥拉 |  西班牙 | 曼城 |  |
| 一月 | 2021.82022 | 布鲁诺·拉热（英语：） |  葡萄牙 | 狼队 |  |
| 二月 | 2021.82022 | 埃迪·豪 |  英格兰 | 纽卡斯尔联 |  |
| 三月 | 2021.82022 | 米克尔·阿尔特塔 |  西班牙 | 阿森纳 |  |
| 四月 | 2021.82022 | 麦克·杰克逊（英语：） |  英格兰 | 伯恩利 |  |
| 八月 | 2021.82022 | 米克尔·阿尔特塔 |  西班牙 | 阿森纳 |  |
| 九月 | 2021.92022 |  |  荷蘭 | 曼聯 |  |
| 十月 | 2022.82022 | 埃迪·豪 |  英格兰 | 纽卡斯尔联 |  |
| 十一/十二月 | 2022.92022 | 米克尔·阿尔特塔 |  西班牙 | 阿森纳 |  |
| 一月 | 2023.12023 | 米克尔·阿尔特塔 |  西班牙 | 阿森纳 |  |
| 二月 | 2023.22023 |  |  荷蘭 | 曼聯 |  |
| 三月 | 2023.32023 | 米克尔·阿尔特塔 |  西班牙 | 阿森纳 |  |
| 四月 | 2023.42023 | 乌奈·埃梅里 |  西班牙 | 阿斯顿维拉 |  |
| 八月 | 2023.82023 | 安格·波斯特科格鲁 |   | 托特纳姆热刺 |  |
| 九月 | 2023.62023 | 安格·波斯特科格鲁 |   | 托特纳姆热刺 |  |
| 十月 | 2023.72023 | 安格·波斯特科格鲁 |   | 托特纳姆热刺 |  |
| 十一月 | 2023.82023 |  |  荷蘭 | 曼聯 |  |
| 十二月 | 2023.92023 | 烏拿·艾瑪利 |  西班牙 | 阿士東維拉 |  |
| 一月 | 2024.12024 | 尤尔根·克洛普 |  德国 | 利物浦 |  |
| 二月 | 2024.22024 | 米克尔·阿尔特塔 |  西班牙 | 阿森纳 |  |
| 三月 | 2024.32024 | 安杜尼·伊拉奧拿 |  西班牙 | 伯恩茅斯 |  |
| 四月 | 2024.42024 | 肖恩·戴彻 |  英格兰 | 埃弗顿 |  |
| 八月 | 2024.52024 | 法比安·許爾策勒 |  德国 | 布莱顿 |  |
| 九月 | 2024.62024 | 恩佐·馬雷斯卡 |  義大利 | 切尔西 |  |
| 十月 | 2024.72024 | 努诺·埃斯皮里托·桑托 |  葡萄牙 | 诺丁汉森林 |  |
| 十一月 | 2024.82024 | 艾尼·史洛 |  荷蘭 | 利物浦 |  |
主教练得奖次数排行

最後更新：2024年11月
| 排名 | 主教练 | 得奖次数 |
| --- | --- | --- |
| 1 | 亚历克斯·弗格森 | 27 |
| 2 | 阿尔塞纳·温格 | 15 |
| 3 | 佩普·瓜迪奥拉 | 11 |
| 4 | 大卫·莫耶斯 | 10 |
| 4 | 尤尔根·克洛普 | 10 |
| 6 | 马丁·奥尼尔 | 8 |
| 6 | 哈里·雷德克纳普 | 8 |
| 8 | 拉法埃尔·贝尼特斯 | 7 |
| 8 | 米克尔·阿尔特塔 | 7 |
| 10 | 山姆·阿勒代斯 | 6 |
| 10 | 博比·罗布森 | 6 |
| 12 | 卡洛·安切洛蒂 | 5 |
| 12 | 努诺·埃斯皮里托·桑托 | 5 |
| 12 | 凯文·基冈 | 5 |
| 12 | 克劳迪奥·拉涅利 | 5 |
| 12 | 埃迪·豪 | 5 |
| 17 | 罗伊·霍奇森 | 4 |
| 17 | 乔·金尼尔（英语：） | 4 |
| 17 | 曼努埃尔·佩莱格里尼 | 4 |
| 17 | 毛里西奥·波切蒂诺 | 4 |
| 17 | 戈登·斯特拉坎 | 4 |
| 17 | 若泽·穆里尼奥 | 4 |
| 23 | 安东尼奥·孔蒂 | 3 |
| 阿兰·柯比什利 |  | 3 |
| 肖恩·戴奇 |  | 3 |
| 热拉尔·乌利耶 |  | 3 |
| 罗纳德·科曼 |  | 3 |
| 戴维·奥利里（英语：） |  | 3 |
| 阿兰·帕杜 |  | 3 |
| 斯图尔特·皮尔斯 |  | 3 |
| 安格·波斯特科格魯 |  | 3 |
| 布伦达·罗杰斯 |  | 3 |
|  |  | 3 |
| 34 | 弗兰克·克拉克 | 2 |
| 34 | 斯蒂夫·科贝尔 | 2 |
| 34 | 欧文·科尔 | 2 |
| 34 | 肯尼·达格利什 | 2 |
| 34 | 罗伊·埃文斯 | 2 |
| 34 | 约翰·格雷戈里 | 2 |
| 34 | 格伦·霍德尔 | 2 |
| 34 | 保罗·杰维尔 | 2 |
| 34 | 罗伯托·曼奇尼 | 2 |
| 34 | 托尼·普利斯 | 2 |
| 34 | 彼得·里德 | 2 |
| 34 | 格雷姆·索内斯 | 2 |
| 34 | 菲尔·汤姆森（英语：） | 2 |
| 34 | 安德烈·维拉斯-博阿斯 | 2 |
| 34 | 托马斯·图赫尔 | 2 |
获奖次数（按获奖者国籍排行）

最後更新：2024年11月
| 国籍 | 曾得奖的主教练人数 | 总得奖次数 |
| --- | --- | --- |
|  英格兰 | 46 | 90 |
|  苏格兰 | 10 | 50 |
|  西班牙 | 8 | 31 |
|  法國 | 2 | 18 |
|  義大利 | 6 | 17 |
|  德国 | 3 | 13 |
|  葡萄牙 | 4 | 12 |
|  北爱尔兰 | 3 | 12 |
|  愛爾蘭 | 4 | 10 |
|  荷蘭 | 4 | 8 |
|   | 3 | 4 |
|  阿根廷 | 1 | 4 |
|  智利 | 1 | 4 |
|   | 1 | 3 |
 奥地利: 1
 以色列: 1
 牙买加: 1
 挪威: 1
 瑞典: 1
 美国: 1
获奖次数（按获奖者执教俱乐部排行）

最後更新：2024年11月
| 俱乐部 | 曾得奖的主教练人数 | 总得奖次数 |
| --- | --- | --- |
| 曼联 | 3 | 31 |
| 利物浦 | 6 | 24 |
| 阿森纳 | 2 | 22 |
| 曼城 | 6 | 21 |
| 切尔西 | 9 | 18 |
| 纽卡斯尔联 | 6 | 17 |
| 托特纳姆热刺 | 8 | 16 |
| 埃弗顿 | 5 | 14 |
| 南安普顿 | 7 | 11 |
| 阿斯顿维拉 | 5 | 10 |
| 莱斯特城 | 4 | 8 |
| 博尔顿 | 3 | 7 |
| 布莱克本 | 4 | 6 |
| 西汉姆联 | 4 | 5 |
| 利兹联 | 3 | 5 |
西布罗姆维奇: 4
| 诺丁汉森林 | 3 | 4 |
| 伯恩茅斯 | 2 | 4 |
| 狼队 | 2 | 4 |
| 温布尔顿 | 1 | 4 |
米德尔斯堡: 3
谢周三: 3
斯旺西: 3
| 伯恩利 | 2 | 3 |
| 考文垂 | 2 | 3 |
| 雷丁 | 2 | 3 |
| 桑德兰 | 2 | 3 |
| 维冈竞技 | 2 | 3 |
| 查尔顿 | 1 | 3 |
| 朴茨茅斯 | 1 | 3 |
白禮頓: 2
赫尔城: 2
沃特福德: 2
| 富勒姆 | 1 | 2 |
伯明翰: 1
布莱顿: 1
水晶宫: 1
德比郡: 1
哈德斯菲尔德: 1
伊普斯维奇: 1
诺维奇: 1
奥尔德姆: 1
女王公园巡游者: 1
1995年3月的英超月度最佳教练得主罗恩·阿特金森
罗伊·埃文斯是第一个获得该奖的利物浦主教练，在1995年12月、1996年1月连续两次获奖
艾林·格兰是目前唯一一位获得该奖的以色列主教练
佩普·瓜迪奥拉保持着连续获奖次数最多的记录，在2017年的9月至12月连续四次获奖
热拉尔·乌利耶得奖三次，一次是与菲尔·汤姆森共同获得
2007年10月，马克·休斯成为第四个获得该奖的布莱克本主教练
2004年12月的得主马丁·约尔
若泽·穆里尼奥获得该奖四次
大卫·莫耶斯获得该奖十次，为历史第三多
斯图尔特·皮尔斯得奖三次，他还获得过月度最佳球员奖项
曼努埃尔·佩莱格里尼执教曼城时得奖四次
克劳狄奥·拉涅利获得该奖五次
哈里·雷德克纳普在四家俱乐部都获得该奖
1997年3月的得主布莱恩·罗布森
阿尔塞纳·温格获得该奖十五次，得奖次数仅次于弗格森
2024年日本眾議院議員總選舉

第50屆日本眾議院議員總選舉（日语：／ dai gojūkai shūgiin giin sōsenkyo */?）於2024年10月27日舉行，改選日本眾議院全部465個議席，採用小選舉區比例代表並立制。同時舉行的國政選舉尚有最高裁判所裁判官國民審查（日语：）與參議院岩手縣選區補選（日语：）。
執政的自民黨在本次選舉，以191席维持众议院最大党的地位，但連同执政联盟成員公明黨總共取得215席，未達過半的233席，相較上次選舉大幅下滑；相對的，在野政黨合計拿下238席，第二大黨立憲民主黨的席位更成長至148席。涉及自民黨政治資金醜聞的46位競選連任者，則有超過半數在本次選舉落馬。这是自民党自2009年以来再次在众议院总选举失利，也是日本自1955年以來首次沒有政黨獲得至少200個席次的選舉。
背景

2021年舉行的上一屆眾議院總選舉，自民黨與友黨公明黨取得過半議席，由大選前新當選自民黨總裁的岸田文雄擔任內閣總理大臣（首相）及組閣。在其3年任期內，自民黨內發生政治獻金醜聞，撼動自民黨政府的政治威信，並直接導致岸田內閣的支持率下跌。岸田最終在2024年8月宣布放棄競選連任自民黨總裁。
2024年9月27日舉行的自民黨總裁選舉，創紀錄的有9人競逐，最終由前自民黨幹事長石破茂出線，隨後於10月1日組閣；而最大在野黨立憲民主黨在此前不久舉行的代表（黨魁）選舉（日语：），由曾在2011年拜相的野田佳彥當選。
在自民黨總裁選舉後，部分日本媒體認為石破會在10月1日就任首相後不久解散國會，並在11月時進行眾議院選舉。9月30日，石破正式對外宣布，将於10月9日解散眾議院，15日公示，并于27日舉行投、開票。眾議院解散後的記者會上，石破將此次解散稱為「日本創生解散」。
本次為小選舉區「10增10減」（東京都5增；神奈川2增，埼玉、千葉、愛知各1增；宮城、福島、新潟、滋賀、和歌山、岡山、廣島、山口、愛媛、長崎各1減）、比例區「3增3減」（東京2增；南關東1增；東北、北陸信越、中國各1減）後的首次眾議院總選舉 。
各政黨動向 > 自由民主黨

2024年10月2日，代表東京都第23區現任議員小倉將信以身體健康為由，宣布不參選下次眾議院選舉。
9月30日，代表福島縣第2區的現任議員根本匠宣布不再競選連任，之後自民黨福島縣連宣布提名其長子根本拓（日语：）接棒參選，並會盡快向中央黨部申請。
9月25日，代表千葉縣第10區的現任議員林幹雄宣布不再競選連任，之後自民黨千葉縣連宣布提名時任千葉縣議會議員小池正昭（日语：）參選，並會盡快向中央黨部申請。
10月6日，代表愛知縣第10區的現任議員江崎鐵磨宣布不再競選連任其政策秘書若山慎司表態參選，愛知縣自由民主黨愛知縣縣連將向黨本部申請正式承認。
10月6日，內閣總理大臣兼任自由民主黨總裁石破茂宣布在這屆眾議院選舉中，不會正式承認在自民黨政治資金醜聞中被暫停黨籍的黨籍身分，同時針對自民黨政治資金醜聞中部分不實記載的議員，不論是否有懲處將禁止他們雙重候補。
10月6日，自由民主黨公布於下屆眾議院選舉，不被承認黨籍的議員分別有埼玉縣第13區的三林裕巳（日语：）、東京都第11區的下村博文、東京都第17區的平澤勝榮（日语：）、東京都第24區的萩生田光一、福井縣第2區的高木毅、兵庫縣第9區的西村康稔。
10月9日，自由民主黨追加6名不被承認黨籍候選資格的候選人，分別為福島縣第3區的菅家一郎（日语：）、埼玉縣第6區的中根一幸（日语：）、東京都第6區的越智隆雄（日语：）、東京都第9區的今村洋史（日语：）、東京都第21區的小田原潔（日语：）、新潟縣第2區的細田健一（日语：）。而東京都第6區的越智隆雄已於10月7日表態不會參與下一次的眾議院選舉。
各政黨動向 > 公明黨

10月3日公明黨中央幹事會正式承認，眾議院比例代表的12位新人，包含：北海道比例代表區提名齊道勇太、東北比例代表區提名佐佐木伸和、北關東比例代表區提名大塚英樹、南關東比例代表區提名豊澤健兒、北陸信越比例代表區提名田島公一、東海比例代表區提名丹後政明、近畿比例代表區提名大山一平、藤田將一、中國比例代表區提名芳田幸代、四國比例代表區提名久榮正志、九州比例代表區提名小野光久、時任伸一。
公明黨推薦兩名不被自由民主黨公認的現職議員，分別為兵庫縣第9區的西村康稔以及埼玉縣第13區的三林裕巳。
各政黨動向 > 立憲民主黨

在石破茂宣佈將舉行大選後，立憲民主黨代表野田佳彥批評他尚未上任首相就宣佈舉行大選，是「不尊重國會」。10月3日野田佳彥在國會與日本維新會代表馬場伸幸及國民民主黨代表玉木雄一郎進行會談，針對10月15日正式公告眾議院選舉及針對日本自民黨政治資金醜聞議員選區的在野黨整合進行討論。會後，野田佳彥向記者強調，他願意就候選人協調問題「繼續真誠對話」。馬場伸幸也回應記者採訪並解釋說，如果他要提名涉事議員所在選區的候選人，他已向民眾傳達了他打算提前與立憲民主黨協商的意向。但對撤回日本維新會已派出的候選人的想法表示反對。另一方面，國民民主黨代表玉木雄一郎再次呼籲立憲民主黨不要在已經被日本劳动组合总联合会推薦的國民民主黨候選人選區提名候選人。並說這是兩黨進行談判，以統一候選人的先決條件。
10月4日，立憲民主黨的本庄知史（日语：）議員（千葉縣第8區選出），針對日本共產黨於千葉縣內14個小選舉區提名的行為進行批評。「他們為什麼要這樣做？如果自民黨獲勝，就會有更多人想要修改憲法。這樣可以嗎？」。
10月5日，立憲民主黨廣島縣連宣布於廣島縣第1區、廣島縣第6區分別提名平本浩一（日语：）及井上信也（日语：）參選。
10月6日，立憲民主黨決定提名時任和歌山市市議員新古祐子（日语：）參選和歌山縣第2區。新古祐子（日语：）在2023年4月的和歌山市議會選舉是日本維新會公認候選人，並成功當選。後受到日本維新會的離黨勸告。
各政黨動向 > 日本維新會

原本預定參選兵庫縣第8區的清水貴之（日语：）參議員，宣布改為參選11月17日舉行的兵庫縣知事選舉。
原本預定參選愛知縣第16區的刀禰勝之（日语：）、岐阜縣第4區的伊藤幸一（日语：）、佐賀縣第1區的久保田將誠（日语：），陸續宣布退選。
10月6日被日本維新會暫停黨籍的大阪府第9區現職議員足立康史（日语：）宣布退選並退出政壇，原因是日本維新會決定於大阪府第9區提名另外一位候選人。
各政黨動向 > 日本共產黨

10月1日，日本共產黨神奈川縣委員會宣布在神奈川縣第1區、2區、3區、11區、12區提出候選人，同時神奈川縣第3區的候選人、黨縣青年學生部長横山征吾，在南關東比例代表區重複提名。
10月5日，日本共產黨東京都委員會宣布於東京都第16區提名黨都委員宮本榮氏（日语：）參選。
10月10日，日本共產黨神奈川縣委員會公布新一輪提名分別在神奈川縣第5區、6區、13區提名候選人。
各政黨動向 > 國民民主黨

國民民主黨廣島縣連與立憲民主黨廣島縣連達成合作，廣島縣第2區、廣島縣第4區由國民民主黨提出候選人，廣島縣其餘選舉區都已提名立憲民主黨候選人，但國民民主黨已經放棄於廣島縣第4區提出候選人，並且通報立憲民主黨。
國民民主黨10月7日透露，將會在廣島縣第2區提名原國會議員秘書福田玄參選，近日黨中央就會做成決議，他將是國民民主黨在廣島縣6個選舉區唯一一位公認候選人。
各政黨動向 > 令和新選組

10月7日令和新選組公布新一輪提名候選人。
10月14日令和新選組公布新一輪比例代表候選人。眾議院比例代表的6位新人，包含：北關東比例代表區提名前田健司、南關東比例代表區提名竹内雅浩、東京比例代表區提名赤木善美、北陸信越比例代表區提名井田克一、近畿比例代表區提名岡田哲扶、九州比例代表區提名吉度模彌。
各政黨動向 > 都民第一會

10月11日，東京地域政黨同時也是東京都的執政黨都民第一會代表森村隆行（日语：）表示將在這次選舉中支持國民民主黨的候選人。
各政黨動向 > 與大家一起創造黨

10月12日與大家一起創造黨公布第一波提名人選，其黨首大津綾香參選東京比例代表區。
10月14日與大家一起創造黨變更提名，黨首大津綾香變更參選至東京都第9區。
各政黨動向 > 日本保守黨

日本保守党（日语：）是2023年由作家百田尚樹成立的政治團體。10月4日該團體公布第一輪提名候選人名單，分別為愛知縣第1區、4區、5區、15區，其中愛知1區候選人為現任名古屋市市長河村隆之。而黨代表百田尚樹將在近畿比例代表區參選。
各政黨動向 > 實現教育無償化之會

實現教育無償化之會（日语：）代表前原誠司在10月1日宣布將會與其他三名議員加入日本維新會，10月3日雙方黨代表進行共同記者會證實。
原屬國民民主黨的南關東比例代表區眾議員鈴木敦（日语：），後與前原誠司一同建立實現教育無償化之會，但是在神奈川縣第18區的提名中與日本維新會發生衝突，在10月1日傳出將加入日本維新會的消息中並不包含鈴木敦。10月3日清晨傳出將加入參政黨並且參選南關東比例代表區，並於同天下午召開記者會正式宣布此消息。
概要 > 目前眾議院席次

截至2024年（令和六年）10月9日，眾議院解散前的席次分佈如下：
| 政黨 | 政黨 | 眾議院席次> 上屆當選席次 | 眾議院席次> 選前席次 |
| --- | --- | --- | --- |
|  | 自由民主党 | 261 | 256 |
|  | 立憲民主黨 | 96 | 97 |
|  | 日本維新會 | 41 | 44 |
|  | 公明黨 | 32 | 32 |
|  | 日本共產黨 | 10 | 10 |
|  | 國民民主黨 | 11 | 7 |
|  | 令和新選組 | 3 | 3 |
|  | 社會民主黨 | 1 | 1 |
|  | 参政黨 | 新政黨 | 1 |
|  | 無黨籍 | 10 | 14(含正副議長) |
| 席位總數 | 席位總數 | 465 | 465 |
概要 > 各政黨提名人數

截至2024年（令和六年）10月15日公示日，國政政黨提名候選人人數如下：
| 政黨 | 政黨 | 提名候選人人數 |
| --- | --- | --- |

|  | 自由民主党 | 266 |
|  | 立憲民主黨 | 207 |
|  | 日本維新會 | 163 |
|  | 公明黨 | 11 |
|  | 日本共產黨 | 213 |
|  | 國民民主黨 | 41 |
|  | 令和新選組 | 19 |
|  | 社會民主黨 | 10 |
|  | 参政黨 | 84 |