14/09/22 20:07:25.83 SUbucwZ9.net
>>327
生産性が上がる例とかいうのは知らんけど。
俺が何冊か見た集合論の教科書は無限集合を扱ったものばかりだったから、
無限集合を扱えない処理系で
>教科書の章末問題をサクサクっとインプリメントする
なんてできるのかな と思った。
無限集合を扱っている教科書を想定してたから>>15になったんだろ?
14/09/22 20:07:25.83 SUbucwZ9.net
>>327
生産性が上がる例とかいうのは知らんけど。
俺が何冊か見た集合論の教科書は無限集合を扱ったものばかりだったから、
無限集合を扱えない処理系で
>教科書の章末問題をサクサクっとインプリメントする
なんてできるのかな と思った。
無限集合を扱っている教科書を想定してたから>>15になったんだろ?