最近お金が出来たので漫画が買えてハッピーです。前々から気になっていた卯花つかさ先生の「はじおつ。これはもしかしてひょっとしてラブコメなのでは〜と中古屋で立ち読みした時から気になっていました...o(κ)=κ^++からaleph_ω上でSCH壊れてるモデルを得る時にaleph_ωをforceする部分の強制法2018-05-125/6にイベント「ブレンド・F(es)」に参加してきたって話レポ記事とか憧れるんですけど出来る気がしません。なんでかって、多分自分は要点をまとめる能力が致命的に欠落しているからです。これは多分オタクがダラダラ感想を書き連ねるだけになると思います。conditionの証明という話を諸々あって書いたのでせっかくなので公開します。最近オタクの質が落ちているのでなんとかしたい。軽率にアキバに行きたい。conditionの証明2018-04-06Silver-Solovayの解になるような強制法が存在しないような状況こんにちは。前にこんなブログ記事を書きました。私は末続このはちゃんには幸せになってもらいたいと常日頃から思っていまして。そのために、大野仁子ちゃんへの正体カミングアウトは必須イベントであると思っていたわけです。Forcingのざっくりしたノートゼミのノートを上げようと言うやつです。実はゼミのノートは結構な量があるのですが、まとめて作ったら誤植のオンパレードになって大惨事なので、最初から無理せずこうやって小分けにして書けばよかったのです。Forcingのざっくりしたノート2017-12-04Gitik-Sharonモデルについておはようございます。ゼミでGitik-Sharonモデルの紹介をして資料を作ったので公開しようかと。これからGitik-Sharonモデルを勉強したい!と思っている人が読むと「この話は一体どこの論文に載ってるんだ...」という時に参考になるかもしれません。アニメ、ブレンド・Sが放送開始してもう1ヶ月半経ちますね。5,6話はまだ見れていないのではやく見たいのですが満を持さねば見れないタイプのオタクなので色々と悩んでいます。絶対に万全を期して見たい。ひでりきゅん回で...叡山電鉄のブレンド・Sコラボ見に行けたのでまとめ2017-11-03発表スライド若手の会2017お疲れ様でした。発表したので発表スライドです。一応誤植というか確認できたタイポを訂正して、最後の部分をちょっとだけ訂正した版です。forcingが基数を保ち可測基数を特異基数化する証明のアウトラインみたいな...発表スライド次のページプロフィールid:mnsthkr96112無限組み合わせ論を面白がっている情報科学科の学生でしたが特異基数組合せ論を専攻する数学科の院生になりました。プロフ画像はB1のときに作った公理的集合論オムライスです。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。