初音ミクをフィーチャーした巨大関数『みくみく順序数(Ordinal number-like functions featuring Hatsune Miku)』の研究者とされています。ボカロリスナーでしたが引退しました。
あまり見たくないツイートなどがタイムラインにあるとき、ミュートなどしなくても消せる方法を思いついた。
巨大数大好きbot(この人もAIなのでは?)がAIに巨大数を教えたら理解し始めたらしい。しらんけど。
ピークこえたかなあ(希望的観測)
ニコニコが、無難なコメントを1クリックで投稿できる機能を導入。
私の「ミクオリジナル曲」に特化した記事「週刊みくみくPickup!!」の閲覧数はこんなもの。この閲覧数が10倍くらいあるとモチベーションももっと上がる気はするが。
よく使う絵の具、色数は多くない。基本色も揃えてない。
これが部屋のあるF100号キャンバスの下地の段階。下地は乾ききってこの上ない状態だと思う。
昨日、一番暑かったの以外にも夜。夕立で湿度が上がったと思われる。
時事 Show more
この傾向はピークをこえたかな。知らんけど。
今さっきあった自然言語に関する問答。自然言語の難しさを感じる。
晩飯、大きなサザエのつぼ焼き3つ。
39県で緊急事態が解除されて、その約2週間後に東京でも解除された。グラフを見てると、東京で解除された時には、しかし、この第2波の山に入り始めてる。つまり、全国の状況をみて、東京でも気が緩み始めた(と思われる)。
3月22日からの東京の推移(本日分は360で暫定)
こんな感じよ。
こんな状況。
渇水になりやすい松山市は、こうして何故か、雨雲が切れやすい地形なんだ。
をかださんが描いてる系のミクさんみたいな感じか。
バシク行列システムのオリジナルはBASIC言語で定義されてるんだけど、有志によって、算術形式の定義も作られてる。私はこの定義が読めいないのだけれど、こんなシンプルな定義でアホほど強いのすごいZ(画像が荒かったので上げ直し)。
巨大数の世界観を順序数で階級化してみた。バシク行列システム(ふぃっしゅ数バージョン5に着想を得て発明された)の登場の凄さがこれで感じられるかも。高名なふぃっしゅ数の研究で、ついにペアノ公理の限界を突破した時代に、一気に、竹内・フェファーマン・ブーフホルツの順序数をぶっちぎっていったという。
Windows10の画像アプリで拡大した「あ」。
ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼(ボカロドン)」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **