なあ、再帰関数好きな人いる？パート3 [転載禁止]©2ch.net

**デフォルトの名無しさん** · 2015/11/28(土) 18:51:38.86

なあ、再帰関数好きな人いる？

**デフォルトの名無しさん** · 2016/02/27(土) 09:47:03.89

再帰、ループ、高階関数は互いに別カテゴリーの概念だけどな。

**デフォルトの名無しさん** · 2016/02/27(土) 13:35:50.10

>ループは現代ではほとんど高階関数に置き換えられてはいるが

mapとかfoldって言いたいの？

**デフォルトの名無しさん** · 2016/02/29(月) 09:52:02.11

ファンクショナルのことだろ

**デフォルトの名無しさん** · 2016/02/29(月) 12:09:46.90

Yコンビネータの事かも

**デフォルトの名無しさん** · 2016/03/05(土) 08:19:26.32

最近の言語は分かり易いから好んで使う人多いみたいだね。

俺はダメだわ。単純な再帰でもアセンブラ時代の間接修飾と再帰を混合で使ってたときのトラウマが・・・

**デフォルトの名無しさん** · 2016/03/05(土) 13:03:33.56

スタック使うから組み込みでは禁則かな

**デフォルトの名無しさん** · 2016/03/05(土) 16:01:56.83

末尾呼びにすればぁ？

**デフォルトの名無しさん** · 2016/03/06(日) 13:58:13.11

無理して使う物ではないのは、確か。

**デフォルトの名無しさん** · 2016/03/07(月) 19:41:03.81

今更だけどアッカーマンの展開ループです
https://ideone.com/dKocyf

これループに直せません？
https://ideone.com/Ub1M86

**デフォルトの名無しさん** · 2016/03/07(月) 20:15:13.20

>>665
ループ，というよりは map によるメモ化を先にするべきかと思う

**デフォルトの名無しさん** · 2016/03/07(月) 20:44:00.00

アッカーマンメモ化はやめとけ
メモリ使用量がシャレにならん。
小さい引数ならいいけど。

**デフォルトの名無しさん** · 2016/03/07(月) 23:04:02.15

と思ったけどスタック消費量は逆に減る？
よくわからんくなってきた。

**デフォルトの名無しさん** · 2016/03/07(月) 23:55:21.18

>>668
アッカーマンはメモ化意味ない

**デフォルトの名無しさん** · 2016/03/08(火) 06:31:35.48

しかしヤッターマンならきっとやってくれる

**デフォルトの名無しさん** · 2016/03/09(水) 19:45:38.58

>>669
それはありえない．
アッカーマン関数にメモ化は有用な手段
http://echo.2ch.net/test/read.cgi/tech/1434079972/14

**デフォルトの名無しさん** · 2016/03/15(火) 20:46:33.65

メモ化とかメモリリークしてるに等しい欠陥技術でしょ。

**デフォルトの名無しさん** · 2016/03/15(火) 20:54:37.80

>>672
fjの昔からの議論をここで蒸し返しますか？

**デフォルトの名無しさん** · 2016/03/25(金) 20:10:31.18

再帰というソフトにはスタックというハードがあるけどほかのソフトをハードで実装するのはどうなの？
ＧＣとかハードで実装してまったくフリーズなしに出来ないの？

**デフォルトの名無しさん** · 2016/03/27(日) 16:40:13.75

int main(){return main();}

**デフォルトの名無しさん** · 2016/03/31(木) 20:21:06.47

とあるRubyスクリプトだけどこれと等価のＣ書けんの？

$f=lambda{
print "f";
return $g
}

$g=lambda{
print "g"
return $f
}

a=$f
10.times{a=a.call}

**デフォルトの名無しさん** · 2016/03/31(木) 20:26:53.36

rubyはcで書かれているんやで知らんかったやろ？

**デフォルトの名無しさん** · 2016/03/31(木) 20:35:19.21

そういう等価じゃなくて文法的にというか。
Cだと$fと$gの型をどうしていいかわからん。

**デフォルトの名無しさん** · 2016/03/31(木) 21:08:44.15

グローバル変数じゃなくてもこれでいけるっぽい

g=nil

f=lambda{
print "f";
return g
}

g=lambda{
print "g"
return f
}

a=f
10.times{a=a.call}

**デフォルトの名無しさん** · 2016/03/31(木) 21:11:44.63

typedef void *(*F)()でいいやんけ

