- 掛け算の順序の強制について Part1
75 :132人目の素数さん[sage]:2019/02/12(火) 00:13:29.27 ID:kNd1x6hZ - >>73
>延々質問しているが、本題に迫る質問無いぞ。スレばかり進むし不毛なんだが? 君は、否定派の第一の理由とする交換法則や分配法則の是非についてが本題と関係ないと言うわけだ 君が交換法則を蹴る理由が教育効果にも関わらず、教育効果の有無が本題と関係ないと言うわけだ 君はどこか根本的に壊れているね
|
- 掛け算の順序の強制について Part1
77 :132人目の素数さん[sage]:2019/02/12(火) 00:34:12.96 ID:kNd1x6hZ - >>74
>自然言語での対話から要求仕様を詰められる本質的なSEの仕事の本分を全うできる人間が供給できてれば今の日本もこんなんじゃなかったはず むしろ現状の方がSEの仕事と合致するだろうね 静的型付け言語を使うならより明白となるだろう 運動量p(m,v)=mv (mは質量、vは速度)と2変数関数を定義すれば、いくらp(a,b)=p(b,a)だとしても 第一パラメータは「質量」しか受け付ないからね 実生活に密着した算数のかけ算の「(ひとつ分)×(いくつ分)」は実数同士ではなく、第一パラメータは「ひとつ分」を表す数量だ 逆順にするということは数量の「型(集合)」を間違えることであり、プログラマならコンパイルエラーで気付くような話だ
|
- 掛け算の順序の強制について Part1
79 :132人目の素数さん[sage]:2019/02/12(火) 01:26:21.57 ID:kNd1x6hZ - >>78
>「ひとぶん×いくつぶん」は、一つ分を「1mあたりの重さ」とか「1km上昇するとき、低下する温度」とかすれば、 >第一パラメータも実数になるぞ。いくつぶんも、「2.5m」とか「2.5km」とかすれば小数の掛け算のできあがり。 君は実に馬鹿だなぁw 一つ分は「7g/m」、いくつぶん「2.5m」として、「7g/m」や「2.5m」という数量を「実数」と呼ぶ訳だw そして、「7g/m」と「2.5m」が同じ種類の数量に見えるんだな そもそも双方ただ実数であるとすると、逆順の正当性が無くなるぞ? 何のための、ちゃんと文章を読め、なんだろうな? 先生:2.5は何を表す数ですか? 生徒:実数です というやり取りをしたいなら構わんがねw >というか >>74 の話は、コンパイルの話ではなくて、顧客の要望を聞いてそれを詰められるかってことじゃないの? 設計で、関数仕様書なども作成するだろ? 算数のかけ算の「(ひとつ分)×(いくつ分)」はこの段階の話だ それを使うプログラマはそれに従うだけ
|
- 掛け算の順序の強制について Part1
81 :132人目の素数さん[sage]:2019/02/12(火) 01:38:16.17 ID:kNd1x6hZ - >>80
ああ、君にとって整数は実数ではなかったのか 君の思考回路は相変わらずよく分からんねw
|
- 掛け算の順序の強制について Part1
85 :132人目の素数さん[sage]:2019/02/12(火) 10:36:35.83 ID:kNd1x6hZ - >>84
数学的行為の全否定だなw こんなこと言う研究者がいたとしたら、そいつは録な新規の発想もできず、当然論文も書けないのだろうな
|
- 掛け算の順序の強制について Part1
89 :132人目の素数さん[sage]:2019/02/12(火) 11:39:08.53 ID:kNd1x6hZ - >>87
>勝手に存在しないルールを作るな。 >そのようなことはしてはいけないことをこそ、 そんなルールは無い 勝手に存在しないルールを作るなw という、突っ込み待ちだったのか
|