X
関数呼出しはgoto文である
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
垢版 |
2009/01/24(土) 07:30:08
関数fがあったからfを読んでみたらfのなかに関数gがあった。
gを読んでみたら関数hがあった。
これはgoto文だと思った。

しかし、関数に切り出すのは構造化プログラミングだと言われている。
gotoがダメだから構造化プログラミングにパラダイムシフトしたのに
所詮はgotoなのである。
0002デフォルトの名無しさん
垢版 |
2009/01/24(土) 08:12:47
余裕で2get！
0003デフォルトの名無しさん
垢版 |
2009/01/24(土) 08:20:34
俺なんて歯磨きながら余裕の3get！
0005デフォルトの名無しさん
垢版 |
2009/01/24(土) 08:47:36
2get
これはどう見てもおかしいだろ。 まず、主語が２。で動詞がget。
2が単数形だとしたら、getsにしないとおかしい上に、目的語がない。
直訳すると「２が得る」 何を得るんだよ！！！いいかげんにしろ。
それを言うなら
I get 2. だろ。しかも現在形だし。 過去形、いや現在完了形ぐらいまともに使ってくれよ。
I've got 2. 少しはましになって来たが、まだ気に入らない。その２だ。
いったいお前は何を手に入れたんだ？２という数字か？ 違うだろ、手に入れたのは２番目のレスだろ。
どうも日本人は数詞と序数詞の区別がよく分かっていない節がある。
これらを踏まえて、正しくは
I've got the second responce of this thread.
ここでtheにも注目してもらいたい。このスレの２ってのは 特定の、このレスだけなんだから。だからaでも無冠詞でも なく、the second responceなんだ。
もう一度おさらいしてやる。

I've got the second responce of this thread.
0010デフォルトの名無しさん
垢版 |
2009/01/24(土) 09:50:41
関数呼び出しは暗黙の引数として継続を渡すgotoである。

ところで、構造化プログラミングってのは、
選択（ifブロック）とか繰り返しとか、gotoで行う制御を抽象化することであって、
サブルーチンに切り出すってのは構造化と違うと思うんだが...
0015デフォルトの名無しさん
垢版 |
2009/01/24(土) 13:43:57
このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

　　　　　　　　　　　　　　　　　　京都大学霊長類研究所
0016デフォルトの名無しさん
垢版 |
2009/01/24(土) 15:59:41
>>1 を翻訳してあげよう。

　goto文を使うと、スパゲッティ・プログラムになる。だから先人はgotoを禁止した。
　でも、goto文を 使わずに スパゲッティ・プログラムを書く方法はいくらでもあるぜ。
　構造化スパゲッティ、オブジョクト指向スパゲッティ！

そゆことだろ？
0017デフォルトの名無しさん
垢版 |
2009/01/24(土) 18:25:15
>>1
その場合のプログラムの読み方としてはh,g,fの順番で読めばいいんじゃないでしょうか
0020デフォルトの名無しさん
垢版 |
2009/01/24(土) 22:27:16
ifとgotoさえあればあらゆる制御構造は書けるからな
それ以外の実行順序を制御する仕組みは全部ifgotoのシンタックスシュガーに過ぎない
0021デフォルトの名無しさん
垢版 |
2009/01/24(土) 22:41:16
関数型言語にも触れてから言ってもらいたいものだな。

後藤さんはそのためにいるんじゃないんだけど、やってくれるからってやらせていいというわけではないんだよ。
ちょっとした例外処理にまわってもらうんだよ。
多重ネストから抜けるのは、邪道過ぎる。そもそもその構造をどうにかして使わずに済ませろ。
0026デフォルトの名無しさん
垢版 |
2009/01/25(日) 11:40:38
多重ネストから抜けるにはgoto使うのは当たり前じゃない？
for(;;)
{
for(;;)
{
〜〜〜
if(〜){break};
}
〜〜〜
if(〜){break);
}
のようにif文を2回も書かないとダメじゃん。

for(;;)
{
for(;;)
{
〜〜〜
if(〜){goto A};
}
〜〜〜
}

A:
のほうがきれいじゃん
0027デフォルトの名無しさん
垢版 |
2009/01/25(日) 14:04:03
C言語の話をしてるという前提で言うけど、
>>26のような妥当なgotoの使い方じゃなくて、
普通は関数化するところもgotoでやろうって話だよな?
0028デフォルトの名無しさん
垢版 |
2009/01/25(日) 14:45:23
>>1が抽象化をコードから読み取れないか、
>>1が読んだコードが、関数へのくくりだしがきれいな抽象化になっていなかったか、の
どちらかだと思われる。
0030デフォルトの名無しさん
垢版 |
2009/01/25(日) 18:18:38
#include <stdio.h>

