尊みで飯が食える

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

2017-09-17から1日間の記事一覧

Diagonal Prikry forcingが面白かったという話

面白かったので珍しくノート等を書いてみました。 いや書くべきものはたくさんあるのにいつもこうです。 脳内がスタック構造なんです。後入れ先出し後入れ後出しです。まぁ書いたので作業が1つ消化されてハッピーハッピーです。いや絶対にやらなきゃいけない…