新規作成
サバタロウ
0
165
4
Followers
15
Follow
ホーム
記事
5
本
0
高評価
全てのカテゴリ
算数
中学数学
高校数学
大学数学基礎
現代数学
応用数学
競技数学
数学史・伝記
未解決問題
勉強法・学習支援
エンタメ
イベント告知
自己紹介・記録
作成日順
評価順
大学数学基礎
解説
itleigns
2022年5月6日
CoqでRとCの証明をまとめる方法
解析学
,
形式的証明
,
Coq
1
0
226
0
大学数学基礎
解説
めいぜんおーえす
2021年12月1日
5つの圏の定義とCoqによる実装
圏論
,
Coq
8
0
904
0
文献あり
大学数学基礎
解説
MakkyoExists
2021年6月16日
最大公約数は本当に「最大」の公約数なのか?
最大公約数
,
初等整数論
3
0
860
0
大学数学基礎
解説
kawasaki_prime
2021年3月13日
twitter休止!
1
0
5
0
大学数学基礎
議論
めいぜんおーえす
2021年2月20日
なんで証明中の選択公理が目立つのかって話
集合論
,
選択公理
8
0
662
0
文献あり
大学数学基礎
解説
CSG
2021年1月16日
指数関数についてとりとめもなく その1.5「ネイピア数と指数関数」
指数関数
,
ネイピア数
,
微分積分学
2
0
591
2
大学数学基礎
解説
CSG
2021年1月11日
指数関数についてとりとめもなく その1「指数から遡る」
指数関数
,
微分積分学
2
0
669
1
大学数学基礎
解説
karulog_
2021年1月4日
タイトル未設定
1
0
5
0
大学数学基礎
解説
itleigns
2020年12月30日
Coq/SSReflect/MathCompで解析入門の1章の命題を全て証明
解析学
,
形式的証明
,
Coq
17
0
2341
1
大学数学基礎
解説
Alwe
2020年12月20日
独立命題とはなにか
数理論理学
,
独立命題
14
0
2115
1
大学数学基礎
議論
めいぜんおーえす
2020年12月19日
ZFCの公理一覧と誤解しやすいポイント
集合論
,
ZFC
12
0
7486
3
文献あり
大学数学基礎
議論
めいぜんおーえす
2020年12月16日
形式的なペアノの公理で誤解しやすいポイント
ペアノの公理
,
ペアノ算術
,
自然数
14
0
11396
0
文献あり
大学数学基礎
解説
黒狐
2020年12月11日
上半平面の双曲タイリングを描画する話
双曲平面
4
0
159
0
勉強法・学習支援
解説
ぱるま
2020年12月8日
MathlogにおけるMarkdown記法に関するメモ (2020年12月時点)
82
0
4957
1
大学数学基礎
解説
うお。
2020年11月30日
万能帰納的関数に関する逆張り話。
5
0
762
0
大学数学基礎
解説
黒狐
2020年11月28日
テルドラゴン曲線を描く
フラクタル
2
0
81
0
大学数学基礎
解説
龍孫江
2020年11月28日
単写像の特徴づけ
単射
,
単写像
4
0
198
1
大学数学基礎
解説
梅崎直也
2020年11月26日
有向グラフで学ぶ圏論(シリーズ目次)
圏論
,
グラフ
,
グラフ理論
5
0
601
0
大学数学基礎
解説
黒狐
2020年11月25日
ドラゴン曲線を描く
ドラゴン曲線
3
0
2417
0
大学数学基礎
解説
みぽ
2020年11月25日
【初めてのJuliaプログラミング】ソフィー・ジェルマン素数を使ってメルセンヌ数の約数を求めてみた。
初等整数論
,
ソフィージェルマン素数
,
素数
8
0
493
0
読み込み中...
読み込み中