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

[525 デフォルトの名無しさん 2014/10/18(土) 14:38:07.57 ID:8EPYxHvD]

>>523
(まだ手元にある>>463)教科書や扱いたい問題を「いくつか具体的に」示せ、
言語仕様も叩き台になるものを示せ、
1がそうしたことすらやらないんじゃどうしようもない、
ってことだろうに。

http://www.weblio.jp/content/%E3%81%9F%E3%81%9F%E3%81%8D%E3%81%A0%E3%81%84