初音ミクをフィーチャーした巨大関数『みくみく順序数(Ordinal number-like functions featuring Hatsune Miku)』の研究者とされています。ボカロリスナーでしたが引退しました。
【国語】エッセイ いじめで抜けてる議論 Show more
いじめは親告罪であるべきだと思うのですね。なに、お前えらは、任意のAを被害者だとレッテルづけてるの? とあるBは負けてないのですよ? という。
【理科】テクノロジーの話 Show more
近年は、草刈り機とかチェーンソーも電動が多くなってて来ますが、安全面からして、電動はお勧めできません。電動は起動状態が一目でわからず、不用意に触ると危ないです。一流メーカーの人が来て宣伝するときに、一度、危ないことがあった。
【理科】化学の話 混合油 Show more
混合油(ガソリン+機械油)は農機具とかでスタンダードですが、昔は「25:1」が基本だったのが今は「50:1」が基本になっててえ、一部のスタンドでは両方に対応できるようにその中間の比率で販売してる。
【理科】生物 プロっぽい知識 Show more
2大糞ダニ、サビダニ、ホコリダニ。
【国語】ユーモア 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(全然、五輪について知らない...)
ボーカロイド好きが集うMastodonインスタンス、通称「ボカロ丼(ボカロドン)」です。 ** This server is for "Vocaloid" lovers. If you are not, please select other server. **