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

津波意報出てます。避難しましょう。

グラハム数分の一ミリも何のことかわからんけど、二階算術の理論Σ^1_{N+2}-CA+BIの証明論的順序数が決定したとかどうとか...

Hexirp氏（@hexirp_prixeh）曰く、

Π^1_3-CA の順序数解析なんて、解決できるかもという程度の情報でさえ全く見聞きしたことがない、というぐらいなんですよね。それなのに突然 Π^1_∞-CA の順序数解析が解決したという。

解説は@Alwe_Logic氏
https://twitter.com/Alwe_Logic/status/1727335699878469993

松山市周辺は平成６年以来の大渇水で昨日、８月以降、ようやく雨が降った（果樹栽培は２桁mm降らないと降ったと言わない）。で、１１月初旬の時点で、軒並み糖度が高い。

例えば、宮内伊代柑はこの時期、非常に高いと１１度で悪いと９度、１０．５度あれば成功と言える糖度だが、適当に探しただけで１１度以上１３度というのもゴロゴロある。

愛媛県産というよりも松山市周辺の園地で収穫された柑橘類は、数十年に一度歩かないかという非常に美味しいものになると予想される。ただし、渇水で大きさが１サイズ小さく、酸度も高いため、平年よりも食べごろは遅いかもしれない（酸が抜けるのに時間がかかる）。

これは町レベルでシステムが異なる話だが...　

戦前より、うちの町では「水田農家が水田の水を管理しない」のが通例だった。昔は水利組合の土木役がその業務を担当してた。

２０年ほどまえ、水田農家の減少と、水引業務の大変さから「水引」を「土木」から分離。「水引」は水田農家から水利組合が人を雇い、概ね３カ月、２０万円の報酬を出すことにした（そうシステムを変えたのは私の父）。

それから２０年、水田農家はさらに減り、水引をやってくれる人を見つけることが大変になってきた。

そこで...

「水田農家以外にもやってもわらんと...」「昔は土木がやってたんだから...」「例えば長谷川君とか（現・土木副）」

いやいや、そんなん営農業務そのものやん...　お前ら水田農家がやれよ...　なんで「水田農家以外にもやってもわらんと...」って上から目線なん...　ありえんわ。

けど、協議会で意見は述べてない。役員１年生だし、他が総代経験者ばかり。因みに、父は「水引はやる必要はない」と板挟み。

とりあえず、来年の水引候補はいるらしいが（彼が受けるとは言ってない）...

「 でこぼこ魔女の親子事情 」

「16bitセンセーション ANOTHER LAYER 」

「豚のレバーは加熱しろ」

「ティアムーン帝国物語」

が、注目してる。次点は以下。

「 星屑テレパス」

「SHY」

１０年ぶりに本格的なアニメ試聴勢になったが、アニメは見る前にフィルターでふるいにかけてみるものを限定した方がいい。でないとみるリストが増えて“見る事”が義務化してつまらなくなる。

名作を取り逃すことはあるだろう。しかし、真の名作なら２０年後も話題に上るわけだから、暇な時が来たら中古でソフト入手するなりして見ればいい。

ディスクユニオンの件以来、２０年間無かった迷惑メールが来るようになったが...

迷惑メールをフィルタでははじく設定をやってるとゲーム性があり面白い。

迷惑メールが来ないか楽しみになって来て、妙な感じ。

リフトの免許も誘われるけど、もう、絶対取らない。絶対あぶない。絶対使われる。

地方に住んでると、わりと「○○くん、△△で費用出すから狩猟の免許取らない？」と言われると思う。私も３回くらい言われて、今のところ考えてなかった。△△のことだからそれで全体の利益が上がるから、推奨してるのだろうと思ってたら...
「△△で費用出して免許取ったら、△△の依頼で駆除に出る必要がある」という話を先日聞いて「あっぶね！騙されるところだった！」となった。なるほどねえ。誘うときに云えよ。危ないわ。

1/6とか1/7とかのサイズ感はメーカーによるし、等身の低いロリキャラでも差異が出るけど、例えば、今の基本的な1/7サイズは十年前の1/6サイズな可能性がある。（ホビログの記事に対するコメント）

濃厚接触者の当人（私は隣にいた）はさておき、コロナ禍中、休止してた飲み会を復活させた長老格の方は、翌日の協議会で「我々老人は隅で固まってたから大丈夫だよ...」とか他人事みたいに言うので、声には出さないけど「てめぇ！」って思ったわ。その人、好きなんだもん、飲み会...

問題は、私、屋内業務ではなく屋外業務なので、お風呂に入らないということは、例えば、マダニが体に付着してる可能性とかもあるので、逆にリスクもある。

まひろお兄ちゃんも５日間お風呂行ってなかったので、まひろお兄ちゃんと同じ匂いかと思うとコーフンする！

日曜日に、いわゆる町内会の行事に伴う飲み会があって、その翌日に町内会の業務で、ナンバー２の人にあったときに「実は娘がコロナで嫁が熱が出て...」とかいうにで、自主的に隔離生活してます。７日間、隔離予定。続報は知らない。

コロナ禍で映画館で見るのは辞めていた作品のひとつ。UHDBDの4K画質で見ました。

恋する少女がポニテ揺らしながら爆走するアニメでした。CVの原菜乃華さんもドはまりしていて、ポニテしか勝たん状態でしたが、中盤の三つ編み家出少女コーデもなかなかのもので、さらにそこからの再正装⊗ソータさんのブーツコーデは最高でした。深いテーマとか色々語れそうですが、最強のポニテ少女映画としてΓ_0点（フェファーマンシュッテの順序数点）だとお思います。

あと、UHD効果もバエてましたね。画面の密度がちゃいますわ。

ここ数年話題のダークエナジーの話では無さそう。

雨が降ってないというと、ヤバ位ほど降ってるところあるので怒られそうだが、松山市の西側あたりは、マジで降ってなくて柑橘類の木が死にそうでヤバイ。石手川の上流あたりは降ってるから貯水率は順調で渇水の話題はニュースにもならないが、マジで、ヤバイ。

2020年の2月頃、キャバクラ言った一週間後に謎の風邪、コロナかと心配してマジ冷や冷やしてた。愛媛県第１号はやばい。実は、その風風の症状は３年以上しても治っいてない。当初はあまりの継続に「結核か！？」と思ったが、多分、慢性的な鼻炎だろうと信じることで解決した。問題は、慢性的に風邪っぽいので、もし何かに感染しても初期症状が判別しにくいこと。

さっきツイッターみたらほてみくさんがCDジャケアート選手権を久々に開催するとか...　自分の過去作が頑張りすぎてて、ハードルが高い。

あくまで夏コミのメロンでの薄い本（大きなお友達向け）の新刊を見ていて思ったが、艦これも東方もアイマスもありはするが、そう多くはない。ブルーアーカイブがすごい。