>>13
そのへんも集合論になるべく沿った方法で仕様を決められたら面白いかなと思ってる。