20201125logPCで発生していた問題の原因と思われるものの1つを特定(私が悪い)。音声によるコミュニケーションの問題の一時対処をやっていることの気づき。あと、色々勉強した記録(Rust、Isabelle、1on1)。 Nov 25, 2020
20201124logPCの問題の記録。コミュニケーション苦手と感じる理由は、音声という一次元的な情報の伝達手法に難を覚えていることと関連している。読むべきVPoEのインタビュー記事のリストアップ。あと、Rustの勉強記録(Result型周りの途中)。 Nov 24, 2020
20201111logコミュニケーションが下手であることを自覚することのメリット。壁に立ち向かう時の心構え。Rustの構造体や列挙型に関するメモ、Isabelleの定数畳み込みと定数伝播に関するメモ、チームのマネージャー・マネージメントに関するメモ。 Nov 11, 2020