閃文集 Ⅲ
232
近年來陳世卿博士仍然十分投入研發，
但更深入偏遠地區。某日我和他在新竹共進
晚餐，幫他點了羊肉。問他菜還可以嗎，他
僅是客氣回答還可以。後來他說了實話。他
在甘肅吃過哈薩克人招待的羊肉後，其他地
方的羊肉都不覺得好吃。他談起在偏遠的平
原，現代哈薩克人騎摩托車牧羊的情景，相
當有趣。
近年來，超級電腦業者打破「高速計算」必需透過一部高速運
轉的超級電腦來執行計算工
作的思維。
2008
年
4
月克雷
公司開始與英特爾技術合
作，用
Xeon
處理器及刀鋒系
統設計來打造超級電腦，稱
為
Cray CX1
。
這種蛻變的高
速計算，稱為「高階計算」
(
High-end Computing)
。
以
多部
CPU
進行高階計算，原
理是平行理論
(
Concurrency
Theory)
，
早期的主要貢獻者
是米爾納
(
Arthur John Robin
Gorell Milner
；
1934–2010
；
參見圖十四
)
。
圖十三
:
Cray-3
的處理器模組
[
文獻三
]
圖十四
:
米爾納
(
Arthur John Robin Gorell
Milner;1934–2010) Turing Award (1991) Citation: For
three distinct and complete achievements: 1) LCF,
the mechanization of Scott's Logic of Computable
Functions, probably the first theoretically based
yet practical tool for machine assisted proof
construction; 2) ML, the first language to include
polymorphic type inference together with a type-
safe exception-handling mechanism; 3) CCS,
a general theory of concurrency. In addition, he
formulated and strongly advanced full abstraction,
the study of the relationship between operational
and denotational semantics.