やっと梅雨入りしたみたい。
月曜日。はあ。
まずはどうでもいい話。①ドラゴン桜。今週のは面白くなし。やっぱり私は「保全型」みたいです。よって1冊の本をやり込む、毎日定時・定位置で学ぶ、のが良さそう。「拡散型」ってどういう読書をするのだろう。私がイメージしたのは、床の上に５〜６冊の本を開いて置いて、それをキョロキョロ眺めながら、見た本のページをバラバラな順序でめくる、って感じの光景。大昔にマンガ雑誌でそういうことをやったことがあるような気がするが、それを普通の本（参考書）でやる気には到底ならない・・・。
②今年の祝日。７月の祝日について、うちのカレンダーとiPad内のカレンダーで日程が異なっていた。ネットで調べた結果、正しいのはiPadのほう。7/22（木）が海の日・7/23（金）がスポーツの日で祝日（つまり４連休）。スポーツの日（旧体育の日）は本来10/10だったはずなのだが（実際来年（2022年）はそうなっている）、今年はオリンピックの影響で海の日ともども移動になった、みたいです。どうせ無観客なのに（まだ決まってないけど）。うちのカレンダーはそういう変更の前に作成されたもの、と推測できる。皆さんも、祝日を間違えないように気をつけてください。
そう言えば、緊急事態宣言は予定通り？6/20で解除されるみたいです。オリンピックとかどうなるんでしょうね。どうでもいいけど。
Youtube。今日は以前書いた「Kyoto logic」の続きを視聴。後期に入って興味深い内容になってきた、って感じ。まあ証明のパズルとかも面白いんだけど。
で、途中で出てきた「アッカーマン関数」（計算可能だけど原始再帰的でない関数の１つ。めちゃくちゃ？なスピードで値が大きくなる）に関連して、ネットで「巨大数研究」のWikiを見る。グラハム数とか。見ていてそれなりに面白いのだが、やはりそれなりの数学の知識がないとある巨大数の定義そのものを理解することも難しい、って感じ。サイト内でこういう基礎知識についてまとめてある場所があると良いのだが、わかりやすくは載っていないので自分で探さないとって感じ。（色々調べたら、e-bookで「巨大数入門」ってのが出てきた。無料で読めるので皆さんもどうぞ？）
もう１つ。後期の第１回で「スリングショット論法」ってのが出てきた。GF（Grand Fact）、つまり「この世の全ての事実を集めた（１つの）事実」の存在を証明する論法。GFってなんか気持ち悪い概念。「神の存在証明」に近い感覚。論証の構造的に「自然数が「無限」に存在する」とかの感じに似ている気がするので、量化子を用いて証明的なことが出来そう、な気がしたが、それはあくまでも「実証レベル」の話に過ぎなくなってしまう、のだろうか。まだまだ続きがあるので楽しみ。
以上。昼にラーメン食って腹を壊す。下痢。
明日も今日と同じく。夜にちょっとした作業をしないといけない。まあ粛々と。
では。絵を描きます。っていうか喫茶店行ったのにYoutube見てたせいで描けなかったっていう・・・。
でも２週間連続で継続できている。そのことに感謝しつつ、今日も継続しようぜ？