>>964
>>918のNNの証明可能な話は
シグモンド関数に限ったときだけ。
ReUL関数での証明はされてない