Much fundamental research in comput

Much fundamental research in computer science is driven by two complementary
notions of beauty in programming, that arising from the structure of a program
and that arising from the e_ciency of an algorithm. As Lewin famously said,
here's nothing so practical as good theory" [Marrow, 1984]. Decades of expe-
rience has borne out the remarkable e_cacy of theory in improving the practice
of programming.
Programming language theory is the study of the structural aspects of pro-
gramming. The central notion is that of compositionality, the construction of a
program by composition of separable parts. Results are formulated in terms of
programming languages de_ned by type systems, which mediate composition of
components, and semantics, which determines the execution behavior of those
programs. Notable theorems include the parametricity theorem, which provides
the mathematical foundation for the informal concept of data abstraction.
Algorithm theory is the study of the e_ciency aspects of programming. The
central notion is of asymptotic analysis of the time and space usage of a pro-
gram, expressed in terms of a size measure or a probability distribution on the
inputs. Results are formulated in terms of machine models of computation,
such as TM's or RAM's, which de_ne the basic steps of an algorithm and their
exceution cost, perhaps relative to parameters such as the number of proces-
sors on a PRAM. Algorithms are expressed in high-level assembler", a simple
imperative programming language, for which the translation to the o_cial"
machine model is readily understood. Often algorithms are expressed in terms
of explicit representations of data structures using pointers" and words" to
manage storage.
By and large the algorithms and programming languages communities oper-
ate in isolation from one another. Programming languages researchers focus on
the practicalities of building large software systems, and are seldom concerned
about e_ciency. Algorithms researchers focus on the e_ciency of core program-
ming techniques, and are seldom concerned about composition. (These are, of
course, caricatures of reality, but it seems to me that they contain an element
of truth.)
1
The separation between these two areas is not merely an accident of history,
or a product of social structures, but rather signals fundamental challenges that
might pro_tably be addressed by a joint research e_ort seeking to consolidate
and integrate advances on both aspects of programming. The prospects for a
successful e_ort hinge on a shared appreciation for the importance of mathe-
matically rigorous theories of programming and a shared sense of beauty that
drives much work in both areas.

ผลลัพธ์ (ไทย) 1:

