2023-04-22から1日間の記事一覧
前回(昨日)の記事「最近の型理論: 宇宙と世界、そして銀河」で説明した世界構造に関して、少し補足します。$`\newcommand{\Imp}{\Rightarrow} \newcommand{\Iff}{\Leftrightarrow} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\cat}[1]{\mathcal{#1}}…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
前回(昨日)の記事「最近の型理論: 宇宙と世界、そして銀河」で説明した世界構造に関して、少し補足します。$`\newcommand{\Imp}{\Rightarrow} \newcommand{\Iff}{\Leftrightarrow} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\cat}[1]{\mathcal{#1}}…