投稿日: 2023年10月11日2023年10月13日ライプニッツ級数 Leibniz formula || 円周率を求めるためのやつ円周率の近似値を出す時に使う級数“ライプニッツ級数 Leibniz formula” の続きを読む
投稿日: 2023年9月9日2023年9月28日Bolzano-Weierstrass の定理 || 無限に続く数列が有界ならその一部は収束するいろんな話の基礎になっている存在定理平均値の定理とかの実数関連の証明で使われます。“Bolzano-Weierstrass の定理” の続きを読む
投稿日: 2019年11月11日2024年7月29日座標系 Coordinate System || 点の位置を決定するためのあれこれ座標を扱うやつらの総称“座標系 Coordinate System” の続きを読む
投稿日: 2019年11月11日2024年9月20日幾何学基礎論 Foundation || 幾何学って何?を考える分野だいたい「公理」の見直しをするための分野“幾何学基礎論 Foundation” の続きを読む