鯵坂もっちょ🐟『つれづれなる数学日記』発売中
@motcho_tw
ZFC公理系、推論規則、形式体系、独立命題、連続体仮説…関連についてめっっっっちゃわかりやすい解説 #kanmath01
2018-04-21 14:43:42
Tomohiro Yamada@9/16-17つどい/10/10-10/13RIMS
@tyamada1093
講演終了。喉の調子が悪い… #kanmath01
2018-04-21 15:02:16
ほりたみゅ(bskyかmastodonに居ます)
@Hyrodium
展示してます! #kanmath01 pic.twitter.com/5N3aFx6DkU
2018-04-21 15:13:46
拡大
ほりたみゅ(bskyかmastodonに居ます)
@Hyrodium
今日の資料こちらです! #kanmath01 twitter.com/hyrodium/statu…
2018-04-21 15:31:06
ほりたみゅ (mastodonも見てね)
@Hyrodium
明日のスライドです! Frobeniusの定理について話します. (まだ修正点が残ってますが..) hackmd.io/p/Hkvm0AE3f#/1
2018-04-20 20:51:24
鯵坂もっちょ🐟『つれづれなる数学日記』発売中
@motcho_tw
嘘だろオイ #kanmath01 pic.twitter.com/ijMOIlUQp0
2018-04-21 15:46:04
拡大
Tomohiro Yamada@9/16-17つどい/10/10-10/13RIMS
@tyamada1093
指数関数は存在しないという話 #kanmath01
2018-04-21 15:46:07
パヤシ
@Paya_payashi
「ある意味ケンカを売ってる」というタイトル #kanmath01 pic.twitter.com/wsm3QhFahx
2018-04-21 15:46:16
拡大
Tomohiro Yamada@9/16-17つどい/10/10-10/13RIMS
@tyamada1093
Beckmann S2_1はPV*の無矛盾性を導く Yamagata S2_2はPV-の無矛盾性を導く #kanmath01
2018-04-21 15:54:37
いとうし
@100ito
#kanmath01 ぜんぜん参加してないし初めて見たけどけどハッシュタグ追ってる。めっちゃ面白そう。ビジュアライズが上手い、と表現するのが適切っぽいことを知る 全く知らない世界に惹き込まれるなんて恋みたいだ
2018-04-21 15:56:24