帰納的畳み込み

「帰納的畳み込み」の英語

「帰納的畳み込み」は英語で katamorphism と言います。関数型プログラミングで、木などの再帰的な構造を葉から根へ集約する専門用語です。一般的な処理名としては fold や reduce が使われることもあります。

「帰納的畳み込み」の英語の使い分け

katamorphism
木などの再帰構造を集約する、関数型プログラミングの専門用語です。
The algorithm uses a katamorphism to process the tree.
そのアルゴリズムは帰納的畳み込みを使って木構造を処理します。
fold
関数型言語で、構造の要素を順に一つの値へまとめる一般的な語です。
We can fold the list into a single result.
そのリストを一つの結果に畳み込めます。
reduce
複数の値を計算しながら一つにまとめる処理を指す一般的な語です。
The function reduces the values to their total.
その関数は値を合計へ集約します。

「帰納的畳み込み」の例文

To aggregate nodes, the algorithm applies a katamorphism over the tree.

ノードを集約するために、そのアルゴリズムは木に対して帰納的畳み込みを適用する。

コアイメージ

再帰構造の葉から根へ値を畳み込み一つの値に集約する操作

英英

A fold operation that collapses a recursive data structure from its leaves toward its root to produce a single aggregated value, commonly used in functional programming and category theory.

語源

katamorphismは、ギリシャ語のkata-（下へ）とmorphē（形）から成り、圏論や関数型言語でデータ構造を下方向に畳む操作を指す語として定着した。

コラム

関数型言語ではfoldやreduceと同様に使われ、木構造の集約やアルゴリズムの帰納的定義を記述する際に登場する。

「帰納的畳み込み」のレベル別の例文

中学
The program folds a list of numbers into one total.

そのプログラムは数値のリストを一つの合計にまとめます。
高校・英検2級
A katamorphism combines each branch into one final value.

帰納的畳み込みは各枝を一つの最終値にまとめます。
TOEIC・ビジネス
The data pipeline reduces nested records into a report.

そのデータ処理パイプラインは入れ子状の記録をレポートに集約します。
日常会話
Can we fold this list into one result?

このリストを一つの結果にまとめられる？

「帰納的畳み込み」を英語にするときのよくある間違い

× The program does a convolution of the tree.

○ The program applies a katamorphism to the tree.

convolution は通常、数値信号などの畳み込みを指し、構造の集約には使いません。

「帰納的畳み込み」の英語についてよくある質問

Q. 「帰納的畳み込み」を英語で一言で言うと？

katamorphism と言います。関数型プログラミングや圏論に関係する専門用語です。

Q. katamorphism と fold の違いは？

katamorphism は再帰的な構造を帰納的に処理する概念で、fold はそのような集約処理を表す一般的な関数名です。

Q. 「帰納的畳み込み」をプログラミングで簡単に言うと？

fold または reduce と説明するのが一般的です。ただし、木構造などの再帰構造を強調する場合は katamorphism が適切です。

「帰納的畳み込み」と関連する日本語の英語

ほかの日本語から英語を引く