先人の読書メモ
https://cympfh.cc/aiura/imiron.html
メモは可能世界の章から
内包のダウンアップの記号
∨∧の上付きにする代りに矢印↓↑を使用
クヌースの矢印表記を想起させて少し苦手だつた
当時寿司 虚空編のサンプルを読んだばかりだつたからか
巨大数ネタ