集合論に基づいた言語を作りたい

[72 デフォルトの名無しさん 2014/08/13(水) 11:15:46.15 ID:dxftsD0h]

「計算機なら集合の操作がやりやすいはず！」なんて話は別にどこにもないからな
計算機科学って「集合論的な操作をいかに計算機上で効率よく実装するか」ってものだから
そもそも >>1 の主張がおかしいんだよ。