朝 ランニングした．つかれる． いつも15分くらい走るとへとへとになってしまってそれ以上走れなくなってしまう．もうちょっとペースを落として走るべきかな...... 昼 実験の授業があった．途中，1時間弱くらい教員氏が何もしゃべらなくなって「とりあえず資…

朝 ごろごろしながらニコニコ動画を見ていた． 飽きたのでおもむろにThe Rust Programming LanguageのTrait Objectの章を読んだ．Rustにおいてジェネリックな関数はコンパイル時に型引数をもとにして具体的な型に対するコードに変換されるので抽象化のコスト…