**デフォルトの名無しさん** · 2016/03/31(木) 21:15:14.22

まじで
やってみる

**デフォルトの名無しさん** · 2016/03/31(木) 21:20:03.99

やりかたわからん。
コンパイル通るソースプリーズ

**デフォルトの名無しさん** · 2016/03/31(木) 21:36:59.68

これでいけるやろ
#include <stdio.h>
typedef void *(*F)();
void *f();
void *g();
void *f()
{
puts("f");
return g;
}
void *g()
{
puts("g");
return f;
}
int main()
{
int i;
F func;
func = f;
for (i = 0; i < 10; ++i)
func = func();
return 0;
}

**デフォルトの名無しさん** · 2016/03/31(木) 21:42:19.47

g++だとエラーになるんだが。
コンパイラは何で確認した？

**デフォルトの名無しさん** · 2016/03/31(木) 21:46:42.36

なんでいきなりg++やねんw
これ以上はcの質問スレでもいって聞けタコ

**デフォルトの名無しさん** · 2016/03/31(木) 21:55:26.05

なんだ、結局コンパイル通ってないのか

**デフォルトの名無しさん** · 2016/03/31(木) 22:06:32.37

通るわアホw
つーかそんなレベルでよくその質問出来るなお前

**デフォルトの名無しさん** · 2016/03/31(木) 22:09:21.97

だからコンパイラは何つかったんよ。
こっちでも確認するから教えれ。
有料コンパイラだったら諦めるけど。

**デフォルトの名無しさん** · 2016/03/31(木) 22:22:46.20

まあ、Ｃ質問スレにもマルチしてみるわ

**デフォルトの名無しさん** · 2016/03/31(木) 22:23:23.28

>>684
ここではうまくいく
http://codepad.org/vXykoc8I

**デフォルトの名無しさん** · 2016/03/31(木) 22:34:22.91

>>690
ふーむ確かに。
コンパイラがC++だといかんの？

**デフォルトの名無しさん** · 2016/03/31(木) 22:49:44.78

キャストすればいいのか

**デフォルトの名無しさん** · 2016/03/31(木) 22:50:45.57

しかしvoid * はなにか負けたような気分になるなｗ

**デフォルトの名無しさん** · 2016/03/31(木) 23:19:06.00

キャストが嫌ならちゃんと型定義すればいいじゃん
と思ったがちゃんとやるには自己参照型定義みたいなのが必要になるのか
Cでそれってできるのかな

関数型Fのポインタを返す関数型をFと定義

**デフォルトの名無しさん** · 2016/03/31(木) 23:22:26.42

>>694
そう、それ！
俺もそれで悩んだ。

**デフォルトの名無しさん** · 2016/04/01(金) 00:06:13.07

お前はその前に悩むべき問題が山程あるだろｗ

**デフォルトの名無しさん** · 2016/04/01(金) 03:40:11.25

voidにキャストがどうのって、rubyでコード書くような奴に言われてもなぁ。

**デフォルトの名無しさん** · 2016/04/01(金) 22:07:22.21

>関数型Fのポインタを返す関数型をFと定義

これ定義できる静的型言語ってあるの？
それとも本質的論理的に矛盾した型であって、どうやっても定義できないの？

**デフォルトの名無しさん** · 2016/04/06(水) 03:07:16.94

Forループは正直見た目が汚らしい
場合にもよるんだろうけど、再帰で書けるならそっちのほうがコードが綺麗になる

**デフォルトの名無しさん** · 2016/04/06(水) 12:22:11.84

いかにもルビイバカらしい考え方だな

**デフォルトの名無しさん** · 2016/04/06(水) 19:04:18.80

なんでルビイなんだ？
ハスケルバカならまだわかるが。

**デフォルトの名無しさん** · 2016/04/06(水) 23:26:38.04

るびいもはすけるもよく知らないんでしょ

**デフォルトの名無しさん** · 2016/04/14(木) 21:05:36.57

Y = λf.(λx.f (x x)) (λx.f (x x))　

**デフォルトの名無しさん** · 2016/04/14(木) 22:00:43.41

#include<stdio.h>
char*s="#include<stdio.h>%cchar*s=%c%s%c;main(){printf(s,10,34,s,34);return 0;}";main(){printf(s,10,34,s,34);return 0;}

**デフォルトの名無しさん** · 2016/04/23(土) 00:44:20.59

ピクセルシェーダーで再帰関数使えるようになるのはいつだろうか

