小6におすすめな言語 (549レス)
上
下
前
次
1-
新
104
(1)
: 2020/10/25(日)19:11
ID:7UCeAjtw(4/5)
AA×
>>102
[
240
|320|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
104: [] 2020/10/25(日) 19:11:15.93 ID:7UCeAjtw >>102 ぶっちゃけその通り。 ただ、今の教育課程はいささか・・・いあ、大分不安がある。 例えば足し算の性質、合併と増加。 参考書では同時か後からかの違いと説明されるが、これではリンゴとみかんの合計の様な違うものの足し算の説明が出来ない。 ペアノの公理はリストと同型であるが、そう考えると合併はappend(リストの結合)だ。 一方の増加は足す数をカウンタとして足される数を増やすので、見ようによっては足す数の型を足される数の型に変換して合併する処理だ。 型にすると 合併の型: a -> a -> a 増加の型: a -> b -> a そうするとリンゴとみかんの合計は リンゴとみかん リンゴ みかん (0 + 3) + 5 リンゴとみかん みかん 3 + 5 リンゴとみかん 8 となる。 http://mevius.5ch.net/test/read.cgi/tech/1598336253/104
ぶっちゃけその通り ただ今の教育課程はいささかいあ大分不安がある 例えば足し算の性質合併と増加 参考書では同時か後からかの違いと説明されるがこれではリンゴとみかんの合計の様な違うものの足し算の説明が出来ない ペアノの公理はリストと同型であるがそう考えると合併はリストの結合だ 一方の増加は足す数をカウンタとして足される数を増やすので見ようによっては足す数の型を足される数の型に変換して合併する処理だ 型にすると 合併の型 増加の型 そうするとリンゴとみかんの合計は リンゴとみかん リンゴ みかん リンゴとみかん みかん リンゴとみかん となる
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 445 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
ぬこの手
ぬこTOP
0.034s