【positively ordered semigroupを研究するかわいい魔法少女に転生したkururu_goedelをアニメ風で】kururu_goedelだとどうなるか試してみた。自信満々気な眉毛メガネっ娘に、なんかやらかしたっぽい表情の左に、引きつった笑いで「これやばくない?」感を全面に出してる右とえらくキャラが立っているし本編が観たい。
【positively ordered semigroupを研究するかわいい魔法少女に転生した中年日本人男性集合論者をアニメ風で】頼んでないのに5人描いてきた。なぜか4枚描いた中で3枚がアニメ風で5人組、もう一枚が実写風で3人組。どうしても複数人描くと後ろの人たちの顔が溶ける。
【常温核融合の実験をしているかわいい魔法少女に転生した中年日本人男性集合論者をアニメ風で】これを「連続体仮説がZFCから独立であることを証明している」に変えるとunsafeだって言われるんですがどういうこと?
【かわいい魔法少女に転生した中年日本人男性集合論者がfully club guessing idealがweakly normalであることを証明するをアニメ風で】「証明する」絵を描いてくれと言っているときになぜか笑顔でダブルピースの絵を描いてくるのはなにかを勘違いしているのか、こちらをからかっているのか。
【かわいい魔法少女に転生した中年日本人男性集合論者がMardesic予想を証明するのをアニメ風で】転生前の姿のつもりらしいおっさんやおじいさんが出てくるのはなんとか避けられないものが。
【かわいい魔法少女に転生した日本人中年男性集合論者が構成可能宇宙でstrong club guessing sequenceを構成するのをアニメ風で】ようやくかわいいのが来た。おっさんばかりで疲れた。
かわいくなったのだけを載せているのでわからないと思いますが、unsafeとか怒られるのはまだしも、一旦変なモードに入るとおっさんが中途半端にメイクした状態でキラキラした服とキラキラしたバックグラウンドで写っているおぞましい画像が出てくるのでなかなか大変なのです。
【かわいい魔法少女に転生した中年日本人男性集合論者がCohen実数を強到達不能基数個付け加えるのをアニメ風で】日本語でやってみた。なんかなにかやっている感じが全くしないツインテメガネさんだ。
【かわいい魔法少女に転生した日本人男性集合論者がω_1上の全てのtail club gessing idealをプレシピタスにするのをアニメ風で】今日は一発で通った。idealを複数形にし忘れた。やはり小さい基数をgeneric large cardinalにする話のときは目線が水平か下に向いているっぽい。巨大基数をcollapseするイメージかな。
度重なるunsafeを乗り越えてこのシリーズを続けようと思っていろいろやっていたのですが、なんか一時間のサスペンドを食らってしまったので今日はなしです。「かわいい魔法少女に転生した男性集合論者」の時点でそうとうに警戒されているようです。全く夢のないAIだこと。
それと、「そのつど導出」はちょっとスローガンとして行き過ぎだと思うのだけど、辻褄があっているかちょっと考えるみたいなのはもっとやってほしいなと思います。明らかに増加している関数の微分が負になっているとか、正値の関数を正の方向に積分したのにマイナスになっているとか、公式に具体的な値をいれたら成り立っていないとか、そういうのをもっとチェックしてほしいと採点中によく思います。
アメリカ中西部の大学で集合論やってます。アバターはbing image creatorが想像するkururu_goedelです。
twitter:@kururu_goedel