March 29th 改名、「谿句ｿｵ縲√♀逍ｲ繧梧ｧ倥〒縺励◆w」→？

名前変えた

　見てもらったら分かると思うのですが、このブログの名前を変えました。前の名前は「谿句ｿｵ縲√♀逍ｲ繧梧ｧ倥〒縺励◆w」というそのまま読もうにも読みにくい（読めない）名前でした。無理やり読むと「ｹｲｸｿｵﾙｲﾙｰﾄﾒｽｼｮｳｲｳﾝｺﾞｧｺｳﾚﾝﾚｲ」、Shift-JISからUTF-8にすると戻せます。で新しい名前は「高専生∪Я∃の存在定理」。

名前の意味

　「〇〇が存在することを確かめた定理」を存在定理と言います(ロルの定理(後述)とか)。因みにハンドルネームの「∪Я∃」の3文字目「∃」は数学の証明では「存在する」という意味なのでなんか少し違和感を覚える人もいるかと思いますが...。まあいいや
　このブログ(日記)自体に込めた意味に関してまあ意識高そうなことを元日に言ってるのでそちらを参照。

0101.hatenablog.com

　今見ると「ブログを書くこと」しか出来てないです...。ごめんなさい。筋トレは家族が邪魔するのが嫌なので必然的にする時間が遅くなり、いつの間にか全くしなくなりました。英語は怠惰でしかないです。現にこの間から群論(の前段階である集合)の勉強はほぼ毎日してます。
　とにかくこのブログで私の存在を「証明」させるという意味を込めてこの名前をつけました。と完全に「口だけ」ですが...。飽き性なのでどうせこれからも名前は変えていくと思いますが、これでまあ少しはこのブログのことを認知しやすくなったかなと思います。

(補足)ロルの定理

　(細かなところを覚えてるか怪しいのでWikipedia見ました。)有界な閉空間 $\lbrack a , b \rbrack$ 上(簡単に言うと $a$ 以上 $b$ 以下という意味)で連続な関数 $f(x)$ が開区間 $(a,b)$ ( $a$ より大きく $b$ 未満)で微分可能、さらに $f(a) = f(b)$ であるとき $(a,b)$ 上の点 $c$ で $f ^ \prime (c) = 0$ を満たすものが存在する。
　因みに $f(a) \neq f(b)$ のときも「平均値の定理」で2点 $(a,f(a)),(b,f(b))$ を通る直線( $g(x)$ としておく)の傾きと $f ^ \prime (c)$ が等しくなる $c$ が存在することが言えます。新しい関数 $h(x)=f(x)-g(x)$ を作っておいてロルの定理を考えるとかそんな感じだったと思います。