08/02/16 18:59:05
>>55
他にも同値分割とか余りとか(袋の中身を色で割ると、それぞれの色で分類された集合と、色なし集合になるといった概念です)、まだまだ綺麗にできる所があるなと >>1 は感じてます
マイクロソフトリサーチの人たちに、ぜひ圏論(この種の概念の理論がいっぱいあります)の研究をしてみてもらいたいなと……
そしてこの恐ろしげな概念を誰の手にも簡単に使える直感的で便利機能に仕上げて欲しいものです。
08/02/16 18:59:05
>>55
他にも同値分割とか余りとか(袋の中身を色で割ると、それぞれの色で分類された集合と、色なし集合になるといった概念です)、まだまだ綺麗にできる所があるなと >>1 は感じてます
マイクロソフトリサーチの人たちに、ぜひ圏論(この種の概念の理論がいっぱいあります)の研究をしてみてもらいたいなと……
そしてこの恐ろしげな概念を誰の手にも簡単に使える直感的で便利機能に仕上げて欲しいものです。