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

「4KUHD-BD」について個人的に思うところ。

4KUHD-BDは「4K」と「UHD」という２本柱があって「UHD」にかんしては４Kテレビを前提とした色彩のレンジを広くとる技術。つまり「UHD」なる技術が登場する以前の映像としては「アレンジ」をするようなものになると思われる。

で「4K」が有用なのは4Kを活かせる70mm撮影の旧作もしくは4K制作作品ではないかと思ってる。この二つについては以下のことが言える気がする。

　❶　70mm旧作：UHDを考慮した加工がされているのでよりオリジナルに近いBDも欲しい。マスタリングによる画面の好みの違いも出る。

　❷　4K制作：UHDを想定して製作されたのであればBDはいらない。

今回のハサウェイに関しては劇場でBDをかなり売ってるし、そういう人が手を出しやすいように単品での販売になったのかな。上記の考え方からするとBDはハサウェイに関してはいらない気はするが？

BDの一般販売の予約がはじまったが、様子が少し異なる。

BD特装限定版（法人別特典あり）　￥9,900
BD通常版　 ￥5,000
4KUHD-BD　￥7,000

という。普通は4KUHD-BDとBDが同封されたやつが最上位版であるんだけど。

２４時間、ネットに接する環境があるのが嫌。なお、ケータイも携帯せずに車に置きっぱなし。電話が嫌い。

巨大数研究Wikiのここのスペースって、映画の「オープニング」で名前が出る感じだと思うんだけど、私って、名前が出るにしても「エンドロールの隅っこ」なので...　流石に違うのでは...　と困惑中。

代表的なボカロP
supercell
DECO*27
wowaka
ハチ
ピノキオピー
自分の名前

いわば、こんな記述という。

イータ株が国内初確認ですって...　痛ーたたたた...

予告編
https://www.youtube.com/watch?v=mBRWwAqJ--U

ジェファーソン・エアプレインの60年代の名曲「ホワイトラビット」をフィーチャーしてるけど後半、別のBGMとあわさって違和感あるんだよなぁ...　意図的？

ラヨ数のラヨは２０２０年に以下の主張を追加したそうな（私には読解できません）。

～哲学者はときどき集合論の現実主義的解釈を仮定する。この解釈では、集合論の表現はその言語のそれぞれの文に対して真理値を決定する「標準的な」意味を持ち、それは原理的にその真理値を知り得るかどうかには関わらない。（たとえば、Vann McGee によるこの論文を参照。）巨大数決闘では、アダムと私は（２階）集合論の言語はこの標準的解釈によるものであるということを当然の前提としていたため、最終エントリーであるラヨ数が１つの数に対応することが保証されている。もしそうではなく、その言語が公理系によって解釈されていれば、ラヨ数は無効である。なぜならば、ある言語のすべての（無矛盾な）公理系は、同型ではないモデルを持ち、ラヨ数が異なるモデルに対して同じ数に対応するという保証がないためである。～

これにより「ラヨ数」は哲学的な意味は持っても、数学的には一意に定まらない事が確定したのだとか。

ゆっくりと学ぶ巨大数論～巨大数庭園数～
https://www.youtube.com/watch?v=mghQzkXknuc

ゆっくり解説があがってたけど、ガチ勢でないと白目ですね。

第三者（P進大好きbot）による編集も入り、わりと整いました（初音ミクのリンクもある）。

みくみく順序数
https://googology.wikia.org/ja/wiki/%E3%81%BF%E3%81%8F%E3%81%BF%E3%81%8F%E9%A0%86%E5%BA%8F%E6%95%B0

みくみく順序数に関する記事を改定しました。初音ミクに関する記述もあります。
https://googology.wikia.org/ja/wiki/%E3%81%BF%E3%81%8F%E3%81%BF%E3%81%8F%E9%A0%86%E5%BA%8F%E6%95%B0

普通なんだけど。うまく作用してないのかな？

４回目のお注射を検討してるとかなんとか...　お注射連鎖に入るの？

屋外業務なので保険で明日まで休みます。業務そのものも、早い方がいいのか、遅いのがいいのか、微妙な状況だったり。

「飲酒すると抗体が出来にくい（十分には出来る）」なることがネットにあったので、真偽は置いといて、せっかくなので、２回目のをぶっ刺した２週間後まで禁酒しますかね。

上記が偽でも「禁酒」する方がそもそも論としていいのでどちらにせよ良い。

８０００円くらいのやつは壊れ始めると一気に行くことあるので、趣味のガチ登山とかで靴に異変があるとヤバイと思う。

キャラバンのは壊れ始めてからも何カ月ともつので、趣味のガチ登山の最中に靴に異変があってもピンチになる可能性は低い。

キャラバンの入門クラスの１番安い奴（１５０００円ほど）は、毎日使用しても１年半くらいもつ。

しかし、８０００円程のやつは良くて３カ月くらい、酷いと２週間でダメになる。そこが剥がれたり。メッシュに穴が開いたり。留め具の金属が折れたり。

キャラバンのは穴が開いても、重層構造だからなかなか貫通しないし、底の剥がれが起き始めても耐久力がある。

ブルーレイで出た昔のやつとか買うと、やっぱジャケットの絵が今の絵で「これじゃない」感がすごいんですよね。８０年代のアニメとか、あの当時の絵がいいわけで、駿河屋とかで集めたくはなる（安い）。

４Kテレビでレーザーディスクを再生してみたんだけど「こんなに音凄かったか」というくらい回転音がすごい。あと、こんなでかい円盤は流行らんわなと思った（指紋とか作領域が広すぎる）。ジャケットは１番だとは思うよ。でも、レコードのような価値はないわな。インテリアとして買うのもアリかも。

昨日の夕方、

ワクチン接種で病院前でレザー光線で体温測定したら「36.4ですね」といわれて「え？！」となったんだが、今朝、寝起きに検温したら「35.8」だった。

熱なんか測るの中学生とか以来なんだが。

昨日は、１日休んでたんで体温が上がりにくかったのかな？

巨大数を解析するには順序数に対応させる必要があります。その順序数を定義するものとして順序数崩壊関数（複数ある）がありますが、これらは共終数という概念を用いています。このタイプを「dom型」といいます。バシク行列システムなどは「非dom型」であり、「非dom型」を「dom型」に対応させるのは極めて困難であることが言われてしました。

しかし「非dom型」である「段階配列表記」は「dom型」である「ブーフホルツのψ関数」に対応することが知られていて、（以下は私個人の感想）、おそらく「段階配列表記」を用いることで、「非dom型」の巨大関数を順序数に対応させられるのではないかと、期待されていたりします。