誰も書いている人がいないような気がしたので書いておきます. 定理. (中間値の定理の離散版) 整数 $a$, $b$ が $a 証明. 集合 $S\coloneqq \lbrace x \in \mathbf{Z} \cap [a, b] \mid f(x) 双対として $T\coloneqq \lbrace x \in \mathbf{Z} \cap [a, b] \m…

概要 無限降下法 解の公式 導出 1：平方完成 導出 2：対称性 感想 概要 【MathPower2017】 07_講演「ABC予想と新しい数学」 今でも 2017 年当時リアルタイムで視聴したときのことを思い出せます。あれからもう四年も経ったわけですが、個人的にはまだ四年し…

3.1. 層についての一般論 3.1. 層についての一般論 $X$ を (必ずしも分離的とは限らない) 位相空間とする. $\supset$ により順序付けられた $X$ の空でない開部分集合上に定義される集合の帰納系すべてを $X$ 上の集合の前層と呼ぶことを思い出そう (1.7 例 …

2.1. $\partial$ 関手と $\partial^*$ 関手 2.2. 普遍 $\partial$ 関手 2.3. 導来関手 2.4. スペクトル系列とスペクトル関手 2.5. 分解関手 2.1. $\partial$ 関手と $\partial^*$ 関手 $\mathbf{C}$ をアーベル圏, $\mathbf{C}'$ を加法圏, $a$ と $b$ を $a…

1.1. 圏 1.2. 関手 1.3. 加法圏 1.4. Abel 圏 1.5. 無限和と無限積 1.6. 図式圏と遺伝する性質 1.7. 図式シェマにより定まる圏の例 1.8. 帰納極限と射影極限 1.9. 生成子と余生成子 1.10. 入射的対象と射影的対象 1.11. 商圏 1.1. 圏 次のことを思い出そう. …

グロタンディーク全訳計画の第一弾: 1957 年に東北大学の東北数学雑誌で出版されたことから “Tohoku” の一語で呼ばれる Sur quelques points d’algèbre homologique (ホモロジー代数のいくつかの点について) です。

追記 (20240823) 大規模言語モデルの飛躍的進歩に伴い，訳者一同のモチベーションがほぼ完全に失われてしまったため，今後は「いかに大規模言語モデルで処理しやすくするか？」という観点からの整備に注力いたします． 資料一覧 原文や英訳は Mateo Carmona …

昨日、日本語同好会で話題になっていた記事がこちらです。 dot.asahi.com 仏語版の宣言文を見てみよう。 «Je proclame ouverts les Jeux de... (nom de l’hôte) célébrant la... (numéro de l’Olympiade) Olympiade des temps modernes.» 多賀教授は、「私」…

米語母語話者のニック・ノートン氏による非常に興味深いコメントを発見しました。 youtu.be 要約すると次の通りです。 微妙な差ではあるものの、I play guitar. は習慣的に、I play {the/a} guitar. は初めて、ギターを弾くことを意味するように感じられる。…