int main(void)
{
　int add_caller;
　int add_ret;
　int add_a;
　int add_b;

　goto BEGIN;

ADD:
　add_ret = add_a + add_b;

　switch (add_caller) {
　case 0: goto ADD_COLLER0;
　default: goto ERROR;
　}

BEGIN:
　add_a = 1;
　add_b = 2;
　add_caller = 0;
　goto ADD;
ADD_COLLER0:
　printf("%d+%d=%d\n", add_a, add_b, add_ret);

　return 0;

ERROR:
　return 1;
}
0037デフォルトの名無しさん
垢版 |
2009/01/25(日) 21:32:53
まあ、関数にバラしてても全部グローバルスコープの変数使ってりゃgotoだわなｗ
今だにそんなソース見掛けるから怖いよ
0039デフォルトの名無しさん
垢版 |
2009/01/25(日) 21:43:21
>>34
そういう言う意味だと ret も同じだよね。ぶっちゃっけ jmp だけあればいいw
ということは「関数から戻ることはgoto文である」ということにもなり...

あれ、普通の言語のgotoって、関数の外に飛べるっけ?
さいきんアセンブラしかつかってないからわかんないやw
0044デフォルトの名無しさん
垢版 |
2009/01/26(月) 00:15:30
for (int i = 0; i < 10; i++) {
switch (i) {
case 0:
  うんこ
  break;
case 1:
  しっこ
  break;
case 2:
  まんこ
  break;
case 3:
  ちんこ
  break;
以下省略
}
}

0045デフォルトの名無しさん
垢版 |
2009/01/26(月) 01:00:51
そういえば某国立大学の三つ編み眼鏡っこの先生が継続だけで
関数コールとgotoの代りをさせるCの方言を作ってたな
0046,,・´∀｀・,,）っ-●◎○ ◆NotanpeTw6
垢版 |
2009/01/26(月) 01:26:37
論文読んだことある。これだろ？
http://www.ie.u-ryukyu.ac.jp/~kono/papers/kono/2008/akira-vld.pdf
0048自作自演 ◆Jz9y3GJYBc
垢版 |
2009/01/26(月) 09:52:32
自作自演がばれてるんですけど、何ででしょうか？
このスレを立てたのは僕で、>>17も僕なんですが。

あともうひとつの僕の立てたスレでも自作自演がばれてます。
http://pc11.2ch.net/test/read.cgi/tech/1232851820/l50
の>>8-9です。

またお前だと2回も言われていることからあきらかです。
よろしくお願いいたします。
0049自作自演 ◆Jz9y3GJYBc
垢版 |
2009/01/26(月) 10:10:22
あと、僕はADSLですのでグローバルIPは毎回変わります。

ちなみに自作自演は表現の自由として憲法で認められた権利であると
解釈しております。
0050デフォルトの名無しさん
垢版 |
2009/01/26(月) 11:14:06
>>39-40
Cは関数ごとにスタックフレームの構造が違うかもしれないから、
一般には飛べない。
GCCのlavel as valueという言語拡張を使ってラベルをポインタにすると飛べるけど、
何が起こるかわからないw
0052デフォルトの名無しさん
垢版 |
2009/01/26(月) 20:09:08
大域ジャンプはその時点のスナップショットを残しておいて後で引き出して戻ってくる。
っていう動作だから、スタックも保存するかもしれない。
0053デフォルトの名無しさん
垢版 |
2009/01/26(月) 20:48:59
>>50
スタックフレームに関わらず飛ぶ仕様でいいんじゃないか?
goto, gosubしかない時代のbasicでもサブルーチンから別のサブルーチンにジャンプすると言うトリックは存在してたんだし。
# 勿論、ジャンプ先を間違えてメイン側からサブルーチンに飛び込むと大変なことになるわけで。
0054デフォルトの名無しさん
垢版 |
2009/01/26(月) 21:00:18
むかしのコンピュータの話で恐縮だが
スタックが無いプロセッサも存在した。
サブルーチンなど行って戻ってくる必要のある場合
CALL unko,R1
みたいに、呼び出し元のアドレスをレジスタ（この例の場合は R1）
に保存してからジャンプする。
戻るときは単にレジスタR1をプログラムカウンタに代入するだけ。
スタックとサブルーチンコールは、カレーと福神漬けのように
相性が良いってだけで、カレー・イコール・福神漬け、では無いよ。
0055デフォルトの名無しさん
垢版 |
2009/01/26(月) 22:28:37
>>54
>CALL unko,R1

