初音ミクをフィーチャーした巨大関数『みくみく順序数(Ordinal number-like functions featuring Hatsune Miku)』の研究者とされています。ボカロリスナーでしたが引退しました。
ツイッターに疑似的LTLを導入する実験。
名盤ジャケパロディはそこそこやってたりする。
元ネタ(使いまわし)
#ボカロ丼自己紹介タイム 第4期のサムネ
クリプトン社のホームページで普通に売ってるぜ!!
#ボカロ丼自己紹介タイム
私の部屋の一部の様子(1~2年前?)。他の部分はもっとディープな模様。
最強各のラヨ数がwell-definedではない問題が巨大数の数学的は発展途上を象徴してる気がする。難しいのスクショで。
Rayo関数のwell-defined性。公理関連は素人には厄介な問題。
せとかもらった。市場に出るのは3月頃なので、今食べても美味しくないはずだけど、カクテルにしてみようかと思う。
執筆中のやつ。浜省のマネーではなく『時そば』に変更した。
七葉1052式ファミリー! 顔だけでわかるかなー!
巨大数入門のレジュメ最新版(張ってなかったよネ)
えのきさんの解答。
ミクさんに1/100のトールギスを与えてるんだけど、トールギスってゴリマッチョなMSって設定なのに、隣にザクⅡを置くと、小柄なんですよね。なんで、もっとデカく設定しなかったのか。
定義をwell-definedにする難しさ。だんだん数学っぽさ出てきた。
私の理想の自転車のフォルム。極端に短い「へ」の字のようなハンドルが好き。
もう今書いてるそのものです... こういうのフリーなのかな?
ラノベにおける未開拓な領域は、数学(巨大数を含む)を直接的に物理バトルにするやつ。
老後に2000万円が不足するという時代、70代で年収3000万円とも5000万円とも云われる男性が住むという、瀬戸内海のとある島を視察した。そこで我々、視察団が見たものは、寝る暇も惜しんで働くという極めて単純な営みであった(白目)。
研究の状況 Show more
みくみく順序数Act.3.6の研究中です。
この解析がおおむね正しいとするなら(UNOCFを私は知らないので、希望的な観測でしかないけど...)
(0,0,0,3,0)で大ヴェブレン順序数を超えて(0,9,0)で定義化を投げ出した大はちゅね階層の上限に達する。これ、極限までいくと...
ψ(Ω^Ω^Ω^Ω^Ω^…∞)
というUNCOFの表記だけ見ると、バッハマン・ハワード順序数を超えそうな匂いがするけど... わたし、UNOCFを会得してないので残念ながらわからない。
ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼(ボカロドン)」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **