5847.SuperMemo的核心技术包括莱特纳系统和算法