尊みで飯が食える

twitterアカウントは@mg_toHKRです。萌え4コマまんがと特異基数がテーマのブログです

椿乙女さんの心の声における刑部聖さんへの呼称について

あけましておめでとうございます。

 

2019年ですね。

 

それはさておき荒井チェリー先生作品の1つ、過去にキャラットで連載されていた"せいなるめぐみ"をご存知でしょうか。

 

私はリアルタイムで読んでいませんでしたが、荒井チェリー先生の傑作集、Cherry etc.の下巻や、単行本を購入することで読みました。 

 

  

  

 

せいなるめぐみは、三者三葉主人公の1人である葉子様の中学時代の友人である、刑部聖が高校進学を機に通っていたお嬢様学校である迷迭香女学院から隣の市の普通高校に籍を移し、

 

そこで再会した聖の従姉妹、一柳ひよりちゃんと、ひよりの幼なじみの新宮光正君や椿乙女さん達と仲良くなり、その日常を描く...みたいな話です。

 

ここではその椿乙女さんの話をします。

 

椿乙女さんについて、登場人物紹介の文を引用すると「脳内ツンデレ。旅館の娘。」

 

 

彼女は表面上は穏やかな物腰で人と接するのですが、内心はとんでもない事を考えていたりして、周囲に悟られる事なく暴走するキャラで見ていて飽きません。面白いキャラです。

 

 

例1(聖への心の中での呼び名を考える椿乙女さん)

f:id:mnsthkr96112:20190106234049j:plain

例2(聖に褒められる妄想をする椿乙女さん)

f:id:mnsthkr96112:20190106234252j:plain

  

 

彼女は登場人物紹介にもあるように、椿旅館という老舗旅館の娘として生まれ、これまで欲しいままにしていたお嬢様キャラを聖に奪われ、あれやこれやで対抗意思を持ちます。心の中で彼女への叫びを放ち続けるのですが、心の中での聖への呼称も物語が進むにつれ変化していきます。

 

そこで1巻を読んでいると、心の声であまりにも聖を意味する単語が多いと感じました。

 

そういうわけで、本記事は"何回心の中で聖を意味する言葉を発したか?"という問いに答えるべくコマを数えた、というものです。

 

 数えるに当たって以下の注意をば

  • 数える基準は、"聖を意味する単語"のみとします。例えば「刑部の娘」「刑部の」という呼称を用いることがありますが、コマによって「刑部」は家そのものや家系を表す事があるため、そういう場合はカウントしません。
  • また、「刑部の家」という表現の「刑部」についても、彼女の住む家に対する言及なのでカウントしません。
  • 乙女の想像の中の光正君が「聖ちゃん」という部分は"彼女の"心の声ではないと判断したためカウントしません。
  • 心の声があるコマのカウントについて、「!?」だけのコマはカウントしません。
  • 1巻書き下ろしは迷迭香の話をしているだけだったので記載しませんでした。2巻書き下ろし、2巻カバー裏も似た理由で記載していません(調査目的はどれくらい聖を意味する単語を話しているか)

 

まず1巻収録分です。

 

1 2 3 4 5 6 7 8 9 10 11 12 13 14
刑部の娘       6 4 3 1 3 3 1        
刑部の       1 5 1 1 4 3 2        
聖たん               1   3 2 2    
聖さん               1            
聖ちゃん               1            
聖さま               1            
聖きゅん               1            
聖たま               1            
聖りゅ               1            
                             
心の声があるコマ       21 13 10 9 10 15 13 7 5 1 7

 

 

1,2,3話はそもそも乙女ちゃん未登場です。

 

また、聖さん〜聖りゅについては呼称を悩んでいる部分なので1度のみの登場です。

 

13話については女子校の事考えてただけですね。


このように、1巻は結構呼び名が推移するのですが、グラフでまとめてみると以下の感じになりました。 

 

f:id:mnsthkr96112:20190106222235p:plain

 

最初は刑部の娘、と呼んでいますが早口(?)になってくると"娘"を省略して"刑部の"になる印象。呼び方が決まってからはずっと聖たんと呼んでいます。*1 *2 *3

  

 

2巻収録分は次のようになりました。

15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
刑部の娘     1                        
刑部の     1               1        
聖たん     4       1 1   1     1 2  
                               
