20201111logコミュニケーションが下手であることを自覚することのメリット。壁に立ち向かう時の心構え。Rustの構造体や列挙型に関するメモ、Isabelleの定数畳み込みと定数伝播に関するメモ、チームのマネージャー・マネージメントに関するメモ。 Nov 11, 2020
20201110logSamuel Becketの詩を思い出し、開発のために、上手な失敗を素早く失敗するためにどうするか、ということを考える。Rustの勉強記録は、5.1節から5.3節にかけての、構造体に関して、その所有権とその実装例とそのメソッドについて。 Nov 10, 2020