Timeline for it list by senooken, page 45

エキストラヴァージンオリーブオイルアカウントになってしまう……

エキストラヴァージンオリーブオイルであると思いながら食べると、「ああ、これはオリーブの実を潰してでてきたジュースなんだな……」という気分に浸れた。普段は絶対に買わないエキストラヴァージンオリーブオイル(買ってもたぶん有効活用できなさそう)だったので余計に強くエキストラヴァージンオリーブオイルの良さを感じることができたんだと思う。

美味しさの判断にエキストラヴァージンオリーブオイルであることによるバイアスは確実にかかったと思う。

エキストラヴァージンオリーブオイルであることを推してる感じではなくて、トランス脂肪酸ゼロであることをアピールしているからエキストラヴァージンオリーブオイルであると分かった感じ。トランス脂肪酸ゼロを主張するためにはエキストラヴァージンオリーブオイルじゃないといけないから分かるんだけど、エキストラヴァージンオリーブオイルであることを推してもいい気がする。日本でエキストラヴァージンオリーブオイルがあまり知られていないからそうしてるんかな。

今日はエキストラヴァージンオリーブオイルを堪能した。なんか美味しい。

ACL2 の二分探索木の記事、前作ったやつは検索しか実装してなかった(一体何の役に立つのか…)ので割と新規に書く感じになってて苦戦してる。必要な定理の数が多くて大きな記事になりそうな予感がしてる。

ACL2ばっかりやってるせいで第一級クラスの関数がない世界に慣れてきてやばい。マクロがあればまあーなんとかなるんじゃないかなーとかいう気分になってる。

Lisp であることを決定づける要素に第一級クラスの関数が必要なのだとしたら ACL2 は Lisp ではないことになるよなー。

趣味では ACL2 しか触ってないのでオーバーロードとかはるか遠くの世界の話に感じる。

演算子のせいで動的型付けの言語でオーバーロード的なことをしたくなるんじゃないかと思ってる。まあ、CLOS とかあるし一概には言えないと思うけど。

これわかる。それぞれ別の名前つけて欲しい。

ウェブフォントでトラッキングできる話をしててソースを探そうとしたらあんま情報がなかった。あんまり有名じゃないんかな。

飲食店は始める人がめっちゃ多くてやめる人がめっちゃ多い業界でくるくる周りまくってる。多くの人がなんか飲食店を始めようとする。

飲食店を開業してからの3年間生存率は30%程度なので、「あー、脱サラして飲食店でもやるかー」とか思ったらまずこの現実を直視し熟慮してから飲食店を始めるのがおすすめ。

【開業前の3つの心得】飲食店の経営で失敗しないためには？ - Airレジ マガジンhttps://airregi.jp/magazine/guide/8956/#:~:text=%E9%A3%B2%E9%A3%9F%E5%BA%97%E3%82%92%E9%96%8B%E6%A5%AD%E3%81%97,%E3%81%A8%E8%A8%80%E3%82%8F%E3%82%8C%E3%81%A6%E3%81%84%E3%81%BE%E3%81%99%E3%80%82

インフルエンザワクチンの接種数と接種後の死亡疑いの割合と新型コロナウィルスワクチンの接種数と接種後の死亡疑いの割合が全然違うじゃん論を見たんだけど、これはワクチンを打つ層が違うからなんじゃないかな〜〜〜とか思ってる。

インフルエンザワクチンは比較的健康なやつが打つ傾向が高く新型コロナワクチンがもともと死にやすい人が打つ傾向が高いのだとしたら、新型コロナワクチンの接種後の死亡疑いの発生率が高くなるのは自然かと思う。新型コロナワクチンの方はじゃんじゃん高齢者に打つことを推奨しまくってるし。

現在 DRM 付きコンテンツを再生できない環境に身をおいているので困るんだよなー。公共放送なんだからしっかりして欲しい。

NHK オンデマンドは無駄に DRM かけてないのになんで NHK Plus ではかかってるんや……。

NHK Plus はインターネット放映できない番組がなぜか存在するのと、DRM がかかっているのがネックで、それさえなければ良いものだと思うんだけどな……。

NHK オンデマンドはたまに契約してコズミックフロントを見ようと思ってる。

まー、つらいのは次のゆく年くる年を見れないくらいかなー。

テレビの受信機器は半年くらい前には廃棄してたんだけど、NHK Plus のために NHK は契約しつづけていたんだが、NHK Plus は Widevine DRM かかってるし円安でサーバー代は高騰しているしということで解約することにした。

NHK の存在意義は分かるんだけど流石に一切テレビ見てないのに契約し続けるのはおかしいし、サーバー代は高いしということによる判断。