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

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

集合論に基づいた言語を作りたい - 暇つぶし2ch659:デフォルトの名無しさん
14/10/28 23:02:45.22 SAcW2ukT.net
>>575
こんなことを書くぐらいだから、推論や数式処理の機能をもつ言語を考えていたわけじゃないよな。