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

空集合は全ての集合の部分集合である理由にたどり着けた。

∅⊂{…}

部分集合　∀x(x∈A→x∈B)

部分集合ではない　￢(∀x(x∈A→x∈B))

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

￢(x∈A→x∈B)となる「x（反例）」が少なくとも一つは存在する。

「部分集合ではない」ときはこの条件を満たすので∅⊂{…}は満たさない。故に部分集合。

（このテキストは素人が書いたものです。参考にしてはいけません。）

押しの女の子（１８（撮影時は１７））が主演した短編映画『Smile』が夏以降に劇場公開になるのですが、先行してブルーレイなんかも販売するらしいので、販売サイトで予約して入金したのだけれど、登録時にメールアドレスを間違えてしまい、修正の主旨をメールフォームを通じて伝えたのだけれど、１カ月くらい音沙汰がないと思ってたら、監督名義で「修正しました」って連絡がきました。監督がそういう業務までやるんですね。

うちの親戚は勉学が極端だけれど、どの学歴でも十分にお金を稼いでるので、受験はそういう意味では重要ではないと思われる。

押しの女の子が高校卒業したみたい。親戚の子の入学より感慨深いです。

さっきの問題への私の解答。

ボカロ視聴中に集合論の練習問題が飛んできて１時間ほど考えましたが再会します。

練習問題を頂きました。難しくて戦慄してます。

４KUltraHD Blu-rayについてひとつ留意点。いわゆる通常のブルーレイとマスリタリングの方向性が異なる事があるので、当然ながら解像度はグンと上がってるのだけれど、画面の色合いの調整とかが、旧来のブルーレイ方が「好み」だったということはあります。

なので、映像ソフトのコレクションを「DVDとブルーレイ」にするのは、あまり好きではなかったのですが「ブルーレイと４Kブルーレイ」はとても満足しています（通販番組の怪しい購入者の感想みたいですね）。しかし、一般的には今でもDVDが主流なので、オタク向けでないソフトはDVDしかない状態（例えばクレヨンしんちゃんの劇場版）で、そこがとても不満です。

４Kのテレビ買ったらDVDのときみたくブルーレイが汚く見えるんでしょ？　買わない。　と私は思ってましたが、４Kは素晴らしいです。４Kのブルーレイは凄まじい画質ですが、フルハイビジョンもとてもきれいです。

昔、私の先輩は「SD画像（DVDは昔ながらのテレビで見るより、フルハイビジョンのモニターで見た方がいい」と推定していましたが、実際には逆でした。それが４Kモニターとフルハビジョンの画質ではそうはならないという意味です。フルハイビジョンがもっときれいに見えるという事です。４Kは買いです（私のテレビがいいものの可能性はあります）。

「フルハイビジョンのブルーレイ」は４Kテレビで見るほうが綺麗だったりします。何故かはわかりません。DVDをフルハイビジョンのテレビで見たときのような残念感はありません。

トゥート分類案 Ver.1.02

【数学】巨大数
【数学】〇〇〇　※「〇〇〇」は「集合論」や「素数」など。

【国語】ユーモア
【国語】ポエム
【国語】エッセイ
【国語】日本語に関する考察

【英語】（未定）

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

【社会】リアル時事（コロナや選挙に関する話題はここ）
【社会】ネット時事（ＬＴＬの関する話題はここ）
【社会】政治の話
【社会】日本の話
【社会】地方の話
【社会】歴史の話

【音楽】【初音ミク】新着放浪記【オリジナル曲】
【音楽】ボカロと合成音声
【音楽】ポピュラー音楽
【音楽】楽器の話
【音楽】名盤夜話　『〇〇〇』はアルバム名。
【音楽】オーディオの話

【美術】アニメ夜話　『〇〇〇』は作品名。
【美術】マンガ夜話　同上。
【美術】ゲーム夜話　同上。
【美術】映画夜話　同上。
【美術】〇〇〇夜話　『〇〇〇』はシャンル名。
【美術】動画紹介
【美術】芸術論

【家庭】美食の話
【家庭】生活に関する話

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

ピックアップ基準ではなくマイリス基準は非常に緩く、例えば動画説明文に「頑張って作りました」「１年かかりました」とかいていると「聞かなくても」マイリスすることがあります。

スペアタイヤへの交換方法を紹介（森本モータース）
https://www.youtube.com/watch?v=R3dhb8M-aVg

細田守さんの「未来のミライ」は作画が神がかってるらしいのだけれど「お話が非常につまらない」という意見が多く、「未来のミライ」のブルーレイを買うかどうか悩む。細田守さんの作品も棚に１本は欲しいなと思うのだが、安全パイで「時をかける少女」もしくは「サマーウォーズ」か、未見でハズレの可能性があるが作画がスゴイ「未来のミライ」かで悩む。

無敵超人ザンボット３は「予算がないので作画監督がいない」ので作画が酷いときはかなりひどい。第１話から塗り間違えとかある。けど、安彦良和さんのキャラクターデザインは、そんなに作画が崩れても変にならない。作画が崩れると違和感しかないのは湖川友謙さんのキャラクターデザインで、伝説巨神イデオンの作画の悪い話数は非常に残念。あと、現役を退いていたからか、キングゲイナーで作画監督を湖川友謙さん（と推定される）が担当した話数があるが、それもかなり作画の悪さが際立つ。

自転車は３０年くらい乗ると、ペダルと歯車を接続するクランクがガタついて外れたりしますね。

夜ではないけど。めっちゃむずい。

夜ではない。

「部分集合」の概念が少し難しい。

∅⊂{…}

「空集合は全ての集合の部分集合」というのをどう解釈すればよいのか。

例えばこの場合、

￢({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}に存在しない要素があるなら部分集合ではない」けれど、そもそも要素がないので部分集合である。

難しい…

（このテキストを信用してはいけません）