関数
プログラミング
値を受け取って値を返す物
処理を1つにまとめた物
数学
集合$ A の任意の要素$ aに集合$ Bの要素をただ1つ紐付ける対応を写像や関数という
$ f: A \longrightarrow B,
$ \forall{a (a \in A \ \to \lnot \exist{xy(x, y \in B \land f(a) = x \land f(a) = y \land x \not= y)})}.
間違ってたらごめんねみやざき.icon