isabelle

だいぶ体調が復活してきた。

日曜日、午前中は、Rustの勉強と、日曜礼拝、そして、自分のミッションを見つめ直す時間を設けた。

午後はIsabelleを少ししたら、会社からの連絡があったので、諸々の準備をし、出社し、労働。日課が崩れた。

寝坊したが、すっきりした一日を送れた。

今日は安息の日とした。 自分の問題は、自分がどこにいるのかを捉えることであることだと思う。そして、自分の環境がどうであるかを見極めることである。

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

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

内なる理由が見当たらない。自分の位置が分からない人は、自分の行く先もわからない。

休息の日であった。先日からのPCの不具合の原因と思われるものを1つ特定した。

潜水をしているような気分だ。

今日は休息の日とした

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

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