มากการวิจัยพื้นฐานในวิทยาการคอมพิวเตอร์ถูกควบคุม โดยสองเพิ่มเติมความเข้าใจในการเขียนโปรแกรม ที่เกิดจากโครงสร้างของโปรแกรมที่สวยงามและที่เกิดจาก e_ciency ของอัลกอริทึมการ Lewin ซึ่งกล่าว here's ไม่ปฏิบัติจึงเป็นทฤษฎีที่ดี " [ไข 1984] ทศวรรษของ expe -rience กำเนิดออก e_cacy ที่โดดเด่นของทฤษฎีในการปรับปรุงการปฏิบัติของการเขียนโปรแกรมเขียนโปรแกรมภาษาทฤษฎีเป็นการศึกษาลักษณะโครงสร้างของโปร-gramming เป็นแนวคิดกลางของ compositionality การก่อสร้างการโปรแกรม โดยองค์ประกอบส่วน separable ผลลัพธ์มีสูตรในรูปของการเขียนโปรแกรมภาษา de_ned โดยระบบชนิด บรรเทาองค์ประกอบของส่วนประกอบ และความหมาย ซึ่งกำหนดลักษณะการทำงานของการดำเนินการของผู้โปรแกรม ทฤษฎีบท parametricity ซึ่งช่วยให้รวมทฤษฎีที่โดดเด่นพื้นฐานทางคณิตศาสตร์สำหรับเป็นแนวคิดของข้อมูล abstractionทฤษฎีอัลกอริทึมเป็นการศึกษาด้าน e_ciency ของการเขียนโปรแกรม ที่กลางคิดเป็นวิเคราะห์การใช้เวลาและพื้นที่ของ pro แบบ asymptoticกรัม แสดงการวัดขนาดหรือการกระจายความน่าเป็นในการปัจจัยการผลิต ผลลัพธ์มีสูตรในแบบจำลองเครื่องคำนวณเช่นของ TM หรือ RAM ของ de_ne ซึ่งขั้นตอนพื้นฐานของขั้นตอนวิธีการ และการต้นทุน อาจสัมพันธ์กับพารามิเตอร์เช่นจำนวนของทา - exceutionsors บนหน่อย อัลกอริทึมที่แสดงในมิเตอร์ high-level" เรียบง่ายความจำเป็นภาษาการเขียนโปรแกรม ที่แปลไป o_cial "พร้อมมีเข้าใจเครื่องรุ่น อัลกอริทึมมักจะแสดงในแง่ของการนำเสนอที่ชัดเจนของโครงสร้างข้อมูลที่ใช้ pointers" และ words " เพื่อจัดการจัดเก็บโดย large และอัลกอริทึมการเขียนโปรแกรมภาษาชุมชน oper -กินในแยกจากกัน การเขียนโปรแกรมภาษานักวิจัยเน้นpracticalities ก่อสร้างซอฟต์แวร์ขนาดใหญ่ และมีบทบาทเกี่ยวข้องเกี่ยวกับ e_ciency อัลกอริทึมนักวิจัยเน้น e_ciency ของโปรแกรมหลัก-เทคนิคหมิ และมีบทบาทที่เกี่ยวข้องเกี่ยวกับองค์ประกอบ (มี ของหลักสูตร caricatures ของจริง แต่ดูเหมือนว่าผม ว่า ประกอบด้วยองค์ประกอบของจริง)1แยกระหว่างสองพื้นที่เหล่านี้ไม่ใช่เพียงอุบัติเหตุประวัติหรือผลิตภัณฑ์ของโครงสร้างทางสังคม เป็นสัญญาณพื้นฐานความท้าทายที่อาจ pro_tably ที่ระบุ โดย e_ort ร่วมวิจัยที่แสวงหาการรวมและรวมความก้าวหน้าบนทั้งสองด้านเขียนโปรแกรม แนวโน้มในการบานพับ e_ort ประสบความสำเร็จในการร่วมชื่นชมความสำคัญ mathe-ทฤษฎีอย่างเข้มงวด matically การเขียนโปรแกรมและความรู้สึกร่วมของความงามที่ไดรฟ์ที่ทำงานในพื้นที่ทั้งสองมาก

ผลลัพธ์ (ไทย) 2:

