数学@ふたば[ホーム]


[掲示板に戻る]
レス送信モード
おなまえ
E-mail
題  名
コメント
添付File []
削除キー(記事の削除用。英数字で8文字以内)


画像ファイル名:1505756602325.jpg-(19697 B)サムネ表示
19697 B無題 Name 名無し 17/09/19(火)02:43:22 No.107368 del 1月19日頃消えます
お前らこういうの好きなんだろ
無題 Name 名無し 17/09/19(火)08:29:03 No.107369 del
乗除優先規則ってそんなに絶対的でもないよな
食い違うのが面倒だから俺はカッコでハッキリさせる
プログラムソースでもそうしてる
無題 Name 名無し 17/09/19(火)10:22:26 No.107370 del
    1505784146371.jpg-(18859 B) サムネ表示
18859 B
カッコ関係ないけどな
小学生はなんて発音してるんだ?
無題 Name 名無し 17/09/19(火)17:50:24 No.107371 del
>乗除優先規則ってそんなに絶対的でもないよな
>食い違うのが面倒だから俺はカッコでハッキリさせる
>プログラムソースでもそうしてる

絶対的だよw
単に、プログラム言語の優先順位を付けすぎてプログラマー自身が混乱しているだけ。
C++にせよ、Javaにせよ、何にせよやたら細かい。

C言語を造った蟹チャーハン…じゃなくて、カーニハンも後悔していると言っていたハズ。
最低点の優先順位を設定して、後は先に書いた方が優先だとした方がマシだった。
無題 Name 名無し 17/09/20(水)07:37:41 No.107376 del
絶対的というなら、複数の二項演算子(この場合は加算と乗算)と対象による式の表現においてのカッコの省略規則で各二項演算での結合優位を仮定しないと一意的に式(の解釈)を表現できないとか矛盾するという理由があるはずだが、そんなものはないから。(カッコを省略しなければ表現出来るから)

マグマ演算が結合律を満たさない場合などもあって、カッコ省略の規則は必要なんだが、左丸め、右丸めもあるし、演算子の結合優先規則も一意解釈の前提で複数あるしな。
無題 Name 名無し 17/09/20(水)17:45:10 No.107377 del
逆ポーランド記法最高
無題 Name 名無し 17/09/20(水)20:03:05 No.107378 del
さてね。マグマは演算によって閉じている集合を言うのもで、それ以外の何らの公理も設定されていないだろ。
そこで定義された+や×が、普通の数におけるソレを連想されるが、何らかの性質を保つという保証も全くないし。
無題 Name 名無し 17/09/20(水)20:25:15 No.107379 del
マグマって言ってるんだから、+や×より一般的な話をしてるってことだよ。
確かに、歴史的慣例から四則では乗除優先という「結合の強さの順序規則」が暗黙で規定されているのは確かだが、それが、「絶対的」かと言われれば、そうではないという話。

左丸め、または右丸めだけでカッコ省略規則が不十分となりうる場合というのが、結合則の成り立たない結合子が入っている場合だから。
結合則があって交換可能なら、カッコ省略は左丸めの規則だけでも一意に表現できるだろう。
無題 Name 名無し 17/09/20(水)20:48:55 No.107383 del
というかね。先にも書いてるけど、複数の結合子の「結合の強さ」を仮定してカッコを省略してもいいけど、面倒くさがらずにカッコを使っても一意に表現できるんだから、結合の強さの規則は絶対に必要なものじゃないってことだよ。
無題 Name 名無し 17/09/20(水)20:59:28 No.107384 del
+と×は結合律が成り立つから左丸めだけでもカッコ省略の式は一意に解釈させられる。
−や÷は結合律が成り立たないから結合の強さを設定すればカッコを省略できる場面が増える。
こういう話だよ。
もちろん、乗除優先規則を暗黙で使っていいって言う慣例は同意するけどさ。

ついでに記号論理の→(ならば)は非可換で結合律を満たさない結合子だが、
A→B→C
という式は、
(A→B)→C と解釈する流儀と
A→(B→C) と解釈する流儀があったりする。
ただ、後者は少数派みたいで、普通はその省略規則を明示することが多い。
無題 Name 名無し 17/09/20(水)23:16:08 No.107385 del
数学的な結合演算子を計算上も結合的なものとして扱うコンパイラのライセンスは取り消される。
ttp://www.cam.hi-ho.ne.jp/mendoxi/bug/c-lang.html
無題 Name 名無し 17/09/20(水)23:16:47 No.107386 del
ここで述べられているのは、演算子の結合性 (associativity of operators) についてである。例として、次の式を考えてみよう。