**デフォルトの名無しさん** · 2016/04/24(日) 20:32:40.26

CPUがGPU化するのが先かGPUがCPU化するのが先か。
まあ超並列プログラムは憧れるけどね。

**デフォルトの名無しさん** · 2016/04/26(火) 20:14:03.31

main = putStrLn $ q ++ show q where q = "main = putStrLn $ q ++ show q where q = "

**デフォルトの名無しさん** · 2016/04/27(水) 01:24:44.62

超並列はどうしてもデータレースが怖いからハードウェアトランザクションは必須だな

**デフォルトの名無しさん** · 2016/04/28(木) 20:33:07.32

ツクツクボウシの鳴き声を一番正確に表せた奴が優勝 [無断転載禁止]©2ch.net

1 ：以下、無断転載禁止でVIPがお送りします：2016/04/28(木) 08:01:56.231 ID:EVnE4ji20
ツクツクボーシッ！！！！ツクツクボーシッ！！！！ツククツ、ツククククククク……！！！
ｱｯ　ヴィーナス！！！！　ヴィーナス！！！！ヴィヴィヴィヴィッ！！！！！

8 ：以下、無断転載禁止でVIPがお送りします：2016/04/28(木) 08:05:05.180 ID:rZ8gq0650
ツクツクホーシ！ツクツクホーシ！ッツクツク、ツクツクホーシ！
ッ！ツクツクヴィーヨー！ツクツクヴィーヨー！ツクツクツクツクアアアアｱﾞｱﾞｱﾞｱﾞｱﾞ…天

12 ：以下、無断転載禁止でVIPがお送りします：2016/04/28(木) 08:24:50.425 ID:SYCMGSQFa
ツクツクウィーヨーンｗｗｗｗｗｗツクツクウィーヨーンｗｗｗｗｗｗウィーヨーンｗｗｗｗｗｗウィーヨーンｗｗｗｗｗｗああああああああああああああああ！！！！！！！

**デフォルトの名無しさん** · 2016/04/30(土) 22:02:43.20

GitHubで匿名通信（Tor、i2p等）ができるBitComet（トラッカーサイト不要でDHTだけで日本語検索可能）
みたいな、BitTorrentがオープンソースで開発されています
言語は何でも大丈夫だそうなので、P2P書きたい！って人居ませんか？
Covenantの作者（Lyrise）がそういう人と話したいそうなので、よろしければツイートお願いします
https://twitter.com/Lyrise_al

ちなみにオイラはCovenant(純粋P2Pのファイル共有ソフト)の完成が待ち遠しいプログラミングできないアスペルガーｗ
q

**デフォルトの名無しさん** · 2016/05/04(水) 10:34:46.82

匿名通信（Tor、i2p等）ができるファイル共有ソフトBitComet（ビットコメット）みたいな、
BitTorrent（Covenant）が活発な情報交換・交流コミュニティでオープンソース開発されています（プログラマー募集中）

言語は何でも大丈夫だそうなので、P2P書きたい！って人居ませんか？

Covenantの作者（Lyrise氏）がそういう人と話したいそうなので、よろしければツイートお願いします<(_ _)>
https://twitter.com/Lyrise_al

ちなみにオイラはCovenantの完成が待ち遠しいプログラミングできない情報発信好きアスペルガーｗ

The Covenant Project
概要

Covenantは、純粋P2Pのファイル共有ソフトです

目的

インターネットにおける権力による抑圧を排除することが最終的な目標です。そのためにCovenantでは、中央に依存しない、高効率で検索能力の高いファイル共有の機能をユーザーに提供します

特徴

Covenant = Bittorrent + Abstract Network + DHT + (Search = WoT + PoW)

接続は抽象化されているので、I2P, Tor, TCP, Proxy, その他を利用可能です
DHTにはKademlia + コネクションプールを使用します
UPnPによってポートを解放することができますが、Port0でも利用可能です(接続数は少なくなります)
検索リクエスト、アップロード、ダウンロードなどのすべての通信はDHT的に分散され、特定のサーバーに依存しません
ｔ

**デフォルトの名無しさん** · 2016/05/05(木) 20:47:26.30

眠い時にプログラム書いてたら1つの関数の中にこれでもかと再帰を詰め込んだモンスター関数を書いてしまって訳が分からなくなる

**デフォルトの名無しさん** · 2016/05/09(月) 20:57:03.75

