20201111logコミュニケーションが下手であることを自覚することのメリット。壁に立ち向かう時の心構え。Rustの構造体や列挙型に関するメモ、Isabelleの定数畳み込みと定数伝播に関するメモ、チームのマネージャー・マネージメントに関するメモ。 Nov 11, 2020