15/04/28 22:38:28.56 8LxH1Yrp.net
>>168
自然関数じゃなくて自然変換だよｗ
自然変換はほぼ多相関数と同義で、
あなたのいう「内容に依存せずに構造の形を変える関数」のこと
だから名前だけ知ってるじゃなくてちょっと中身も見てみたら
まあ>>169の言う結果になると思うが
15/04/28 22:38:28.56 8LxH1Yrp.net
>>168
自然関数じゃなくて自然変換だよｗ
自然変換はほぼ多相関数と同義で、
あなたのいう「内容に依存せずに構造の形を変える関数」のこと
だから名前だけ知ってるじゃなくてちょっと中身も見てみたら
まあ>>169の言う結果になると思うが