あ、ちなみに、入出力が写像である＝入力を対応する出力に変換する＝作用だと思っている
この言葉の定義が違うのかな？