20201206log日曜日、午前中は、Rustの勉強と、日曜礼拝、そして、自分のミッションを見つめ直す時間を設けた。午後はIsabelleを少ししたら、会社からの連絡があったので、諸々の準備をし、出社し、労働。日課が崩れた。 Dec 6, 2020
20201125logPCで発生していた問題の原因と思われるものの1つを特定(私が悪い)。音声によるコミュニケーションの問題の一時対処をやっていることの気づき。あと、色々勉強した記録(Rust、Isabelle、1on1)。 Nov 25, 2020
20201111logコミュニケーションが下手であることを自覚することのメリット。壁に立ち向かう時の心構え。Rustの構造体や列挙型に関するメモ、Isabelleの定数畳み込みと定数伝播に関するメモ、チームのマネージャー・マネージメントに関するメモ。 Nov 11, 2020