>>476
型付きラムダ計算の時点で数学的に表現されてるだろ…
意味不明すぎる