【国語】エッセイ アイドル声優の恋愛報道
最近の声優さんは一般アイドルかいうくらいにかわいらしいですね。
さて、報道で激震が走ってるのが容易に想像できます。
かく言う私は、林原めぐみさんの結婚を月刊ニュータイプで知って、色々と崩壊した思い出がありますが... しかし、最近になって戸松遥さんの結婚でダメージを喰らうという経験をしたことがあります。私はもう若人ではない、かつ、存在として林原さんと戸松さんは異なるので、林原めぐみさんのときとは異なる全く違うダメージでした。
林原めぐみ ‥ 純朴な恋
戸松遥 ‥ 声優が好きということの個人的な象徴
ダメージというのは「俺はバカな人生を選んだ、俺は少年の頃にすでに、戸松遥と結婚できる微小な可能性すら放棄したんだ、普通に勉強していれば、戸松遥と結婚できるほどの上級な人間になる可能性もあったろうに」という事に気付いたという。
また、多くのオタクの心の中で色々な種類のダメージが渦巻いていると思うと、感慨深いです。
【数学】巨大数 レイバーのテーブル
この「レイバーのテーブル」は計算可能関数の中においても極めて強いと想像されています。それは、この「レイバーのテーブルが無限に発散する事の証明」を「階層内階層基数」という、順序数の専門家でもその存在を疑うほど大きな基数によって証明しているからです。ただし、これは「ZFC公理系」で証明が不可能であることを意味していません。もし「ZFC公理系」でこの証明が可能であるのであれば、それほど強くはないとも言われています。
【数学】巨大数 最前線レポート
巨大数は大きく2つの階級に分かれます。「計算不可能関数」と「計算可能関数」です。この階級差は絶対的な強さの違いを持ちます。また「計算可能関数」も大きく2つの階級に分かれると推定されていて、絶対的な強さの違いがあると考えられています。「超越整数系」と「算術系」です。
さて、このうち「計算不可能関数」と「超越整数系」はP進大好きBotの独壇場となっていて、それぞれ「巨大数庭園数」と「巨大数楼閣数」が世界最大であると予想されています。
難しいのが算術系です。
この分野では2つの系統がしのぎを削っています。「順序数崩壊関数系」と「バシク行列システム系」です。
前者ではP進大好きBotの「二関数」やその弟子である甘露東風の「くまくまψ関数」などがあり、後者ではゆきとの「ω-Y数列」などがあります。しかし、これら算術系を比較する方法は、いま現在も確立されていません。
初音ミクをフィーチャーした巨大関数『みくみく順序数(Ordinal number-like functions featuring Hatsune Miku)』の研究者とされています。ボカロリスナーでしたが引退しました。