我的Anki2插件之任务管理–基于有效(学习/工作)时间的任务管理
一般的任务管理软件,都是基于日期/时钟的任务安排--也就是说在特定日期,特定时刻该干某事。但实际情况往往是计划赶不上变化,该做某事时,常被其它客观因素扰乱。本插件就是为了解决这个问题而开发的,并且将常规任务和Anki任务进行统筹安排。实际上,本插件是“期卡牌语音提醒”功能的扩展,只不过增加了任务管理及其提醒的功能。
一般的任务管理软件,都是基于日期/时钟的任务安排--也就是说在特定日期,特定时刻该干某事。但实际情况往往是计划赶不上变化,该做某事时,常被其它客观因素扰乱。本插件就是为了解决这个问题而开发的,并且将常规任务和Anki任务进行统筹安排。实际上,本插件是“期卡牌语音提醒”功能的扩展,只不过增加了任务管理及其提醒的功能。
新加了阅读模式的功能。Anki原本是一款记忆软件,有时我不想按进度进行学习,只想按次序浏览,但又不想破坏正常的记忆进度信息,于是我为Anki增加了阅读模式的功能。这个功能的增加,实际上将Anki打造成一款知识管理软件(雏形)。
Anki原本是不支持视频文件的,或者说支持的不是很友好--仅仅是打开一个单独的窗口播放。感觉很不好,,于是我开发了一个基于mplayer的内嵌视频插件。同样,这个插件是供给我自己使用的,所以只考虑Windows平台的情况(在Win7中测试通过)。
承前(我的Anki2插件之TTS文本发音),新加了在线词典插件,这个插件依然是供给我自己使用的。没有正式发布的计划。目前仅实现了QQ词典和爱词霸词典两个在线词典。
这个插件本意是提供给我自己使用的,故仅考虑了我的个人习惯。 目前仅实现了TTS文本发音的功能,并且仅考虑了两类TTS引擎:“谷歌TTS”和本地TTS(SAPI 5)。
这个方法就是使用Python的扩展模块win32com, 它可以很方便地调Windows下的COM组件,自然也能调用SAPI 5。 废话不多说,直接上例子
一般提起记忆软件,大多让人想起众多的背单词软件,但我需要的是一款可以记任何类型知识的辅助记忆软件。到目前为止,Anki是唯一一款满足我这个要求的软件。
上一篇:布尔巴基数学基础笔记(第1卷)-集合论-第2章.集合论-5.集族乘积
==================
6.等价关系
考虑一个关系式
,x和y是不同的字母,如果
![]()
,那么称R是对称的(关于x和y)。根据替换规则立刻有
![]()
因此,R是关于x和y对称的,意味着
和
是等价的。
上一篇:布尔巴基数学基础笔记(第1卷)-集合论-第2章.集合论-4.集族的并与交
==================
5.集族乘积
A3(幂集公理):
。
注记:a)也就是:
;
b)这就是ZFC系统中的“幂集公理”。
近期评论