長谷川由紀路 @ailinko@vocalodon.net

混合油（ガソリン+機械油）は農機具とかでスタンダードですが、昔は「25：１」が基本だったのが今は「50：１」が基本になっててえ、一部のスタンドでは両方に対応できるようにその中間の比率で販売してる。

２大糞ダニ、サビダニ、ホコリダニ。

ナニを避雷針にして雷を呼び攻撃する「おいなりサンダー」。

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

なるほど...

みくみく順序数の計算規則の定義に約１万文字使ってたんだけど、その計算規則に使う要素に一意ではないところがあったので、さらに１万文字以上の定義文を書いてます。

うわ、これ、定義文を無限パターン書かなきゃいけない...「上記を繰り返す」とか曖昧だし...

解決策

そうだ、基本は同じだから、この記号とこの記号を数値化して、無限個の定義文を出力する写像を定義すればいいんだ。

オシの女の子が写真集出すのに、初回限定版を買おうにも、購入サイトに支払い方法に、銀行振り込みも代引きもなくて買えない...。

￢(∀x(x∉A → x∈B))⇔∃x(￢(x∉A → x∈B)))

自然数について奇数と偶数で考えてみる。

奇数でないなら偶数であるを満たさない自然数が、少なくともひとつはある。

これは明らかに正しくない。

では、実数について考えてみる。

奇数でないなら偶数であるを満たさない実数が、少なくともひとつはある。

これは無限にある。

つまり「Aという集合」と「Bという集合」に対して、比較する集合がどうかになるのだろう。

偶数と奇数という集合に対して、我々の世界は実数なのである。

人間: x
Aを支持しない : x∉A
Bを支持 : x∈B

x∉A → x∈B

Aと支持しないならBを支持する。

を、否定する。

∀x(￢(x∉A → x∈B))

全ての集合xについて、Aを支持しないならばBを支持するということはない。

￢(∀x(x∉A → x∈B))⇔∃x(￢(x∉A → x∈B)))

Aを支持しないならBを支持するを満たさない人間が、が少なくとも一人はいる。

「Aを支持しないならBを支持する」というのは間違いである、という主張を言い換えるならば、Aを支持しないならBを支持するを満たさない人間が、少なくとも一人はいる。

１，生卵を器に割入れてレンジで適当に温めて白みをゆるゆるに固める。

２，そこに砂糖醤油とごま油を入れて混ぜる。

３，ご飯にかける。

細田守の新作のメインテーマ。コロナ世界で映画は行けないので、曲だけ感想。自分の好みをあらためて感じてしまう。この、宇多田ヒカル以後的なボーカルは、この歌手に限らず、どうも感銘を受けない。

見るべきスターが私にはいない。

個人的なことを言うと、ヤワラちゃんもウサインボルトもいない五輪に見所がない。

五輪　<　大谷翔平

私の周辺ではこんな感じ。

クラリスはルパンと共に生きた方が幸せだったのかどうか考えてたんだけれど...

つまり、次元、五右衛門、不二子に続くレギュラーキャラになった方が幸せだったんかという問いに変換できる。

原作にないキャラだから、そういう例外を求めると、ヒロイン競争に巻き込まれて、消えてしまう可能性もある。

それよりは、特筆すべき、むしろ、カリオストロという象徴として今でもヒロインとして君臨している方が正解だったのかもしれない。

ジョンズホプキンス大学のサイト見たら、あのイスラエルですら増加傾向にある...　世界はどうなってしまうんだ...

東京は感染者数が３００人くらいで緊急事態を解除というのが間違ってると思う。愛媛は東京の１０分の１の人口だけど３０人というと激ヤバのピークレベルなんですけどね。

初音ミクが開会式で国家独唱する可能性ってまだあるんでしょうか？　oO（全然、五輪について知らない...）

ABCDEFGHIJ...

もういちど

ABCDEFGHIJ...

なんか違和感しません？

ABCDEFGH..

ABCDE... FGH....

FGH!!!!!

急増加関数 (FGH; Fast-growing hierarchy）

ふぁああああああああ！！！！

　 𝑭 ο_ω ⟮ 𝑭 ο_ω ⟮ 𝑭 ο_ω ⟮ 𝑭 ο_ω ⟮0⟯⟯⟯⟯＝
　 𝑭 ο_ω ⟮ 𝑭 ο_ω ⟮ 𝑭 ο_ω ⟮1⟯⟯⟯＝
　 𝑭 ο_ω ⟮ 𝑭 ο_ω ⟮2⟯⟯＝
　 𝑭 ο_ω ⟮巨大数⟯＝
　超巨大数