ってゆうかこれってアセンブラレベルの話では。

>スタックとサブルーチンコールは、カレーと福神漬けのように
>相性が良いってだけで、カレー・イコール・福神漬け、では無いよ。

そのプラットフォームでは高級言語の呼び出し規約はどうなっていたんでしょうか。
その話によるとスタック的なデータ構造は使っていないということですね?
0058デフォルトの名無しさん
垢版 |
2009/01/27(火) 10:12:05
関数呼出しってgoto2回使用と同じ効果ですか？
行って戻ってくるみたいな。
0059デフォルトの名無しさん
垢版 |
2009/01/27(火) 10:34:26
>>58
行きは、現在の場所を記憶しておく。
帰りは、行きに記憶しておいた場所に戻る。
それ以外は、只のジャンプと同等。
但し、関数にローカルなオブジェクトがある場合はスタックフレーム形成などの処理も入る。
0060デフォルトの名無しさん
垢版 |
2009/01/27(火) 11:10:54
>>59
>行きは、現在の場所を記憶しておく。
>帰りは、行きに記憶しておいた場所に戻る。
>それ以外は、只のジャンプと同等。

どうやって「現在の場所」を記憶しておくかは気にしないのか?
0061デフォルトの名無しさん
垢版 |
2009/01/27(火) 11:16:27
>>60
別にどうやって記憶してもいいよ。一般的にはスタックを使うだろうけどね。
世の中にはスタックを使わずにレジスタウィンドウだけで済ませる場合もあるし。
0062デフォルトの名無しさん
垢版 |
2009/01/27(火) 13:11:41
世の中には（ハードウェア）スタックなんか無いと言うマシンも
昔、存在したしね。どこぞのシステム360とか言うマシンだが。
0063デフォルトの名無しさん
垢版 |
2009/01/27(火) 13:33:46
ていうか、スタックポインタがあたりまえのように存在するのは、
マイクロコンピュータ以後のアーキテクチャ。

それ以前のマシンでは、リターンアドレスやレジスタの保存とか、
ローカル変数のワークエリアとかは、ソフトウェアで管理しなきゃ
いけなかった。
0065デフォルトの名無しさん
垢版 |
2009/01/27(火) 18:18:56
どっちにしてもネイティブコードだとただその処理が続けて書かれてるだけじゃなかったっけ？
何の論議してるん？
0067デフォルトの名無しさん
垢版 |
2009/01/27(火) 19:52:28
>>61
>別にどうやって記憶してもいいよ。

記憶方法はどうでもいいんだけど、要は関数呼び出しの場合は
呼び出しの履歴を記憶しておくのが重要なわけでしょう。
その点を考慮すると、関数呼び出しと只のジャンプをほとんど同じと言うのは
どうなのかと。
その他ローカル変数やら各種レジスタの処理やら...


と思ったけど、逆に関数呼び出しはgoto文であるという話を貫くのも悪くないかもw
その場合、次スレには「スレッドはgoto文である」とかが見えてきます。

さらに続編で「プロセスはgoto文である」「OSはgoto文である」などもよろしければ...
0069デフォルトの名無しさん
垢版 |
2009/01/28(水) 10:19:17
ノイマンマシンは、全ての命令に「goto次の命令」がついていると言える。
（パラレルアーキテクチャのゼミの先生は違うこと言ってたな）
0070デフォルトの名無しさん
垢版 |
2009/01/28(水) 11:22:00
プログラムって全部gotoじゃん
int unko;
unko=3;

