三津石智巳

👦🏻👦🏻👧🏻 Father of 3 | 🗺️ Service Reliability Engineering Manager at Rakuten Travel | 📚 Avid Reader | 👍 Wagashi | 👍 Caffe Latte | 👍 Owarai

TLA+について勉強している

今日もメンバーとの面談から1日を始めた ひとしきり家族の話をした後 今期の目標について 説明を行った ある程度理解してもらえたのではないかと思う

その後午前中は 課題解決を一件と チームの文化についてメンバーと話をした 色々話したが チームの勝ちや原則に従わない 仕事はやり直しを命じる という practice が 一番肝になる

午後は手作業のオペレーションに時間を取られてしまった チームメンバーの時間を確保できたのは良かったが こういった問い合わせはなくしたい

残りの時間では形式手法について勉強をした 今回学んでいるツールは 使用の形式化と検証にのみ 注力をしており 今まで見たどんなツールよりも 有効ではないかと感じている

一件会議にも参加した ソフトウェアの会計やソフトウェアの会計や原価についてもっと勉強したいと思う

帰りの電車では社会構成主義について学習を進めている 何かヒントが見つかるといいのだが