心の声があるコマ   4 13 5 3 6 2 9   2 9 5 7 6  

 

17話で急に刑部呼びに戻っているのは「裏切られたのでは?」という疑念によるもの。25話も似たような理由ですね。*4

 

 

 

まとめ

 

心の声があるコマの数 182
   
“刑部の娘”の数 22
“刑部の”の数 19
“聖たん”の数 18
“聖さん”の数 1
“聖ちゃん”の数 1
聖さま”の数 1
“聖きゅん”の数 1
“聖たま”の数 1
“聖りゅ”の数 1
   
聖を意味する単語の数 65

 

というわけで、1コマに1回聖を意味する単語を発すると思うと3コマに1回くらいは聖に叫んでる事になりますね。*5まあ序盤で叫びまくってるから後半はそうでもない。

 

後半は心の声少なめでみんなと結構話している印象があるのですが、そういった暴走?百合妄想?が大人しくなったな、と思っているとぶっこんできて、キャラの強さみたいなのは時間経過でちっとも失われません。

 

それにしても物語の後半は読んでいるとやはりシリアスな空気が流れたりして、ちょっと悲しい気持ちになりかけるのですが、流石荒井チェリー先生の漫画というか、すぐにギャグでそんな空気を緩和してくれるというか、基本的に笑って読んでいられますね。

 

というわけで情報でした。一応ダブルチェックとかしてますが、間違ってたら教えてください。あと数え方がおかしいとかの指摘があればください。

 

 

参考文献

 

荒井チェリー, せいなるめぐみ(1), 芳文社, 2010

荒井チェリー, せいなるめぐみ(2), 芳文社, 2012

 

*1:そんなもんグラフにしなくてもわかるだろ!とは思うんだけど数字で見れるとちょっと楽しくないですか

*2:それとグラフ書いてるけど、コンスタントに出番が多いわけでもないので単純な数値比較は出来ないっていうかこのグラフの意味はあまりない

*3:まあ"聖たん"が"刑部の"、"刑部の娘"を追い抜く瞬間がちゃんとあるよってことで

*4:憎いやつめ...!と言いながら「い...いやちょっと憎いやつ...いや小悪魔め...っ!」と少しやわらかくなる所が非常に好きです

*5:その計算はおかしい、というのは尤もなので統計が詳しい人ちゃんとやってください

発表スライド

若手の会2018お疲れ様でした。

 

沖縄は楽しかったです。というわけで今年の発表スライドです。

 

Laver's indestructibilityとPrikry type forcingが合わさって最強に見えるという話をしました。

 

www.dropbox.com

 

ファイル名がsliteなのはタイポですが特にこだわりはなかったので最後までこのままでした

Prikry conditionを使ったRowbottomの定理の証明

以前なんかRowbottomの定理を使わないでPrikry conditionを証明しよう、みたいな記事を書いていた気がする。

 

mgtohakari.hatenablog.com

 

今回書いたのはPrikry conditionからRowbottomの定理が証明出来るよって話。

 

なんと前回の記事と併せるとRowbottomの定理が証明出来てしまうのだ!

 

というわけでこれは月刊Rowbottomの定理を作るの2月号になります。

 

フツーの証明はKanamoriの§7に書いてあった気がする。§8だっけ?まあいいか

 

うーんでもRowbottomの定理もPrikry conditionも私はあまり違って見えないのです。Prikry conditionってなんだろう?という漠然とした疑問を抱いているんですけど「Prikry conditionとはすなわちmeasureに関する分割の性質そのものである」みたいなことが言えて欲しい。というはかり予想があります。

 

それはそれとして来月号のまんがタイムきららは15周年記念号らしい。楽しみですね!

 

 

www.dropbox.com

 

今気付いたけどファイルの名前がtheoremじゃなくてthemremになってた。まあいいか...

可測基数のlimitになっているような特異基数上でのpolarized partition

そういえば前に読んだ論文の証明面白かったな〜と思ったらそのときにノート書いてた。

 

せっかくなので軽く加筆して公開することにした。

 

これZFCから証明出来るんじゃないですかね〜と思うけどもしかしたらとんでもないところから反例作れるのかもしれない。ちなみに私が使えるPrikry type forcingは全部ダメであることが知られています。いや一応は考えましたが...

 

