函数って言葉久しぶりに見たわ。
たしかに語源上は函（ハコ）だったよね。