白いテーブルの上の概念を返済するコンピュータチェッカー