mnruのｱﾝﾃﾅ - はてなｱﾝﾃﾅ

▽Haruki Zaemon | My hovercraft is full of eels
●11/26 19:49
I am reminded day after day how important it is to remain ruthlessly curious. Smart, capable people will either solve problems for themselves, realise they don’t know how, or realise they do know how but the environment is causing them to not do anything about it. This could be because they lack time, or they’re focused on other things, or any number of reasons. The trap is to think that I have th

▽て日々
●11/26 12:16
2024年11月25日(月)朝はいつもの非常勤の講義に歩いて出かけ､確率の応用と称して､宝くじがどうした隕石がこうしたと話してきた｡いや､本題としてはﾍﾞｲｽﾞの定理とその応用の解説をしてきたのだけども｡そのあとは例によって卒業研究ｾﾐﾅｰだ｡あいかわらず､順序数の算術のいろいろの性質の証明をがんばっている｡そんなわけで午前中の業務が済み､そのあとは我らが数学教室の悪習により､昼休みに教室会議があった｡夕方からは､懸案のﾌﾟﾛｼﾞｪｸﾄに関連してまたまた神戸から菊池誠がやってきたので､迎えて焼き鳥屋で晩飯を食いながら議論する｡例によって好きなことを勝手に喋ったが､ﾌﾟﾛｼﾞｪｸﾄの俺が関わる部分について､少しは貢献できたと思う｡2024年11月24日(日)朝から仕事である｡ﾘｰﾀﾞｰに､15時までには業務は終わらないと覚悟してくれと言われていたので､やむを得ずきょうのﾋﾟｱﾉの発表会をｷｬﾝｾﾙ