CONTENTS

プリンストン高等研究所（IAS）の柱である数学部門（School of Mathematics）**は1930年のIAS創設時に最初に設立された部門です。 1. 設立年と設立経緯 2. 存命の現任教授（Permanent…
Read more

プリンストン高等研究所（IAS）の自然科学部門（School of Natural Sciences）は、物理学と天体物理学の研究拠点です。 1. 設立年と設立経緯 2. 存命の現任教授（Permanent Facult…
Read more

1. 設立年と設立経緯 2. 存命の現任教授（Permanent Faculty） 2026年現在、社会科学部門の「終身教授（Permanent Faculty）」として現職にあるのは以下の2名です。 ※IASの教授ポス…
Read more

数学の世界では点がどの大きさをとった宇宙と比べたとしても同値であることが証明された。実数宇宙発生前の宇宙であれ、無限宇宙であれ、どの一点も、全体集合であってもUniversal Univalenceがあるということがすで…
Read more

IAS（プリンストン高等研究所）数学部門の正教授一覧 2026年現在、IAS数学部門の終身教授（Permanent Faculty）は、世界最高峰の知性が集まる極めて少数精鋭のグループです。以下に主要な教授陣のプロフィー…
Read more

ジェイコブ・ルーリー 主要著作・論文一覧 1. Higher Topos Theory (HTT) 2009年刊行。高次圏論および高次トポス論の基礎付けを行う著作。 内容: 準圏 (Quasicategory) をモデル…
Read more

現代数学の異端児ヴォエヴォドスキーと「カリー＝ハワード対応」の衝撃 現代数学の歴史において、ウラジミール・ヴォエヴォドスキー（Vladimir Voevodsky）は、革命家でした。彼は数学を紙の上の論理から、コンピュー…
Read more

氏名 生年月日 国籍 主な所属機関 主要理論・貢献 V. ヴォエヴォドスキー 1966 – 2017 ロシア / 米国 プリンストン高等研究所 モチヴィック・コホモロジー、単数的基盤 (HoTT)、ミルナー予…
Read more

TANAAKKが主張しているGroundismとHomotopy Type Theoryは一致している。一般的な語彙が見つからないのでオリジナルの記号体系で最小記述を試みたのが1年前であったが、officialなlang…
Read more

Higher Inductive Types (HITs) の日本語での定義は、ホモトピー型理論（HoTT）における「型の新しい構成法」として次のように記述されます。 従来の型（データ型）の定義が「値（点）」のみに注目し…
Read more