SOMP 是 Study on Mobile Phone 的缩写，这是个一个3-5年的长期计划。
目标：建成一个手机上的综合学习平台，并针对逻辑学专业提供足够的学习内容。
定位：以大学生为主，以后可扩展至中小学生。
依托系统：以 Android 为主，以后可向 iphone 等其他平台移植。
功能描述：
1、课程学习
按课程名称提供课程的阅读资料，包括教材、经典文献、讲义、课件等，所有内容应适合手机阅读，方便查阅，并有批注功能。
2、课程回顾
按课程名称提供该课程的复习卡片，功能上与 Anki 类似。
3、指点迷津
提供各种学习和研究指南，包括英文写作、开题报告和毕业论文撰写、如何选题、如何查找文献等。
4、教学互动
具有 twitter 模式的提问功能，任何人都可以在第一时间给提问者解惑。
5、他山之石
提供相关课程的网络公开课视频或其他资料的链接，方便学生观看和学习网络公开课。
6、搜索引擎
提供一个搜索引擎，学生可以方便的搜索不清楚的概念和命题，或搜索想学习的课程。
7、边玩边学
设计一些可以在玩乐中学习知识的游戏。
8、自我测试
从试题库中随机生成一套试卷（主要是判断题和选择题），测试自己掌握知识的程度。
9、学术屏保
提供相关课程的学者照片、简介或逸闻趣事作为动态屏保，或者更 geek 一点，用定理和命题作屏保。
10、同步更新
具有云端功能，从而提供与网络和电脑的同步，也方便老师不断更新学习内容。
其实这些功能在软件上应该都不难实现，关键还是要有内容（特别是7），这需要每一个老师的参与。可以考虑让学生助教也参与到这个计划中来。
请大家想想还需要什么其他功能，欢迎留言。
不容易发展起来啊，主要是学生这边没有无线网络，用起来很不方便。
回复删除不过如果有机会参加我倒是愿意尝试学学android的编程，去搜一下应该会有不少的教程。iphone上面的编程还有公开课～
无线现在的确是问题，但将来应该不是问题。现在逸夫楼是有无线的，图书馆也有，虽然信号不太好，将来应该会越来越改善。另外，除了教学互动和同步更新之外，其他功能是不需要随时上网的，可以下载到本地完成。
回复删除很高兴你愿意加入，其实现在有一个马上就可以开展的工作，就是利用Anki的平台，增加某个逻辑课程的复习卡片，Anki有个最大的优点就是可以利用latex命令输入数学符号，因此制作逻辑方面的卡片完全不是问题，需要的只是一点时间。而且Anki也已有支持android的客户端了。你若有兴趣可以利用这个学期学习模态逻辑的机会，把教材中的重要定义和结论录制成卡片，这样马上就可以让其他人受益了。详情我明天向你介绍。为了使得你现在的工作将来在SOMP中能用上，SOMP需要考虑与Anki在格式上的兼容。