【数学】ロマンティックナイト
夜ではない。
「部分集合」の概念が少し難しい。
∅⊂{…}
「空集合は全ての集合の部分集合」というのをどう解釈すればよいのか。
例えばこの場合、
¬({1,3}⊂{1,2,4,5})
3∈{1,2,4,5}とはならないので、{1,3}は{1,2,4,5}の部分集合ではない。このように{1,2,4,5}に存在しない{1,3}の要素が存在するなら「部分集合であることを否定できる」らしいのだけれど、
つまり‥
∅⊂{1,2,4,5}
においては∅にはそもそも要素がないから「{1,2,4,5}に存在しない要素があるなら部分集合ではない」けれど、そもそも要素がないので部分集合である。
難しい…
(このテキストを信用してはいけません)
【音楽】葱汁あいの初音放浪記
ボカロ史上(人類史上かもしれない)、最もストレスの溜まる作品。
【数学】
ある数学概念を調べると他の数学概念が出てきての連鎖を解決する数学解説サイトがあるようです。
初音ミクをフィーチャーした巨大関数『みくみく順序数(Ordinal number-like functions featuring Hatsune Miku)』の研究者とされています。ボカロリスナーでしたが引退しました。