การวิจัยพื้นฐานมากในวิทยาการคอมพิวเตอร์เป็นแรงผลักดันสองเสริมพัฒนาการของความงามในการเขียนโปรแกรมที่เกิดขึ้นจากโครงสร้างของโปรแกรมและที่เกิดขึ้นจากการe_ciency ของอัลกอริทึมที่ ในฐานะที่เป็น Lewin ที่มีชื่อเสียงกล่าวว่า ไม่มีอะไรดังนั้นในทางปฏิบัติทฤษฎีดี "[ไขกระดูก 1984]. ทศวรรษของ expe- rience ได้พัดพาออก e_cacy ที่โดดเด่นของทฤษฎีในการปรับปรุงการปฏิบัติของการเขียนโปรแกรม. ทฤษฎีภาษาการเขียนโปรแกรมคือการศึกษาในด้านโครงสร้าง ของโปรgramming. ความคิดกลางเป็นที่ของ compositionality การก่อสร้างที่โปรแกรมโดยองค์ประกอบของชิ้นส่วนที่แยกกันไม่ออกผล. มีสูตรในแง่ของการเขียนโปรแกรมภาษา de_ned โดยระบบการพิมพ์ที่เป็นสื่อกลางในองค์ประกอบของส่วนประกอบและความหมายซึ่งกำหนดดำเนินการพฤติกรรมของผู้ที่โปรแกรม. ทฤษฎีบทเด่น ได้แก่ ทฤษฎีบท parametricity ซึ่งมีพื้นฐานทางคณิตศาสตร์สำหรับแนวคิดทางการของนามธรรมข้อมูล. ทฤษฎีขั้นตอนวิธีคือการศึกษาในด้าน e_ciency ของการเขียนโปรแกรม. โดยคิดกลางของการวิเคราะห์เชิงของเวลาและการใช้พื้นที่ของโปรแกรมที่แสดงออกในแง่ของการวัดขนาดหรือการกระจายความน่าจะเป็นในปัจจัยการผลิตผล. มีสูตรในแง่ของเครื่องรุ่นของการคำนวณเช่น TM หรือ RAM ซึ่ง de_ne ขั้นตอนพื้นฐานของอัลกอริทึมของพวกเขาและค่าใช้จ่ายexceution บางทีอาจจะมีความสัมพันธ์กับค่าพารามิเตอร์เช่นจำนวน proces- sors บนเรือท้องแบน อัลกอริทึมจะแสดงในแอสเซมระดับสูง "ที่เรียบง่ายการเขียนโปรแกรมภาษาความจำเป็นที่แปลไป o_cial" รูปแบบเครื่องเป็นที่เข้าใจได้อย่างง่ายดาย บ่อยครั้งที่จะแสดงขั้นตอนวิธีการในแง่ของการเป็นตัวแทนที่ชัดเจนของโครงสร้างข้อมูลโดยใช้ตัวชี้ "และ คำว่า" เพื่อจัดการการจัดเก็บ. โดยและขนาดใหญ่ขั้นตอนวิธีการและการเขียนโปรแกรมภาษาชุมชนฮ๊อบกินในการแยกจากคนอื่น การเขียนโปรแกรมภาษานักวิจัยมุ่งเน้นไปที่การปฏิบัติของการสร้างระบบซอฟแวร์ที่มีขนาดใหญ่และมีความไม่ค่อยกังวลเกี่ยวกับe_ciency นักวิจัยมุ่งเน้นไปที่ขั้นตอนวิธีการของแกน e_ciency โปรแกรมแบบเทคนิคหมิงและไม่ค่อยมีความกังวลเกี่ยวกับองค์ประกอบ (เหล่านี้เป็นของหลักสูตรการ์ตูนของความเป็นจริงแต่มันดูเหมือนว่าฉันว่าพวกเขามีองค์ประกอบของความเป็นจริง.) 1 แยกระหว่างทั้งสองพื้นที่ไม่ได้เป็นเพียงอุบัติเหตุของประวัติศาสตร์การหรือผลิตภัณฑ์ของโครงสร้างทางสังคม แต่สัญญาณ ความท้าทายพื้นฐานที่ pro_tably อาจจะได้รับการแก้ไขโดยการวิจัยร่วมกัน e_ort ที่กำลังมองหาที่จะรวมและบูรณาการความก้าวหน้าในทุกด้านทั้งการเขียนโปรแกรม โอกาสสำหรับบานพับ e_ort ที่ประสบความสำเร็จในความชื่นชมที่ใช้ร่วมกันสำหรับความสำคัญของ mathe- ทฤษฎีอย่างเข้มงวดอัตโนมัติของการเขียนโปรแกรมและความรู้สึกร่วมกันของความงามที่ไดรฟ์ทำงานมากในพื้นที่ทั้งสอง

ผลลัพธ์ (ไทย) 3:

