Computer Science and Educational Informatization