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

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

diary

church

FEBCで日曜礼拝を聴く。

パウロが圧迫を感じ、絶望を覚え、そして心を合わせた共同の祈りを求めた話。

困難に直面し、神の救いを得、困難に直面し、神の救いを得、これがずっと続く。神のみ心に沿い、救いの働きの完成に至り、御国の到来がくる。けれど、困難が直面し続ければ、パウロですら、希望を失ってしまう。

祈りというのは呪術ではない。御心に沿うように神に身を委ねることである。

「アーメン」と、賛同の言葉を口から出すことによって、1人の人の祈りを共同の祈りとするのである。

神のみ心に沿えるように、どうかお導きください。

アーメン

movie

５分の休憩で見続けていた「Fight Club」をとうとう見終えた。

最後、なんでタイラーは「なんだこの匂いは？」と言ったのだろうか？

vision

自分のミッションを見つめ直す。

20201126logに書いてあったことの修正

CoreValue
- チームの基礎的な信念
Purpose
- チームの存在理由
- チームの組織への影響力
Mission
- 達成しようとしている目的
Strategy
- ミッション達成のために将来にわたって天下宇する手段
Goal
- ストラテジーを短期的で達成可能な目標へ落とし込んだもの

「私の基礎的な信念は何か」
1. 人との交わり・関わり、及びその場は重要であり、そこにおける発言や活動は、いずれその人、その場、社会へと影響を及ぼすという信念
2. 情報や技術は、個人の問題および人間関係の問題を改善・解決に導くという信念。
3. 真理と愛とは世界に光をもたらす。
  1. 真理、特に、定理は、不確かな世の中において、確かなものである。
「私の存在する理由とは何か」「私の社会、世界への影響力とはどれほどのものか」
1. もちろん、この世を罪から救うという目的はある。
  1. 隣人の必要に焦点を合わせ、貢献をするため。
2. キリストの真理と愛とを実現するため。
「私が達成しようとしている目的はなんだろうか」「どういう人物像になりたいのだろうか」
1. キリスト者であり、キリストの真理と愛を実現すること。
「長期的に、目的のために、なりたい人物像のために、どういうことをやっていくのがよいか」
1. 愛、喜び、平和、寛容、親切、善意、誠実、柔和、節制、これらを身につける
2. 知恵と分別を身につける。
「今年一年など短期的に、どういう風に成果を出せるだろうか」
1. 規則正しい生活を送る
2. 言うに遅く、聞くに早く、怒るに遅い、そんな人

もうちょっと技術に近いことを語りたい。技術よりの方は、今回のとは異なり、技術よりの方として、別の体系を作った方がいいかもしれない。

20201204logから神の捉え方の再録

「神は、全知全能であり、間違いがなく、クリアで、ご計画を持っており、また慈悲に満ち、そして、善悪ではなく神の前のまっすぐさをご提示される方。」
「欠けており、穢れに満ちている私に、神は、常に寄り添い、共に歩んでくださる方。」

20201018logより、

信仰は望んでいる事柄を確信し、見えない事実を確認すること。つまり、神の存在や神の愛を確認できる。
行いが伴わないなら、信仰はそれだけでは死んだもの。信仰という心から神へ愛を伝えるチャネルを成長させるためには、行い・活動が必要である。信仰が愛を導き、行動がその愛の実現を導く。御言葉を読み、神が私達の魂に入り込む様を見、祈るという行動こそが、神様に愛を本物で成熟したものへと涵養する。

work

なんと日曜日なのに会社から連絡があり、労働をする。

出社すると決めてから、準備に一時間をかける。なぜならこれを怠ると、仕事モードに切り替わらないからだ。

運動をし、シャワーを浴び、髪を整え、Beard Oilで髭を整え、シャツを着、タイをしめ、タイピンをして、スーツを着て、髭を整え、財布とキーケースを右ポケットと左ポケットにいれ、ペンを２本とメモ帳を左胸内ポケットに入れ、タイと合わせた色のハンカチを右外ポケットに入れ、左後ろポケットと左外ポケットにスヌースを入れる。この一連の作業なしに、切り替えることはできない。

さて、会社の問題であるが、原因はよくわからないけれどルーターの設定がくるっていたので、初期設定からやり直した。一番大変だったのは、複合機との接続だった。もう二度とやりたくない。

