初音ミクをフィーチャーした巨大関数『みくみく順序数(Ordinal number-like functions featuring Hatsune Miku)』の研究者とされています。ボカロリスナーでしたが引退しました。
【国語】ユーモア R-18 Show more
ナニを避雷針にして雷を呼び攻撃する「おいなりサンダー」。
【社会】ネット時事 巨大数界隈の騒動 Show more
Googology Wikiにおけるハラスメントについてhttps://googology.wikia.org/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:P%E9%80%B2%E5%A4%A7%E5%A5%BD%E3%81%8Dbot/Googology_Wiki%E3%81%AB%E3%81%8A%E3%81%91%E3%82%8B%E3%83%8F%E3%83%A9%E3%82%B9%E3%83%A1%E3%83%B3%E3%83%88%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6
なるほど...
【数学】巨大数 みくみく順序数の計算規則 Show more
みくみく順序数の計算規則の定義に約1万文字使ってたんだけど、その計算規則に使う要素に一意ではないところがあったので、さらに1万文字以上の定義文を書いてます。
【数学】巨大数 無限個の定義文を書く。 Show more
うわ、これ、定義文を無限パターン書かなきゃいけない...「上記を繰り返す」とか曖昧だし...
解決策
そうだ、基本は同じだから、この記号とこの記号を数値化して、無限個の定義文を出力する写像を定義すればいいんだ。
【国語】エッセイ 悲しみ Show more
オシの女の子が写真集出すのに、初回限定版を買おうにも、購入サイトに支払い方法に、銀行振り込みも代引きもなくて買えない...。
【数学】 集合論2 Show more
¬(∀x(x∉A → x∈B))⇔∃x(¬(x∉A → x∈B)))
自然数について奇数と偶数で考えてみる。
奇数でないなら偶数であるを満たさない自然数が、少なくともひとつはある。
これは明らかに正しくない。
では、実数について考えてみる。
奇数でないなら偶数であるを満たさない実数が、少なくともひとつはある。
これは無限にある。
つまり「Aという集合」と「Bという集合」に対して、比較する集合がどうかになるのだろう。
偶数と奇数という集合に対して、我々の世界は実数なのである。
【数学】 集合論 Show more
人間: xAを支持しない : x∉ABを支持 : x∈B
x∉A → x∈B
Aと支持しないならBを支持する。
を、否定する。
∀x(¬(x∉A → x∈B))
全ての集合xについて、Aを支持しないならばBを支持するということはない。
Aを支持しないならBを支持するを満たさない人間が、が少なくとも一人はいる。
「Aを支持しないならBを支持する」というのは間違いである、という主張を言い換えるならば、Aを支持しないならBを支持するを満たさない人間が、少なくとも一人はいる。
【家庭】美食の話 究極の朝飯レシピ Show more
1,生卵を器に割入れてレンジで適当に温めて白みをゆるゆるに固める。
2,そこに砂糖醤油とごま油を入れて混ぜる。
3,ご飯にかける。
【音楽】ポピュラー音楽 U Show more
細田守の新作のメインテーマ。コロナ世界で映画は行けないので、曲だけ感想。自分の好みをあらためて感じてしまう。この、宇多田ヒカル以後的なボーカルは、この歌手に限らず、どうも感銘を受けない。
【体育】五輪3 Show more
見るべきスターが私にはいない。
【体育】五輪2 Show more
個人的なことを言うと、ヤワラちゃんもウサインボルトもいない五輪に見所がない。
【体育】五輪 Show more
五輪 < 大谷翔平
私の周辺ではこんな感じ。
【国語】エッセイ クラリス Show more
クラリスはルパンと共に生きた方が幸せだったのかどうか考えてたんだけれど...
つまり、次元、五右衛門、不二子に続くレギュラーキャラになった方が幸せだったんかという問いに変換できる。
原作にないキャラだから、そういう例外を求めると、ヒロイン競争に巻き込まれて、消えてしまう可能性もある。
それよりは、特筆すべき、むしろ、カリオストロという象徴として今でもヒロインとして君臨している方が正解だったのかもしれない。
【社会】リアル時事 イスラエル Show more
ジョンズホプキンス大学のサイト見たら、あのイスラエルですら増加傾向にある... 世界はどうなってしまうんだ...
【社会】リアル時事 緊急事態 Show more
東京は感染者数が300人くらいで緊急事態を解除というのが間違ってると思う。愛媛は東京の10分の1の人口だけど30人というと激ヤバのピークレベルなんですけどね。
初音ミクが開会式で国家独唱する可能性ってまだあるんでしょうか? oO(全然、五輪について知らない...)
【英語】 中学校で急増加関数を習っている説 Show more
ABCDEFGHIJ...
もういちど
なんか違和感しません?
ABCDEFGH..
ABCDE... FGH....
FGH!!!!!
急増加関数 (FGH; Fast-growing hierarchy)
ふぁああああああああ!!!!
【数学】巨大数 𝑭 ο_ω ⟮ 𝑭 ο_ω ⟮ 𝑭 ο_ω ⟮ 𝑭 ο_ω ⟮0⟯⟯⟯⟯ Show more
𝑭 ο_ω ⟮ 𝑭 ο_ω ⟮ 𝑭 ο_ω ⟮ 𝑭 ο_ω ⟮0⟯⟯⟯⟯= 𝑭 ο_ω ⟮ 𝑭 ο_ω ⟮ 𝑭 ο_ω ⟮1⟯⟯⟯= 𝑭 ο_ω ⟮ 𝑭 ο_ω ⟮2⟯⟯= 𝑭 ο_ω ⟮巨大数⟯= 超巨大数
【数学】巨大数 悲報 Show more
P進大好きbotさん、海外版の巨大数研究wikiで1年間のBANとのこと。プロの数学者のP進大好きbotさんは、数学の観点から、巨大数界隈にまん延する間違った情報を正す活動をしているみたいだけど、そういうのを海外はとても嫌がるみたい。
【数学】巨大数 A ∈ B Show more
やはりこの最終兵器「∈」を使う必要があるのか。
ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼(ボカロドン)」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **