トップページ⇒math
46コメント9KB

アッカーマン関数

■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん2006/03/02(木) 20:49:28
ふしぎふしぎ
0002１３２人目の素数さん2006/03/02(木) 20:55:41
震災なんかでケージが破壊された恐れがあると思った時点で家を燃やす覚悟はいるかもしれんねＷ
だけど逃がす 逃げるの話になると毒虫系のほうが怖いし実際飼育者も多い分ミスもありそう
震災を言えばパイソン系の逃亡も実際笑えないでしょ
5㍍upで人喰う力も海外では実例もあるし…
どっちしにしろ管理はしっかりとしていきましょう ってことだよね

そんなこととは関係なく2ゲット
0003１３２人目の素数さん2006/03/02(木) 21:08:52
巨大数スレの前スレでも見てくれや
0004１３２人目の素数さん2006/03/05(日) 17:57:18
巨大数とは関係なくアッカーマン関数について興味があります。
大事に育てることが出来れば言いなと思います。
とりあえず、誰か定義をお願いします。
0005１３２人目の素数さん2006/03/05(日) 23:15:29
ak(0,y)=y+1 ak(x,0)=ak(x-1,1)
xy≠0ならak(x,y)=ak(x-1,ak(x,y-1))
を原始帰納でないと示せってか。
0006１３２人目の素数さん2006/03/08(水) 11:45:07
ほっし
0007１３２人目の素数さん2006/03/11(土) 02:09:59
http://makimo.to/2ch/cheese_math/981/981414837.html
0008１３２人目の素数さん2006/03/11(土) 06:26:33
ak(x,y)はx=0の時、計算が停止する。
ak(x,y)がx<nの時、停止するとする。
この時ak(n,0)は停止する。またy<mに対してak(n,y)が停止するなら
ak(n,m)=ak(n-1,ak(n,m-1))も仮定より停止する事が分かり
帰納的に全てのyでak(n,y)が停止する事が分かる。
よって帰納的に全てのx,yでak(x,y)が停止する事が分かる。
0009M2006/03/12(日) 17:16:35
ac(0,y)=y+1
ac(1,y)=y+2
ac(2,y)=2y+3
ac(3,y)=2^(y+3)-3
ac(4,y)=2^^(y+3)-3 :a^^b=a^a^a^...^a(^がb回)とする
0010１３２人目の素数さん2006/03/16(木) 15:53:36
このスレ寂しそう。ちょっくら呼んでみやう。

king　た～～～ん　
Tama King　た～～～ん
中川た～～ん
0011BW of TamaKing ◆gqRrL0OhYE 2006/03/16(木) 16:01:46
>>10レスがないということは私を呼んだわけではなかったのか。
0012１３２人目の素数さん2006/03/16(木) 16:13:15
最近はTamaKingのほうがkingより駆けつけ早い。

0013１３２人目の素数さん2006/03/16(木) 17:40:16
kingはまだか？
0014GiantLeaves ◆6fN.Sojv5w 2006/03/16(木) 17:41:38
talk:>>10,>>12-13 私を呼んだか？
0015１３２人目の素数さん2006/03/16(木) 21:08:26
この下らないスレもちょびっと伸びたのう。
0016１３２人目の素数さん2006/03/17(金) 19:28:30
TamaKing　と　King　とではどっちが早漏？
0017１３２人目の素数さん2006/03/17(金) 19:34:00
どっちもイムポだから早漏以前
0018M2006/03/18(土) 17:51:42
ac(0,y)=y+1
ac(1,y)=2+(y-3)-3 :加法 +
ac(2,y)=2*(y-3)-3 :乗法 *
ac(3,y)=2^(y+3)-3 :巾乗 ^
ac(4,y)=2^^(y+3)-3 :巾巾乗 ^^

私の予感ですが
ac(5,y)=2^^^(y+3)-3
ac(6,y)=2^^^^(y+3)-3
...
上が正しいとすれば、ac(x,y)というのは
2を底として +1 → * → ^ → ^^ → ^^^ → ...
という、すばらしい関数だと思います。

私がわからないのは、x=0 のときは一体何を意味してるのか?
x>4 のとき、本当に成立するのかですが、どなたかおしえてください。
0019１３２人目の素数さん2006/03/19(日) 15:28:55
>>18
たしかそういうもんだと授業でならったからそうなんだろう。
で、帰納法で証明できるよう演算の帰納的な定義を考えればいいんじゃないの?
がんばれ。
0020１３２人目の素数さん2006/03/26(日) 14:47:46
0021１３２人目の素数さん2006/03/31(金) 21:00:17
キング関数の方が不思議。
0022GiantLeaves ◆6fN.Sojv5w 2006/03/31(金) 22:41:08
talk:>>21 私を呼んだか？
0023１３２人目の素数さん2006/03/31(金) 22:46:17
kingよ「あっち向いてホイ」と言ったらレスせよ
「こっち向いてホイ」と言ったらレスするな
こっち向いてホイ
0024GiantLeaves ◆6fN.Sojv5w 2006/03/31(金) 22:50:01
talk:>>23 私を呼んだか？
0025１３２人目の素数さん2006/04/02(日) 11:45:56
キッコーマン関数
0026１３２人目の素数さん2006/04/02(日) 17:35:28
ム板からの転載だがアッカーマン関数を生成するC++のテンプレートだ。

