数学の分野の一つである数理論理学周辺の話題に関するAdvent Calendarです. 数理論理学の話, 証明論, モデル理論, 集合論, 計算理論などの数理論理学周辺の話題であれば何でも大丈夫です！普段から数理論理学の研究やそれを道具に研究をする人, また数理論理学を学び始めたばかりの人, なんでも歓迎しています！
Mathematical Logic Advent Calendar 2021 - Adventar
数学の分野の一つである数理論理学周辺の話題に関するAdvent Calendarです. 数理論理学の話, 証明論, モデル理論, 集合論, 計算理論などの数理論理学周辺の話題であれば何でも大丈夫です！普段から数理論理学の研究やそれを道具に研究をする人, また数理論理学を学び始めたばかりの人, なんでも歓迎しています！
Category Theory Advent Calendar 2018 - Adventar
alg_d伝説はここにある #CTAC2018 （alg_d以外の方の執筆も歓迎です） [11/3追記]pure category theoryな内容に限らず、ユーザーとして圏論を使っている方々、最近圏論勉強しはじめた方々の記事も歓迎です！ 2017年の→https://adventar.org/calendars/2393
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
脆弱性"&'<<>\ Advent Calendar 2014 - Adventar