末尾再帰 - 版の履歴

2021年2月9日 (火) 07:41にAdministratorによる

2021-02-09T07:41:18Z

← 古い版		2021年2月9日 (火) 07:41時点における版
44行目:		44行目:
	* [[真正末尾再帰]]		* [[真正末尾再帰]]
	* [[再帰]]		* [[再帰]]

	~~== 参考文献 ==~~
	~~{{reflist}}~~

	~~{{stub}}~~

2021年2月9日 (火) 07:41にAdministratorによる

2021-02-09T07:41:08Z

← 古い版		2021年2月9日 (火) 07:41時点における版
1行目:		1行目:
	'''末尾再帰'''（読み：まつびさいき、[[英語]]：tail recursive）とは、ある[[関数]]の最後の1行（return直前）に[[再帰]]を記述する[[プログラミング]]のテクニックである。		'''末尾再帰'''（読み：まつびさいき、[[英語]]：tail recursive）とは、ある[[関数]]の最後の1行（return直前）に[[再帰]]を記述する[[プログラミング]]のテクニックである。

	賢い[[コンパイラ]]だと[[最適化]]の際にこの末尾再帰を検出すると自動的に「[[再帰]]を[[再帰]]ではない形式に展開」してくれる。これを[[末尾再帰最適化]]といい、[[スタック]]を食いつぶすなどの[[再帰]]のデメリットを[[プログラマ]]と[[コンパイラ]]の[[コラボレーション]]で解決してくれる。

	「関数の終わりの一行」ではなく「return直前の再帰処理」が末尾再帰である。ifとelseで分岐しても両方がreturnで終わるなら末尾再帰に該当する。		「関数の終わりの一行」ではなく「return直前の再帰処理」が末尾再帰である。ifとelseで分岐しても両方がreturnで終わるなら末尾再帰に該当する。
13行目:		11行目:
	</source>		</source>

			賢い[[コンパイラ]]だと[[最適化]]の際にこの末尾再帰を検出すると自動的に「[[再帰]]を[[再帰]]ではない形式に展開」してくれる。これを[[末尾再帰最適化]]といい、[[スタック]]を食いつぶすなどの[[再帰]]のデメリットを[[プログラマ]]と[[コンパイラ]]の[[コラボレーション]]で解決することができる。

	=== 例 ===		=== 例 ===

2021年2月9日 (火) 07:39にAdministratorによる

2021-02-09T07:39:54Z

← 古い版		2021年2月9日 (火) 07:39時点における版
1行目:		1行目:
	'''末尾再帰'''（読み：まつびさいき、[[英語]]：tail ~~recursive）とは、[[再帰]]のうち、~~[[関数]]~~の末尾にのみ~~[[再帰]]を記述する[[プログラミング]]のテクニックである。		'''末尾再帰'''（読み：まつびさいき、[[英語]]：tail recursive）とは、ある[[関数]]の最後の1行（return直前）に[[再帰]]を記述する[[プログラミング]]のテクニックである。

	=~~= 概要 ==~~		賢い[[コンパイラ]]だと[[最適化]]の際にこの末尾再帰を検出すると自動的に「[[再帰]]を[[再帰]]ではない形式に展開」してくれる。これを[[末尾再帰最適化]]といい、[[スタック]]を食いつぶすなどの[[再帰]]のデメリットを[[プログラマ]]と[[コンパイラ]]の[[コラボレーション]]で解決してくれる。
	~~末尾再帰は再帰呼び出しが関数の末尾にのみ登場することをいう。~~
			「関数の終わりの一行」ではなく「return直前の再帰処理」が末尾再帰である。ifとelseで分岐しても両方がreturnで終わるなら末尾再帰に該当する。
			<source lang=csharp>
			int func() {
			if (x)
			return recursive1();
			else
			return recursive2();
			}
			</source>

	そんな小難しくて面倒なことをして何が嬉しいかというと、賢い[[コンパイラ]]だと[[最適化]]時に末尾再帰を検出すると自動的に[[再帰]]を[[再帰]]ではなく展開してくれる。これを[[末尾再帰最適化]]といい、[[スタック]]を食いつぶすなどの[[再帰]]のデメリットを[[プログラマ]]と[[コンパイラ]]の[[コラボレーション]]で解決してくれる。

	=== 例 ===		=== 例 ===

2016年3月2日 (水) 04:49にimported>Administratorによる

2016-03-02T04:49:29Z

