2021-11-08 よくある乱用・略記 教育 STEM カリー化: 引数なし関数: f() = f(*) = f( () ) 要素とポインティングマップ: a = a() = a(*) タプルと関数: 要素と単元集合の意図的混同 要素と単元リストの意図的混同 引数内の囲み括弧省略: f( (x, y) ) = f(x, y) ニセの和(区切り記号としてのプラス)とホントの和(演算、または演算結果) 連接(演算記号)とカンマ(区切り記号)のゲンツェン流乱用 リストの囲み括弧省略、これもゲンツェン流 参照:Breaking Gentzen's bad habit - (新) 檜山正幸のキマイラ飼育記 メモ編