ゼミのノートを上げようと言うやつです。 実はゼミのノートは結構な量があるのですが、まとめて作ったら誤植のオンパレードになって大惨事なので、最初から無理せずこうやって小分けにして書けばよかったのです。 内容なまぁよくあるPrikry type forcingです…

おはようございます。 ゼミでGitik-Sharonモデルの紹介をして資料を作ったので公開しようかと。 これからGitik-Sharonモデルを勉強したい！と思っている人が読むと「この話は一体どこの論文に載ってるんだ...」という時に参考になるかもしれません。 www.dro…

おはようございます！ アニメ、ブレンド・Sが放送開始してもう1ヶ月半経ちますね。びっくり。 5,6話はまだ見れていないのではやく見たいのですが満を持さねば見れないタイプのオタクなので色々と悩んでいます。 絶対に万全を期して見たい。ひでりきゅん回で…

若手の会2017お疲れ様でした。 発表したので発表スライドです。 一応誤植というか確認できたタイポを訂正して、最後の部分をちょっとだけ訂正した版です。 一番基本的なPrikry type forcingが基数を保ち可測基数を特異基数化する証明のアウトラインみたいな…

こんばんは！もう朝ですが。 10/7日、ついにブレンド・Sの放送が開始しましたね！ 例のごとく何度も繰り返して見てるんですけど、良すぎて全部の感想を書くのが無理という話で、twitterでダラダラ書いてたらなんかTL占領してたのでそれならせめてOPの好きな…

真面目なブログ記事です。 ↑これ訂正なんですけど、私真面目なことしか書いた覚えがなかったです。 最近Queen問題というものを知りました。 これはチェスの盤に8個のクイーンを重ならないように置けるか？という問題です。 クイーンは任意の縦横斜め方向に好…

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

まんがタイムきらら6月号が発売されました！ スロウスタート、アニメ化おめでとうございます！！ いや楽しみですね、今からもうワクワクします。 この記事は三者三葉の感想みたいな記事ですが。 で、内容はタイトル通りなんですが、 まんがタイムきらら6月号…

あっ、今月号のネタバレあります。 ネタバレはあるけど中身はないです。 ちゃんと前置きしたので。 先日ぱれっと5月号を買ってきました。 で今月号の未確認で進行形を読みまして。 人気投票回の続きでして。 誰に投票する～みたいな話題で末続このはが仁子ち…

こんにちはこんばんは。 前回は無限基数の「有限項」の和、積の演算に関しては大体自明ということを示しました。 今回は無限項の演算を考えるうえで重要になるKonigの定理を紹介しようと思います。 Konigの定理は次です: 定理(Konig) これの系で例えば次が言…

あけましておめでとうございます。 私は今年もきららを読んだりきららを読んだり数学したりします。 新年初の記事はJonsson代数について書く予定でしたが急きょ薗部篠の記事になりました。 一応注意書きです。 「三者三葉」や「いちごの入ったソーダ水」等の…