four_seasons https://blog.hatena.ne.jp/four_seasons/ 在りし記 https://four-seasons.hatenablog.com/ 今日 日々の学習 今日 日々の学習 今日（6月11日）は、食後に(最近流石に自主規制しようかとの流れが出てきている単語。ていうか大学の同級生に見られるとかはやはり流石にアレだし、もう18歳なんだし)しすぎた……1月に1回くらいの頻度で、ものすごい勢いでせざるを得ない日があるかもしれない。生理。 まあ勉強も少しもしなかったわけではないですよ。 well-definedってこれのことか、と思った。 あと、記号論理学の講義を活かして、解析入門のほうの問題の証明をきちんと書き下そうとしたけど、実数を対象にした1階の述語論理（言葉遣い間違ってるかも）では数列に関する議論はできないのだった（たぶん）。 あとジョジョ第2部読み終わった。 シュ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffour-seasons.hatenablog.com%2Fentry%2F20060612%2F1150042760" title=" - 在りし記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-06-12 01:19:20 rich https://four-seasons.hatenablog.com/entry/20060612/1150042760 1.0 100%