サバタロウ
総高評価数
0
総閲覧数
143
4
followers
11
follow
4
tags
4
followers
11
follow
4
tags
Home
Contents
Goods
記事
本
全てのカテゴリ
作成日順
高評価数順
解説
...
itleigns
2022年5月6日
CoqでRとCの証明をまとめる方法
解析学
,
形式的証明
,
Coq
104
1
解説
...
めいぜんおーえす
2021年12月1日
5つの圏の定義とCoqによる実装
圏論
,
Coq
526
7
文献あり
解説
...
MakkyoExists
2021年6月16日
最大公約数は本当に「最大」の公約数なのか?
最大公約数
,
初等整数論
497
2
解説
...
kawasaki_prime
2021年3月13日
twitter休止!
5
1
議論
...
めいぜんおーえす
2021年2月20日
なんで証明中の選択公理が目立つのかって話
集合論
,
選択公理
411
7
文献あり
解説
...
CSG
2021年1月16日
指数関数についてとりとめもなく その1.5「ネイピア数と指数関数」
指数関数
,
ネイピア数
,
微分積分学
302
2
解説
...
めいぜんおーえす
2021年1月13日
外延性公理は等号の定義じゃないよ!
集合論
1081
8
解説
...
CSG
2021年1月11日
指数関数についてとりとめもなく その1「指数から遡る」
指数関数
,
微分積分学
179
2
解説
...
karulog_
2021年1月4日
タイトル未設定
5
1
解説
...
itleigns
2020年12月30日
Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明
解析学
,
形式的証明
,
Coq
1638
16
解説
...
Alwe
2020年12月20日
独立命題とはなにか
数理論理学
,
独立命題
1015
12
議論
...
めいぜんおーえす
2020年12月19日
ZFCの公理一覧と誤解しやすいポイント
集合論
,
ZFC
3354
6
文献あり
議論
...
めいぜんおーえす
2020年12月16日
形式的なペアノの公理で誤解しやすいポイント
ペアノの公理
,
ペアノ算術
,
自然数
6976
11
文献あり
解説
...
黒狐
2020年12月11日
上半平面の双曲タイリングを描画する話
双曲平面
50
4
解説
...
ぱるま
2020年12月8日
MathlogにおけるMarkdown記法に関するメモ
2663
62
問題
...
めいぜんおーえす
2020年12月2日
たのしいめいだいろんり!
形式的証明
,
命題論理
,
Coq
224
2
解説
...
うお。
2020年11月30日
万能帰納的関数に関する逆張り話。
559
4
解説
...
黒狐
2020年11月28日
テルドラゴン曲線を描く
フラクタル
36
2
解説
...
龍孫江
2020年11月28日
単写像の特徴づけ
単射
,
単写像
100
4
解説
...
梅崎直也
2020年11月26日
有向グラフで学ぶ圏論(シリーズ目次)
圏論
,
グラフ
,
グラフ理論
302
5
読み込み中...
読み込み中