長谷川由紀路 @ailinko@vocalodon.net

何が凄いって、巨大ロボットモノで「環太平洋地域」なんてタイトルつけるところだよな。感覚が違いすぎるわ。日本で作られたなら「獣王機神イェーガー」とかそんなかんじだよな。

ここでは、解説のために「f PTO(ZFC)+1(2)」を使います。

急増加関数f PTO(ZFC)+1(2)は、実際には「f PTO(ZFC)(f PTO(ZFC)(2))」までしか展開できません。順序数「PTO(ZFC)」を展開できる定義がないからです。

この「PTO(ZFC)」は「ZFC公理系でその整列性が証明できない最小の順序数」を意味します。例えば「PTO(PA)」ならば「ペアノ公理でその整列性が証明できない最小の順序数」となり「ω^ω^ω^ω^ω^…∞」であり、カントール標準形（基本列はワイナー階層）で展開することが出来ます。しかし「PTO(ZFC)」に到達したシステムは現存します。P進大好きBotの「巨大数屋敷」です。

では f PTO(ZFC) (n)がどれくらい強いのかと言うと、仮にバシク行列システムの停止性をZFCで証明がかのうであれば f PTO(ZFC) (n)の強さを持つ関数（例えば巨大数屋敷）はそれよりも強いということになる。

つまり f PTO(ZFC)+1(18)円はものすごくでかい。

推しの園田あいかさんが主演の映画がニース国際映画祭で最高賞のBestFilmを受賞。日本人では初めて。

監督の空下慎さんはわりと律義な人で、ブルーレイの予約サイトで、メールアドレスをミスしてしまったので修正のお願いを届け出たんだけれど（すでに入金済み、ま、メールアドレスは間違ってて問題ないと思うが）…　しばらく音沙汰がなく、何カ月したころに、監督本人からメールが来たという。普通、そんな業務、本人でやりますかね。

最近気づいた性癖。

たまに、いわゆる「AV」を旧DMMのサンプルで見るんですけど‥　乳首が出ると萎えるんですよね‥

不思議だったんですけど‥

ふと気づいた。エロではない、ま、普通の洋画で、たまにおっぱいが出て来ると「エッチ過ぎでしょ…」ってなるんだけど‥　

これ‥　

色だわ‥

「日本人の乳首の色」

これがが萎えるんだと最近、気づいた。

ちなみに、ウチの町は、運動会の景品が豪華で、参加すれば町費だけのモノが十分に返って来るみたいね。町が金持ちなので。

田舎で“余所者”が受け入れられるかどうかは「町費」を払ってるかどうかの１点にほぼ尽きると思う。

「翌日の午前３時」までがわりとシビアで、発送メールが夜遅いと寝てしまってて、指定を忘れる。

ゆうパックはデフォルトで時間指定を郵便局がしてくれるようになったみたい。発送後にメールが郵便局からきて「翌日の午前３時」までに指定できたりする。

夏の海で...

おひとりサマー

(๑>؂•̀๑)

「CD（アルバム）」は買って失敗しても、何度か聞き込むうちに「わりと良いかも‥」と発見することはあるけど、「フィギュア」は失敗すると‥　悲しい。

私が買ったスケールフィギュアは、半分以上は「騙された！」となったな。フィギュアはバクチ。

「With Fans!」は作品ファンが想い求めているグッズを造るレーベルです。バンダイナムコアーツの作品と、グッドスマイルカンパニーの製造技術力をかけ合わせ、作品ファンの夢を叶えます。とのことらしい。「グッスマの製造技術力」とあるからたぶん大丈夫。

グッスマは大丈夫だけど「With Fans!」というメーカーは未知数ですね。販売元はグッスマ。

押井版の草薙素子が「1/4」で１０万円！！　高い！！　けど、デコマスすげえ、けど、これで製品版があちゃーってなると、怖いよね。

https://www.goodsmile.info/ja/product/10986/%E8%8D%89%E8%96%99%E7%B4%A0%E5%AD%90.html

こんな状況です。業務上、非常に重要な道路のため、かなりヤバイです。昨年、猟師に依頼して駆除しましたが、駆除しきれず、子を１匹くらいのがしていました。それが成長して破壊力が増してきました。

イノシシによる襲撃を受けました。私有の道路を破壊しようとしています。

ご飯のおかずに特化した究極のお好み焼きレシピ。

農薬すると野生動物が食べないのは幻想。ガンガン食う。

高い電子炊飯器を買うくらいならガス炊飯器を買えば、１ランク上のご飯が食べられる。

野生動物が食べるから美味しい証拠というのは幻想であり、野生動物の味覚は素朴なので、人間が美味しいと思うようになる前に食べてしまうのだ。