BIT predicate とは 投稿日: 2018年6月30日 投稿者: csword 数学とコンピュータサイエンスでは、BIT述語またはAckermannコーディングは、BIT(i、j)と書かれることがあります。これは、バイナリで書かれたとき、番号iのj番目のビットが1であるかどうかをテストする述語です。原文: BIT predicate (Wikipedia)