まあcofinality ωにした瞬間終了だし非可算にするやつはPrikry sequenceが殆ど至る所で可測基数になってしまうので...

 

そういや小さい所のmeasurableをポコポコ壊す話というと最小のstrongly compactと最小のmeasurableが一致するモデルが作れるという話があったなあ。あとで読まねばならんと思いつつ半年くらい経過した

 

この前PFAのモデル作る話を公開したけど、せっかくなので連続体濃度がω2になる話でも読んで加筆しようか、と思ったけどそこまで簡単でもなさそうだった。Open Coloring Axiomというの、なんか実数がどうとか言っていてあんま読む気にならん〜

 

まあ気が向いたら適当にやろう。証明の概略としてはOCAからbounding numberがω2に、PFAからbounding numberが2^ωになることが証明出来るそうです。PFAからOCAが出てくるのでそういう感じらしい。PFAからω1<2^ωはMA_ω1を経由すれば簡単だけど、そんなノリで出てくるんじゃなかろうかと思っていたらどうもそうでもないらしい。

 

 

www.dropbox.com

 

 

 

あーなんかあれやこれやでお金がない。きらら展の前売り券とか全買いして保存しておきたいとか思っていたけど、まだ2枚しか買えていないなあ。

 

前売り券買っても当日券も販売するという話を聞くし、前売り券使うの...?使えなくない...?みたいな気持ちになってそっと仕舞っておく未来が見える。でもどうなんだろう?券回収されないといいな。せっかくだし手元に置いておきたい。

 

そういや最近肉というと鶏肉ばかり食べているな。スーパー行くとつい鶏のササミを買ってしまう。鶏肉のピカタとか簡単に作れて美味しいよね。

 

学食でもチキンなんちゃらとかチキンカツカレーとか、なんか豚や牛のhogehogeと比べると値段が少しばかり安いのでつい鶏を選びがち。いや美味しいからいいんだけど。

 

PFAの無矛盾性証明についてのノート


おはようございます。

 

PFAの無矛盾性証明を読んだのでそのノートを書きました。

 

PFAはMAの強化版みたいなやつで、無矛盾性証明のアナロジーも似通っているところがある気がします。

 

MA_ω1の無矛盾性はsizeがcontinuum未満のc.c.c.を並べてiterationしまくるというもので、これだけで良かったのは任意のc.c.c.とω1コのdenseについてそれと交わるfilterを作るのにはsizeがcontinuum未満の部分順序を見ればよかったからですが、

 

properはc.c.c.に比べてとても広いclassなのでそういう事が出来ないっぽい。

 

ではどうするのかというとκをsupercompactとして、それによるLaver functionを使って長さκのCS-iteration P_κを定義して、任意にPFAの仮定となる(P,D)を取ってきたらj(P_κ)_κ番目にそのPが来るようにしてやろう、みたいなことをやります。

 

 

実際はその(P,D)の中に道中のposetが埋め込める事を示そう、みたいな事やりますがそこはわりとelementary embeddingで伸ばして超準元みたいなもの取ってj(κ)未満に良いwitnessがあるからκ未満にもあるよヤッターみたいないつもの論法ですね。

 

いや〜頭いいですねこの証明。本が採用しているであろうiterationの定式化と自分の定式化が違ってnotationが煩雑になった事を除けばめちゃくちゃ気分が良いです。

 

それとPFAはある意味でω2にsupercompactnessを載せてるようなもんだよ、と言われたことがあるんですけど実際このposetはsupercompact κをω2につぶしてくるんですね。



それはそれとしてまんがタイムきららで連載中の「放課後すとりっぷ」を皆読みましょう。

 

 

 

www.dropbox.com

 

(追記)

PFAはSCHを導いたりsupercompactっぽい振る舞いをするのでPrikry type forcingとかするとすぐに壊れる。まあPrikry type forcingはそもそもsupercompactness壊すのでそれはそうなんですけど

エビだ!みなせだ!水無瀬駅だ!

おはようございます。

 

今日神戸出張から帰ってきたのですが、せっかく近場なので時間がある時に水無瀬駅に行ってきました。

 

水無瀬駅は阪急京都本線の駅で、何か特別な場所があるのか?というとそこまで超有名な場所はないと思うんですけど、

 

