试图用哲学解释计算机科学。