尊みで飯が食えるスマートフォン用の表示で見る尊みで飯が食えるtwitterアカウントは@mg_toHKRです。萌え4コマまんがと特異基数がテーマのブログです2019-12-18Magidor強制の後のSquare列のノートこんばんはこんばんは。今日2度目の更新ですね。ゼミでMagidor強制とSquareに関する、最近のLevine--Sinapovaのプレプリントを読んだのでMagidor強制ついでにそれのノートです。Calendarの18日目です。Namba強制の準適正性にかんする話です。Namba強制の準適正性について2019-12-02独り言と最近の事なんか文字を書きたい。自分の考え方は大好きなのでどっかで文字に残しておきたいな〜ツイッターだとすぐに流れてしまうし。あらこの編お久しぶりです。醜い感情を吐露した方がいいな〜と思ったので数カ月前に感じていた事への感情の整理がついたのでそこら辺の話でも書きます。文字に起こしたほうが良い。あらこの編2019-06-06Extender-basedの準備ノートこんばんは。forcingというものがあります。sequenceを大量に追加するposetです。GCHがある特異基数で最初に壊れるモデルを作るのに使われたりしま...Extender-basedの準備ノート2019-05-31Ben-David--Magidorモデル久々ですね。最近話す機会があったので勉強してまとめたノートをそれっぽく公開するアレです。squareがあるというモデルです。squareはsquareの存在を導出しないことがわかります。...Ben-David--Magidorモデル2019-03-30シュリちゃんかわいいかわいいえーとこんばんは。まんがタイムきららキャラット2019年4月号にて「エクソシストと首輪の悪魔」が完結しましたね。毎月楽しく読んでおり、最終回も寂しさを覚えつつ最後まで楽しませてもらいました。ラブコメ好きで特に夫婦漫才が好きな人は読むと幸せに...シュリちゃんかわいいかわいい2019-02-26あれこれえーとなんか独り言のつもりで記事作成画面開いてダラダラ書いてたらツイッターでダラダラ話している事のまとめみたいになったのでそのまま投稿するやつです。未確認で進行形のネタバレとかがあります。最近の末続このはちゃんは非常に幸せそうで私も幸せ...あれこれ2019-01-06椿乙女さんの心の声における刑部聖さんへの呼称についてあけましておめでとうございます。それはさておき荒井チェリー先生作品の1つ、過去にキャラットで連載されていた"せいなるめぐみ"をご存知でしょうか。etc.の...椿乙女さんの心の声における刑部聖さんへの呼称について2018-11-26発表スライド若手の会2018お疲れ様でした。沖縄は楽しかったです。いうわけで今年の発表スライドです。forcingが合わさって最強に見えるという話をしました。conditionを証明しよう、みたいな記事を書いていた気がする。conditionからRowbottomの定理が証明出来るよって話。partitionそういえば前に読んだ論文の証明面白かったな〜と思ったらそのときにノート書いてた。軽く加筆して公開することにした。これZFCから証明出来るんじゃないですかね〜と思うけどもしかしたらとんでもないところから反例作れるのかもしれない。partition2018-10-12PFAの無矛盾性証明についてのノートおはようございます。PFAの無矛盾性証明を読んだのでそのノートを書きました。PFAはMAの強化版みたいなやつで、無矛盾性証明のアナロジーも似通っているところがある気がします。MA_ω1の無矛盾性はsizeがcontinuum未満のc.c.c.を並べてiterationしまくる...PFAの無矛盾性証明についてのノート2018-09-21エビだ!みなせだ!水無瀬駅だ!おはようございます。今日神戸出張から帰ってきたのですが、せっかく近場なので時間がある時に水無瀬駅に行ってきました。真面目な編成考察ではないので真面目な指揮官は見ない方が良いです。あと劣情をぶちまけるので人間の方も見ないほうが良いです。最近罪を数えろって言われてる気がしたので罪を数えてみました。私はのプレイスタイルは大変不真面目なので、アズー○レー○は...○ズール○ーン編成紹介2018-08-21読めていなかった漫画を読むぞっ私は非常に時間を作るのがヘタクソなオタクなので漫画を"積む"という行為をよくしています。定期的に漫画一斉開放日みたいなのを作るのですが今日がそれです。普段はフツーに読んで満足して寝るという流れなんですけどせっかくなので感想を書きながら...読めていなかった漫画を読むぞっ2018-08-21末続とか末続じゃないとか最初に言い出したのは誰なのかしら。ときメモ2がやりたい。ときメモ2といえば親友エンドあったよね。匠が女だったりして告白されるという夢オチだけど末続このはが主人公なら大野仁子ちゃんが親友枠なわけです。いつ...末続駅で木の葉パン食べたいなあ2018-08-20分極された分割の性質のspectrum問題おはようございます。partitionにはspectrum問題というものがあります。Blass-Shelahのモデルについて全く紹介出来ていませんが難しいのでまとめられたらこれはこれで別にノート作ろうかなあと思います。partitionのノートおはようございます。なんか分極された分割の性質?というものを最近やっています。?ってなんだよ、お前それやってるんだろ、という話なんですけど日本語訳がわからないっていうか存在しないのです。partitionとか言うんですけど。forcingについては本当にネタが満載なんですよね。まとめリンクでも作ろうかと思った記事です。