การวิจัยเบื้องต้นในคอมพิวเตอร์จะถูกขับเคลื่อนโดยสองความคิดประกอบ
ของความงามในการเขียนโปรแกรมที่ที่เกิดจากโครงสร้างของโปรแกรม
และที่เกิดจาก e_ciency ของขั้นตอนวิธี เป็นเลวินได้กล่าวว่า ,
N ไม่มีอะไรดังนั้นในทางปฏิบัติเป็นทฤษฎีที่ดี " ไขกระดูก [ 2527 ] ทศวรรษของ EXPE -
บริษัทก็ได้ออก e_cacy โดดเด่นของทฤษฎีในการปรับปรุงการปฏิบัติ
การเขียนโปรแกรม .
ทฤษฎีภาษาโปรแกรมคือศึกษาลักษณะโครงสร้างของโปร -
gramming . ความคิดกลางของ compositionality โครงสร้างของโปรแกรม โดยองค์ประกอบของ
ส่วนแยกออกจากกันได้ ผลลัพธ์ของสูตรในแง่ของ
การเขียนโปรแกรมภาษา de_ned ระบบชนิด ซึ่งเป็นองค์ประกอบของ
ส่วนประกอบและอรรถศาสตร์ซึ่งเป็นตัวบังคับพฤติกรรมของโปรแกรมเหล่านั้น

ทฤษฎีบทเด่น ได้แก่ parametricity ทฤษฎีบทซึ่งมี
รากฐานทางคณิตศาสตร์สำหรับแนวคิดแบบนามธรรมของข้อมูล ทฤษฎี
ขั้นตอนวิธีคือการศึกษา e_ciency ด้านการเขียนโปรแกรม
ความคิดเป็นแหล่งกลางของการวิเคราะห์เวลาและการใช้พื้นที่ของ Pro -
กรัมแสดงออกในแง่ของขนาดวัดหรือการแจกแจงความน่าจะเป็นบน
ปัจจัยการผลิต ผลลัพธ์ของสูตรในแง่ของเครื่องรุ่นของการคำนวณ ,
เช่น TM หรือราม ซึ่ง de_ne ขั้นตอนพื้นฐานของขั้นตอนวิธีการของพวกเขาและค่าใช้จ่าย exceution
บางทีสัมพันธ์กับพารามิเตอร์เช่นหมายเลขของกระบวนการ -
ลูกชายในรถเข็น . ขั้นตอนวิธีที่แสดงในระดับสูงประกอบง่าย
"ขวางภาษาซี ซึ่งแปลว่า o_cial " นางแบบ
เครื่องพร้อมเข้าใจ ขั้นตอนวิธีมักจะแสดงออกในแง่ของข้อมูลโครงสร้างชัดเจน
แทนโดยใช้ตัวชี้ " และคำ " จัดการกระเป๋า

.
โดยและขนาดใหญ่ของอัลกอริทึมและการเขียนโปรแกรมภาษาชุมชน Oper -
กินแยกจากคนอื่น การเขียนโปรแกรมภาษานักวิจัยมุ่งเน้น
ส่วนหลักของระบบซอฟต์แวร์ขนาดใหญ่ อาคาร และ มักกังวลเกี่ยวกับ e_ciency
. ขั้นตอนวิธีนักวิจัยมุ่งเน้น e_ciency ของโปรแกรมหลัก
มิง เทคนิค และจะไม่ค่อยกังวลเกี่ยวกับองค์ประกอบ ( เหล่านี้คือ ของ
หลักสูตร caricatures ของความเป็นจริง แต่ดูเหมือนว่าพวกเขามีองค์ประกอบของความจริง

1
)แยกระหว่างสองพื้นที่เหล่านี้ไม่ได้เป็นเพียงอุบัติเหตุของประวัติศาสตร์
หรือผลิตภัณฑ์ของโครงสร้างทางสังคม แต่สัญญาณความท้าทายพื้นฐานที่
อาจ pro_tably addressed โดยร่วมวิจัย e_ort แสวงหารวม
และบูรณาการความก้าวหน้าในทั้งสองด้านของการเขียนโปรแกรม โอกาสสำหรับ
บานพับ e_ort ประสบความสำเร็จบนที่ใช้ร่วมกันชื่นชมความสำคัญของคณิตศาสตร์ -
ทฤษฎีที่เคร่งครัด matically การเขียนโปรแกรมและแบ่งปันความรู้สึกของความงามที่ไดรฟ์ทำงานมากในทั้งสองพื้นที่

.