2023-04
https://scrapbox.io/files/644e33a4f7c6b4001bf02ff6.png
良すぎる
知った
確かにすぎて感動がある
Date last visited にするとこれがずっと上位にあるの一体どういうことなんだ
終わってしまった……
最後もうマジ？しか言ってなかったな
これは全部やった人へのご褒美みたいなものではある
ソーカントクがアニメオタクなのはまあわかるのだが，最近のも見てるっぽいな
これのせいでマシューの笑い声がレイ・ホワイトになって終わった
みた
みなおした
最終話にはOPなかっただろ！って思ったので
OP曲もED曲も流れるけどかなり挿入曲だった
みた
そういうホラーだな
すごい
CGがモーションの硬さも含めてPS2なのがすごすぎる
みた
普通に魔法が発生するのでやめとくべきというのはそうか
割と見られているっぽいのでどうしたものかな
みた
みた
エーッ
どこまでもサブタイが長くなっていく
みた
VR????!!?!?!?!????!?
これで終わるの謎い
みた
みた
https://open.spotify.com/track/77p8q21htyaLcMwxmzcRzl?si=f39aedb392304889
https://scrapbox.io/files/6431116997d46d00217e7eab.png
なんかいろいろ
https://scrapbox.io/files/642e642a0faf71001c56c6f4.png
筆圧がちゃんと効くのでかなり本物のペンみたいな感じ
それなりに悪い意味でも……
調べるデバイスとしては悪くないな
そんなことあるんだになっている
いらないから画面広げてほしい……
消せるんだ
OCaml の並行プログラミングでDomainが同時に128個しか起動できない！みたいなのを見ている 起動/停止の概念がよくわかっていないが，もしかしてこれは実スレッドに結びついているのか？
Eio パッケージ、いい感じの並行制御があって本当にすばらしい タブ，閉じまくり
publish させていただく
今日も今日とて local opam switch がデカすぎる(1.4GiB)
ここらへん Nix とか導入できたらなんとかなったりしないか？ スクリブルはまあ iPad の入力の中では割と良いかもしれないが，キーボードの速度には勝てない ひらカナ数字常用漢字あたりだけを使えるようにして，後は適当に選択させて変換させれば良いのではないか？
今まで考え事するときは適当にルーズリーフを取り出して書き出していたのだけれど，それが iPad でやるみたいになってるのはなかなかすごいかもしれない よむ
気付いた
みた
そもそも既に観ていたのでは？という疑惑があり，あります
今週あたりにやりたいこと
ベンチマーク (MUST)
プロセス起動して……と思っていたが OCaml5系を導入すればマルチコアサポートで色々できる Eio.with_timeout
おもしろテクニックの導入
リスタート
学習節のスコアリングと破棄
ある程度の大きさ(とはいえまだ小規模だが)の OCaml プロジェクトは Nix で開発できるのか？ 切った
Pencil 全体の体験が破滅しているわけではないのだが……
悪くはないのだが、アルファベット入力がつらい
フリックで入れさせるのはさすがに狂ってるだろ
なれてきた……
やれ
真なリテラルを発見したら節を充足させた後その節の監視リテラルの片方を真になったリテラルに変更しているが，それは間違っている気がする 監視リテラルの両方が同じレベルでなければならないという制約(があるはず)を破る可能性がある レベル$ nである監視されていないリテラル$ lが真になり，レベル$ n+m+1でそれが発見された場合，監視リテラルの組はレベル$ n+m+1になった初期状態で未確定のものでなければならないが，$ lを監視することはこの制約を破る
この状態で
レベル$ nより後のレベルにバックジャンプする
$ lは真で充足
もう片方は未割り当て
→節は充足，挙動としても問題なさそう
レベル$ n以前にバックジャンプ
2つの監視リテラルは両方未割り当て
→正常な監視リテラル
実は問題ないのか？
$ lが偽の場合この状況には問題がある
監視リテラルの片方が「死んでいる」状態になるので，単位節になっているのにそれに気付かない(探索が行われない)可能性が生まれる