it is not like people have not prov

it is not like people have not proven thing in the past, lead manager for security research at google, who has observed the new work from a distance. but usually the methods and technologies, the formalism that were developed for creating the proofs, were so esoteric and so specific to the problem that there was basically hardly any chance that threr would be repeat work that built up on it. But i can say for certain that adam's stuff with coq, and sparation logic,this is stuff that's going to get built on and applied in many fifferent domains. That's what's soexeciting.

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

ไม่เหมือนคนได้พิสูจน์สิ่งผ่านมา ผู้จัดการลูกค้าเป้าหมายสำหรับการวิจัยด้านความปลอดภัยที่ google ที่มีสังเกตการทำงานจากระยะไกลได้ แต่มักจะมีวิธีการและเทคโนโลยี formalism ที่ถูกพัฒนาสำหรับการสร้างหลักฐาน ลึกลับดังนั้น และดังนั้นเฉพาะปัญหาที่มีทั่วไปแทบไม่มีโอกาสนั้น threr จะงานซ้ำที่สร้างขึ้นบน แต่ฉันสามารถพูดบางสิ่งอดัมก็อค และ sparation ตรรกะ เป็นสิ่งที่กำลังจะสร้างขึ้น และนำไปใช้ในโดเมน fifferent หลาย นั่นคือ soexeciting คืออะไร

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

มันไม่ได้เป็นเหมือนคนที่ได้รับการพิสูจน์แล้วสิ่งที่ไม่ได้ในอดีตผู้จัดการนำสำหรับการวิจัยการรักษาความปลอดภัยที่ Google ที่มีการตั้งข้อสังเกตการทำงานใหม่ได้จากระยะไกล แต่มักจะใช้วิธีการและเทคโนโลยีเป็นพิธีที่ได้รับการพัฒนาสำหรับการสร้างหลักฐานที่ถูกเพื่อให้ความลับและเฉพาะเจาะจงเพื่อให้ปัญหาที่เกิดขึ้นว่ามีพื้นแทบจะไม่ได้มีโอกาสที่จะเป็น threr ทำงานซ้ำที่สร้างขึ้นบนมัน ๆ แต่ผมสามารถพูดได้บางสิ่งที่อาดัมว่าด้วย Coq และตรรกะ sparation นี้เป็นสิ่งที่จะได้รับการสร้างขึ้นบนและนำไปใช้ในโดเมน fifferent จำนวนมาก นั่นคือสิ่งที่ soexeciting

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

มันไม่เหมือนคนที่ยังไม่ได้พิสูจน์เรื่องในอดีต ทำให้ผู้จัดการสำหรับการวิจัยใน Google ที่ได้พบงานใหม่จากระยะไกล แต่โดยปกติแล้ว วิธีการและเทคโนโลยี แบบที่ถูกพัฒนาขึ้นเพื่อสร้างหลักฐาน ถูกดังนั้นลึกลับและเฉพาะเจาะจงกับปัญหานั้นโดยทั่วไปแทบจะไม่มีโอกาส threr จะทำซ้ำงานที่สร้างขึ้นบนแต่ฉันก็พูดบางอย่างที่อดัมของค้อกและตรรกะ sparation นี่คือสิ่งที่จะได้รับการสร้างขึ้นและใช้ใน fifferent โดเมนหลาย นั่นคือสิ่งที่ soexeciting .