kakkun61
オープニング動画作んなきゃ
take k (sort xs)
in Haskell has O(n + k log k) time complexity の間にクイックソートと遅延評価が組み合わさったときの計算量がどうなるかというコメントが @as_capabl さんからあったと思うので、この場を借りて回答します。(チャットで書いたつもりが、リンクを含んでいたせいかアーカイブに残っていなかったもので……)take k (sort xs)
の平均時間計算量を O(n + k log k) にできそうです。詳細な説明は Heinrich Apfelmus の投稿 や Peter Van Roy の講義動画 にありますが、いずれの場合も「平均時間計算量を考えているので、partition はリストを大体同じ長さの2つの部分に分割するものと考える」というクイックソートの平均時間計算量の証明でありがちなごまかし(だと自分は思っているんですが、これって妥当なんでしょうか?)が見られるので、証明をより精緻にする余地があると思います。curlLet’s encryptのルート証明書が切れた際に、古いイメージの古い curl (の設定)だとエラーはいて動作しなくなっちゃったんですよね
0.10.2, 2021-11-10:
Relaxed transformers-compat version bound.
Supported Win32 2.12.0.0 or higher.
$(shell ...)
はエラーを無視するので問題が起こっても気づきにくいというのはあるかもしれませんね。私も今まで気づきませんでした。学生に限定しないhttps://twitter.com/kelseyhightower/status/1458681633209389057