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

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

diary

church

FEBCで日曜礼拝を聴く。

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

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

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

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

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

アーメン

movie

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

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

vision

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

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

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

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

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

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

「欠けており、穢れに満ちている私に、神は、常に寄り添い、共に歩んでくださる方。」

20201018logより、

信仰は望んでいる事柄を確信し、見えない事実を確認すること。つまり、神の存在や神の愛を確認できる。

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

work

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

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

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

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

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

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

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

今日の勉強

rust

TRPL pp.240-254

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

should_panic属性

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

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

isabelle

Concrete Semantics pp.174-175

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

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

1on1

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