なんか数学的には、定義に : を使うっぽい？＞＜(違う？＞＜；)
のであればなおさらPascal方式が普及すればいいのに＞＜；