There is great room for creativity

There is great room for creativity on this problem, such as the use of abstractions that connect the user to the IP result, the ability to highlight those inputs where the tool is less confident and the user should consider inspecting the results, explicitly showing the inferences the synthesized program is applying in domain-specific intuitive ways (for example, using pictures), and paraphrasing synthesized programs in natural language and letting the user make stylized edits.

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

มีห้องสำหรับความคิดสร้างสรรค์ในปัญหานี้ เช่นการใช้ abstractions ที่เชื่อมต่อกับ IP ผู้ใช้ ความสามารถในการเน้นที่ปัจจัยการผลิตที่เครื่องมือมีน้อย และผู้ใช้ควรตรวจสอบผลลัพธ์ ชัดเจนแสดง inferences โปรแกรมสังเคราะห์ใช้ในโดเมนเฉพาะวิธีง่าย (ตัวอย่าง การใช้รูปภาพ), และถอดความภาษาธรรมชาติโปรแกรมสังเคราะห์ และปล่อยให้ผู้ใช้ทำการแก้ไขสุกใส

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

มีห้องพักที่ดีสำหรับความคิดสร้างสรรค์ในการแก้ปัญหานี้เช่นการใช้แนวคิดที่เชื่อมต่อผู้ใช้ไปยังผล IP ความสามารถในการเน้นปัจจัยการผลิตเหล่านั้นที่เป็นเครื่องมือที่มีความมั่นใจน้อยลงและผู้ใช้ควรพิจารณาตรวจสอบผลอย่างชัดเจนแสดงวินิจฉัย โปรแกรมสังเคราะห์จะใช้ในรูปแบบที่ใช้งานง่ายเฉพาะโดเมน (ตัวอย่างเช่นการใช้ภาพ) และถอดความโปรแกรมสังเคราะห์ในภาษาธรรมชาติและให้ผู้ใช้ทำการแก้ไขเก๋

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

มีห้องที่ดีสำหรับความคิดสร้างสรรค์ในปัญหานี้ เช่น การใช้นามธรรมที่เชื่อมต่อผู้ใช้ไปยังผล IP , ความสามารถในการเน้นพวกกระผมที่เป็นเครื่องมือน้อยมั่นใจและผู้ใช้ควรพิจารณาตรวจสอบผลอย่างชัดเจนแสดงความหมายเชิงสังเคราะห์ที่ใช้ในโปรแกรมที่ใช้งานง่ายวิธีโดเมน ( ตัวอย่างเช่น การใช้ภาพ )การโปรแกรมภาษาและสังเคราะห์ในธรรมชาติและให้ผู้ใช้แก้ไขให้สุกใส .