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

今から集合論の勉強します。

０の定義。

∀x(￢(x∈0)) ⇔ ￢(∃x(x∈0))

50㎝の津波が到達したという報に冷ややかな感想をもっていたのに、津波が岸壁に到達した映像が流れると（岸壁より海面が何センチか何十センチか高いように見えるが50㎝なんてことはない）明らかにヤバイことを察するのは、津波を理解してなかったからだろうな（海面が上昇するとは思っていない）。311関連の動画をみていて、思い出す。

ボカロ史上（人類史上かもしれない）、最もストレスの溜まる作品。

https://www.nicovideo.jp/watch/sm38449120

久々に検索妨害を見た。

私のオーディオ室に絶対的に足りないもの。ソファです。

昼休憩に何を思ったか劇場版イデオンの「接触篇」を見たんだけど、これ、「接触篇」を一から作っていたら…　もっと伝説の作品になったよなあ…　という、感慨に襲われた。カミューラ＝ランバンのエピソードがないのも惜しい。あれはイデオンの中でも神がかった演出がみられるのでね。

２１日より緊急事態宣言が解除されますが、しかし、東京は先月１８日以来の４００人越え。全国でも先月１８日以来の１５００人越え。どうなるのでしょう。

NHKによると２１日に緊急事態解除。

単発トゥート分類案 Ver.1.01

【数学】巨報
【数学】ロマンティックナイト

【国語】笑の言葉
【国語】日本語の作文技術

【英語】（未定）

【理科】テクノロジー
【理科】宇宙
【理科】地球
【理科】生物
【理科】化学

【社会】リアル時事
【社会】ネット時事
【社会】歴史

【音楽】葱汁あいの初音放浪記
【音楽】よもやま話

【美術】アニメ夜話
【美術】マンガ夜話
【美術】ゲーム夜話
【美術】動画紹介
【美術】芸術論

【家庭】美食
【家庭】生活

【体育】健康
【体育】R-18
【体育】格闘技

ある数学概念を調べると他の数学概念が出てきての連鎖を解決する数学解説サイトがあるようです。

https://cognicull.com/ja

議論の行方がどうでもいいって話題、本当に最高だよね。お気楽が一番だよ。

ボカロPの定義、ほんとどうでもよくて、何の毒にもならない議論で、最も安全で、お気楽に楽しい話題ですよね。

というトゥートしたら、ちょうどLTLでも話題だったｗ

今日は「ボカロPの定義」という人類史上最もどうでもいい、一意である必要性のみつからない話題が、ツイッターで人気だったそうです（知らない）。

野生動物の襲撃を受けた。

さっきのは…　ダジャレです…

地球温暖化っていうけど、それほど地球温暖か？

夕方の続き。

前回までのあらすじ。アニメのブルーレイ（約８０００円）を買うものの、新品のディスクに傷があり、再生不良であった。

新しく買い直すとして、このゴミ（ブルーレイ）はどうしてくれようか？　ハードコート（なんで傷があるんですか？）がどんなもんがタワシで擦ってみるか？

３月１４日は円周率の日、円周率をネタにした巨大数があるようです。パイゴル。

https://googology.wikia.org/ja/wiki/%E3%83%91%E3%82%A4%E3%82%B4%E3%83%AB

私が、ツイッターで巨大数界隈と接点を持ったときの３人の巨人…

rpakr
108Hassium
巨大数大好きbot

ここ１年くらいかな108Hassium氏は巨大数から距離を置いていて、rpakr氏は何処かへ消えてしまっていたけど、rpakr氏が界隈に戻ってきたみたいですね。頼もしい限りです。