くだらねぇ問題はここへ書け (836ﾚｽ)
上下前次1-新
576: 2022/04/28(木)22:25 ID:GVxfrMZM(2/2) AAS
おお、ありがとう
スレ汚しすまん
577: 2022/05/27(金)15:37 ID:Ys5I1PM9(1) AAS
義務教育レベルが怪しい者です。
a=b×c-b×dをcについて解くとなぜ
c=(a/b)+d←表記が誤っていたら申し訳ありません。
となるのか分かりません。
お時間あるかた教えていただけませんか。
578: 2022/06/05(日)15:59 ID:KPBNA0bK(1) AAS
a=bc-bd.
a/b=c-d.
c=a/b+d.
579: 2022/06/05(日)21:51 ID:n+IJV6MJ(1) AAS
回答ありがとうございます。
(bc-bd)×1/b=c-dが理解できておりませんでした。
義務教育レベルができない物でした。
580: 2022/08/29(月)12:18 ID:cg/tjCFi(1/3) AAS
関数は自然数上の関数だけを考えます。
【定義(recursion)】
Aが1変数関数で、Bが3変数関数、Sが後者関数のとき、以下の2つの式で新しい2変数関数Fを定義できる。
F(x, 0) = A(x)
F(x, S(n)) = B(x, n, F(x, n))
このとき、関数Aと関数Bからrecursionによって関数Fを得るという。
【定義(iteration)】
Aが1変数関数で、Bが2変数関数、Sが後者関数のとき、以下の2つの式で新しい2変数関数Fを定義できる。
F(x, 0) = A(x)
F(x, S(n)) = B(n, F(x, n))
省5
581: 2022/08/29(月)12:19 ID:cg/tjCFi(2/3) AAS
【定理】
A, B, I, J, K, Lをそれぞれ1, 3, 1, 2, 1, 1変数関数として、特にI(x)=x, K(J(x, y))=x, L(J(x, y))=yを満たすとする。
2変数関数FがA, Bからrecursionによって定義されているとき
FはA, B, I, J, K, Lから合成とiteration を有限回適用して定義できる。
(証明)
前提より、次の2式でFが定義されている。
F (x, 0) =A(x)
F (x, S (n)) =B(x, n, F(x, y, n))
いまから
F (x, n) = F’ (x, n)を満たすF’ をA, B, I, J, K, Lから合成とiterationによって定義する。
省16
582(1): 2022/08/29(月)12:20 ID:cg/tjCFi(3/3) AAS
これはRaphael M. Robinsonの “Primitive recursive functions.” (Bull. Amer. Math. Soc. October. 1947: 925 – 942.)に書いてあります。
たしかに証明でやっているようにα、βを定義して、それらからiterationでGを定義すれば、Gは都合のいい性質を満たしてくれていて、Gから簡単に目的のF’を定義できます。
しかし、証明を追うことはできても発想を理解できなくて釈然としません。
とくにG(x, y)=J(x, F(x, y))を満たすGを得るためにA, BとI, J, K, Lからあのようにα, βを定義するに至った気持ちがわかりません。
583: 2022/08/30(火)18:28 ID:H9fAPRAM(1) AAS
>>582
解決しました。スレ汚してすみません。
584: 2022/12/20(火)15:57 ID:R0GrT6qP(1) AAS
画像ﾘﾝｸ[jpg]:i.imgur.com
画像ﾘﾝｸ[jpg]:i.imgur.com
画像ﾘﾝｸ[jpg]:i.imgur.com
画像ﾘﾝｸ[jpg]:i.imgur.com
画像ﾘﾝｸ[jpg]:i.imgur.com
画像ﾘﾝｸ[jpg]:i.imgur.com
画像ﾘﾝｸ[jpg]:i.imgur.com
画像ﾘﾝｸ[jpg]:i.imgur.com
画像ﾘﾝｸ[jpg]:i.imgur.com
画像ﾘﾝｸ[jpg]:i.imgur.com
省2
585: 2023/03/25(土)18:34 ID:PorTOzgN(1) AAS
てす
586: 2023/03/31(金)16:07 ID:qN+k836t(1) AAS
「goodtein数列の停止性はPAから独立」とか「ε0までの超限帰納法はPAから独立」とか言われますが
これらの命題はPAの言葉で書けるのですか？
知恵袋に聞いたのですが回答が得られなかったのでここで質問します。
587: 2023/03/31(金)19:30 ID:XRMmi4Xm(1) AAS
x^x+y^y=z^zを満たす自然数x,y,zは存在するか?
588: 2023/03/31(金)20:17 ID:b2/saV94(1) AAS
これは簡単
589(5): 2023/03/31(金)20:48 ID:dyQfe1Mz(1) AAS
囲碁知らないとわかりにくいかもしれませんが、↓での終局の議論について。
2chｽﾚ:gamestones
2chｽﾚ:gamestones
このなかで ID:0XHZ/ZyO が一斉に叩かれているんですが、
私にはこの人のほうが正しいように思います。
どうでしょうか？
590(1): 2023/04/04(火)06:16 ID:sZpd29eY(1) AAS
>>589さんの考えるように、その方の書き込みが正しい内容だとしても、質問者(相談者)への回答(アドバイス)として適切でないからではないでしょうか
例えば、
『1+1 の解を求めよ』とあるのに、「1+2=3 だ！」と答えたとします。1+2=3 の内容は正しいですが、問題の解答として正しいと思いますか？
591(2): 589 2023/04/05(水)07:02 ID:3HU744PQ(1) AAS
>>590
その例え話は、上記スレでの多勢側の意見の一つに同じく、ようは「的外れ」ということでしょうが、
小生には未熟者ゆえに理解が及ばないので、具体的にそう考えたポイントも示していただけると助かります。
私の見方は異なります。
ノイズが多くて分かり辛いですが、もしその人の主張が正しいと仮定するなら、
同時にそれは元の質問（命題）や他者の回答は「NO」だという正面切っての答えになっている、と判断しました。
ようするに、命題：A→Bははっきり偽であると。
その上でさらに「補足（アドバイス）」としてその人は、a→Bこそが真である、とも説明している。そう思いました。
なお、前提の事実を端的にまとめるなら、同じく上の方と思しきがここに記している内容になろうかと思います。
2chｽﾚ:gamestones
592: 2023/04/05(水)17:49 ID:h6EiX/4b(1) AAS
>>591
ここでの焦点は、書き込み内容の正当性(真偽)ではなく、質問に対しての回答内容として適切かどうかです
正式なルールを知りたい質問者に対し、正式なルールを教えた回答者の書き込みをID:0XHZ/ZyOさんは、
「それは「地の確定」についての説明なので、この話とは微妙に趣旨が異なる上に、
結局のところは「合意次第」なので、やっぱり明確な答えではないように見えるが、まあいい」
と書き込みしてます。これが質問への回答として適切ではない、的外れなどといわれています
593(2): 589 2023/04/06(木)01:14 ID:DIOUgagK(1/3) AAS
回答として適切かどうかは、書き込み内容の真偽と密接にかかわるような気がしますが…。
さておき、最初の私の質問も曖昧で焦点がぼやけて伝わっていたかもしれません。お詫びします。
私の疑問は、その人の「書き込み内容の正当性」こそがまさに焦点でした。
その人が叩かれている理由を知りたかったのではありません。
というわけで、元の相談者に対する回答として適切かどうかは、この際置いておきましょう。
>>591を事実だと仮定します。この点については、他の人達も反対していないように見えます。
ならば、終局はダメ詰めではなく両者のパスである。
ゆえに"正式なルールとして書かれているかどうかは関係なしに"「ダメ詰め」というのは偽、間違っている。
これならば通じるでしょうか？
594(1): 2023/04/06(木)07:59 ID:s6CMQvaa(1/2) AAS
>>593
「ダメ詰め」というのは偽、間違っている。
とありますが、「間違っているのなら」、つまり、だから、貴方はどうしたいのですか？
595(1): 589 2023/04/06(木)17:04 ID:DIOUgagK(2/3) AAS
>>594
その質問の意図がわかりかねますが
私は純粋に、論理的に正しくは何が言えるかを確認したく、回答を求めている所存です。
上下前次1-新書関写板覧索設栞歴
あと 241 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.010s