論文を確認するだけで専門家が５年かかるという…
査読なんて一般人にはむりかと。

>査読なんて一般人にはむりかと。
宇宙際幾何学の専門家は現状この人ぐらいだから大丈夫だよ〜

証明の論理検証を機械でやるのは
いまいち流行っていないようだけど
何が障害なの？

>何が障害なの？
計算量

東大の渡邉ラボの論文不正などなどがあったから、これにはマスコミも少しの間飛びつくかな。
数学は、画像の加工とかの不正のしようがないし。

間違いがあるとすれば、「壮大なミス」って感じ。

>何が障害なの？
証明支援系の数学の証明への応用は、人間の証明を「紙の証明」と呼ぶことにすると、支援系による証明の形式化は、紙の証明より基本的に長くなる。そんなに長くならない分野もあるようだけれど。
（非公式だけど、慣例で人間の証明を紙の証明と呼ぶことが多い。実際には紙上の記述ではなくても…）

そして、その計算量の見積もりは既に知られている古典的な結果でも予測が困難なものが多い。
そして、膨大な長さになったものは基本人間は読めない。ただし、支援系のシステムが安全だと保証されているなら、その支援系による機械査読そのもののチェックはその内容の全体が理解できなくても良い。

もう一つの壁は紙の証明の形式化。ここはまだ完全に自動化はできない。人力で形式化をするわけだけど、その為にはその紙の証明の分野の理解とともに、証明支援系のシステムの分野の理解が必要で、両者が協力しないと前に進まない。

>No.108083
>その計算量の見積もりは既に知られている古典的な結果でも予測が困難なものが多い。
ﾜｶﾗﾝ
定理（または証明前の予想）を与えて証明を機械に探させる（自動定理証明）ならともかく、
すでに書かれている紙の証明が演繹ルールに則っているかチェックするだけなら
以下の2点がクリアされれば計算量は問題にならないように思える

>膨大な長さになったものは基本人間は読めない。
機械査読のシステムそのものに安全性証明が必要なのはﾜｶﾙ
こっちはｶﾞﾁで自動定理証明の領分なので計算量は問題になるかもしれん
が、人間の査読を主、機械査読を参考とするなら
実用上はﾅｱﾅｱでもある程度役に立つかもしれん（人間の査読に対するサジェストを与えるの意味で

>もう一つの壁は紙の証明の形式化。
ﾜｶﾙ

>すでに書かれている紙の証明が演繹ルールに則っているかチェックするだけなら
>以下の2点がクリアされれば計算量は問題にならないように思える

たしかにちょっと表現がいい加減だった。
紙の証明を証明支援系の形式表現に換えて、証明が完成したその支援系の証明の長さが、紙の証明からは今のところ予測しづらいってことね。
すごく長くなるかもしれないし、そんなに長くならないかもしれないって意味。
今後はそれ程問題じゃなくなるのかもね。

あ〜ヒルンダヒルンダ
ひるんだから続きをどうぞ

真空のエネルギーとかそういうやつ？

経済学を予測や錬金術と勘違いしてる自称理系の性根を叩きなおす方が先だろ

逆に聞くけどシミュレーションだとしてなんか不都合なことでもあるの？

科学的にはオッカムの剃刀、はい論破だけどさ

>不都合なことでもあるの？
予測に過ぎない。計算に過ぎない。未来予知など誰にも出来ないのに
特にCGで表示されると、デタラメで有っても信じる人が出て来る
兆円の金をつぎ込んで状態が悪くなっている

>不都合なことでもあるの？
東日本地震で人が死んだの忘れたのか？

スレ主がおかしいとしか思えない
問題提起するならスレ立てする前に校正しろ

No.108096 >校正しろ
任せた

先ず、
×　シュミレーション
○　シミュレーション
な。
simulationのカタカナ語だから。

そもそも模擬実験であって、初めから確定的予測ではない。だから神話化している連中がいるとすればそいつらがバカなだけ。

>東日本地震で人が死んだの忘れたのか？
そういった防災のためにもシミュレーションはあらゆる方法で必要になるんだろ。
ある時期に、想定した場所でどういった自然災害が起りうるのかや、災害が起きた時にどのような混乱が予測されるのか、どのような準備や対処が必要なのかを考えるために使う。

シミュレーションをシュミレーションと言っているようでは神話にもならんけどな。

むしろシミュレーション不足の結果よね地震の被害が大きかったの

教授との政治が必要とされるんじゃない？

日本では
普通の人、何も出来ない人　受験に受かる

才能を持つ人は　音楽　数学　絵　他アスペ　普通で無い人は　受験に落とされる

現代に求められる知識

物理≒数学
化学≒電子配置(ほぼ物理と数学)
生物≒化学
数学≒哲学
経済≒嘘
政治≒お調子

学校ではしょうもない知識ばかり学ぶ

知識より言いたい事を正しく人に伝えられる国語力が大事

そうやって加計学園は生まれた
日本の不正

誰かに求められる以外に存在価値や目的意識を見いだせないの？

>数学≒哲学
数学に哲学的部分はあるが、おんなじようなもんだろと言うと哲学側からお叱りが来る。

>普通で無い人は　受験に落とされる
現在30浪！
中国の科挙で５０浪があったそうですが挑戦中です

空しくなってきた。面白さがまったくない。先が見えない。
中学の数学教育に問題があるのではないだろうか。
これができればどんな役に立つのかという例が見えなすぎる。
小学校の時にひっ算を習って「これでいくら桁の多い計算でもできる」という喜びがない。