これだって一行目から二行目にgotoしてるじゃん
0072デフォルトの名無しさん
垢版 |
2009/01/28(水) 16:25:18
プログラムが上から下に流れていくのは仕様だろ？
不満なら下から上に解釈していく言語でも作ってくれ。
0074デフォルトの名無しさん
垢版 |
2009/01/28(水) 18:07:29
呼び出しつってんだから、関数の方に来て貰ってんじゃないの。呼んだおまえが行くなよって感じ。
0075デフォルトの名無しさん
垢版 |
2009/01/29(木) 01:25:35
goto は pc の書き換えである。
フェッチすると pc が書き換わる。
故にフェッチはgotoである。
0076デフォルトの名無しさん
垢版 |
2009/01/29(木) 03:06:23
ある物体AとBが近づいているとすると
Aから見ればBを呼び出しているのかもしれないが
第三者のCから見ればBはAにgotoしてるように見えるかもしれない。
Dから見ればAがBにgotoしているのかもしれない。
Bから見ればAがこっちに向かってきてるように見えるかもしれない。
世の中って相対的なんだよね。
絶対的なものは光速だけでしょ。
プログラミングの世界ではまだニュートン力学から抜け出せないの？（笑
0077デフォルトの名無しさん
垢版 |
2009/01/29(木) 03:10:29
call文をgoto文で置き換えてどうやって再帰呼び出しを実現するのか教えてもらおうかｗ
0078デフォルトの名無しさん
垢版 |
2009/01/29(木) 03:15:21
例えば2項間漸化式をリカーシブコールではなくリカーシブgotoでもとめるなら
初項までgotoで進んで、それからgotoで戻ってくればいいんじゃないのかな。
0079デフォルトの名無しさん
垢版 |
2009/01/29(木) 08:33:10
fact(n) = if n < 1 then 0 else n * fact(n-1)
これをgotoにばらすと
main: rin = 5; goto fact; // routに結果
fact: n = rin; if n < 1 then goto L0 else goto L1;
L0: rout = 1; goto L2;
L1: rin = n - 1; goto fact; rout = rout * n;
L2: goto XXX;
それで(1)XXXをどうやって正しい行き先にするの？(2)変数nを
どうやって覚えておくの？自分で全部スタック管理する？
continuation passiong styleに書き直す？
0082デフォルトの名無しさん
垢版 |
2009/01/29(木) 10:42:12
>65
大昔から大抵のCPUに機械語（マシン語）レベルで
CALL（サブルーチン呼び出し）命令があります。

しかしハードウェアでスタック・ポインターを持っているとは限らない、
異なる方法で実現している場合もある（有った）と言う事です。

サブルーチン・コールや関数呼び出しをハードウェアの支援なしに
全部ソフトウェア(goto命令等)で実現したとしたら効率悪い上に
アセンブリ語レベルでものすごく読み難くなるでしょう。
008382
垢版 |
2009/01/29(木) 11:15:24
call命令に対応する機械語はjmp命令ですな。
機械語に（普通）goto命令なんて有りませんね。

失敬失敬！
0084デフォルトの名無しさん
垢版 |
2009/01/29(木) 11:17:36
「呼ぶ」と「行く」は主観的な言葉だよね。
その人から見ればってことだから。
客観的に見れば、呼ぶも行くも「近づいていってくっつく」
という言葉に置き換えることが出来るよね。
0085デフォルトの名無しさん
垢版 |
2009/01/29(木) 11:28:39
>80
「あらゆる再帰呼び出しはすべて末尾再帰に書き直せるんですか？」
と小一時間問いつめたいw。

多重再帰なんかはどうするの？
そんなもの使うなと言うのは無しねｗ。
0086デフォルトの名無しさん
垢版 |
2009/01/29(木) 11:39:23
>>85
>「あらゆる再帰呼び出しはすべて末尾再帰に書き直せるんですか？」
末尾再帰の意味を知ってたら、そんな間抜けなことイワンの馬鹿。
0088デフォルトの名無しさん
垢版 |
2009/01/29(木) 12:27:22
>86
Shiro Kawaiさんの書いている
「なんでも継続」でも読んで良く考えてみてね。

再帰呼び出しをするのはScheme等の
関数型言語だけじゃないよ。

C言語でも普通に行われている。
0093デフォルトの名無しさん
垢版 |
2009/01/31(土) 13:13:46
継続渡しに書き換える必要があるということは「関数とはgoto」
だけでは済まないということを意味していると思えるけどね。
0096デフォルトの名無しさん
垢版 |
2009/02/01(日) 23:02:09
>>10くらいしかまともなのがいないけど
関数は順次を抽象化する意味だと思うのでgotoとは意味が違うとおもう。
0098デフォルトの名無しさん
垢版 |
2009/02/02(月) 13:28:58
>96
サブルーチンとして繰り返し呼び出される機能を切り出してまとめるのは
構造化プログラミングの重要な要素だと思うけどね。

>10やあなたの言う「関数」は純粋関数型で言う「関数」じゃなくて
むしろ副作用に主要な目的がある事が多いC言語などで言う「関数」
の事だよね？　つまりはサブルーチン。

私には、むしろ >10がネタ振ってるように思える。
0099デフォルトの名無しさん
垢版 |
2009/02/02(月) 13:56:08
>繰り返し呼び出される機能を切り出してまとめる
てのは構造化以前からあるイディオムだけどな。
0100デフォルトの名無しさん
垢版 |
2009/02/02(月) 14:11:50
>99
構造化以前からあったとしても（実際あるけど）「構造化プログラミング」の
重要な要素としてダイクストラが唱導してるんだからそれで良いじゃん。
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況