template <unsigned long long m, unsigned long long n> struct Ack {
enum {value = Ack<m-1, Ack<m, n-1>::value>::value};
};
template<unsigned long long n> struct Ack<0, n> {
enum {value = n+1};
};
template <unsigned long long m> struct Ack<m, 0> {
enum {value = Ack<m-1, 1>::value};
};
template <> struct Ack<0, 0> {
enum {value = 1};
};
0027１３２人目の素数さん2006/04/02(日) 20:04:08
2重再帰を除去して、whileだけで書いてね
0028１３２人目の素数さん2006/04/05(水) 10:18:21
念のため試してみやう。

あっち向いてホイ
0029１３２人目の素数さん2006/04/05(水) 12:08:01
ガッチャマン関数とどっちがおもすろい？
0030１３２人目の素数さん2006/04/07(金) 11:46:03
うーむさすがにそれはちょっとつまんなくね？
0031１３２人目の素数さん2006/04/15(土) 23:19:29
806
0032１３２人目の素数さん2006/05/03(水) 11:39:45
>>7

> b_2
> Ack(p+1,y) が停止するとき その値を c とおく
> Ack(p+1,y+1) = Ack(p,Ack(p+1,y))
> = Ack(p,c)　　これは A_2の仮定から停止

は？
0033１３２人目の素数さん2006/05/06(土) 17:30:46
age
0034322006/05/10(水) 12:10:33
>>7

> ∀なyついて　Ack(p+1,y)は停止する
>
> ことを示せばよい。

> Ack(p+1,y) が停止するとき その値を c とおく

だれか、バカな漏れにｋｗｓｋ教えてくれ
0035１３２人目の素数さん2006/05/13(土) 08:58:15
age
0036なんつっ亭 ◆YLhguIEUXM 2006/05/13(土) 13:18:54
あっかんべー

なんつって＾＾；
0037１３２人目の素数さん2006/05/26(金) 14:22:29
862
0038１３２人目の素数さん2006/06/16(金) 01:10:21
750
0039１３２人目の素数さん2006/06/29(木) 11:55:00
king
0040KingOfUniverse ◆667la1PjK2 2006/06/29(木) 18:03:30
talk:>>39 私を呼んだだろう？
0041１３２人目の素数さん2006/07/28(金) 16:37:05
720
0042１３２人目の素数さん2006/08/03(木) 15:31:49
Ack(2,2)=Ack(1,Ack(2,1))
　　　　=Ack(1,Ack(1,Ack(2,0)))
　　　　=Ack(1,Ack(1,Ack(1,1)))
　　　　=Ack(1,Ack(1,Ack(0,Ack(1,0))))
　　　　=Ack(1,Ack(1,Ack(0,Ack(0,1))))
　　　　=Ack(1,Ack(1,Ack(0,2)))
　　　　=Ack(1,Ack(1,3))
　　　　=Ack(1,Ack(0,Ack(1,2)))
　　　　=Ack(1,Ack(0,Ack(0,Ack(1,1))))
　　　　=Ack(1,Ack(0,Ack(0,Ack(0,Ack(1,0)))))
　　　　=Ack(1,Ack(0,Ack(0,Ack(0,Ack(0,1)))))
　　　　=Ack(1,Ack(0,Ack(0,Ack(0,2))))
　　　　=Ack(1,Ack(0,Ack(0,3)))
　　　　=Ack(1,Ack(0,4))
　　　　=Ack(1,5)
　　　　=Ack(0,Ack(1,4))
　　　　=Ack(0,Ack(0,Ack(1,3)))
　　　　=Ack(0,Ack(0,Ack(0,Ack(1,2))))
　　　　=Ack(0,Ack(0,Ack(0,Ack(0,Ack(1,1)))))
　　　　=Ack(0,Ack(0,Ack(0,Ack(0,Ack(0,Ack(1,0))))))
　　　　=Ack(0,Ack(0,Ack(0,Ack(0,Ack(0,Ack(0,1))))))
　　　　=Ack(0,Ack(0,Ack(0,Ack(0,Ack(0,2)))))
　　　　=Ack(0,Ack(0,Ack(0,Ack(0,3))))
　　　　=Ack(0,Ack(0,Ack(0,4)))
　　　　=Ack(0,Ack(0,5))
　　　　=Ack(0,6)
　　　　=7
0043１３２人目の素数さん2006/08/30(水) 16:36:26
279
0044中川泰秀 ◆5xTePd6LKM 2006/10/01(日) 06:33:08
この　　すれ　　おもしろくない。
0045１３２人目の素数さん2006/10/03(火) 06:11:10
582
0046１３２人目の素数さん2006/10/22(日) 12:22:40
名前の響きだけで見に来てみたが、
>>42を見てものすごく厄介な関数らしいことが分かった
■ このスレッドは過去ログ倉庫に格納されています