こんにちはこんにちは。今日はアンケ締切日ですがいかがお過ごしでしょうか。 えっ私は今投函してきたけど...まあ色々あって感想書くスペースが足りなかったんでブログで書こうというやつです。たまにはね というわけで以下の感想を書きます ほぐして、癒衣…

こんばんは。 ぎんしお少々1巻発売の7月27日まであとわずかですが、皆様いかがお過ごしでしょうか。 今当記事の最重要情報が出ました。買おう！読もう！ seiga.nicovideo.jp 今ならきららベースで3話まで読めます。 当記事は、作中屈指の家事スキル溢れるキ…

こんにちは。 7月27日発売のぎんしお少々1巻 が楽しみですね!!ひじょうに! ところで本日6月30日は七瀬七穂さんの誕生日*1です!!! ななちゃんさんの話をしましょう。 最近プラトンを読んでいるのですが、何かを賛美する前にそれが何者か明らかにしてから賛美…

最近ブログ書いてないので何かぼやいておくか、という記事です。 読まなくても大丈夫です。普段なんとなく思ってることをリアルの知り合いに言ったりするのですが、こういう話をすると大体嫌がられるわけで、ブログに書けよという話です。ここはブログ。ヒア…

本記事はまんがタイムきららAdC 2020の20日目の記事です!! 素敵な企画感謝です!色々読めて楽しい adventar.org ところで本記事は放課後すとりっぷに関するあれこれを書こうという記事です。 めちゃくちゃネタバレするので未読の方々は是非読んでください! co…

adventar.org Mathematical Logic AdC16日目の記事です!峻厳イデアルの簡単な説明を書きました~よろしく~~~~~~~間違えてたら教えて... drive.google.com

その1はどこだよって言うと2017年10月22日です。記念すべきみでし100話目が掲載されたぱれっと12月号発売日ですね。 そしてみでし11巻特装版特典のドラマCDの末続このはがカミングアウトする回が収録されましたね。 この回はとても大好きなんですけど、そも…

こんにちはこんにちは。 最近色々あって死んでたんですけど、2020年5月号のまんがタイムきららを読むことでなんかオタク活力を色々と取り戻した気がします。 若鶏にこみ先生のご帰還本当に喜ばしいですね。おめでたい...！「ぎんしお少々」今後が楽しみです…

こんばんはこんばんは。今日2度目の更新ですね。 ゼミでMagidor強制とSquareに関する、最近のLevine--Sinapovaのプレプリントを読んだのでMagidor強制ついでにそれのノートです。 www.dropbox.com これはいわゆるpseudo Prikry sequenceと呼ばれる分野の問題…

Mathematical Logic Advent Calendarの18日目です。Namba強制の準適正性にかんする話です。

なんか文字を書きたい。 なんか大概ロクな事考えてないし思想も大概な人間なんだけど、 自分の考え方は大好きなのでどっかで文字に残しておきたいな〜ツイッターだとすぐに流れてしまうし。 でも何かを書こうと思ってペンを取ったわけではないから何を書けば…

お久しぶりです。 たまには醜い感情を吐露した方がいいな〜と思ったので数カ月前に感じていた事への感情の整理がついたのでそこら辺の話でも書きます。たまには文字に起こしたほうが良い。 案の定ポジティブなことは書いてないので普段に増して読まないほう…

こんばんは。 Extender-based Prikry forcingというものがあります。 これは通常のPrikry forcingのように、有界集合を一切付け加えずにPrikry sequenceを大量に追加するposetです。 ので主にGCHがある特異基数で最初に壊れるモデルを作るのに使われたりしま…

久々ですね。 最近話す機会があったので勉強してまとめたノートをそれっぽく公開するアレです。 Ben-David--Magidorのモデルとは上にsquareがないけど、weak squareがあるというモデルです。 特に、weak squareはsquareの存在を導出しないことがわかります。…

えーとこんばんは。 まんがタイムきららキャラット2019年4月号にて「エクソシストと首輪の悪魔」が完結しましたね。 毎月楽しく読んでおり、最終回も寂しさを覚えつつ最後まで楽しませてもらいました。 ラブコメ好きで特に夫婦漫才が好きな人は読むと幸せに…

