Chaitinの定数