联系：
- 163邮箱： BanQ
163.com - Github
简介：
- Java学习起步于：Jive，2004年出版：《Java实用系统开发指南》
- 创建自己的开源项目：Jdon框架和本站开源JiveJdon
- 2010年以后研究DDD领域驱动设计：DDD建模开发演示视频
- 2020年出版：《复杂软件设计之道：领域驱动设计全面解析与实战》
- 2021年自创的 “三体”建模法：
- 经常阅读黑客新闻等科技媒体，常转摘于本博，做一些学习笔记
Thinking in Context：
逻辑三个要点：
- 悖论：罗素悖论
- 类型：类型解决了悖论，类型避免了自指矛盾。（量化、分类、物以类分、class、集合等）
- 形式：类型是一种形式。（数学、编程语言是形式逻辑；语文、物理是内容逻辑。抽象两种方法：上下文与类型）
每个人都是“盲人摸象”中的盲人：Context is King Context是道，道生一、一生二、二生三、三生万物 ，万物皆计算！ 逻辑之道 培训咨询