新建了一个文件夹。
【S-Kernel】
文件夹名下面，他又敲了一行备注：可证明微内核搜索。
然后，他对陆知行解释道：“这应该叫作从寻找可证明的局部几何结构，升级为寻找可证明，可复核，可实测的局部程序结构。”
陈启明听到这个精辟的总结，整个人终于淡定了下来。
就像是一个长期在黑暗中摸索复杂系统的人，突然看到一件完美的工具，严丝合缝地落在了自己渴望的那个接口上。
……
报告结束，人群散尽。
天色将晚，初夏夕阳的余晖绚烂地染红了江城大学的天空。
陆知行陪同江临往外走。
在穿过长长的走廊拐角时，陆知行忽然侧过头看了江临一眼。
“江临，刚才那个韩砚山教授问的那个离谱的加性组合问题，你是不是有灵感了？”
“陆老师怎么会这样想？”江临愕然反问。
“可能是直接这样告诉我的吧。”
“陆老师，您想多了，那只是一个很漂亮的类比。”江临轻巧地将话题拨开。
陆知行没有再不识趣地继续追问下去。
像江临这种深不可测的学生，手里到底捏着什么样的底牌？
什么时候肯把牌亮出来？
没人知道。
门口，那块深蓝色的临时立牌，孤零零地还立在那里。
江临收回目光。
二十天后。
他将会再一次进入废土世界。
这一次的废土探索行李与任务清单上，就目前看来，不得不多出一行公开任务架构了。
【项目代号：S-Kernel（极速微内核_机器证明搜索）】
当然，或许还会有这个。
局部弱约束→全局近似结构。
【S-Kernel】
文件夹名下面，他又敲了一行备注：可证明微内核搜索。
然后，他对陆知行解释道：“这应该叫作从寻找可证明的局部几何结构，升级为寻找可证明，可复核，可实测的局部程序结构。”
陈启明听到这个精辟的总结，整个人终于淡定了下来。
就像是一个长期在黑暗中摸索复杂系统的人，突然看到一件完美的工具，严丝合缝地落在了自己渴望的那个接口上。
……
报告结束，人群散尽。
天色将晚，初夏夕阳的余晖绚烂地染红了江城大学的天空。
陆知行陪同江临往外走。
在穿过长长的走廊拐角时，陆知行忽然侧过头看了江临一眼。
“江临，刚才那个韩砚山教授问的那个离谱的加性组合问题，你是不是有灵感了？”
“陆老师怎么会这样想？”江临愕然反问。
“可能是直接这样告诉我的吧。”
“陆老师，您想多了，那只是一个很漂亮的类比。”江临轻巧地将话题拨开。
陆知行没有再不识趣地继续追问下去。
像江临这种深不可测的学生，手里到底捏着什么样的底牌？
什么时候肯把牌亮出来？
没人知道。
门口，那块深蓝色的临时立牌，孤零零地还立在那里。
江临收回目光。
二十天后。
他将会再一次进入废土世界。
这一次的废土探索行李与任务清单上，就目前看来，不得不多出一行公开任务架构了。
【项目代号：S-Kernel（极速微内核_机器证明搜索）】
当然，或许还会有这个。
局部弱约束→全局近似结构。