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

[541 １ 2014/10/19(日) 21:38:28.27 ID:juftpz1M]

>>540
これとか。
http://www.amazon.co.jp/dp/4320029488/
もう捨てちまってあんまり持ってないんだよ。