この記事は さいえんSlack Advent Calendar 2020 - Adventar の 25 日目（最終日）の記事です．24 日目は Tomoki UDA さんの担当でした． さいえんSlackは Slack を中心に活動している科学に興味がある人のためのゆる〜いコミュニティです．詳しいことは以下…

という煽りタイトルで Texdoc を紹介する記事を書く宣言を何故かしてしまったので，書きたいと思います．後悔も反省もしている．たぶんみんな妖怪かスタンド攻撃のせい． この記事は TeX ＆ LaTeX Advent Calendar 2020 - Adventar の 24 日目の記事です．23…

Twitter にて「Tychonoff の定理 が選択公理なしで証明された」という主張を見た． どのような体系で証明されたのかよくわからないが，もし，その体系が ZF の部分体系(もしくはそれと同等の証明能力を持つ体系)であって，また仮に証明されたのが事実だとす…

ある日, わたしが 「微分可能だけど導関数が不連続な関数を思いつかないよう(ノдヽ)」*1 と困っていたらある人が 「[1]のページに答えが書いてあるよ」 と教えてくれた. そこに書かれている関数を眺めていたら\(n\)回微分可能だが\(n\)階導関数が不連続にな…