ＨＡＳＫＥＬＬというプログラミング言語で束縛という概念が出てきますが
それって数学と関係ありますか