03/03/18 20:49
>>583
この板にも居ますよ。たぶん数学屋の方でしょうけど。
ところでデータ構築子って理論的にカリー化できないのでしょうか？
最弱頭正規形を作ればいいのだから可能なのでは？と思いますが。
03/03/18 20:49
>>583
この板にも居ますよ。たぶん数学屋の方でしょうけど。
ところでデータ構築子って理論的にカリー化できないのでしょうか？
最弱頭正規形を作ればいいのだから可能なのでは？と思いますが。
03/03/18 20:49
>>583
この板にも居ますよ。たぶん数学屋の方でしょうけど。
ところでデータ構築子って理論的にカリー化できないのでしょうか？
最弱頭正規形を作ればいいのだから可能なのでは？と思いますが。