【RimWorld】熱波ひとつで普通に死にかけるクソザコ双葉ちゃん - 版の履歴

Golden Bengal: 。

2025-05-12T07:40:10Z

。

← 古い版		2025年5月12日 (月) 07:40時点における版
1行目:		1行目:
	'''末尾再帰最適化'''（まつびさいきさいてきか）とは、賢い[[コンパイラ]]が[[末尾再帰]]を検出すると、[[最適化]]時に[[再帰]]を展開し、消し去ってくれる機能のことである。

	~~== 概要 ==~~
	~~[[末尾呼び出し最適化]]（[[Tail Call Optimization]]、[[TCO]]）の一種で、[[再帰]]だとその効果が絶大だという話であり、やっていることは同じである。~~

	[[末尾再帰]]（[[末尾呼び出し]]）であれば後に続く処理はないので、その関数内で使われている変数などは破棄でき（末尾呼び出しされる関数の引数は除く）、途中経過を保持する[[変数]]を用意することで、[[プログラマー]]が手で書くとボロクソに言われる[[goto文]]や[[アセンブリ言語]]のjmp命令などを用いて[[再帰]]（関数呼び出し）を無くす（展開する）ことができる。

	末尾再帰最適化はこの[[末尾再帰]]（[[末尾呼び出し]]）の特性を利用し、[[再帰]]（関数呼び出し）は[[リソース]]馬鹿食いで[[スタックオーバーフロー]]の危険性があり、何よりクソ重い、かといって[[プログラマー]]が手動で[[再帰]]（関数）を展開しておくと9割方[[ソースコード]]がクソ読みにくくなり、[[偉いプログラマー]]にボロクソ言われる、という問題を[[ソースコード]]の書き方を気を付けておくことで[[コンパイラ]]が[[最適化]]時に半自動で解決してくれる優れものである。

	~~== 末尾再帰最適化に対応した主なプログラミング言語 ==~~
	[[末尾再帰最適化]]（[[末尾呼び出し最適化]]）が行われるかは[[コンパイラ]]の気分次第であり、どうなるかわからない諸刃の剣。実際に末尾呼び出し最適化をサポートしている[[コンパイラ]]であっても100％発動するとは限らない場合もあるので過信しすぎには注意する必要がある。

	~~=== C# ===~~
	[[C Sharp\|C#]]では、[[マイクロソフト]]製の[[コンパイラ]]で、ターゲットが[[x64]]、かつリリースビルド（最適化が有効な状態）でのみ末尾再帰最適化が行われる。つまりデフォルトで最適化が無効となっているデバッグビルド時には末尾最適化が行われないという。

	~~[[Mono]]での結果については未調査。~~

	~~=== Python ===~~
	[[Python]]ではPython 2.4から導入された[[デコレーター]]を用いて[[メタプログラミング]]を実現した人がおり<ref>http://d.hatena.ne.jp/wasabiz/20110118/1295335821</ref>、それを使えば[[関数]]の頭に「@tail_recursive」と書くことで末尾再帰最適化を明示することができる。
	~~なお、同様ものを[[クラス]]ではなく[[クロージャー]]で書き直した人もいる<ref>http://d.hatena.ne.jp/tanihito/20110119/1295459297</ref>。~~

	~~[[階乗]]（factorial）の記述例。~~
	~~<source lang="python">~~
	~~@tail_recursive~~
	~~def fact(n, acc = 1):~~
	~~return acc if n == 0 else fact(n - 1, n * acc)~~
	~~</source>~~

	~~[[フィボナッチ数]]（fibonacci）の記述例。~~
	~~<source lang="python">~~
	~~def fib(n):~~
	~~@tail_recursive~~
	~~def fib_iter(a, b, m):~~
	~~return a if m == 0 else fib_iter(b, a + b, m - 1)~~
	~~return fib_iter(0, 1, n)~~
	~~</source>~~

	~~== 関連項目 ==~~
	* [[再帰]]
	* [[末尾再帰]]
	* [[最適化]]
	* [[末尾呼び出し最適化]]

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

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

	~~{{stub}}~~

imported>GamerBook: /* C# */

2012-12-06T04:40:06Z

← 古い版		2012年12月6日 (木) 04:40時点における版
12行目:		12行目:

	=== C# ===		=== C# ===
	[[C Sharp\|C#]]では、[[マイクロソフト]]製の[[コンパイラ]]で、ターゲットが[[x64]]、かつリリースビルド（最適化が有効な状態）でのみ末尾再帰最適化が行われる。つまりデフォルトでは最適化が無効となっているデバッグビルド時には末尾最適化が行われないという。		[[C Sharp\|C#]]では、[[マイクロソフト]]製の[[コンパイラ]]で、ターゲットが[[x64]]、かつリリースビルド（最適化が有効な状態）でのみ末尾再帰最適化が行われる。つまりデフォルトで最適化が無効となっているデバッグビルド時には末尾最適化が行われないという。

	[[Mono]]での結果については未調査。		[[Mono]]での結果については未調査。

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

2012-12-06T04:38:59Z

← 古い版		2012年12月6日 (木) 04:38時点における版
1行目:		1行目:
	'''末尾再帰最適化'''（まつびさいきさいてきか）とは、賢い[[コンパイラ]]が[[末尾再帰]]を検出すると、[[最適化]]時に[[再帰]]を展開し、消し去ってくれる機能のことである。		'''末尾再帰最適化'''（まつびさいきさいてきか）とは、賢い[[コンパイラ]]が[[末尾再帰]]を検出すると、[[最適化]]時に[[再帰]]を展開し、消し去ってくれる機能のことである。

			== 概要 ==
	[[末尾呼び出し最適化]]（[[Tail Call Optimization]]、[[TCO]]）の一種で、[[再帰]]だとその効果が絶大だという話であり、やっていることは同じである。		[[末尾呼び出し最適化]]（[[Tail Call Optimization]]、[[TCO]]）の一種で、[[再帰]]だとその効果が絶大だという話であり、やっていることは同じである。

	[[末尾再帰]]（[[末尾呼び出し]]）であれば後に続く処理はないので、その関数内で使われている変数などは破棄でき（末尾呼び出しされる関数の引数は除く）、途中経過を保持する[[変数]]を用意することで、[[プログラマー]]が手で書くとボロクソに言われる[[goto文]]や[[アセンブリ言語]]のjmp命令などを用いて[[再帰]]~~を無くす（展開する）ことができる。~~		[[末尾再帰]]（[[末尾呼び出し]]）であれば後に続く処理はないので、その関数内で使われている変数などは破棄でき（末尾呼び出しされる関数の引数は除く）、途中経過を保持する[[変数]]を用意することで、[[プログラマー]]が手で書くとボロクソに言われる[[goto文]]や[[アセンブリ言語]]のjmp命令などを用いて[[再帰]]（関数呼び出し）を無くす（展開する）ことができる。

	末尾再帰最適化はこの[[末尾再帰]]（[[末尾呼び出し]]）の特性を利用し、[[再帰]]（関数呼び出し）は[[リソース]]馬鹿食いで[[スタックオーバーフロー]]の危険性があり、何よりクソ重い、かといって[[プログラマー]]が手動で[[再帰]]（関数）を展開しておくと9割方[[ソースコード]]~~がクソ読みにくくなり、偉いプログラマーにボロクソ言われる、という問題を~~[[ソースコード]]の書き方を気を付けておくことで[[コンパイラ]]が[[最適化]]時に半自動で解決してくれる優れものである。		末尾再帰最適化はこの[[末尾再帰]]（[[末尾呼び出し]]）の特性を利用し、[[再帰]]（関数呼び出し）は[[リソース]]馬鹿食いで[[スタックオーバーフロー]]の危険性があり、何よりクソ重い、かといって[[プログラマー]]が手動で[[再帰]]（関数）を展開しておくと9割方[[ソースコード]]がクソ読みにくくなり、[[偉いプログラマー]]にボロクソ言われる、という問題を[[ソースコード]]の書き方を気を付けておくことで[[コンパイラ]]が[[最適化]]時に半自動で解決してくれる優れものである。

	== 末尾再帰最適化に対応した主なプログラミング言語 ==		== 末尾再帰最適化に対応した主なプログラミング言語 ==
	[[末尾再帰最適化]]（[[末尾呼び出し最適化]]）が行われるかは[[コンパイラ]]の気分次第であり、どうなるかわからない諸刃の剣。実際に末尾呼び出し最適化をサポートしているコンパイラであっても100％発動するとは限らない場合もあるので過信しすぎには注意する必要がある。		[[末尾再帰最適化]]（[[末尾呼び出し最適化]]）が行われるかは[[コンパイラ]]の気分次第であり、どうなるかわからない諸刃の剣。実際に末尾呼び出し最適化をサポートしている[[コンパイラ]]であっても100％発動するとは限らない場合もあるので過信しすぎには注意する必要がある。

	=== C# ===		=== C# ===

2012年5月30日 (水) 05:37にimported>Administratorによる

2012-05-30T05:37:35Z

← 古い版		2012年5月30日 (水) 05:37時点における版
3行目:		3行目:
	[[末尾呼び出し最適化]]（[[Tail Call Optimization]]、[[TCO]]）の一種で、[[再帰]]だとその効果が絶大だという話であり、やっていることは同じである。		[[末尾呼び出し最適化]]（[[Tail Call Optimization]]、[[TCO]]）の一種で、[[再帰]]だとその効果が絶大だという話であり、やっていることは同じである。

	[[末尾再帰]]（[[末尾呼び出し]]~~）であれば後に続く処理はないので、途中経過を保持する~~[[変数]]と、[[プログラマー]]が手で書くとボロクソに言われる[[goto文]]や[[アセンブリ言語]]~~のjmp命令などを用いて、~~[[再帰]]を無くす（展開する）ことができる。		[[末尾再帰]]（[[末尾呼び出し]]）であれば後に続く処理はないので、その関数内で使われている変数などは破棄でき（末尾呼び出しされる関数の引数は除く）、途中経過を保持する[[変数]]を用意することで、[[プログラマー]]が手で書くとボロクソに言われる[[goto文]]や[[アセンブリ言語]]のjmp命令などを用いて[[再帰]]を無くす（展開する）ことができる。

	末尾再帰最適化はこの[[末尾再帰]]（[[末尾呼び出し]]）の特性を利用し、[[再帰]]（関数呼び出し）は[[リソース]]馬鹿食いで[[スタックオーバーフロー]]の危険性があり、何よりクソ重い、かといって[[プログラマー]]が手動で[[再帰]]（関数）を展開しておくと9割方[[ソースコード]]がクソ読みにくくなり、偉いプログラマーにボロクソ言われる、という問題を[[ソースコード]]の書き方を気を付けておくことで[[コンパイラ]]が[[最適化]]時に半自動で解決してくれる優れものである。		末尾再帰最適化はこの[[末尾再帰]]（[[末尾呼び出し]]）の特性を利用し、[[再帰]]（関数呼び出し）は[[リソース]]馬鹿食いで[[スタックオーバーフロー]]の危険性があり、何よりクソ重い、かといって[[プログラマー]]が手動で[[再帰]]（関数）を展開しておくと9割方[[ソースコード]]がクソ読みにくくなり、偉いプログラマーにボロクソ言われる、という問題を[[ソースコード]]の書き方を気を付けておくことで[[コンパイラ]]が[[最適化]]時に半自動で解決してくれる優れものである。
17行目:		17行目:
	=== Python ===		=== Python ===
	[[Python]]ではPython 2.4から導入された[[デコレーター]]を用いて[[メタプログラミング]]を実現した人がおり<ref>http://d.hatena.ne.jp/wasabiz/20110118/1295335821</ref>、それを使えば[[関数]]の頭に「@tail_recursive」と書くことで末尾再帰最適化を明示することができる。		[[Python]]ではPython 2.4から導入された[[デコレーター]]を用いて[[メタプログラミング]]を実現した人がおり<ref>http://d.hatena.ne.jp/wasabiz/20110118/1295335821</ref>、それを使えば[[関数]]の頭に「@tail_recursive」と書くことで末尾再帰最適化を明示することができる。
	~~なお、同じくものを~~[[クラス]]ではなく[[クロージャー]]で書き直した人もいる<ref>http://d.hatena.ne.jp/tanihito/20110119/1295459297</ref>。		なお、同様ものを[[クラス]]ではなく[[クロージャー]]で書き直した人もいる<ref>http://d.hatena.ne.jp/tanihito/20110119/1295459297</ref>。

	[[階乗]]（factorial）の記述例。		[[階乗]]（factorial）の記述例。

2012年5月28日 (月) 01:25にimported>Administratorによる

2012-05-28T01:25:57Z

← 古い版		2012年5月28日 (月) 01:25時点における版
3行目:		3行目:
	[[末尾呼び出し最適化]]（[[Tail Call Optimization]]、[[TCO]]）の一種で、[[再帰]]だとその効果が絶大だという話であり、やっていることは同じである。		[[末尾呼び出し最適化]]（[[Tail Call Optimization]]、[[TCO]]）の一種で、[[再帰]]だとその効果が絶大だという話であり、やっていることは同じである。

	[[末尾再帰]]~~であれば後に続く処理はないので、途中経過を保持する~~[[変数]]と、[[プログラマー]]が手で書くとボロクソに言われる[[goto文]]や[[アセンブリ言語]]のjmp命令などを用いて、[[再帰]]を無くす（展開する）ことができる。		[[末尾再帰]]（[[末尾呼び出し]]）であれば後に続く処理はないので、途中経過を保持する[[変数]]と、[[プログラマー]]が手で書くとボロクソに言われる[[goto文]]や[[アセンブリ言語]]のjmp命令などを用いて、[[再帰]]を無くす（展開する）ことができる。

	末尾再帰最適化はこの[[末尾再帰]]~~の特性を利用し、~~[[再帰]]は[[リソース]]馬鹿食いで[[スタックオーバーフロー]]の危険性があり、何よりクソ重い、かといって[[プログラマー]]が手動で[[再帰]]~~を展開しておくと9割方~~[[ソースコード]]~~がクソ読みにくくなる、という問題を~~[[コンパイラ]]~~による~~[[最適化]]時に半自動で解決してくれる優れものである。		末尾再帰最適化はこの[[末尾再帰]]（[[末尾呼び出し]]）の特性を利用し、[[再帰]]（関数呼び出し）は[[リソース]]馬鹿食いで[[スタックオーバーフロー]]の危険性があり、何よりクソ重い、かといって[[プログラマー]]が手動で[[再帰]]（関数）を展開しておくと9割方[[ソースコード]]がクソ読みにくくなり、偉いプログラマーにボロクソ言われる、という問題を[[ソースコード]]の書き方を気を付けておくことで[[コンパイラ]]が[[最適化]]時に半自動で解決してくれる優れものである。

	== 末尾再帰最適化に対応した主なプログラミング言語 ==		== 末尾再帰最適化に対応した主なプログラミング言語 ==
	[[末尾再帰最適化]]~~が行われるかは~~[[コンパイラ]]~~の気分次第であり、どうなるかわからない諸刃の剣。~~		[[末尾再帰最適化]]（[[末尾呼び出し最適化]]）が行われるかは[[コンパイラ]]の気分次第であり、どうなるかわからない諸刃の剣。実際に末尾呼び出し最適化をサポートしているコンパイラであっても100％発動するとは限らない場合もあるので過信しすぎには注意する必要がある。

	=== C# ===		=== C# ===

58.98.183.133: /* Python */

2012-05-02T05:34:35Z

Python

← 古い版		2012年5月2日 (水) 05:34時点における版
17行目:		17行目:
	=== Python ===		=== Python ===
	[[Python]]ではPython 2.4から導入された[[デコレーター]]を用いて[[メタプログラミング]]を実現した人がおり<ref>http://d.hatena.ne.jp/wasabiz/20110118/1295335821</ref>、それを使えば[[関数]]の頭に「@tail_recursive」と書くことで末尾再帰最適化を明示することができる。		[[Python]]ではPython 2.4から導入された[[デコレーター]]を用いて[[メタプログラミング]]を実現した人がおり<ref>http://d.hatena.ne.jp/wasabiz/20110118/1295335821</ref>、それを使えば[[関数]]の頭に「@tail_recursive」と書くことで末尾再帰最適化を明示することができる。
			なお、同じくものを[[クラス]]ではなく[[クロージャー]]で書き直した人もいる<ref>http://d.hatena.ne.jp/tanihito/20110119/1295459297</ref>。

	[[階乗]]（factorial）の記述例。		[[階乗]]（factorial）の記述例。

58.98.183.133: /* Python */

2012-05-02T05:33:12Z

Python

← 古い版		2012年5月2日 (水) 05:33時点における版
16行目:		16行目:

	=== Python ===		=== Python ===
	[[Python]]ではPython 2.4から導入された[[デコレーター]]~~を用いて、~~[[関数]]の頭に「@tail_recursive」と書くことで末尾再帰最適化を明示することができる。		[[Python]]ではPython 2.4から導入された[[デコレーター]]を用いて[[メタプログラミング]]を実現した人がおり<ref>http://d.hatena.ne.jp/wasabiz/20110118/1295335821</ref>、それを使えば[[関数]]の頭に「@tail_recursive」と書くことで末尾再帰最適化を明示することができる。

	[[階乗]]（factorial）の記述例。		[[階乗]]（factorial）の記述例。

2012年5月2日 (水) 05:20に58.98.183.133による

2012-05-02T05:20:58Z

@@ 1行目: / 1行目: @@
 '''末尾再帰最適化'''（まつびさいきさいてきか）とは、賢い[[コンパイラ]]が[[末尾再帰]]を検出すると、[[最適化]]時に[[再帰]]を展開し、消し去ってくれる機能のことである。
 [[末尾再帰]]であれば後に続く処理はないので、途中経過を保持する[[変数]]と、[[プログラマー]]が手で書くとボロクソに言われる[[goto文]]や[[アセンブリ言語]]のjmp命令などを用いて、[[再帰]]を無くす（展開する）ことができる。
@@ 5行目: / 7行目: @@
 末尾再帰最適化はこの[[末尾再帰]]の特性を利用し、[[再帰]]は[[リソース]]馬鹿食いで[[スタックオーバーフロー]]の危険性があり、何よりクソ重い、かといって[[プログラマー]]が手動で[[再帰]]を展開しておくと9割方[[ソースコード]]がクソ読みにくくなる、という問題を[[コンパイラ]]による[[最適化]]時に半自動で解決してくれる優れものである。
-ただし、[[末尾再帰最適化]]が行われるかは[[コンパイラ]]の気分次第であり、どうなるかわからない諸刃の剣。たとえば[[C Sharp|C#]]であれば、[[マイクロソフト]]製の[[コンパイラ]]で、ターゲットが[[x64]]、かつリリースビルド（最適化が有効な状態）でのみ末尾再帰最適化が行われる。つまりデフォルトでは最適化が無効となっているデバッグビルド時には末尾最適化が行われないという。
+== 末尾再帰最適化に対応した主なプログラミング言語 ==
 == 関連項目 ==
 * [[末尾再帰]]
 * [[最適化]]
 == 参考文献 ==

2012年4月30日 (月) 15:14に114.48.12.135による

2012-04-30T15:14:27Z

← 古い版		2012年4月30日 (月) 15:14時点における版
1行目:		1行目:
	'''末尾再帰最適化'''（まつびさいきさいてきか）とは、賢い[[コンパイラ]]が[[末尾再帰]]を検出すると、[[最適化]]時に[[再帰]]を展開し、消し去ってくれる機能のことである。		'''末尾再帰最適化'''（まつびさいきさいてきか）とは、賢い[[コンパイラ]]が[[末尾再帰]]を検出すると、[[最適化]]時に[[再帰]]を展開し、消し去ってくれる機能のことである。

	[[末尾再帰]]であれば後に続く処理はないので、途中経過を保持する[[変数]]と、[[プログラマー]]が手で書くとボロクソに言われる[[goto文]]~~を用いて、~~[[再帰]]を無くす（展開する）ことができる。		[[末尾再帰]]であれば後に続く処理はないので、途中経過を保持する[[変数]]と、[[プログラマー]]が手で書くとボロクソに言われる[[goto文]]や[[アセンブリ言語]]のjmp命令などを用いて、[[再帰]]を無くす（展開する）ことができる。

	末尾再帰最適化はこの[[末尾再帰]]の特性を利用し、[[再帰]]は[[リソース]]馬鹿食いで[[スタックオーバーフロー]]の危険性があり、何よりクソ重い、かといって[[プログラマー]]が手動で[[再帰]]を展開しておくと9割方[[ソースコード]]がクソ読みにくくなる、という問題を[[コンパイラ]]による[[最適化]]時に半自動で解決してくれる優れものである。		末尾再帰最適化はこの[[末尾再帰]]の特性を利用し、[[再帰]]は[[リソース]]馬鹿食いで[[スタックオーバーフロー]]の危険性があり、何よりクソ重い、かといって[[プログラマー]]が手動で[[再帰]]を展開しておくと9割方[[ソースコード]]がクソ読みにくくなる、という問題を[[コンパイラ]]による[[最適化]]時に半自動で解決してくれる優れものである。

114.48.12.135: /* 関連項目 */

2012-04-30T15:11:56Z

← 古い版		2012年4月30日 (月) 15:11時点における版
9行目:		9行目:
	== 関連項目 ==		== 関連項目 ==
	* [[末尾再帰]]		* [[末尾再帰]]
			* [[再帰]]
			* [[最適化]]

	== 参考文献 ==		== 参考文献 ==