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