高階関数 単語

1件

コウカイカンスウ

1.2千文字の記事
  • twitter
  • facebook
  • はてな
  • LINE

概要

高階関数とは、関数引数として受け取る関数、あるいは返り値として関数を返す関数のこと。(英語ではhigher-order function

プログラミングの分野において、特に関数型言語では、関数を数値や文字列などのデータと区別なく扱うため、高階関数を容易に且つ厳密に記述するための文法が備わっている。また、プログラム実行中に必要に応じて関数を作り、値として返したり、変数に代入(束縛)することもできる。

近年、関数ではないプログラミング言語においても上述した機に近い処理を実現するための言仕様ライブラリを導入しようとする傾向が見られる(C++ならば関数オブジェクトラムダ式など)。

プログラミングでの応用例

一例として、Lisp生言であるSchemeでべき乗計算(例: 210や53といった計算)を高階関数を利用して算出するコードを以下に示す。※ただし、処理効率を考慮すれば推奨できる方法ではないが、あくまでこういうことも可ということで紹介する。

まず、「『引数で受け取った関数』を合成していく関数」を返す高階関数composite を定義する。

(define composite (lambda (f) 
                    (lambda (x) (* x (f x)))))

上の高階関数composite を使って、「引数をn乗する関数」を返す高階関数composite-nth-pow定義する。(nは0以上の整数とする)
この高階関数は再帰を用いて、返り値となる「関数」を動的に組み上げていく。

(define composite-nth-pow (lambda (n func) 
               (cond ((= n 0) (lambda (x) 1))  ; 0乗の場合はとりあえず定数1を返す関数」を返すことにする
                     ((= n 1) (lambda (x) (func x))) ; 再帰によって組み上げた「関数」を返す
                     (else (composite-nth-pow (- n 1) (composite func))))))

さらに、上で定義した高階関数composite-nth-pow を使って、num(第1引数)をn(第2引数)乗した結果を返す関数pow定義する。この関数は返り値として数値を返す。

(define pow (lambda (num n) 
                 ((composite-nth-pow n (lambda (x) x)) num))) 
                  ; compose-nth-pow の第2引数には、「引数をそのまま返す関数」を初期値として渡している
                  ; compose-nth-pow からの返り値:「引数をn乗する関数」に引数numを与えてべき乗の計算結果を得る

上で定義した関数powによる計算例とその結果。

> (pow 2 10) ; 2の10乗
1024
> (pow 5 3) ; 5の3乗
125

関連項目

この記事を編集する

掲示板

おすすめトレンド

ニコニ広告で宣伝された記事

記事と一緒に動画もおすすめ!
山口剛央[単語]

提供: ニキータ

もっと見る

急上昇ワード改

最終更新:2024/04/24(水) 23:00

ほめられた記事

最終更新:2024/04/24(水) 23:00

ウォッチリストに追加しました!

すでにウォッチリストに
入っています。

OK

追加に失敗しました。

OK

追加にはログインが必要です。

           

ほめた!

すでにほめています。

すでにほめています。

ほめるを取消しました。

OK

ほめるに失敗しました。

OK

ほめるの取消しに失敗しました。

OK

ほめるにはログインが必要です。

タグ編集にはログインが必要です。

タグ編集には利用規約の同意が必要です。

TOP