レモンサワーよりもレモン果汁が好きである。
昨晩ブログを投稿してから、酒を飲もうか悩んでいたところ、割り材のハイサワーレモンをそのまま飲んだ。 そして、改めて気づいたのだが、レモンサワーのアルコールよりも、レモンの炭酸水が好きであることだ。
酒を飲んで、身に覚えのある失敗をしたことは山ほどあるのだから。
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のデザインと固定資産としての期待値以外なくなりつつある。