えーとなんか独り言のつもりで記事作成画面開いてダラダラ書いてたらツイッターでダラダラ話している事のまとめみたいになったのでそのまま投稿するやつです。 未確認で進行形のネタバレとかがあります。 最近の末続このはちゃんは非常に幸せそうで私も幸せ…

あけましておめでとうございます。 2019年ですね。 それはさておき荒井チェリー先生作品の1つ、過去にキャラットで連載されていた"せいなるめぐみ"をご存知でしょうか。 私はリアルタイムで読んでいませんでしたが、荒井チェリー先生の傑作集、Cherry etc.の…

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

以前なんかRowbottomの定理を使わないでPrikry conditionを証明しよう、みたいな記事を書いていた気がする。 mgtohakari.hatenablog.com 今回書いたのはPrikry conditionからRowbottomの定理が証明出来るよって話。 なんと前回の記事と併せるとRowbottomの定…

そういえば前に読んだ論文の証明面白かったな〜と思ったらそのときにノート書いてた。 せっかくなので軽く加筆して公開することにした。 これZFCから証明出来るんじゃないですかね〜と思うけどもしかしたらとんでもないところから反例作れるのかもしれない。…

おはようございます。 PFAの無矛盾性証明を読んだのでそのノートを書きました。 PFAはMAの強化版みたいなやつで、無矛盾性証明のアナロジーも似通っているところがある気がします。 MA_ω1の無矛盾性はsizeがcontinuum未満のc.c.c.を並べてiterationしまくる…

おはようございます。 今日神戸出張から帰ってきたのですが、せっかく近場なので時間がある時に水無瀬駅に行ってきました。 水無瀬駅は阪急京都本線の駅で、何か特別な場所があるのか？というとそこまで超有名な場所はないと思うんですけど、 私の好きなゲー…

真面目な編成考察ではないので真面目な指揮官は見ない方が良いです。 あと劣情をぶちまけるので人間の方も見ないほうが良いです。 最近罪を数えろって言われてる気がしたので罪を数えてみました。 私はのプレイスタイルは大変不真面目なので、アズー○レー○は…

私は非常に時間を作るのがヘタクソなオタクなので漫画を"積む"という行為をよくしています。 ので定期的に漫画一斉開放日みたいなのを作るのですが今日がそれです。 普段はフツーに読んで満足して寝るという流れなんですけどせっかくなので感想を書きながら…

最初に言い出したのは誰なのかしら。 ときメモ2がやりたい。 ときメモ2といえば親友エンドあったよね。匠が女だったりして告白されるという夢オチだけど末続このはが主人公なら大野仁子ちゃんが親友枠なわけです。 大野仁子ちゃんが女の子というのは現実なの…

末続このはちゃんにこのような顔をさせるバカップルは誰だ！？！？！？！？！？？！！！！！！！！！！！！？？？？？？？？？？ なんだ小紅ちゃんと白夜くんか... ところで私の地元？ってほど地元ではないですが木の葉パンというものがあるのですが、 いつ…

おはようございます。 polarized partitionにはspectrum問題というものがあります。 これの紹介です。 Blass-Shelahのモデルについて全く紹介出来ていませんが難しいのでまとめられたらこれはこれで別にノート作ろうかなあと思います。 www.dropbox.com まあ…

おはようございます。 なんか分極された分割の性質？というものを最近やっています。 ？ってなんだよ、お前それやってるんだろ、という話なんですけど日本語訳がわからないっていうか存在しないのです。polarized partitionとか言うんですけど。 参考文献と…

なんか結構Prikry type forcingのノート上げたりしてません？ Prikry type forcingについては本当にネタが満載なんですよね。のでまとめリンクでも作ろうかと思った記事です。 Basic Prikry Forcing Supercompact Diagonal Prikry Forcing Extender-Based Pr…

まぁそれはおいておいて、 最近お金が出来たので漫画が買えてハッピーです。 ので、前々から気になっていた卯花つかさ先生の「はじおつ。」の1,2巻を購入。 これはもしかしてひょっとしてラブコメなのでは〜と中古屋で立ち読みした時から気になっていました…