このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2023-04-22から1日間の記事一覧

最近の型理論: 宇宙・世界・銀河 もう少し

前回(昨日)の記事「最近の型理論: 宇宙と世界、そして銀河」で説明した世界構造に関して、少し補足します。$`\newcommand{\Imp}{\Rightarrow} \newcommand{\Iff}{\Leftrightarrow} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\cat}[1]{\mathcal{#1}}…