あと、代表が会社の説明文書で苦労していたので、相談を受けた。結局、彼には語るだけの十分な素材があったのであるが、それの整理や分類、体系化ができていなかった。そのため、本日のweblogでも述べた、CoreValueとPurpose、そしてMissionの三つについて説明し、彼の言葉を文書化、分類、それらの関連付けを行った。

すでにあるものを並べただけであり、方向性を私は与えた。あとの体系化や一連のまとまりのある文章とするのは彼の仕事である。

また、聴く際の技術としては、1on1で学んだことをいくつか採用してみた。話を引き出すこと、相手に深く考えさせるところ、次への課題の設定をすることができた。

今日の勉強

rust

TRPL pp.240-254

カスタムメッセージを失敗メッセージと表示できる。

必須引数の後に指定された引数は全てformat!マクロに渡される
- {}プレースホルダーを含むフォーマット文字列と
- このプレースホルダーに置き換えられる値を渡すことができる
アサーションがどんな意味を持つかドキュメント化するのに役立つ
- 失敗したアサーションがどの行にあるかに加え、どのような値で失敗したかがわかる
  - 要件が定まりきれていない場合は、正確な等値性を確認するのではなく、含むかどうかをアサーションする。

should_panic属性

パニックしたらテストを通過させる
想定通りにコードがエラー状態を扱っていることを確認できる
#[test]属性の後、適用するテスト関数の前に、#[should_panic]属性を配置
正確を期すために、should_panic属性にexpected引数を追加することができる
- 起きると想定していたもの以外の理由でテストがパニックして通ってしまうので、不正確なこともある。
- これで、メッセージの一部もしくは全体が含まれているかテストできる
  - 予想される文字列を含んでいなければ落ちる
- 引数の指定の仕方は、パニックメッセージの固有な箇所、動的な箇所、テストをどの程度正確に行いたいかによる

Result<T,E>を使うテストもある

例えば、assert_eq!マクロを呼び出す代わりに
- 成功すればOk(())を
- 失敗すればErrにStringを入れて返す
これだと、?演算子をテストの中で使える
- テスト内で何らかの工程がErrヴァリアントを返したい時に、失敗するべきテストを書くのに便利
#[should_panic]注釈は使えない
- 失敗しなければならないときには直接Err値を返せ

テストの実行の仕方を制御する。テストには、cargo testにあかるものと、出来上がったテストバイナリにかかるものがある。

cargo testの規定動作
- テストを全て
  - 名前で指定したもののみ実行さえｓる
    - 引数なしだったらすべて実行
    - 引数にテストの名前をいれると、部分一致するもの全部一致するものについてのみ、テストを走らせることができる
      - モジュール名でフィルターがけすることもできる。
  - ignore属性で注釈して、テストから除外する
    - #[test]の後の除外したいテストに#[ignore]行を追加する
      - 除外されたものはn ignoredに追加される
    - 無視されるテストのみ実行したかったら、cargo test -- --ignored
- 並行に実行し、
  - 並行に実行するのは、早く実行し終わり、反応をより早く得られる
  - 注意: 相互に共有された環境を含むほかの共通の状態に依存していないことが求められる
  - --test-threads=n
    - 使用したいスレッド数をテストバイナリに送れる
    - 有用な場面
      - 1に設定して、並行性をしないようにして、状態を共有していてもお互いに邪魔しないようにする際
      - 使用するスレッド数をよりきめ細かく制御したい場合
- テスト実行中に生成された出力をキャプチャして出力が表示されるのを防ぎ、テスト結果に関係する出力を読みやすくする
  - テストが失敗した場合、残りの失敗メッセージとともに、標準出力されたものが全て見える
  - テストが成功した場合は、テストが通ったことを示す行しかみられない
    - --nocaptureフラグで、出力キャプチャ機能を無効化し、パスするテストについても標準出力される値が見れる

isabelle

Concrete Semantics pp.174-175

Live_trueの定義を理解。だいたいにおいて、数学の定義や定理を理解するためには、思いつく人の思考のトラッキングが必要である。しかし、やはり思考をトラッキングできていない。十分に頭脳を発揮できていない。 (そもそも、十分に頭脳を発揮できたことが、私にこれまで一度でもあったであろうか？)

また、Lが正しいことの証明を読み終えた。結局、前のLiveのと一緒の証明で、あとはLについての形式を整えるだけだった。

1on1

1on1のアクティブリスニングの技術を身につけるのはかなり骨を折るだろうな、と思いながら読み進める