Show newer

【数学】巨大数 東方巨大数名物 

東方巨大数のルールが公開されると、参加予定者や関係者によって、ルールにバグがないかの検証が始まります。

【体育】格闘技の話 ローガン=ポール(youtuber) 

昨日、フロイド=メイウェザー VS ローガン=ポール(youtuber(ただしプロボクサー))のボクシングの試合があって、引き分け、ローガン=ポールが善戦したみたいです。

それに対して、塩試合だとシバターが「救いたいの」動画を投稿。

そして、ローガン=ポールはRIZINと契約して日本人に禊の様子。

これ、大晦日、シバター VS ローガン=ポールなんじゃね?

【数学】巨大数 広報 

世界最高峰の巨大数イベント「東方巨大数4」の開催決定しました。2021年7月23日スタート!

巨大数の大きさごとにランク分けされるので、素人でもランクの中で1位の可能性あり!

精鋭による解析により、自分の作った巨大数の大きさを知ることが出来る!

詳しいことは以下!
docs.google.com/document/d/1yf

【国語】エッセイ ゆっくり解説と寸劇 

ゆっくり解説はyoutubeでも隆盛してるけど、寸劇の部分で鋼兵氏より面白いのを見たことないな。

【数学】巨大数 プチ講座 

極めて初歩的な入門方法としては‥

急増加関数

f ω^ω (3)

の展開方法を理解して「ω^ω」の部分の構造を理解するのがよいです。

極限順序数「ω^ω 」が後続順序数になるまで、その基本列の3番目をとり続けます。基本列はワイナー階層です。

f ω^ω (3) =

f ω^3 (3) =

f ω^2×ω (3) =

f ω^2×3 (3) =

f ω^2+ω^2+ω^2 (3) =

f ω^2+ω^2+ω×ω (3) =

f ω^2+ω^2+ω×3 (3) =

f ω^2+ω^2+ω+ω+ω (3) =

f ω^2+ω^2+ω+ω+3 (3) =

ここで後続順序数になりました。後続順序数からは「1」を引くことが可能なので、急増加関数を動かすことが出来ます。

急増加関数

f 0 (n) = n+1
f a (n) = f^n a-1 (n)

です。

f ω^2+ω^2+ω+ω+3 (3) =

f ω^2+ω^2+ω+ω+2 (f ω^2+ω^2+ω+ω+2 (f ω^2+ω^2+ω+ω+2 (3))) =

です。

【数学】巨大数 プチ講座 

巨大数は「巨大関数」で出力されます。

例えば「足し算」よりも「掛け算」の方がより効率的に大きな数を作れます。同様に「掛け算」とりも「累乗」の方がより効率的に大きな数を作れます。

この「足し算」「掛け算」「累乗」の関係を見ると‥

「累乗」は「掛け算」の連続である。

「掛け算」は「足し算」の連続である。

という法則があります。この法則を幾重にも繰り返して「足し算」を強化していくのが巨大関数の基礎ですが‥

実はこれらは「急増加関数」を介することで「可算順序数(基本列が定義されている必要がある)」で一意に評価することができます。

これは裏返せば「より大きな順序数と基本列を定義出来れば、より大きな巨大数を定義できる」ということを意味します。この方法論は、今の巨大数のスタンダードになっています。

ただし、この方向性は、真に高等な数学の世界に踏み入ることになります。

私の場合は「順序数もどき」の研究で、踏み入ってはいませんが、この場合、それが一意に数を出力する保証はないという弊害が強くなります。

【数学】巨大数 東方巨大数4のルール 

おおっと、今回は「東方要素」が必須になりましたね。巨大数の名前に東方要素を入れるだけでOK。例。「霊夢数」。

docs.google.com/document/d/1yf

【数学】巨大数 巨大数ランク 

東方巨大数4はこのランクごとで優勝が決まります。投稿作品は運営がランク分けして、そのランクの中で大きさを競います。なので、初心者もランクFとかEあたりで優勝することは可能なんですよね。ランクD~Cになると中級者ですね。昔の基準だと。

【数学】巨大数 巨大数ランク 

私が目指してるのが、この巨大数評価ランク表(日本巨大数協会の主催による)で、ランクAのレベル41のあたりです。

巨大数RANK Ver 1.2.2
docs.google.com/spreadsheets/d

【数学】巨大数 

急増加関数で

f 3 (n) ≒ テトレーション

f 4 (n) ≒ ペンテーション

f ω (n) ≒ アッカーマン関数

f ω+1 (n) ≒ グラハム関数(通称)

f ω^2 (n) ≒ チェーン表記

f ω^ω (n) ≒ 多変数アッカーマン関数

f ω^ω^ω^ω^…∞ (n) ≒ 原始数列システム

f ψ₀(Ω_ω)+1 (n) ≒ ペア数列システム ψはブーフホルツのψ関数

このあたりまでが、厳密な解析があるかんじです。

【数学】巨大数 東方巨大数4 

しかし、思ったより早かったな。世界最高峰の大会となった東方巨大数3にはわたしは不参加だったので、1大会ぶりの参加となるわけだけど、ド素人の「みくみく順序数」がどこまでやれるのか。ついに来たという感じですね。

【数学】巨大数 東方巨大数4 

でも、ド素人も参加する意味あるんです。巨大数のエキスパートが定義が出来てるかどうかとか、出来ているなら大きさはどのくらいであるとか、素人にはわからないことを解析してくれるので。

【数学】巨大数 東方巨大数4 

東方巨大数は東方プロジェクトのイベントでもありますが「東方要素はなくてもいい」というイベントで、その内容から(投稿された巨大数の大きさから)、世界最高峰の大会となっています。

【数学】巨大数 東方巨大数4 

この大会、マジで現在、世界最高峰の巨大数の大会なんですよ。しかも、運営人のレベルも上がってるので、その解析能力も楽しみです。素人参加も大歓迎だし、無償で解析してもらえるという、いいですよ。

【数学】巨大数 巨報! 

7月23日に東方巨大数4の開催がFHLASR主催の村武さんにより宣言されました。巨大数に関心のあるかたは自作の巨大数で参戦してみるのもいいかも。解析してくれますよ。

twitter.com/muratake8901341/st

【音楽】ボカロと合成音声 

youtubeで商業音楽のアルバムを視聴してると、出て来るジャケットがどれも魅力的で、ついついクリックしてしまうんだが、ボカロではそれが極めて少ない。一流のデザイナーが作ってるのと、素人の絵を比べてもしょうがないわけだが‥ それならば、youtubeのサムネ文化みたいに、作品のチャームポイントを文字で詰め込んだサムネという方向性もありなのかもしれない。実は、youtubeになれると、あの嫌いだったyoutubeのサムネ文化でないと〇〇が足りなくなってしまった。※〇〇は言葉が思いつかない。

【美術】映画夜話 『パシフィックリム』 

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

【数学】巨大数  f PTO(ZFC)+1(18)円 とは? 

ここでは、解説のために「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)円はものすごくでかい。

【美術】映画夜話 『SMILE』 

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

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

【体育】R-18 色 

最近気づいた性癖。

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

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

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

これ‥ 

色だわ‥

「日本人の乳首の色」

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

Show older
Vocalodon

ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼(ボカロドン)」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **

image/svg+xml