>これができればどんな役に立つのかという例が見えなすぎる
部分分数を初めて学んだ時、それができて何の意味があるのかと感じましたが、ラプラス変換を学んだ時、その必要性を思い知りました。
弧度法や対数にしても定義と試験問題を解く演習を強要されただけで、どれだけ役に立つ計算手法であることを教わることがなかったです。
今の教育状況は知りませんが、教え方がよくなっていれば数学からもっと喜びを感じることができると思います。

比例・反比例の問題をやっていますが、この問題はおかしくないですか？
一応文章から数字を反比例に当てはめて答えは合ってましたが
「束になった針金」と「同じ針金2m」の意味が分かりません。
束になっていない1本の針金2mという意味にとれますが違いますよね？（自信なし）
束にする意味あるでしょうか？

>束になっていない1本の針金2mという意味にとれますが違いますよね？（自信なし）
合ってるよ
束と聞いて多分線香みたいなのを想像してるんだろうけど、
1本の針金をぐるぐる巻きにしたものも束と呼ばれる
まっすぐで35mもある針金なんて重さを測れないでしょ

巻いてる束のことですかｗ
それならわかりますが、それならなおさら束って書く必要ないと思いますが。
あと2問〜・・・・

できた！
今日の勉強おわり！

もうFiberの話をしているのか

いや、latticeかもしれんぞ。

50cmの針金が１０本の束の長さって50cmじゃないの？

いろんな長さの針金１０本の束の長さって、どう表現するのでしょうか？

視覚や聴覚が頭部に存在するからだと思うんすけど

>音声や映像を想像すると無意識に「頭の中」で聞こえたり見えたりするけど、
皆がそうだという根拠は

目が頭部にあって、視覚映像はその頭部にある目から見た映像だよね。
仮に、目がお腹にあるなら、お腹から見た映像を脳で処理するはず。

例えば、頭部カメラと腹部のベルトカメラの両映像が同じ人でも異なる映像となるように、センサーの位置が違えば、情報も異なる。
映像・音声などの情報の変化を脳が処理する中で、フィードバックによって、その情報源となるセンサーの位置を情報の動きと同期させる必要があるから、目や耳というセンサーの位置情報を頭部として大まかに認識しているだけじゃないか？

あまりにもくだらなすぎる

山ほど売ったらええがな

数式をお願いします

利益率４０％と３０％の商品を売って３５％の粗利益なら
同じ数売ればいいのでは？

答えは、１００個らしいが式が解らない

(400*50+150*x)/(1000*50+500*x) = 0.35

それで良いが分数式だなあ。

(1000*50+500x)*0.35=400*50+150x

の方が１次方程式になっていて良いかも。

感謝申し上げます。

明日、提出なので助かりです。

>利益率４０％と３０％の商品を売って３５％の粗利益なら
>同じ数売ればいいのでは？
平均で３５％なら同じ金額だ

>スレ主ですが、割り算掛け算はどのように順番を並べ替えても答えは変わらないと思います。

だから、割り算で順番を入れ替えてはいけないわけだ。ＯＫ？だから。

>「÷」固有の性質と考えておk？

いちいち、性質として固定して覚えるメリットがないかと。

>４０÷（２×ｘ）・・・ｙ

そう捉えるなら
４０÷２＝ｘ　あまり　ｙ
が正確だろう。掛け算と引き算の合わせ技と捉えても、違いは無いかと。

>考えればまあわかるんですが、中学生がそこをどう習うのか、
>どう覚えておけばいいのかわからないのです。

学校によって教材が違ったり先生によって教え方も違ってくるのだから
中学生がどう習うかに拘る必要はないんじゃないかな
本質さえ正しく理解していれば解き方もまた人それぞれでいいと思うし

ただ、解答を見せて「それでも合ってる」とか「間違いではない」ばかり言われる人は理解が浅いか捻くれた確信犯

ここまでの質疑応答から考えて、もっと基礎から学習してはどうですか？

�@　５＋３×４÷２＝　
みたいな四則演算の算数ドリルをびっしりやって演算順序を学ぶ

�A　分数同士の四則演算のドリルをびっしりやって掛け算や割り算の考え方、分数の考え方をを学ぶ

�B　ｘやｙが含まれた分数同士のドリルをびっしりやってみる。多分、思いのほか簡単にわかってしまうはず

�C　等式のドリルをびっしりやってみる
ここまでくると余裕でこなせるようになってるはず
きっと今やってるような勉強は楽勝だしそれ以降の勉強もかなり楽になると思う

割り算は混乱しやすいので分数のかけ算に統一しちゃったほうがわかりやすいと思う派
a*(1/3)*bなら1*(1/3)*(1/b)とは違うってはっきりするでしょ

あ、みす
1*(1/3)*(1/b)はa*(1/3)*(1/b)ね
てかスレ画がそうやってんのか

＞割り算は混乱しやすいので分数のかけ算に統一しちゃったほうがわかりやすいと思う派

そういうのって
何度も何度も解いてるうちに工夫しだす事だよね

>４０÷２＝ｘ　あまり　ｙ
>が正確だろう。掛け算と引き算の合わせ技と捉えても、違いは無いかと。
ボケにボケで返すとは高等技術ですね

＞何度も何度も解いてるうちに工夫しだす事だよね

とくに大人になってから勉強すると
理解できたらそれ以上やらないので工夫や応用が身につかない

日常生活でも単純作業を毎日繰り返しやっていると手順が効率化されて作業内容も洗練されてくるだろう
やり方を理解してるだけの人が同じ事をいきなりやってもそうはいかない

数学の簡単な問題でもドリルで数をこなすのはとても重要なことだ

まあ繰り返しで誤魔化せるのはお子様の特権だよね
手遅れが何度も連呼するのは失敗した証拠

勝手に踏み締まった自分なりの獣道が出来てない奴はもう遅い