アッカーマン関数はただの再帰じゃないらしいけど、
再帰のパワーを究極まで高めたら何になるの？

**デフォルトの名無しさん** · 2016/05/10(火) 14:12:08.45

チューリングマシンになる

証明：以下より明らか
・再帰を用いて、スタックとループをそれぞれ構築できる
・スタック2つとループを用いて、チューリングマシンを模倣できる
・故に、再帰の能力はチューリングマシン以上である。
・一方で、チューリングマシンを用いて再帰を表現出来る
・よって、再帰はチューリングマシンと等価である。

# ツッコミ待ち

**デフォルトの名無しさん** · 2016/05/10(火) 22:44:58.13

突っ込み待ちというかそんなに間違ってなくない？

**デフォルトの名無しさん** · 2016/05/11(水) 19:52:51.98

なんで再帰がどうこうで喧嘩してるんだこいつらw

**デフォルトの名無しさん** · 2016/05/11(水) 20:12:13.79

グッドスタイン数列というのがペアノ算術の限界を超えた再帰という話があるらしいのだが、詳しいことはよくわからない。
でもロマンを感じる。

**デフォルトの名無しさん** · 2016/05/19(木) 19:24:04.68

女性限定、恋愛相談サイトオープン。
4000名のイケメンカウンセラーが在籍中♪

自己紹介動画はいつでも見放題です！

メンガ　って検索してください
※本当のサイト名は英字です

**デフォルトの名無しさん** · 2016/06/19(日) 18:09:53.79

最近再帰好きだわ

**デフォルトの名無しさん** · 2016/06/19(日) 20:03:06.77

ダジャレ？

**デフォルトの名無しさん** · 2016/06/19(日) 20:41:14.58

>>719
そう言う時期が俺にもあったな...（遠い目）

**デフォルトの名無しさん** · 2016/06/19(日) 21:07:57.12

再帰で実装した方がスッキリするケースってなかなか出てこないから最近全く使ってないや

**デフォルトの名無しさん** · 2016/06/20(月) 12:26:15.09

再起なんてバグの温床だからなぁ
マインスイーパー作る時ぐらいしか使わない

**デフォルトの名無しさん** · 2016/06/20(月) 19:47:38.77

import Data.Function (on)
import Data.List (concatMap, groupBy)
main =
let (f:r) = mypi 2 4 1 12 4
s = slice 5 $ slice 10 $ concatMap show r
in putStrLn (show f ++ ".")
>> putStr (unlines $ map unwords $ take 200 s)
slice :: Int -> [a] -> [[a]]
slice n ls = let q = concatMap (replicate n) [0..] :: [Int]
in map (map snd) $ groupBy ((==) `on` fst) $ zip q ls
mypi :: Integer -> Integer -> Integer -> Integer -> Integer -> [Integer]
mypi k a b a1 b1 =
let p = k * k
q = 2 * k + 1
a' = a1
b' = b1
a1' = p * a + q * a1
b1' = p * b + q * b1
loop a a1 d d1 =
if d == d1 then
d : let a' = 10 * (a `rem` b' )
a1' = 10 * (a1 `rem` b1')
in loop a' a1' (a' `quot` b') (a1' `quot` b1')
else
mypi (k + 1) a b' a1 b1'
in loop a' a1' (a' `quot` b') (a1' `quot` b1')
えんしうりつを100まんけたひょうじする

**デフォルトの名無しさん** · 2016/06/20(月) 23:20:34.02

パイ焼きか？
何秒で計算できんの？

**デフォルトの名無しさん** · 2016/06/20(月) 23:52:55.90

$ time ./pi >/dev/null
./pi > /dev/null 0.40s user 0.00s system 99% cpu 0.400 total
一瞬やね(最適化 -O)
ちなアルゴリズムはRubyのソースについてるやつから持ってきた

**デフォルトの名無しさん** · 2016/06/27(月) 22:23:07.70

深さ優先探索より幅優先探索が好きだ。
重複がある場合計算量が深さより有利だし、
メモリモリモリ積んでゴリゴリ問題を制覇する感じがたまらない。

**デフォルトの名無しさん** · 2016/06/28(火) 10:17:41.97

幅優先探索の絶対見つかる感は異常

**デフォルトの名無しさん** · 2016/07/18(月) 23:29:48.39

まだ再帰一回しか使ったこと無いな。
ループでもよかった感じしたけど

