Conceptual and Technical Remarks on Computer Science