← 古い版		2016年3月2日 (水) 04:49時点における版
1行目:		1行目:
	~~末尾再帰（まつびさいき、tail~~ recursive）とは、[[再帰]]のうち、[[関数]]の末尾にのみ[[再帰]]を記述する[[プログラミング]]のテクニックである。		'''末尾再帰'''（読み：まつびさいき、[[英語]]：tail recursive）とは、[[再帰]]のうち、[[関数]]の末尾にのみ[[再帰]]を記述する[[プログラミング]]のテクニックである。

			== 概要 ==
			末尾再帰は再帰呼び出しが関数の末尾にのみ登場することをいう。

	そんな小難しくて面倒なことをして何が嬉しいかというと、賢い[[コンパイラ]]だと[[最適化]]時に末尾再帰を検出すると自動的に[[再帰]]を[[再帰]]ではなく展開してくれる。これを[[末尾再帰最適化]]といい、[[スタック]]を食いつぶすなどの[[再帰]]のデメリットを[[プログラマ]]と[[コンパイラ]]の[[コラボレーション]]で解決してくれる。		そんな小難しくて面倒なことをして何が嬉しいかというと、賢い[[コンパイラ]]だと[[最適化]]時に末尾再帰を検出すると自動的に[[再帰]]を[[再帰]]ではなく展開してくれる。これを[[末尾再帰最適化]]といい、[[スタック]]を食いつぶすなどの[[再帰]]のデメリットを[[プログラマ]]と[[コンパイラ]]の[[コラボレーション]]で解決してくれる。

	~~<!--~~		=== 例 ===
	[[C Sharp\|C#]]~~での例。~~		[[C Sharp\|C#]]での例。なお、[[C Sharp\|C#]]では「マイクロソフト製のコンパイラ」で、「ターゲットをx64を指定」し、かつ「Releaseビルド（最適化を有効にした状態でビルド）」を行った場合のみ[[末尾再帰最適化]]が行われる。[[Mono]]のコンパイラ（msc）でどうなるかは未調査。
	~~なお、~~[[C Sharp\|C#]]では、マイクロソフト製のコンパイラで、ターゲットにx64を指定し、かつReleaseビルド（最適化を有効にした状態でビルド）を行った場合のみ末尾再帰最適化が行われる。Monoのコンパイラ（msc）でどうなるかは未調査。
	<source lang="csharp">		<source lang="csharp">
	class TailRecursive		class TailRecursive
25行目:		27行目:
	}		}
	</source>		</source>
	~~-->~~

	== 末尾再帰の例としてよく上がる処理 ==		== 末尾再帰の例としてよく上がる処理 ==
38行目:		39行目:

	== 参考文献 ==		== 参考文献 ==
	~~<references/>~~		{{reflist}}

	~~== 外部リンク ==~~

	{{stub}}		{{stub}}

2012年12月6日 (木) 04:37にimported>GamerBookによる

2012-12-06T04:37:18Z

← 古い版		2012年12月6日 (木) 04:37時点における版
1行目:		1行目:
	末尾再帰（まつびさいき、tail recursive）とは、[[再帰]]のうち、[[関数]]の末尾にのみ[[再帰]]を記述する[[プログラミング]]のテクニックである。		末尾再帰（まつびさいき、tail recursive）とは、[[再帰]]のうち、[[関数]]の末尾にのみ[[再帰]]を記述する[[プログラミング]]のテクニックである。

	そんな小難しくて面倒なことをして何が嬉しいかというと、賢い[[コンパイラ]]だと[[最適化]]時に末尾再帰を検出すると自動的に[[再帰]]を[[再帰]]ではなく展開してくれる。これを[[末尾再帰最適化]]~~といい、スタックを食いつぶすなどの~~[[再帰]]のデメリットを[[プログラマ]]と[[コンパイラ]]の[[コラボレーション]]で解決してくれる。		そんな小難しくて面倒なことをして何が嬉しいかというと、賢い[[コンパイラ]]だと[[最適化]]時に末尾再帰を検出すると自動的に[[再帰]]を[[再帰]]ではなく展開してくれる。これを[[末尾再帰最適化]]といい、[[スタック]]を食いつぶすなどの[[再帰]]のデメリットを[[プログラマ]]と[[コンパイラ]]の[[コラボレーション]]で解決してくれる。

	<!--		<!--

2012年12月6日 (木) 04:37にimported>GamerBookによる

2012-12-06T04:37:07Z

← 古い版		2012年12月6日 (木) 04:37時点における版
1行目:		1行目:
	末尾再帰（まつびさいき、tail recursive）とは、[[再帰]]のうち、[[関数]]の末尾にのみ[[再帰]]を記述する[[プログラミング]]のテクニックである。		末尾再帰（まつびさいき、tail recursive）とは、[[再帰]]のうち、[[関数]]の末尾にのみ[[再帰]]を記述する[[プログラミング]]のテクニックである。

	そんな小難しくて面倒なことをして何が嬉しいかというと、賢い[[コンパイラ]]だと[[最適化]]時に末尾再帰を検出すると自動的に[[再帰]]を[[再帰]]ではなく展開してくれる。これを[[末尾再帰最適化]]といい、スタックを食いつぶすなどの[[再帰]]~~のデメリットをプログラマとコンパイラのコラボレーションで解決してくれる。~~		そんな小難しくて面倒なことをして何が嬉しいかというと、賢い[[コンパイラ]]だと[[最適化]]時に末尾再帰を検出すると自動的に[[再帰]]を[[再帰]]ではなく展開してくれる。これを[[末尾再帰最適化]]といい、スタックを食いつぶすなどの[[再帰]]のデメリットを[[プログラマ]]と[[コンパイラ]]の[[コラボレーション]]で解決してくれる。

	<!--		<!--

2012年12月6日 (木) 04:36にimported>GamerBookによる

2012-12-06T04:36:47Z

← 古い版		2012年12月6日 (木) 04:36時点における版
1行目:		1行目:
	末尾再帰（まつびさいき、tail recursive）とは、[[再帰]]のうち、[[関数]]の末尾にのみ[[再帰]]を記述する[[プログラミング]]のテクニックである。		末尾再帰（まつびさいき、tail recursive）とは、[[再帰]]のうち、[[関数]]の末尾にのみ[[再帰]]を記述する[[プログラミング]]のテクニックである。

	そんな小難しくて面倒なことをして何が嬉しいかというと、賢い[[コンパイラ]]だと[[最適化]]時に末尾再帰を検出すると自動的に[[再帰]]~~ではなくしてくれる。これを~~[[末尾再帰最適化]]~~という。~~		そんな小難しくて面倒なことをして何が嬉しいかというと、賢い[[コンパイラ]]だと[[最適化]]時に末尾再帰を検出すると自動的に[[再帰]]を[[再帰]]ではなく展開してくれる。これを[[末尾再帰最適化]]といい、スタックを食いつぶすなどの[[再帰]]のデメリットをプログラマとコンパイラのコラボレーションで解決してくれる。

	<!--		<!--

2012年12月6日 (木) 04:30にimported>GamerBookによる

2012-12-06T04:30:32Z

← 古い版		2012年12月6日 (木) 04:30時点における版
1行目:		1行目:
	末尾再帰（まつびさいき、tail recursive）とは、[[再帰]]のうち、[[関数]]の末尾にのみ[[再帰]]を記述する[[プログラミング]]のテクニックである。		末尾再帰（まつびさいき、tail recursive）とは、[[再帰]]のうち、[[関数]]の末尾にのみ[[再帰]]を記述する[[プログラミング]]のテクニックである。

	~~そんな小難しく面倒なことをして何が嬉しいかというと、賢い~~[[コンパイラ]]~~だと、~~[[最適化]]~~時に末尾再帰を検出すると、自動的に~~[[再帰]]ではなくしてくれる。これを[[末尾再帰最適化]]という。		そんな小難しくて面倒なことをして何が嬉しいかというと、賢い[[コンパイラ]]だと[[最適化]]時に末尾再帰を検出すると自動的に[[再帰]]ではなくしてくれる。これを[[末尾再帰最適化]]という。

	<!--		<!--
28行目:		28行目:

	== 末尾再帰の例としてよく上がる処理 ==		== 末尾再帰の例としてよく上がる処理 ==
			末尾再帰の記述例は以下を参照。
	* [[フィボナッチ数]]		* [[フィボナッチ数]]
	* [[階乗]]		* [[階乗]]

114.48.12.135: ページの作成：「末尾再帰（まつびさいき、tail recursive）とは、再帰のうち、関数の末尾にのみ再帰を記述するプログラミングのテ...」

2012-04-30T14:54:16Z

ページの作成：「末尾再帰（まつびさいき、tail recursive）とは、再帰のうち、関数の末尾にのみ再帰を記述するプログラミングのテ...」

新規ページ

末尾再帰（まつびさいき、tail recursive）とは、[[再帰]]のうち、[[関数]]の末尾にのみ[[再帰]]を記述する[[プログラミング]]のテクニックである。

そんな小難しく面倒なことをして何が嬉しいかというと、賢い[[コンパイラ]]だと、[[最適化]]時に末尾再帰を検出すると、自動的に[[再帰]]ではなくしてくれる。これを[[末尾再帰最適化]]という。



== 末尾再帰の例としてよく上がる処理 ==
* [[フィボナッチ数]]
* [[階乗]]

== 関連項目 ==
* [[末尾再帰最適化]]
* [[真正末尾再帰]]
* [[再帰]]

== 参考文献 ==
<references/>

== 外部リンク ==

{{stub}}