05/01/18 21:31:21
>>937
お前の理論だと、どのような言語もマニュアルならいらんということになるな。
>>938
ん？ページあってるか？
しかもそのような行はないぞ？
>>939
A7は評価の順序やら、結合など細かく書かれてあるが、値を持つとは書かれていない。
A9も逐次実行されることぐらいしか、文全体の説明は書いてないぞ。
942:デフォルトの名無しさん
05/01/18 21:54:46
つ「ANSI/ISO 9899-1990: American National Standard for Programming Languages - C」
943:デフォルトの名無しさん
05/01/18 22:03:39
逆ｷﾞﾚ？
944:デフォルトの名無しさん
05/01/18 22:13:06
なにを式と呼ぼうが、なにを文と呼ぼうが作者の勝手。
945:デフォルトの名無しさん
05/01/18 22:21:47
>>927に対する>>928は正しいですよ。
プログラムは記号列の形で形式的に定義され、さらにそのプログラムの
意味を定義することで言語として定義されます。
（ただし完全に形式的に意味が定義されている実用言語はほとんど無い）
構文解析的に再帰的に定義された式や文は、
表示的意味論の段階で”環境（←変数と変数の値との写像）”が与えられ、
式（←数理論理学の言葉では”項”）の値は一つに定まるし
文の意味付けも”環境から環境への写像”（実質は>>928のいう制御構造）
として定められます。
>>927が構文解析的な仕様書レベルで式や文を再帰的定義の形で納得するのでなく、
意味論のレベルも含めて理解したければ、例えば「プログラム意味論」
URLﾘﾝｸ(www.amazon.co.jp)
の冒頭10ページ（実質P4～P8）を読むだけで理解できるよ。
（このへん読むのに予備知識は別に要らないです）
仕様書で例えば「皆が文と呼ぶものを、ここでは式と呼ぶことにします」としても
それは「犬の尻尾を足と呼ぶことにしても足は5本にならない」（リンカーン）の
話を思い起こさせます。（>>940さん、ゴメンなさい）
説明が嫌味に聞こえたら読み流してください。固執しません。>>All
946:デフォルトの名無しさん
05/01/18 22:28:08
>>944
「詭弁のガイドライン」より。
・自分に有利な将来像を予想する
・主観で決め付ける
・ありえない解決策を図る
今のあなたはこの辺が該当します。
予想しうる今後の展開は、
・レッテル貼りをする
・勝利宣言をする
・知能障害を起こす
辺りです。
947:デフォルトの名無しさん
05/01/18 23:29:23
詭弁のガイドライン２
・詭弁のガイドラインを持ち出してくる
948:927
05/01/18 23:47:25
>>945
ご丁寧にありがとうございます。
かなり難解な部分もありましたが、犬の例え話はなるほどそうですね。
ふと、感じたのですが、私のような初心者にはややこしく感じるのは、
ひょっとして言葉が直観的じゃないのが原因なんでしょうか？
うまく説明できませんが、
・（Statements）→文は、値をもたない点を含めて納得しやすいのですが、
・（Expression）→式は、値を持つ点を含めて、何か直観的でないと感じます。
式と言われると、y=ax^2+bx+c のような（数学）式を連想してしまいます。
左辺＆右辺にはそれぞれ値があるのですが、式自体には値は無いですよね…
（↑数学的に）
なれですかね？
949:デフォルトの名無しさん
05/01/19 00:16:56
ソシュールとチョムスキー読むとおもしろいです
950:デフォルトの名無しさん
05/01/19 00:23:36
>>948
数学の式の"="は非常に使い方が曖昧で、"="は最低でも3通りの使い方が
なされている。
1. 定義式 y := x^2 「yをx^2と定義する」
2. 恒等式 y == x^2 「yはx^2と常に等しい」
3. 代入式 y = x^2 「yにx^2を代入する」
これらが区別できているかい？
951:デフォルトの名無しさん
05/01/19 01:07:10
>>948
>式と言われると、y=ax^2+bx+c のような（数学）式を連想してしまいます。
>左辺＆右辺にはそれぞれ値があるのですが、式自体には値は無いですよね…
値の有無は式に属するか文に属するかによる。
例えばVBの代入は文に属する。
a := b := cとは書けない。
でも右辺には式が置ける。
a := b + 1など。
しかし、C言語では代入は演算子として定義されており、
演算子は式に属する。
C言語の式a = b = cはa = (b = c)と解釈され、b = cが先に評価される。
この評価の順番を結合規則と呼び、C言語の式には
かならず結合規則が存在し、代入式は右結合と規定されている。
同じ演算子同士は結合規則によって順番が決まり、
違う演算子同士ならば優先順位によって決まる。
a = b = cの場合、式の値はcの中身になる。
952:945
05/01/19 01:16:34
>>948
y=ax^2+bx+c
は同書のP2表1．1で”文”として定義されています。
正確には「y ：= ax^2+bx+c」と記述します。
【注意】 P2の文中で「（4） xが変数でEが式ならば，x ：＝ E は式である」
は「文である」の誤りです。
代入”式”「 y=ax^2+bx+c」と言ったりしますが、意味的には
代入”文”「y ：= ax^2+bx+c」です。
代入文x:=E （←変数x，式E）については同書のP5に
「代入文は変数の値を別の値に置き換える働きをするので、
環境を別の環境に移す関数を意味する」とあります。
この説明では「関数」とあるので「式」と呼びたくなるかも知れませんが、
関数と関数との”写像”と御考え下さい。制御文ですね。
>>950にある 2. 恒等式 y == x^2 「yはx^2と常に等しい」
は論理値が与えられるので”式”です。
また、『定義式 y := x^2 「yをx^2と定義する」』はメタ記号 ：：＝ を用いて
「y ::= x^2」と記述したりするようです。
ちなみに同書のP6の下から5行目「この関数が式に対する意味関数である」は
「文に対する」の誤りです。
頑張ってください。
953:デフォルトの名無しさん
05/01/19 01:25:46
>>951-952
ここでいうy=ax^2+bx+cは、プログラムの代入ではなく、
数学の等式だと思うぞ。放物線。
>>948
数学でもax^2+bx+cは式だと思うぞ。
ってことで、漏れ的にはそれほど違和感はない。
言葉って言うのは概念につけられた単なるラベルなわけで、
極論を言うと重要なのは概念であって言葉じゃない。
「犬の尻尾を足と呼ぶことにしても足は5本にならない」
ってのはラベルを取り替えても概念は変わらないという意味だと思う。
まあ、言葉に振り回されるのもほどほどにってことで。
とは言いつつも、プログラムにおける文と式という言葉の起源はちょっと知りたい。
954:デフォルトの名無しさん
05/01/19 01:36:39
言葉って言うのは概念につけられた単なるラベルなわけで、
極論を言うと重要なのは概念であって言葉じゃない。
なにを式と呼ぼうが、なにを文と呼ぼうが作者の勝手。
まあ、言葉に振り回されるのもほどほどにってことで。
955:デフォルトの名無しさん
05/01/19 01:40:29
文は文法に束縛
SVO
S=O（BASICの場合)
if文
式は演算子と優先順位と結合規則に束縛
a+b*cはa+(b*c)
だが、たしかにこんなことはどうでもいい
記号にも興味ない
興味があるのは動くプログラム
956:デフォルトの名無しさん
05/01/19 01:41:45
・勝利宣言をする
957:デフォルトの名無しさん
05/01/19 02:21:32
言葉って言うのは概念につけられた単なるラベルなわけで、
極論を言うと重要なのは概念であって言葉じゃない。
ってことで、皆が文と呼ぶものを、ここでは式と呼ぶことにします
漏れ的にはそれほど違和感はない。
958:デフォルトの名無しさん
05/01/19 02:30:37
・知能障害を起こす
>>953がレッテルならぬラベルを貼ってくれたから、
全部集まって神龍が現れるでFA?
959:デフォルトの名無しさん
05/01/19 08:47:37
>>956
>>958
詭弁のガイドラインを出してくるお前も
・レッテル貼りをする
・勝利宣言をする
・知能障害を起こす
に該当する。
つうか、今時詭弁のガイドラインって
960:デフォルトの名無しさん
05/01/19 11:46:26
主観で決め付けるコンパイラ屋さんガンガル、の図
┌─┐
｜記｜
｜号 | 業界での字（あざな）は”ウルフ”
│に│ ↓
│興│
│味 | それほど違和感はない♪～
│な .|
│い│ ／￣
└─┤ ∧∧ ＜極論を言うと重要なのは概念であって言葉じゃない
│ （ `Д） ＼＿ なにを式と呼ぼうが文と呼ぼうが漏れの勝手
|￣￣￣|─□（ ヽ┐U
￣◎￣ ◎－>┘◎
961:デフォルトの名無しさん
05/01/19 12:04:02
>>946
デバッグできないプログラマに
そのまま当てはまるな
962:デフォルトの名無しさん
05/01/19 14:03:39
主観で決め付けてるわけじゃなくて、言葉の定義は、仕様によって決められているわけだから、
作者（仕様策定者）の勝手というのは正しいのでは？
963:デフォルトの名無しさん
05/01/19 14:21:33
常識とは思わないのか
964:955
05/01/19 14:41:15
ん？荒れてる？
俺の文章になにか不満あったのかな？
965:デフォルトの名無しさん
05/01/19 15:22:55
>>962
そうだけど、
無意味に普通じゃない意味で使ってると誰もついてこず
ロンリーウルフになっちゃうぜという話。
966:デフォルトの名無しさん
05/01/19 15:44:07
つまり、詭弁でもなんでもなく、正しいと。
967:955
05/01/19 16:28:31
どうやらどっちも落ち着いた？
968:デフォルトの名無しさん
05/01/19 16:50:42
デタラメな>>955の内容ときたら…
↑
たしかにこんなのどうでもいい
（'∀`）ﾆﾔﾆﾔ.. . .｡ｏＯ(束縛？ﾌﾟｯ
969:955
05/01/19 16:57:53
そう、ごめんね
970:デフォルトの名無しさん
05/01/19 17:03:48
>>962が発明した世界で初めての概念に関しては、その字面も、その定義も
>>962の脳内仕様書によって決められるわけだが、「式」とか「文」とかはなぁ…。
まぁ、そういう「コンパイラ屋」さんは駅前で
詭弁でも売って（売値はついても買値はつかないだろうけど）、
一人でやっていくしかないだろうねぇ。。
971:デフォルトの名無しさん
05/01/19 17:04:50
相変わらずの糞スレだな
972:デフォルトの名無しさん
05/01/19 17:06:11
みんな！うんこトークしようぜ！！！！
973:デフォルトの名無しさん
05/01/19 17:06:43
>>972
HSPスレへお帰りください。
974:デフォルトの名無しさん
05/01/19 17:07:34
うんこー！
975:デフォルトの名無しさん
05/01/19 17:09:40
>>971がむやみに頑張るスレだからな
976:デフォルトの名無しさん
05/01/19 17:11:25
ひょっとして知能障害を起こすってやつですか >>972
977:デフォルトの名無しさん
05/01/19 17:13:03
>>976のうんこー うんこー！！
978:デフォルトの名無しさん
05/01/19 17:13:37
盛り上がってまいりましたｗ
979:デフォルトの名無しさん
05/01/19 17:16:50
ここは馬鹿と池沼しかいないスレでつ。
980:デフォルトの名無しさん
05/01/19 17:17:17
>>970
「式」とか「文」だって仕様策定者なら勝手に決められる。
981:デフォルトの名無しさん
05/01/19 17:21:09
仕様で「式」の意味が決められているということは、その言語では「式」がそういう意味であるということだろう。
これが違うという方こそ詭弁だろ。
982:デフォルトの名無しさん
05/01/19 17:21:17
詭弁ばかりのﾘｱ厨が粘着荒らしか。
死ねよ。
983:デフォルトの名無しさん
05/01/19 17:22:07
解析フェーズで尻尾も足と決めてみた。
984:デフォルトの名無しさん
05/01/19 17:22:58
詭弁ばかりのリア厨って>>946のことか？
985:デフォルトの名無しさん
05/01/19 17:23:13
ｵﾁｹﾂ馬鹿ども。
986:デフォルトの名無しさん
05/01/19 17:23:33
このまえ>>982のうんこ食べたんです。
消化しきれなかったとうもろこしの粒があって、なんだかちょっぴり幸せでした…^^
987:デフォルトの名無しさん
05/01/19 17:25:50
議論の内容が低レベル過ぎ…
988:デフォルトの名無しさん
05/01/19 17:27:37
>>981がやねうらおなら笑える。
URLﾘﾝｸ(d.hatena.ne.jp)
989:デフォルトの名無しさん
05/01/19 17:29:49
>>946の予想通りになった
990:デフォルトの名無しさん
05/01/19 17:30:42
どうせ荒らしてんのは馬鹿なC厨だろ。
なんせ式と文だけでこれだけ盛り上がれるんだからな。
991:デフォルトの名無しさん
05/01/19 17:30:47
仕様で、文や式の定義が決まってるのはCだって一緒だろ。
それに文句言う奴は、言語の仕様でいろんな用語の意味が定められているのは
無効といってるのと一緒。
そういう仕様を持った言語なんて腐るほどあると思うが。
992:デフォルトの名無しさん
05/01/19 17:32:04
989＝946
993:デフォルトの名無しさん
05/01/19 17:33:09
内容がデタラメでない、という前提でな。
994:デフォルトの名無しさん
05/01/19 17:33:36
C厨は人類の敵。
995:デフォルトの名無しさん
05/01/19 17:34:12
>>993
もちろんな。
ただし、値を返すものを「文」と定義しただけでは、デタラメには該当しない。
996:デフォルトの名無しさん
05/01/19 17:35:12
C厨はうんこ！
997:デフォルトの名無しさん
05/01/19 17:36:56
何がここまで>>940を固執させるのか？
以後は、心と身体・メンタルヘルス板でドゾ
998:デフォルトの名無しさん
05/01/19 17:37:26
Rubyの文は値を持つ。
それは仕様で定められてるのだから仕方がない。
作者の勝手なんだよ。
デタラメをやらない限りな。
999:デフォルトの名無しさん
05/01/19 17:37:26
1000ならC厨は死滅！
1000:デフォルトの名無しさん
05/01/19 17:38:20
ぱ
1001:１００１
Over 1000 Thread
このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。