梅崎直也が高評価した記事一覧 | Mathlog

73

27638

数学が好きです。

大学数学基礎解説

2021年3月21日

πとlog(n)の無理性

無理数,円周率

13

0

972

0

現代数学解説

2021年3月13日

【超局所層理論第1回】層のマイクロ台の定義と例

代数解析,層理論,超局所層理論

7

0

1528

0

文献あり

大学数学基礎解説

2021年2月16日

駆け足で学ぶエクスパンダーグラフ

組合せ論,グラフ理論,線形代数

8

0

3063

1

文献あり

大学数学基礎解説

2020年12月30日

Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明

解析学,形式的証明,Coq

17

0

2341

1

大学数学基礎解説

2020年12月17日

位数100までの群の分類(の準備)

代数学,有限群論,群論

16

0

3327

0

文献あり

現代数学解説

2020年11月11日

佐藤超函数としてのデルタ関数

複素解析,正則関数,代数解析

26

0

3618

0

大学数学基礎解説

2020年11月9日

自由エネルギーにかんするノート

自由エネルギー,WBIC

3

0

1206

0

大学数学基礎解説

2020年11月7日

分配束について

3

0

1343

0

大学数学基礎解説

2020年11月7日

強制法によるCantorの定理の証明

集合論,強制法,Cantorの定理

22

0

1684

2

読み込み中