「コンパイラ・スクリプトエンジン」相談室4

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