merliborn
merliborn
35
6696
圏論や普遍代数に興味があります。現在の専門は型理論および圏論的意味論です。
ホーム
記事13
本0
koumei
koumei
大学数学基礎解説
koumei
6月23日
具体例で見る随伴関手
1
0
161
0
Alwe
Alwe
現代数学解説
Alwe
6月17日
コンパクトからHausdorffの連続全単射は同相であることの代数的な証明
4
0
590
0
文献あり
しーた \( ¨̮ ( ¨̮ ( ¨̮ )/
しーた \( ¨̮ ( ¨̮ ( ¨̮ )/
大学数学基礎解説
しーた \( ¨̮ ( ¨̮ ( ¨̮ )/
3月5日
テトリスの代数と素因数分解の一意性
16
0
1312
0
apu_yokai
apu_yokai
高校数学解説
apu_yokai
2月4日
放物線上をはね続けるボールの研究①フィボナッチ数が生えた話
20
0
932
2
湧水(ゆうすい)
湧水(ゆうすい)
大学数学基礎解説
湧水(ゆうすい)
1月15日
x^4-2=0のガロア群を求めてみる
8
0
707
0
bisaitama
bisaitama
算数解説
bisaitama
1月1日
自然単位系・幾何学単位系
2
0
462
0
子葉
子葉
数学史・伝記解説
子葉
2023年12月21日
ラマヌジャンがハーディに宛てた手紙
32
0
1587
0
文献あり
PRESENT
PRESENT
エンタメ議論
PRESENT
2023年12月20日
【自由研究】単振り子の周期の厳密解
5
0
892
0
初心者マーク
初心者
文献あり
鴎海
鴎海
応用数学解説
鴎海
2023年12月19日
音階の構造を数学する
9
0
604
0
初心者マーク
初心者
Mathお
Mathお
大学数学基礎解説
Mathお
2023年10月16日
苦手な犬に近づけば遅くなるたかし君が学校に行くまでの最適経路
10
0
620
0
Summation
Summation
現代数学解説
Summation
2023年5月1日
アーベルモノイドとそのグロタンディーク群
3
0
544
1
大学数学基礎解説
arakur
2023年1月24日
閉包作用素でみる数学的構造
7
0
1666
0
文献あり
考え中
考え中
大学数学基礎解説
考え中
2022年11月26日
区間の特徴付け
3
0
197
0
文献あり
Period
Period
大学数学基礎解説
Period
2022年11月1日
複素解析では何故「領域」と仮定するか？
4
0
1204
1
あお
あお
大学数学基礎解説
あお
2022年9月23日
本質部分加群の圏論的特徴づけ Part1
7
0
330
1
くろの
くろの
大学数学基礎解説
くろの
2022年8月15日
群の公理を節約せよ!
8
0
728
1
瓦
瓦
大学数学基礎解説
瓦
2022年6月6日
トッド-コクセターの方法(Todd-Coxeter Algorithm)について
8
0
734
0
文献あり
bisaitama
bisaitama
大学数学基礎解説
bisaitama
2022年5月20日
自然言語における継続とCPS文法
2
0
202
0
文献あり
ごててん
ごててん
大学数学基礎解説
ごててん
2022年4月27日
位数が2の体上の10次以下の既約多項式一覧
4
0
1402
1
文献あり
高校数学解説
nayuta_ito
2022年3月31日
二進対数の有理数近似
4
0
240
0
読み込み中