僕が知っているComputer Scienceの基礎というのは、ラムダ計算とかそういうやつです。