- 集合論に基づいた言語を作りたい
324 ：デフォルトの名無しさん[sage]：2014/09/22(月) 15:09:16.19 ID:SUbucwZ9 - 無限集合を扱わないで
>教科書の章末問題をサクサクっとインプリメントする
のはちゃんとできるのかな。
できるんだったら >>15みたいなことを言わずに最初から有限集合に限定と言えば良いわけで。
| - 集合論に基づいた言語を作りたい
329 ：デフォルトの名無しさん[sage]：2014/09/22(月) 20:07:25.83 ID:SUbucwZ9 - >>327
生産性が上がる例とかいうのは知らんけど。
俺が何冊か見た集合論の教科書は無限集合を扱ったものばかりだったから、
無限集合を扱えない処理系で
>教科書の章末問題をサクサクっとインプリメントする
なんてできるのかな と思った。
無限集合を扱っている教科書を想定してたから>>15になったんだろ?
|
|