Notices by Masaki Hara (qnighy@qnmd.info), page 39

cleanup jobがうまくいってなくてdisk fullになってた

なるほど

本来の受肉に近い概念が逆受肉と呼ばれていてバーチャル受肉の定着を感じる

ヘブライ文字でbidi処理になってるのでは (Twのbidi処理ぶっ壊れてた気がする)

積分定数さん……

http://fairy-tale.blog.jp/archives/1073442587.html
失われた魔法が公開されてる！個人的にかなり好きだったTSFフリゲ

30億のデバイスで走る

Upcoming Features - Let's Encrypt - Free SSL/TLS Certificates https://letsencrypt.org/upcoming-features/

Certificate Transparency LogがQ1に、Multi-Perspective ValidationがQ2に追加され、待望のECDSA Root and IntermediatesはQ3に延期された

ぼくの今までの認識
because: 他の単語を使いすぎたときに使う。
as: 他の単語を使いすぎたときに使う。
since: 他の単語を使いすぎたときに使う。

Deterministic Turing Machine: 決定論者のチューリング機械
Intuitionistic Logic: 直観主義者の論理
Minimalist GNU for Windows: ウインドウズのための最小主義者のGNU
Optimistic Concurrency Control: 楽観主義者の並行性制御

https://github.com/qnighy/yasna.rs/issues/16#issuecomment-451619306
ひょえー、趣味で作って飽きて放置してたcrateが実は想像以上に使われていたらしい……

@tomoasleep tomoasleep

ちなみに線型論理からリンデンバウム代数を作るとresidual latticeとかいう構造になるっぽい

でもそれだと「両者が0〜10の整数を同時に言い、その積が両者の利得となる」みたいなケースで(0, 0)が該当しちゃうけどいいのかな

ナッシュ均衡、 max { f(x', y) | x' ∈ X} = f(x, y) と max { g(x, y') | y' ∈ Y } = g(x, y) の連立方程式の解という理解でいいんだろうか

そもそもモンティ・ホール問題ってどういうゲームだっけ。opponentが3択のうち一つを秘密裏に選ぶ。proponentが同じ3択をする。opponentは、どちらの選択からも漏れた選択肢のうちのひとつを開示する。proponentは再び3択を選びなおし、これが最初と一致したら1, しなかったら0を得る。ゼロサム。

ゲーム理論わからんしモンティ・ホール問題の混合戦略ナッシュ均衡でも求めてみるか

でも待てよ、昭和には Python 2 は存在しなかったのか……そう考えるとたしかに昭和の方がいい気がしてきた

百合じゃん

https://satakerugames.com/women_erorpg_matome/
参考になる (18禁注意)