**デフォルトの名無しさん** · 2016/07/26(火) 07:09:31.44

>>33
iがインクリメント出来ないw

**デフォルトの名無しさん** · 2016/07/26(火) 07:11:59.49

ディレクトリ掘っていく処理なら再帰の方がすっきり書ける
それ以外使ったこと無いけど

**デフォルトの名無しさん** · 2016/07/26(火) 07:14:06.40

Javaの例外の発生源を探すのにも使った

**デフォルトの名無しさん** · 2016/07/28(木) 22:29:51.78

flattenがあると再帰書かなくて済むことがまれによくある。

**デフォルトの名無しさん** · 2016/07/28(木) 23:29:35.59

findとかディレクトリのflattenだよね～

**デフォルトの名無しさん** · 2016/07/30(土) 09:51:23.93

再帰は楽しい

**デフォルトの名無しさん** · 2016/07/30(土) 22:01:40.05

超簡単なハノイの塔のコードを
理解出来ない奴らばかり

俺様ステキ

再帰は楽しい

**デフォルトの名無しさん** · 2016/07/30(土) 22:19:26.10

ハノイの塔って最初誰が考えたんだろなｗ
まさに再帰のための問題だよなｗ

**デフォルトの名無しさん** · 2016/07/31(日) 02:49:55.84

>>737
エドゥアール・リュカ/1800年代後半

**デフォルトの名無しさん** · 2016/07/31(日) 11:30:45.35

連分数展開って見た目的にも再帰的
あとは連平方根なんてのもあったっけ？

**デフォルトの名無しさん** · 2016/08/01(月) 17:10:15.58

行列式の値を余因子行列から求めるって発想が好き

**デフォルトの名無しさん** · 2016/08/14(日) 09:13:25.49

数学のように条件を書くだけで処理が書けるのは楽しい

**デフォルトの名無しさん** · 2016/08/14(日) 12:23:51.18

>>741
では
これの値を教えてください

lim[n->∞]sin(πen!)

わりとまじです

**デフォルトの名無しさん** · 2016/08/14(日) 12:55:12.86

en==円

**デフォルトの名無しさん** · 2016/08/16(火) 08:58:30.09

順次反復分岐だけで超深いは凄いな

**デフォルトの名無しさん** · 2016/10/13(木) 18:45:18.08

>>693
これこそ C の最強な部分だ

**デフォルトの名無しさん** · 2016/10/13(木) 18:46:47.08

void **hoge; のときに
void *fuga = hoge; でもイケてしまうときとダメな時があるんだが良く判らん。

**デフォルトの名無しさん** · 2016/10/30(日) 02:58:18.76

斉木楠雄と再帰関数って似てるよな

**デフォルトの名無しさん** · 2016/10/30(日) 13:41:20.72

小町算の総当たり問題は綺麗にかけて好き

**デフォルトの名無しさん** · 2016/11/06(日) 03:07:23.35

昔カッコつけてクラスのコンストラクトの再帰だったかループが爆発するバグを作ったことがある
バックトレース大変だった思い出
フリーダムなC言語系は好きだ

**デフォルトの名無しさん** · 2016/11/06(日) 09:26:24.46

int main()
{
return main();
}

**デフォルトの名無しさん** · 2016/11/06(日) 12:42:18.20

>>750
なめてんの？

**デフォルトの名無しさん** · 2016/11/09(水) 21:10:33.07

再帰は面白いと思ってた時期もあった気がする。

ただ引数や戻り値を順番付けて管理しておけば処理内容はループと同じなんだよね。もちろん実行資源の内訳も。
と言うより、「再帰はループの一つである」という表現のほうが正しいか

**デフォルトの名無しさん** · 2016/11/09(水) 22:24:15.76

ハノイの塔

**デフォルトの名無しさん** · 2016/11/10(木) 13:14:57.02

>>752
んなわけない。明らかに別物

**デフォルトの名無しさん** · 2016/11/10(木) 13:24:06.83

ただのループでスタックオーバーフローの心配はないからなぁ

**デフォルトの名無しさん** · 2016/11/10(木) 13:27:48.38

x 再帰はループの一つ
x ループは再帰の一つ

o 再帰でやりたいことはループでも実現できる
o ループでやりたいことは再帰でも実現できる

なあ、再帰関数好きな人いる？ パート3 [転載禁止]©2ch.net

なあ、再帰関数好きな人いる？パート3 [転載禁止]©2ch.net