私の好きなゲーム「ぶらばん!」の登場キャラクターは関西の駅から名前が取られており、その中で自分がここ10年くらいのオタク生活で嫁と位置するキャラクターの名前がこの水無瀬駅から取られています。

 

そのキャラクターの名前は「海老原みなせ」というのですが、可愛い奴です。

 

明るく元気に振る舞うムードメーカーでありながら結構重い過去を抱えていて、過去の悲劇が由来して今の環境から逃げがちで、そんな中主人公と出会い、一緒にいるうちに心を開き、共に悩み、徐々に前を向いていく...そんないい話です。

 

あと妹も可愛い。まあそこは置いておいて、ともかく私はみなせが大好きなのです。

 

 

そんなこんなで水無瀬駅来訪してきました。まあ本当に来訪しただけなんですけど...

 

f:id:mnsthkr96112:20180921172033j:plain

 

f:id:mnsthkr96112:20180921172151j:plain

 

 

 

せっかくなので水無瀬駅周辺を散策しました。

 

ちょっと調べてみると水無瀬神宮というのがあるらしいので参拝に。

 

f:id:mnsthkr96112:20180921172335j:plain

 

f:id:mnsthkr96112:20180921172446j:plain

 

境内は風鈴がたくさんあって綺麗だった。

 

f:id:mnsthkr96112:20180921172551j:plain

 

あとなんか良い感じ(と本人は思っている)の写真。

 

f:id:mnsthkr96112:20180921172522j:plain

 

気持ちの良い場所でした。風鈴の音がなんとも涼しげ。絵馬みたいなものらしく風鈴の短冊(?)みたいな部分に参拝客の願いが書いてあった。

 

それと写真は取らなかったけど湧き水が有名らしい。地元の人たちが容器を持って汲みに来ていた。

 

外部から来た人間が地元民の生活をパシャパシャするのあんまり良くない気がする...と思い写真は取らなかったけど、こういう光景に出会えるとちょっといい気分。

 

まあそんな感じでした。

 

本当にただの日記だな...

○ズール○ーン編成紹介

真面目な編成考察ではないので真面目な指揮官は見ない方が良いです。


あと劣情をぶちまけるので人間の方も見ないほうが良いです。


最近罪を数えろって言われてる気がしたので罪を数えてみました。




私はのプレイスタイルは大変不真面目なので、アズー○レー○は好みのキャラを育てたり育てなかったりするゲームだと思っているのですが、プレイしてると


「あっ、この子は悪い男に引っ掛かりそう」


とか


「本当は処女なのに淫乱呼ばわりされてそう」


等と言った連想が容易に行われます。全くけしからんゲームだ。


そこで性的な意味で酷い目に遭いそう(主観)なキャラを中心に育てていたら次の艦隊が出来ました。


f:id:mnsthkr96112:20180909202056p:plain


愛のないックス艦隊*1です。


これは愛のないセックスを受けそうな○ズ○ンキャラを集めた艦隊です。要するに絶対にロクな男に引っかからないのに良い子でかわいそう可愛いというキャラを育てているのです。

クレイヴンちゃん

いやクレイヴンちゃんって絶対にえっちだと思うんですよ。ていうか天真爛漫な笑顔の裏腹に身体がドスケベすぎる。

なんなら○ズール○ーンで最もハイエースされそうなキャラクターだと思っています。

私は先見の明があるので「場外のチアリーダー」実装の前にクレイヴンちゃんの身体に目をつけていました。



ていうか本当に最悪じゃない?何なのこのオタク...

ので、「クレイヴンちゃんは遊びのつもりでえっちな応援もしてくれるが恋愛感情はない」という体でプレイしていた*2のですが、

如何せん○○ール○ーンは好感度システムがあって育成していると好感度が上昇して急にいじらしくなるんですよね。

「指揮官さんが望むと言うのなら、い、いつでも応援してあげてもいいですよ...(小声)」

等と言い出すわけです。可愛い。いやかわいいな?どういうことなの...

これまで指揮官と爛れた関係を築いてきたクレイヴンちゃんが心のふれあいを望むようになったんですよ。本当にハッピーエンド説があるんですけど、

指揮官は他の女の子達とも関係を持っているし、なんならクレイヴンちゃんの身体しか見ていないんですよね...という設定なのでクレイヴンちゃんは愛を持って抱いてもらえないし、指揮官とのえっちの時はしつこいくらい避妊されるし終わったあとはそそくさと服を着て退席されそう。

