とある論文に"binder"という言葉が出てきました。文房具のバインダーじゃありません。束縛子とでも訳せば良さそうです。束縛子が何であるかを厳密に説明するのはけっこう面倒なので、例をいくつか出します。例から一般的概念を推測できるでしょう。述語論理…