a * b * c

この式は、演算子の結合性により、次のように解釈される。

(a * b) * c

これを、「演算子 * は左結合性をもつ」とか「左結合である」とかいう。しかし一方、数学的には、これは次のように解釈しても結果は同じである。

a * (b * c)

このような数学的に可換な式を、C 言語の旧仕様ではコンパイラが適当に並べ替えて解釈することが許されていた。新仕様ではこれが許されなくなったのである。
無題 Name 名無し 17/09/21(木)00:29:56 No.107387 del
a, b, cを自然数として
(aとbを足した値)のc倍は(a+b)とcの公倍数に限られるからa, b, cをどう弄っても素数になれないが
(aとbをかけた値)にcを足した値は自然数なら何者にもなれる…!
とゆーわけで任意の自然数を元より小さい自然数の積と和に分解したければ
積を先に計算する必要があった
逆に元より小さい自然数の積と和に分解できない自然数が現れたら
n進表記が成立しなくなっちゃう!
n進表記が成立しなくなっちゃう!

だいたい鹿10頭を3人で分けるときにまずは
3人が公平に目いっぱい分捕ろうとして自然に
 10 = (3*3) + 1
が発見されるはず…
無題 Name 名無し 17/09/21(木)00:43:40 No.107388 del
とゆーわけで獲物の総数の一意性とかよりも
取り分の一意性の方がよっぽど大事なのでありまして、
>+と×は結合律が成り立つから左丸めだけでもカッコ省略の式は一意に解釈させられる。
などとのたまうのん気な種族は太古の昔に
取り分を追及する利己的種族に淘汰されて一度ならず滅んでいるに相違ありません

またぞろNo.107384みたいなお花畑が成人を迎えられるのは
たまたま今の世の中が平和だからにすぎない
無題 Name 名無し 17/09/22(金)20:21:30 No.107392 del
いや、それは括弧を省略したあとの式の話で、カッコを省略しなければ、べき表記も結局一意に表記することが出来る。
先に上がっている、逆ポーランドやポーランド記法のように徹底した後置記法や前置記法の規則をおいても、カッコを一切使うこと無く各対象の結合子の結合優位規則を設定せずに一意に式の解釈を確定できる。

つまり、結合子の優先度を規則に定める方法以外にもカッコ省略の多義的でない表現は存在するから、乗除優先規則は「絶対的」ではない。

と言うか何度も繰り返すが、カッコを省略しなければ紛れなく表現できるのだから、その時点で既に乗除優先規則が絶対的に必要なものとはいえない。
無題 Name 名無し 17/09/22(金)20:29:05 No.107393 del
というか、
(3*3)+1
と、
3*(3+1)
は別物で、
3*3+1
と略記した時にどちらに解釈するべきなのかという規則として乗除優先という数学の慣例的な規則が暗黙で使われているというだけ。

仮に乗除優先規則が無い条件でも
>カッコを省略しなければ、n進表記が表現できちゃう!
>カッコを省略しなければ、n進表記が表現できちゃう!
だから、絶対的じゃない。
無題 Name ベイズ厨 17/10/03(火)21:57:35 No.107450 del
4と4!みたいに左辺と右辺で一致する式ってどうやってみつけるんでしょうか
無題 Name 名無し 17/10/04(水)08:52:18 No.107454 del
「4!」ってなんて発音したんですか?
無題 Name 名無し 17/10/04(水)14:26:37 No.107455 del
「よん!」
無題 Name 名無し 17/10/04(水)17:08:43 No.107457 del
    1507104523352.png-(3023 B) サムネ表示
3023 B
本文無し
無題 Name 名無し 17/10/05(木)14:21:59 No.107461 del
以前に全力!脱力タイムズでやってたね
ゲスト 厚切りジェイソン
持ちネタの一二三
「四」ホワイ ジャパニーズ ピープル
なんでなんだよー って言ってたら

横4本線の4の漢字も存在してます。
なぜ今の形の四になったか解説してた

厚切りジェイソン
「おい!お前ら営業妨害だろ〜」

こんな落ち好き
無題 Name 全角 17/10/09(月)18:59:37 No.107471 del
>新仕様ではこれが許されなくなったのである。
なして?

【記事削除】[画像だけ消す]
削除キー
- GazouBBS + futaba-