こんな感じで弊港のクレイヴンちゃんは最も愛のないックス艦隊にふさわしいんですよね。


それはそれとして場外のチアリーダーめちゃくちゃえっちじゃない?あの「射爆」とか「阿!」みたいなドスケベポイント図示やろうかと思ったくらい。

このクレイヴンちゃんはアクセサリーの雰囲気やおへそのハートマークの背伸び感が本当にえっちだと思います。

それでいてくびれや大きくはない胸が女であることを主張するわけで...

あと太もももえっち。

おへそもえっちですね。

いや全部えっちだな!?!?!???!!!!?????


残りのキャラはクレイヴンちゃんみたいにちゃんとした証拠があるというよりは私の想像でこうなってしまったみたいな言わば被害者です。ごめんね...

サラトガちゃん

うーんサラトガちゃんについてはやはり120円ネタが印象に強く残っていて9割方それのせい*3なんですよね。弊港のサラトガちゃんは嘘偽りなく120円なので...

でもなんやかんや使ってる*4。好き...

あとサラトガちゃんはイタズラ好きみたいな感じですけど、直接的に性的なイタズラはしないと思うんですよ。

一方で指揮官はクソなので

「指揮官、サラトガちゃんとお姉ちゃんの一番大きな違いってなんだと思う~?答えは、サラトガちゃんの今日の色、だよ~」

を挑発だと思ってしまうし仕返しとして性的なイタズラしそう。だから1回目は半ばムリヤリされそう。

こんな冗談は信頼の裏返しみたいなものがあったハズなのに、かわいそうなサラトガちゃん...

これをきっかけにサラトガちゃんは幾度となく「お前が悪いんだからな」というテンプレ言い訳セリフを大義名分に劣情をぶつけられることになるんですけど、ある日転機が訪れるわけです。

そうなんです、サラトガちゃんは先日ってほど先日じゃないけどアップデートで改が実装されたのです!

そしてめでたくアイドルデビュー!テレビ画面の向こうで輝くサラトガちゃん...うう...

きっとサラトガちゃんと指揮官が二度と再会しない事こそが彼女の幸せのためなのでしょう。

指揮官はもうサラトガちゃんの輝きを直視出来ないし、再会したらしたで生のサラトガちゃん*5に溜まった劣情をぶつけるんですけど、

それで子供が出来てサラトガちゃんはアイドル引退を宣言するけどそんなサラトガちゃんの前から今度は指揮官が去りそうですよね...こんな全員が不幸になるだけの結末を迎えてはならない*6んですよ...

そこまでヒドイ展開になってほしいわけじゃないけどサラトガちゃんがちょっと度を超えたイタズラをして仕返しにえっちなことされちゃうえっち同人誌は本当にえっちで良かったですね。

あとレキシントンにはこれからも良いお姉ちゃんでいてほしい...涙が出てきてしまった...私はサラトガちゃんを支えることは出来ないけど指揮官から守ってあげて欲しいですよね...


それはそれとしてサラトガちゃん改の手袋はえっちですね。

こんな文章を書いてから「大洋の休日」セリフを見ると本当に私はなんて最低な人間なんだという気分になるのでオススメです。ごめんねサラトガちゃん...本当にごめんね...


アトランタお姉ちゃん

アトランタお姉ちゃんこそ完全に被害者みたいなところあるんですけど、なんか普通に指揮官と清い*7お付き合いしてそうじゃない?

いや可愛いですよねアトランタお姉ちゃん。なんというか健気で、失敗もしてそうだけどそんな所含めて愛しいと感じるキャラクターです。任務への態度は真面目だし、妹想いだし...

それはそれとして妹のサンディエゴについては割と性に関してオープンな印象あります。普通にセックスを楽しんでいそうで指揮官との関係も割り切っていそうです。

弊港ではサンディエゴとは恋愛関係ではないのでセーフです。あくまで弊港の話です。急に言い訳がましくなってきたな...

それは置いておいて、アトランタお姉ちゃんは普通に指揮官とデートしたり、デート前日の服選びで夜が開けてしまいそうな印象がある。

