Hà tích phong, 1943 niên 8 nguyệt 5 nhật xuất sinh vu thượng hải thị, kế toán cơ nhuyễn kiện chuyên gia, trung quốc khoa học viện viện sĩ, thượng hải hoa khoa trí cốc nhân công trí năng nghiên cứu viện viện trường[17],NguyênHoa đông sư phạm đại học nhuyễn kiện học việnViện trường[43],Giáo thụ, bác sĩ sinh đạo sư[1].
Hà tích phong tòngPhục đán đại họcSổ học hệ tất nghiệp, tịnh bị phân phối đáoHoa đông sư phạm đại họcCông tác, tiên hậu đam nhậm giáo thụ, bác sĩ sinh đạo sư; 1980 niên bị phái vãngMỹ quốc cựu kim sơn đại họcTiến tu; 1984 niên tạiAnh quốc ngưu tân đại họcKế toán cơ thật nghiệm thất nhậm khách tọa giáo thụ, cao cấp nghiên cứu viên; 1998 niên đam nhậmLiên hợp quốc đại học quốc tế nhuyễn kiện kỹ thuật nghiên cứu sởCao cấp nghiên cứu viên; 2001 niên đam nhậm hoa đông sư phạm đại học nhuyễn kiện học viện viện trường; 2002 niên thành vi hoa đông sư phạm đại học thủ phê chung thân giáo thụ; 2005 niên đương tuyển trung quốc khoa học viện viện sĩ; 2010 niên bịAnh quốc ước khắc đại họcThụ dư vinh dự bác sĩ học vị; 2016 niên thụ sính vi hoa đông sư phạm đại học kế toán cơ khoa học dữ nhuyễn kiện công trình học viện viện trường[2].2019 niên thụ sính viĐồng tế đại họcĐặc sính giáo thụ, nhập chứcĐồng tế đại học giao thông vận thâu công trình học viện[3-4].
- Trung văn danh
- Hà tích phong
- Ngoại văn danh
- Ji-feng He
- Quốc tịch
- Trung quốc
- Xuất sinh địa
- Thượng hải thị
- Xuất sinh nhật kỳ
- 1943 niên 8 nguyệt 5 nhật
- Tất nghiệp viện giáo
- Phục đán đại học
- Chức nghiệp
- Giáo dục khoa nghiên công tác giả
- Đại biểu tác phẩm
- Unifying Theories of Programming[18]
- Chủ yếu thành tựu
- 2005 niên đương tuyển trung quốc khoa học viện viện sĩ
- Tính biệt
- Nam
1943 niên 8 nguyệt 5 nhật, hà tích phong xuất sinh vu thượng hải thị tịch chử mộ muội.
1965 niên 2 nguyệt, hà tích phong tòng phục đán đại học sổ học hệ tất nghiệp, tịnh bị phân phối đáo hoa đông sư phạm đại học công tác, thị thượng hải cao giáo trung đệ nhất phê tòng sự kế toán cơ khoa học nghiên cứu đích nhân viên.
1980 niên 7 nguyệt, hà tích phong tác vi phóng vấn học giả, bị hoa đông sư phạm đại học bị phái vãng mỹ quốc cựu kim sơn đại học tiến tu, chuyên công kế toán cơ ứng dụng, khóa dư thời gian lí, tha thường thường đáo viễn ly cựu kim sơn đíchTư thản phúc đại họcHòa lánh nhất sở danh bài đại học khứ bàng thính khóa trình, tư thản phúc đại học đích đạo sư bị tha đả động, bất quỹ thuyền bá cửu, hà tích phong bị phê chuẩn tiến nhập tư thản phúc đại học học tập ( chí 1981 niên 7 nguyệt ).
1984 niên 1 khốc đa chỉ ngưng cố 2 nguyệt, hà tích phong tại anh quốc ngưu tân đại học kế toán cơ thật nghiệm thất nhậm khách tọa giáo thụ, cao cấp nghiên cứu viên ( chí 1998 niên 7 nguyệt ).
1986 niên 8 nguyệt, hà tích phong tấn thăng vi hoa đông sư phạm đại học giáo thụ[5].
1995 niên khí tuân 8 phán hí thiết nguyệt, hà tích phong bị sính vi hoa đông sư phạm đại học bác sĩ sinh đạo sư.
1998 niên 7 nguyệt, hà tích phong nhậm liên hợp quốc đại học quốc tế nhuyễn kiện kỹ thuật nghiên cứu sở cao cấp nghiên cứu viên.
2001 niên 11 nguyệt, hà tích phong đam nhậm hoa đông sư phạm đại học nhuyễn kiện học viện viện trường.
2002 niên 12 nguyệt, hà tích phong thành vi hoa đông yêu thịnh táo sư phạm đại học thủ phê chung thân giáo thụ.
2005 niên, hà tích phong đương tuyển trung quốc khoa học viện viện sĩ.
2016 niên, hà tích phong thụ sính vi hoa đông sư phạm đại học kế toán cơ khoa học dữ nhuyễn kiện công trình học viện viện trường.
2019 niên, hà tích phong thụ sính vi đồng tế đại học đặc sính giáo thụ, nhập chức đồng tế đại học giao thông vận thâu công trình học viện[19-20]Tróc bảng.
- Khoa nghiên tổng thuật
① sang kiến trình tự thống nhất lý luận, điện định liễu nhuyễn kiện ngữ nghĩa nguyên lý luận cơ sở, khai sang liễu nhuyễn kiện lý luận đích tân học phái.
Hà tích phong dữ đồ linh tưởng hoạch đắc giả Hoare giáo thụ sang tạo tính địa đề xuất liễu nhuyễn kiện đích trình tự thống nhất lý luận, giải quyết liễu trình tự ngữ nghĩa đích nhất trí tính vấn đề, điện định liễu nhuyễn kiện ngữ nghĩa nguyên lý luận cơ sở, khai sang liễu trình tự thống nhất lý luận học phái, xuất bản liễu anh văn chuyên trứ 《Unifying Theories of Programming》, cai văn hiến tha dẫn siêu quá 800 thứ. Trình tự thống nhất lý luận dĩ bị quốc tế thượng công nhận vi nghiên cứu các loại trình tự ngữ ngôn đích nhất chủng tiêu chuẩn phương pháp. Tự 2006 niên khởi, mỗi lưỡng niên cử bạn nhất thứ trình tự thống nhất lý luận quốc tế học thuật nghiên thảo hội, bao quát ngưu tân đại học, ước khắc đại học, ba lê 11 đại đẳng tại nội đích thế giới trứ danh nghiên cứu cơ cấu tòng sự tự thống nhất lý luận đích tương quan nghiên cứu.
② sang tân nhuyễn kiện khai phát phương pháp học, kiến lập liễu sổ cư tinh hóa hoàn bị lý luận, bị quốc tế thượng dự vi “Diện hướng mô hình nhuyễn kiện khai phát đích nhất cá lí trình bi”.
Châm đối nhuyễn kiện khai phát các giai đoạn mô hình chính xác tính vấn đề, hà tích phong sang kiến liễu sổ cư tinh hóa hoàn bị lý luận, thủ thứ đề xuất liễu sổ cư tinh hóa đích “Trình tự phân giải toán tử” dữ “Thượng hạ phảng chân ánh chiếu đối” phương pháp, tương quy phạm ngữ ngôn dữ trình tự ngữ ngôn khán thành thị đồng nhất loại sổ học đối tượng, thải dụng “Quan hệ đại sổ” tác vi trình tự hòa nhuyễn kiện quy phạm đích thống nhất sổ học mô hình, tại thử khuông giá trung kiến lập liễu cầu giải quy phạm phương trình đích diễn toán pháp tắc. Cai thành quả bị quốc tế kế toán cơ khoa học giới dự vi “Diện hướng mô hình nhuyễn kiện khai phát đích nhất cá lí trình bi”.
③ khai thác khả tín khảm nhập thức nhuyễn kiện thiết kế lý luận dữ kỹ thuật, xúc tiến liễu phương pháp dữ kỹ thuật tại an toàn du quan hành nghiệp lĩnh vực đích ứng dụng.
Hà tích phong sang tạo tính địa khai thác hòa phát triển liễu cơ vu mô hình đích khả tín nhuyễn kiện khai phát dữ nghiệm chứng nghiên cứu lĩnh vực, kiến lập liễu chính xác tính hệ thống đích khả chứng lý luận dữ phương pháp, giải quyết liễu khả tín khảm nhập thức hệ thống cấu tạo dữ nghiệm chứng kỹ thuật đích nhược càn quan kiện vấn đề, tịnh ứng dụng vu quỹ đạo giao thông, khí xa điện tử, hàng thiên khống chế đẳng an toàn du quan hành nghiệp, thôi động liễu tương quan sản nghiệp phát triển.[18]
Nhị linh nhất thất niên hương sơn khoa học hội nghị, hà tích phong tại thế giới thượng thủ thứ đề xuất “Khả tín nhân công trí năng”, tự thử thế giới các địa khai thủy quảng phiếm quan chú nhân công trí năng đích an toàn khả tín vấn đề.[29]
- Học thuật luận trứ
Tiệt chí 2018 niên, hà tích phong xuất bản anh văn chuyên trứ 2 bộ, tại quốc tế kỳ khan hòa hội nghị thượng phát biểu luận văn 160 dư thiên, tha dẫn 4000 dư thứ[6].
He Jifeng and C.A.R. Hoare. "Algebraic specification and proof of a distributed recovery algorithm" Distributed Computing Vol 2, 1-12, (1987)[33]
He Jifeng and C.A.R. Hoare. "Categorical Semantics of Programming Language". Invited talk in Workshop of the mathematical foundation of semantics of programming languages, U.S.A. 1988. Lecture Notes in Computer Sciences 442. Springer, (1990)[34]
He Jifeng. "Hybrid Parallel Programming and Implementation of Synchronised Communication" Lecture Notes of Computer Science 711, 537-547, Springer, (1993)[35]
He Jifeng. "A Predicative Semantics for the Refinement of Real-time Systems" Lecture Notes of Computer Science 802, 230-249, Springer, (1994)[39]
He Jifeng and C.A.R. Hoare. “Linking theories in probabilistic programming” Information Sciences, vol 119, 205-218, (1999)[36]
He Jifeng "An Algebraic Approach to Verilog Programming" Lecture Notes in Computer Science 2757, 65-81, (2002)[40]
He Jifeng and Xu Qiwen. "Advanced features of Duration Calculus and their applications in sequential hybrid programs" Formal Aspect of Computing Vol 15, 84-99, (2003)[37]
He Jifeng "Linking theories of concurrency" (Invited talk) In Proceedings of CSP'25, Springer, (2004)[42]
Jifeng He, Jeff W. Sanders: Unifying Probability. UTP 2006: 173-199[41]
Jifeng He, Qin Li: A new roadmap for linking theories of programming and its applications on GCL and CS Science of Computer Programming 162 (2018) 3–34[38]
- Thừa đam hạng mục
Tiệt chí 2020 niên, hà tích phong tiên hậu đam nhậm quốc gia tự nhiên khoa học cơ kim ủy trọng đại nghiên cứu kế hoa, khoa kỹ bộ 973 kế hoa, 863 kế hoa chủ đề hạng mục thủ tịch khoa học gia, lĩnh hàm quốc gia tự nhiên khoa học cơ kim ủy sang tân nghiên cứu quần thể[6].
Thời gian | Hạng mục danh xưng | Hạng mục lai nguyên |
|---|---|---|
2001 niên —2003 niên | VERILOG phảng chân khí hòa hợp thành khí thiết kế | Thượng hải thị tín tức ủy hạng mục ( CX20010005 ) |
2002 niên —2004 niên | UML nhuyễn kiện khai phát tiến trình đích hình thức hóa lý luận | Giáo dục bộ trọng điểm hạng mục ( 02104 ) |
2002 niên —2007 niên | Võng cấu nhuyễn kiện hình thức hóa lý luận dữ phương pháp nghiên cứu | |
2003 niên —2005 niên | An toàn nhuyễn kiện lý luận dữ nhuyễn ngạnh kiện hiệp đồng thiết kế | “211” hạng mục |
2007 niên -2010 niên | Hải lượng tín tức đích hiệp đồng tính hòa khả sinh tồn tính đích lý luận dữ thật tiễn | Quốc gia khoa kỹ bộ 973 kế hoa[30] |
2007 niên | Khả tín nhuyễn kiện cơ sở nghiên cứu | Quốc gia tự nhiên khoa học cơ kim ủy viên hội[25] |
2007 niên | Kế hoa tín tức vật lý dung hợp hệ thống chủ đề hạng mục | Quốc gia khoa kỹ bộ 863 kế hoa[18] |
2017 niên -2019 niên | Công nghiệp hỗ liên võng, vật liên võng an toàn thao tác hệ thống sản nghiệp hóa cập quy mô hóa ứng dụng | Quốc gia công tín bộ[32] |
2020 niên -2023 niên | Nhân công trí năng an toàn khả tín lý luận cập nghiệm chứng bình đài | Khoa kỹ sang tân 2030[31] |
- Khoa nghiên thành quả tưởng lệ
Tiệt chí 2020 niên, hà tích phong tiên hậu dĩ duy nhất hoàn thành nhân hoạch đắc quốc gia tự nhiên khoa học tưởng nhị đẳng tưởng hòa thượng hải thị khoa kỹ tiến bộ tưởng nhất đẳng tưởng các 1 hạng, dĩ hạng mục đệ nhất hoàn thành nhân vinh hoạch thượng hải thị khoa kỹ tiến bộ tưởng đặc đẳng tưởng[26],Dĩ đệ nhất hoàn thành nhân hoạch tỉnh bộ cấp khoa kỹ tiến bộ tưởng dữ khoa kỹ thành quả tưởng nhất đẳng tưởng 4 hạng[6].
Thời gian | Hạng mục danh xưng | Tưởng lệ danh xưng |
|---|---|---|
1985 niên | Điện tử công nghiệp bộ nhuyễn kiện nhất đẳng tưởng | |
1986 niên | Thượng hải thị khoa kỹ tiến bộ nhất đẳng tưởng | |
2000 niên | Thiết kế nghiêm cách an toàn nhuyễn kiện đích hoàn bị diễn toán hệ thống | Thượng hải thị khoa kỹ tiến bộ nhất đẳng tưởng[7] |
2002 niên | Thiết kế nghiêm cách an toàn nhuyễn kiện đích hoàn bị diễn toán hệ thống | Quốc gia tự nhiên khoa học nhị đẳng tưởng[8] |
2012 niên | Cơ vu mô hình đích khả tín nhuyễn kiện lý luận dữ khai phát phương pháp | Giáo dục bộ cao đẳng học giáo khoa học nghiên cứu thành quả tưởng ( tự nhiên khoa học ) nhất đẳng tưởng[27] |
2013 niên | - | Hà lương hà lợi cơ kim khoa học dữ kỹ thuật tiến bộ tưởng[27] |
2014 niên | Cao đoan nhuyễn kiện nhân tài đích hiệp đồng sang tân bồi dưỡng mô thức | Cao đẳng giáo dục thượng hải thị giáo học thành quả tưởng đặc đẳng tưởng[27] |
2017 niên | Diện hướng tổng hợp năng lực đề thăng đích trác việt nhuyễn kiện nhân tài bồi dưỡng thể hệ | Thượng hải thị giáo học thành quả tưởng nhất đẳng tưởng[27] |
2018 niên | La tập tư duy dữ công cụ thật tiễn tịnh trọng đích khóa lĩnh vực khả tín nhuyễn kiện nhân tài bồi dưỡng mô thức | Quốc gia cấp giáo học thành quả tưởng nhị đẳng tưởng[27] |
2020 niên | Diện hướng trọng đại công nghiệp trang bị hạch tâm khống chế nhuyễn kiện đích an toàn khả tín bảo chướng kỹ thuật cập ứng dụng | Thượng hải thị khoa kỹ tiến bộ đặc đẳng tưởng[27] |
- Giáo dục tư tưởng
Hà tích phong nỗ lực tiễn hành phục vụ xã hội đích sang tân nhân tài bồi dưỡng lý niệm, thủy chung kiên trì dĩ khoa học đích thái độ tòng sự giáo học, khoa học nghiên cứu phục vụ tịnh phản bộ giáo học, cường điều đối thanh niên đạo đức phẩm tính đích bồi dưỡng. Tha tham tác nhuyễn kiện nhân tài bồi dưỡng hòa khoa học nghiên cứu đích tân lộ tử, xướng đạo “Dĩ học sinh vi trung tâm, dĩ thị tràng vi đạo hướng, dĩ sang tân cầu phát triển” đích quốc tế hóa bạn học lý niệm, tịnh cấu kiến liễu tân dĩnh đích sang tân hình nhuyễn kiện nhân tài phân tằng bồi dưỡng nhất thể hóa cơ chế[6][9].
- Giảng thụ khóa trình
Hà tích phong vi bổn khoa sinh khai thiết liễu đệ nhất môn do viện sĩ chủ giảng đích thông thức giáo dục khóa trình 《 kế toán cơ văn hóa 》, tịnh sơ lý liễu tự kỷ đa niên đích khoa nghiên thành quả, vi nghiên cứu sinh khai thiết liễu 《 trình tự thống nhất lý luận 》 khóa trình[10].
- Giáo học thành quả tưởng lệ
2006 niên hà tích phong hoạch đắc thượng hải thị giáo học danh sư xưng hào, 2013 niên 9 nguyệt hoạch đắc đệ tam giới thượng hải thị giáo dục công thần xưng hào[11],Tha hoàn bị bình vi thượng hải thị giáo thư dục nhân giai mô.
Thời gian | Vinh dự / biểu chương |
|---|---|
1988 niên | Quốc gia hữu đột xuất cống hiến trung thanh niên chuyên gia |
1989 niên | Anh quốc tiên tiến kỹ thuật nữ hoàng tưởng |
1993 niên | Anh quốc tiên tiến kỹ thuật nữ hoàng tưởng |
2005 niên | Cảm động thượng hải thập đại nhân vật |
2006 niên | Thượng hải thị ngũ nhất lao động tưởng chương |
2007 niên | Thượng hải thị lao động mô phạm |
2010 niên 4 nguyệt 17 nhật | Anh quốc ước khắc đại học thụ dư vinh dự bác sĩ học vị |
2013 niên | Thượng hải thị khoa kỹ công thần tưởng[27] |
2013 niên | Thượng hải thị giáo dục công thần tưởng[27] |
2015 niên | Pháp quốc tông lư quốc gia giáo dục kỵ sĩ huân chương[28] |
2016 niên 7 nguyệt 1 nhật | Toàn quốc ưu tú cộng sản đảng viên[12] |
Thượng hải thị ưu tú cộng sản đảng viên |
Thời gian | Đam nhậm chức vụ |
|---|---|
Trung quốc khoa học viện tín tức học bộ thường ủy hội phó chủ nhậm | |
Quốc gia khả tín nhuyễn kiện quốc tế liên hợp nghiên cứu trung tâm chủ nhậm | |
Giáo dục bộ khả tín nhuyễn kiện quốc tế hợp tác liên hợp thật nghiệm thất chủ nhậm | |
Thượng hải thị cao khả tín kế toán trọng điểm thật nghiệm thất chủ nhậm | |
1996 niên 8 nguyệt | Thượng hải giao thông đại họcKiêm chức giáo thụ, bác sĩ sinh đạo sư |
1998 niên 8 nguyệt | Nam kinh đại học kiêm chức giáo thụ, bác sĩ sinh đạo sư |
2003 niên 5 nguyệt | |
2006 niên 11 nguyệt —2011 niên 11 nguyệt | Thượng hải thị khoa học kỹ thuật hiệp hội đệ bát giới ủy viên hội phó chủ tịch, thường vụ ủy viên, ủy viên[14] |
2011 niên 11 nguyệt —2018 niên 9 nguyệt | Thượng hải thị khoa học kỹ thuật hiệp hội đệ cửu giới ủy viên hội phó chủ tịch, thường vụ ủy viên, ủy viên[15] |
2019 niên | Thượng hải thị nhân công trí năng chiến lược tư tuân chuyên gia ủy viên hội ủy viên[21] |
2019 niên | Thượng hải thị nhân công trí năng sản nghiệp an toàn chuyên gia tư tuân ủy viên hội chủ nhậm[22] |
2019 niên | Trung quốc tín tức kỹ thuật tiêu chuẩn hóa kỹ thuật ủy viên hội nhuyễn kiện dữ hệ thống công trình phân kỹ thuật ủy viên hội chủ nhậm ủy viên[23] |
Hà tích phong thị tín tức lĩnh vực lĩnh quân chuyên gia, bị quốc tế kế toán cơ khoa học giới dự vi diện hướng mô hình nhuyễn kiện khai phát phương pháp đích điện cơ thạch. Tha tại an toàn nhuyễn kiện thiết kế phương diện đích luận trứ bị quốc tế nhuyễn kiện giới quảng phiếm dẫn dụng. Tha suất tiên đề xuất quan hệ trình tự thiết kế ngữ ngôn, giá hạng công tác bị âu châu kế toán cơ giới nhận vi thị kế quá trình ngữ ngôn, hàm sổ trình tự, la tập trình tự chi hậu đích đệ tứ loại trình tự ngữ ngôn đích tiên khu, tha nhân nhi bị âu châu nhuyễn kiện giới quyền uy nhân sĩ tán chi vi “Nhuyễn kiện thiết kế kỹ thuật thượng đích nhất tọa lí trình bi”.( trung hoa nhân dân cộng hòa quốc công nghiệp hòa tín tức hóa bộ bình )
“Hà lão sư thủy chung bả học thuật sự nghiệp hòa tổ quốc đích mệnh vận dữ đảng lĩnh đạo đích sự nghiệp mật thiết địa liên hệ tại nhất khởi, vi tự kỷ năng cú tại quốc gia phát triển, học thuật phát triển hòa chỉnh cá xã hội đích tiến bộ trung phát huy tác dụng nhi cảm đáo tự hào.”[16]( hoa đông sư phạm đại học đảng ủy thư kýĐồng thế tuấnBình )
“Hà tích phong giáo thụ tại cực cụ ứng dụng tiền cảnh đích trọng yếu lĩnh vực trung đích kế toán khoa học phương diện tố xuất liễu đại lượng đích cơ sở tính cống hiến”.[18]( đồ linh tưởng hoạch đắc giả Hoare bình )
“Ngã phát minh đích quan hệ diễn toán công tác chủ yếu quy công vu hà tích phong đích nghiên cứu”.[18]( đồ linh tưởng hoạch đắc giả Dijkstra bình )
“Tại quá khứ thập ngũ niên, hà tích phong thị ngưu tân đại học trình tự nghiên cứu lĩnh vực thủ đắc thành công đích khu động lực”.[18]( anh quốc khoa học kỹ thuật ủy viên hội cấp chính phủ đích báo cáo bình )
“Hà tích phong tại nhuyễn kiện công trình đích khoa học lý luận dữ công nghiệp thật tiễn phương diện tố xuất liễu điện cơ tính đích công tác ⋯ tha phát minh tịnh khai phát liễu kế toán cơ hệ thống, thông tín dữ tiêu chuẩn đích tinh xác quy phạm ( sổ học ) lý luận dữ kỹ thuật, năng dĩ đê thành bổn đích phương thức cấu kiến cao khả kháo đích nhuyễn kiện dữ ngạnh kiện hệ thống”.[18]( anh quốc hoàng gia công trình viện viện sĩ McDermid bình )
Hà tích phong nhận vi, khả tín nhân công trí năng, chủ yếu bao hàm tam cá yếu tố —— nhân, tín tức, vật lý. Nhi sở vị đích an toàn, dã bao quát sổ cư an toàn, kỹ thuật an toàn hòa hệ thống an toàn. Phán đoạn thị phủ khả tín đích tiên quyết điều kiện chi nhất, thị thiết lập quan vu khả tín đích độ lượng tiêu chuẩn. Bỉ như, yếu cầu sổ cư bổn thân chân thật khả tín. Sổ cư khả tín chi ngoại thị kỹ thuật khả tín hòa hệ thống khả tín. Đương nhân công trí năng trình tự hoặc sản phẩm phát sinh thác ngộ thời, đối thác ngộ hoặc hội phát sinh đích kết quả cụ bị khả giải thích tính. Tại kỳ đặc tính hoặc tham sổ phát sinh nhiếp động thời, tương quan hệ thống hòa kỹ thuật y cựu cụ bị phẩm chất chỉ tiêu bảo trì bất biến đích tính năng, tức lỗ bổng tính đẳng.
Tại tha khán lai, trí tuệ thành thị hòa trí tuệ chế tạo dĩ kinh thành vi liễu thôi động khả tín AI lạc địa tối chủ yếu đích lưỡng đại ứng dụng tràng cảnh. Trí tuệ thành thị dã tựu thị xã hội trị lý đích trí năng hóa, đại sổ cư phân tích dĩ kinh tại phát huy ngận đại đích tác dụng. Trí tuệ chế tạo phương diện dã tại trục bộ thôi tiến.
“Tòng trường viễn lai khán, ngã môn hi vọng nhân công trí năng bất thị nhất cá giản đan đích công cụ tương, nhi thị dữ nhân loại tại đồng nhất cá bế hoàn nội tương hỗ hỗ động, bang trợ ngã môn tố quyết sách.” Hà tích phong nhận vi, nhân công trí năng đích phát triển quỹ tích khả năng bất thị nhất cá tuyến tính đích biến hóa, nhi thị hội nghênh lai chỉ sổ tính đích tăng trường cơ hội, “Vị lai hoặc hứa hội hữu nhất cá bạo phát tính đích quải điểm xuất hiện.”[24]
