20201222log

今日はある程度まとまった生活を送ることができた。コミュニケーションの重要性について改めて感じる。

20201130log

寝坊しても、どこかの時間で絶対に少しだけでも勉強するぞ、という強い気持ちをもって活動する。

20201125log

PCで発生していた問題の原因と思われるものの1つを特定(私が悪い)。音声によるコミュニケーションの問題の一時対処をやっていることの気づき。

あと、色々勉強した記録(Rust、Isabelle、1on1)。

20201124log

PCの問題の記録。コミュニケーション苦手と感じる理由は、音声という一次元的な情報の伝達手法に難を覚えていることと関連している。読むべきVPoEのインタビュー記事のリストアップ。

あと、Rustの勉強記録(Result型周りの途中)。

20201120log

増えたタスクに対してやりやすくしておくことが重要で、それが職業コードとしてよいコードであることなんだろうなと思った

20201113log

22時に寝るようにするためにブログを簡略化することを決めた。

20201111log

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

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

20201103log

久しぶりに3時間ほど残業した。

20201030log

人にものを伝える時は 3 つのissue と 1 つのお願いという形式が楽。