20201111log

コミュニケーションが下手であることを自覚することのメリット。壁に立ち向かう時の心構え。

Rustの構造体や列挙型に関するメモ、Isabelleの定数畳み込みと定数伝播に関するメモ、チームのマネージャー・マネージメントに関するメモ。