程京德(Jingde Cheng)的博 ...分享 http://blog.sciencenet.cn/u/JingdeCheng 相关逻辑,软件工程,知识工程,信息安全性工程;自强不息,厚德载物。

自我介绍
从清华附中去陕北延川县插队;从陕北考回清华读书;从清华毕业后留校任教;从清华派往日本九州大学读书;在九大获得博士学位后留校任教;研究兴趣广泛的一个教书匠。
敬请谅解
本人欢迎各位评论者对本人随笔的评论。但是因为本人空闲时间不多不常来这里,故而对评论的回复有时会不太及时。敬请各位评论者谅解!多谢!

  • 日本 九州大学,埼玉大学,教授

    • 信息科学->计算机科学

    扫一扫,分享此博客主页
你需要登录后才可以留言 登录 | 注册


统计信息

已有 987165 人来访过

“逻辑”与“逻辑学” (1) -- 起源、定义、异同 2024-10-12
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注 ...
(3919)次阅读|(2)个评论
从诺贝尔物理学、化学奖双双颁发给人工智能学者引发的随想 2024-10-10
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注 ...
(27983)次阅读|(1)个评论
从 Hinton 获得诺贝尔物理学奖引发的疑问 2024-10-09
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注 ...
(3825)次阅读|(14)个评论
形式化规格描述语言Z 2024-09-30
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注 ...
(683)次阅读|(0)个评论
他山之石:获得诺贝尔奖、菲尔茨奖、沃尔夫数学奖的日本学者 2024-09-28
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注 ...
(1436)次阅读|(0)个评论
为什么软件工程师必须知道形式化方法? 2024-09-26
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注 ...
(3818)次阅读|(1)个评论
智能:具体智能和抽象智能,个体智能和群体智能,以及人工智能之天花板 2024-09-25
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注 ...
(692)次阅读|(0)个评论
OpenAI o1 的“昂贵推理”之用途? 2024-09-14
本人保留本文的全部著作权利。如果哪位读者使用本文所描述内容,请务必如实引用并明白注明本文出处。如果本人发现任何人擅自使用本文任何部分内容而不明白注 ...
(6006)次阅读|(0)个评论

查看更多

    现在还没有记录

    Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

    GMT+8, 2024-10-23 06:22

    Powered by ScienceNet.cn

    Copyright © 2007- 中国科学报社

    返回顶部