あと最初は姉として頼ってほしい、みたいな感じなのに途中から遠回しに好意を伝えてくるところとかめちゃくちゃかわいくないですか?あとパンツ見えてて意外と隙が多い。

でまあ普通に幸せになってほしいなあと思うんですけど、

という事を考えていたらこんな所にいては行けない...はやく別の、大切にしてくれる港に行って欲しい............と思うようになってしまった。本当に申し訳がないしこの姉妹が一番の被害者だよ!あとサンディエゴ20体くらいいるんですけどどうすればいいんですかね。

アトランタお姉ちゃんはNTRれとか似合うと思います.......................................


あとアトランタお姉ちゃんの失望セリフは個人的にかなり好みです。まだの人は図鑑をチェックしましょう。

フォルバン

実はつい最近まで愛のないックス艦隊は3隻で、しばらく私がアズ○ンから離れていたんですよね。久々に再会するか〜って戻ってきて建造回したら出た艦です。

従来の愛のないックス艦隊はピンク髪オンリーの見た目淫乱艦隊だったんですけど、ついにパツキンのチャンネー要素が来てくれました!しかも騎士!

あとどことなくエルフ耳似合う*8よね。この時点で嫌な予感がするんだけど一番の問題は多分同時に実装された着せ替え「フルール・ド・ブラン」のせいです。

我々田舎の路上に捨てられているエロ漫画を読んで育った世代として、白い清楚な服は汚れるものと相場が決まっております。*9

「この服……あまり汚してはいけませんね」


はい。*10

いや本当に泣いちゃった。泣いちゃいますこれは泣いちゃう。うーんなんかそういう目に遭うために生まれましたみたいな雰囲気じゃん。私は悪くない。アトランタお姉ちゃんとサラトガちゃんについてはまあ私のマインドが色濃く反映されているんですけど、

フォルバンはまだ色濃くどころか一色も反映されてないんですよ。*11



うーーーーーーーーーーーーーん無理。それとまだ来たばかりで如何せん不真面目にプレイしているのでまだ好感度は友好です。失望セリフすき

「忠誠を誓った対象がこのような方だと先輩方に知られたら...私を責めるのでしょうか、それとも宥めるのでしょうか...」

ごめんね...

まだ失望されてないんで。これから指揮官との関係がどうなるか楽しみなんですけど唯一指揮官と関係ないところでヒドイ目に遭いそう。

一応、愛のないックス艦隊の趣旨は性的な意味で酷い目に遭いそうというものなので間違いではない。


あとフォルバンのおっぱいなんなんでしょう。騎士として恥ずかしくないの?

パイズる時に下からつつんで扱く、というよりは上から突っ込まれそうだよね。ていうかデフォルト衣装にせよ改の衣装にせよフルール・ド・ブランにせよ上から突っ込むための隙間が開いてるよね...



いや本当に自分にこんな最悪な一面があるとは思いたくなかったんですよね。おおよそX続Yのはという奴のせいなんですけど...

これは本当なんですが、別にキャラクターの不幸を願っているというより幸せを願う時に「こういうことがあってはならない」みたいなのを想像しがちで、

それが悪い方悪い方へ...気がついたらそんな彼女たちを応援していたのもまた事実です。ので彼女たちの幸せそうな姿を見ると本当に嬉しいですね*12

皆も愛のないックス艦隊を作って彼女達を応援しよう!!!!




別に作らなくてもいいです。

*1:[愛のないックス艦隊 アズレン]で検索するとサセックスの情報が出てくる

*2:いやでも「指揮官さんまた元気がないようですね。クレイヴンがナデナデしてあげましょうか?」とか言うんですよね。一体どこをナデナデするんだって話で

*3:私悪くなくない?

*4:劣情の捌け口として使っているわけではない

*5:指揮官は雑誌のアイドルサラトガちゃんグラビアに劣情をぶちまけがち

*6:これだけは信じて欲しいんですが別に私は彼女たちの不幸を願っているわけではない

*7:と本人は思っている

*8:先輩がエルフは人間のオナホだと仰っていた。実にその通りだと思う。人間のオスはムラムラしたらエルフの森に行くだけで良い

*9:こんな人間を増やさないためにもポイ捨てはやめよう

*10:はいじゃないが

*11:だってこんなに真っ白じゃないですか

*12:某続は幸せになったので本当に嬉しかった