尊みで飯が食える

twitterアカウントは@mg_toHKRです。萌え4コマまんがと特異基数がテーマのブログです

2018-11-26から1日間の記事一覧

発表スライド

若手の会2018お疲れ様でした。 沖縄は楽しかったです。というわけで今年の発表スライドです。 Laver's indestructibilityとPrikry type forcingが合わさって最強に見えるという話をしました。 www.dropbox.com ファイル名がsliteなのはタイポですが特にこだ…