>>74
>自然言語での対話から要求仕様を詰められる本質的なSEの仕事の本分を全うできる人間が供給できてれば今の日本もこんなんじゃなかったはず
むしろ現状の方がSEの仕事と合致するだろうね
静的型付け言語を使うならより明白となるだろう
運動量p(m,v)=mv （mは質量、vは速度）と２変数関数を定義すれば、いくらp(a,b)=p(b,a)だとしても
第一パラメータは「質量」しか受け付ないからね

実生活に密着した算数のかけ算の「(ひとつ分)×(いくつ分)」は実数同士ではなく、第一パラメータは「ひとつ分」を表す数量だ
逆順にするということは数量の「型(集合)」を間違えることであり、プログラマならコンパイルエラーで気付くような話だ