y. @waidotto@mathtod.online

https://twitter.com/waidotto
http://iso.2022.jp/
数学をやっています．
決定不能問題/計算可能性理論/数理論理学(数学基礎論)/モデル理論/数論

Joined Apr 2017

108 Following 149 Followers

リング @matsumoring@mathtod.online

$\mathscr{N}_{yoho}$ @Nyoho@mathtod.online

立腹層 $\rm{\LaTeX}$ @rippukusou@mathtod.online

mattn✅ @mattn@mstdn.jp

koizuka@friends.nico @koizuka@friends.nico

江添亮 @EzoeRyou@friends.nico

Hiroyasu Kamo @kamo_hiroyasu@mathtod.online

ほりたみゅ @hyrodium@mathtod.online

グレブナー基底大好きbot @groebner_basis@mathtod.online

Iwao KIMURA @iwaokimura@mathtod.online

ふぃっしゅっしゅ @ $巨大数^{F_7}$ @fish@mathtod.online

∅ @varnothing_@mathtod.online