Show newer

ツイッターに疑似的LTLを導入する実験。

名盤ジャケパロディはそこそこやってたりする。

クリプトン社のホームページで普通に売ってるぜ!!

私の部屋の一部の様子(1~2年前?)。他の部分はもっとディープな模様。

最強各のラヨ数がwell-definedではない問題が巨大数の数学的は発展途上を象徴してる気がする。難しいのスクショで。

Rayo関数のwell-defined性。公理関連は素人には厄介な問題。

せとかもらった。市場に出るのは3月頃なので、今食べても美味しくないはずだけど、カクテルにしてみようかと思う。

執筆中のやつ。浜省のマネーではなく『時そば』に変更した。

七葉1052式ファミリー! 顔だけでわかるかなー!

巨大数入門のレジュメ最新版(張ってなかったよネ)

ミクさんに1/100のトールギスを与えてるんだけど、トールギスってゴリマッチョなMSって設定なのに、隣にザクⅡを置くと、小柄なんですよね。なんで、もっとデカく設定しなかったのか。

定義をwell-definedにする難しさ。だんだん数学っぽさ出てきた。

私の理想の自転車のフォルム。極端に短い「へ」の字のようなハンドルが好き。

もう今書いてるそのものです... こういうのフリーなのかな?

ラノベにおける未開拓な領域は、数学(巨大数を含む)を直接的に物理バトルにするやつ。

老後に2000万円が不足するという時代、70代で年収3000万円とも5000万円とも云われる男性が住むという、瀬戸内海のとある島を視察した。そこで我々、視察団が見たものは、寝る暇も惜しんで働くという極めて単純な営みであった(白目)。

研究の状況 

みくみく順序数Act.3.6の研究中です。

この解析がおおむね正しいとするなら(UNOCFを私は知らないので、希望的な観測でしかないけど...)

(0,0,0,3,0)で大ヴェブレン順序数を超えて(0,9,0)で定義化を投げ出した大はちゅね階層の上限に達する。これ、極限までいくと...

ψ(Ω^Ω^Ω^Ω^Ω^…∞)

というUNCOFの表記だけ見ると、バッハマン・ハワード順序数を超えそうな匂いがするけど... わたし、UNOCFを会得してないので残念ながらわからない。

Show older
Vocalodon

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

image/svg+xml