さっきの"ヨーグルト+1 "の話、あれ、他の子より先になぜ1+1は2なのかちゃんと教えてもらえそう＞＜
(小学校の算数に型システムつけよう派＞＜(データ型としての(？)型安全な算数＞＜) そうすれば「🍙2個足したら大きい🍙じゃん・・・」って混乱する児童減らせそう＞＜(教えられる教師も減りそう＞＜；))