レモンサワーよりもレモン果汁が好きである。

昨晩ブログを投稿してから、酒を飲もうか悩んでいたところ、割り材のハイサワーレモンをそのまま飲んだ。 そして、改めて気づいたのだが、レモンサワーのアルコールよりも、レモンの炭酸水が好きであることだ。

酒を飲んで、身に覚えのある失敗をしたことは山ほどあるのだから。

log

SML

『Standard ML入門』 pp. 252-255

• 問18.20
  • CM.makeの問題を解決
• URLに対する入出力処理に関して
  • テキストに書いてあるコードを写経
  • lynxをinstallしておいた
  • 問18.21と問18.22の解答を作成

Isabelle

“Concrete Semantis” pp.149-151

Def_Init_Smallを読んでいる

• 定理だけコピペして、テキストを読みながら、そこから証明を構成することをやろうとしている。
• 一部、sledgehammerでは生成されない証明があることについて、彼らはどうやって解いているのだろうか。
  • 自らのひらめきだろうか？

Team

『Team Geek』 pp.63-95 (3章)

• 自らがアンチパターンに陥っていないかと、普段の自分を客観視できていないことへの不安
  • 人間の問題を無視していないか
  • 自分自身がパフォーマンスの低い人ではないか
  • 仕事において友達として同僚に接していないか、線引きをうまくできていないか
• 人にお願いしたり相談を受けたりしているときに、よいチームメイトであるだろうか
  • エゴがないだろうか。
  • 相談を受けて、すぐ問題解決モードに突入しがちで、相手を誘導するためのうまい質問をできているだろうか。
  • 誉め言葉のサンドイッチを使っていないだろうか？　難しいフィードバックを適切に伝えられていないのではないだろうか？

diary

Goalについて

運命の場所にたどり着かねばならない。 そのためには、自分のなりたい像のクリアなビジョンを抱かねばならない。 しかし、私には、そんなビジョンが全くなく、一方で、やりたいことばかりがある。

時間は有限である。 やりたいことからやることを選択するためには、自分のなりたい像のクリアなビジョンがなければそれができない。 そして、それをしなければ、何もしなかった人間しか残らない。

私は一体何者になりたいのか。どういう人になりたいのか。

この問をずっと繰り返している。

WSL

WSL2のおかげで、Windowsは比較的良い開発環境であると思う。

Apple製品を選択する理由が、Appleのデザインと固定資産としての期待値以外なくなりつつある。