20201125logPCで発生していた問題の原因と思われるものの1つを特定(私が悪い)。音声によるコミュニケーションの問題の一時対処をやっていることの気づき。あと、色々勉強した記録(Rust、Isabelle、1on1)。 Nov 25, 2020