Redisとは何か？なぜそれほど人気なのか？ (What Is Redis Really About? Why Is It So Popular?)