0902デフォルトの名無しさん垢版 | 大砲2021/10/02(土) 16:12:27.49ID:qz0ghb/n >>899 結合法則を仮定していいドメインなら CPS変換を用いて最適化する手法が随分前からあります 結合法則はGPU並列化でも使われてます 浮動小数点の場合は工夫しないと誤差が変わりますが ちなみにC++ conceptの初期案でもaxiomで法則を記述出来ました