คำถามติดแท็ก writing

7
วิธีการพิสูจน์หลักฐานของคุณ
แนวทางทั่วไปในการตรวจสอบหลักฐานของคุณคืออะไร? ฉันเชื่อว่านี่เป็นสิ่งสำคัญสำหรับนักศึกษาระดับบัณฑิตศึกษาอย่างฉัน ฉันรู้แล้วว่าเราต้องทำอะไรเพื่อพิสูจน์บางสิ่ง แต่คุณต้องตรวจสอบทุกสิ่งก่อนส่งออกไป แม้กระทั่งที่ปรึกษาของคุณเอง ฉันพัฒนากลยุทธ์ด้วยตัวเองโดยการลองผิดลองถูกและได้รับคำแนะนำมากมายจากที่ปรึกษาของฉัน แต่นี่เป็นงานที่น่าเบื่อเสมอ โดยปกติเมื่อคุณทำอะไรซักอย่างเสร็จคุณก็แค่อยากจะแก้ปัญหาต่อไป แต่คุณยังต้องยึดติดกับปัญหาในปัจจุบันจนกระทั่งทุกอย่างสมบูรณ์แบบ ที่นี่ฉันนำเสนอตัวอย่างของรายการของเทคนิค: กรอกรายละเอียด มีข้อผิดพลาดมากมายในสถานที่ที่คุณเขียนว่า "ชัดเจนว่า ... ", "โดยไม่สูญเสียความเป็นไปได้ ... " ฯลฯ ลองตัวเลข ลองใช้กรณีที่รุนแรงเช่น "จะเกิดอะไรขึ้นเมื่อฉันตั้งค่าหรือ "n = 1,000n = 1n=1n=1n = 1,000n=1000n=1000 เก็บสมุดบันทึกที่สะอาด เขียนทุกวันและเปรียบเทียบกับโน้ตย่อของคุณ ฉันพยายามเขียนด้วยน้ำยางด้วยฉันพบข้อผิดพลาดมากมายเช่นนี้ กลยุทธ์ทั่วไปที่คุณใช้ในการตรวจสอบหลักฐานของคุณคืออะไร? วัตถุประสงค์ของคำถามนี้คือทำให้ชุมชนเป็นวิกิ

16
คุณใช้เครื่องมืออะไรในการเขียนเอกสาร
คุณใช้เครื่องมืออะไรในการเขียนเอกสาร จากประสบการณ์เล็กน้อยที่ฉันมีนักทฤษฎีใช้เวลาในการเขียนและปรับแต่งเอกสารเป็นจำนวนมากนอกเหนือจากความคิดสร้างสรรค์ นั่นคือการสื่อสารงานของพวกเขากับคนอื่น ๆ บางทีเอกสารอาจไม่ใช่วิธีที่ถูกต้องในการทำเช่นนั้น แต่ควรจะทิ้งไว้ให้มีการอภิปรายอีกครั้ง ไม่ว่าในกรณีใดดูเหมือนว่าเราต้องการลดเวลาที่ใช้ในการเขียนผลลัพธ์โดยใช้เป็นเครื่องมือซอฟต์แวร์ที่ดีที่สุด ดังนั้นคำถามนี้มีจุดมุ่งหมายเพื่อค้นหาสมบัติที่ซ่อนอยู่ในนั้น ฉันคิดว่าพวกเราส่วนใหญ่ใช้ LaTeX และระบบบางอย่างสำหรับการจัดระเบียบเอกสารอ้างอิง แต่ก็ยังมีเสียงเรียกเข้า / emacs และห้องสมุดที่ดีมากซึ่งช่วยประหยัดเวลาได้มากสำหรับฉัน ดังนั้นฉันอยากรู้เกี่ยวกับการตั้งค่าที่คุณใช้สำหรับการเขียนบทความและอาจเป็นบางสิ่งที่คุณพยายามเรียนรู้และไม่ได้ผลสำหรับคุณ ฉันจะให้ความสนใจเป็นพิเศษกับสิ่งต่าง ๆ ที่อาจไม่เป็นที่รู้จัก แต่กลับกลายเป็นสิ่งที่เร่งความเร็วแม้ว่าจะเป็นซอฟต์แวร์ที่เฉพาะเจาะจงสำหรับการวาดกราฟหรือคุณสมบัติการเติมภาพอัตโนมัติ ดอนนูบอกเกี่ยวกับการตั้งค่าของเขาในการให้สัมภาษณ์ที่นี่ ค้นหาคำถาม " ชุดเครื่องมือใดที่คุณใช้ [... ] " UPDATE: Sadeq ชี้ให้ฉันเพื่อการสนทนาเกี่ยวกับเครื่องมือสำหรับการวาดภาพที่นี่

6
ตัวอย่างที่ดีสำหรับวิธีการเขียนที่ดีใน TCS
ฉันกำลังแก้ไขต้นฉบับของนักเรียน นักเรียนตั้งข้อสังเกตว่ามันคงจะดีถ้าได้เห็นตัวอย่างของการเขียนที่มีคุณภาพในงานเผยแพร่และฉันก็ตระหนักว่าฉันไม่สามารถหาตัวอย่างที่ดีจากหัวของฉันได้ อะไรคือตัวอย่างที่ดีที่สุดของการเขียนเชิงคณิตศาสตร์ที่มีคุณภาพที่คุณเคยเห็น? กฎ: ฉันต้องการเอกสาร TCS เท่าที่จะทำได้ สไตล์ของเราแตกต่างจากเอกสารคณิตศาสตร์มาตรฐานที่ฉันคิดว่าจะดีกว่าที่จะให้ความสำคัญกับ TCS (และทำไมฉันถึงถามที่นี่ไม่ใช่ MO) มันจะช่วยถ้าคุณพูดถึงสิ่งที่คุณคิดว่ากระดาษทำได้ดี การแสดงออกทุกอย่างไม่ดีสำหรับทุกอย่าง - เอกสารบางฉบับมีโครงร่างที่พิสูจน์ได้ดีบางอย่างใช้สัญกรณ์อย่างมีประสิทธิภาพจริงๆและบางคนก็ใช้สัญชาตญาณอย่างเชี่ยวชาญ ถ้าเป็นไปได้กรุณาลิงค์ไปที่กระดาษ ฉันหวังว่าสิ่งนี้จะกลายเป็นทรัพยากรได้เหมือนกับคำถามทั่วไปอื่น ๆ ของเรา ฉันกำลังทำเครื่องหมาย CW ด้วยเหตุผลนั้น

8
เครื่องมือความร่วมมือสำหรับหุ่น / อาจารย์
สมมติว่าผู้เขียนร่วมจากสองสถาบันที่แตกต่างกันกำลังเขียนกระดาษในลาเท็กซ์และต้องการจะทำดีกว่าส่งอีเมลร่างซ้ำไปมา พวกเขาตระหนักดีว่าพวกเขาสามารถเปิดบัญชีดรอปบ็อกซ์ฟรีแบ่งปันรหัสผ่านและซิงค์เวอร์ชันกระดาษบนคอมพิวเตอร์ของพวกเขากับหนึ่งในดรอปบ็อกซ์ หากคนสองคนกำลังแก้ไขส่วนเดียวกันพร้อมกันพวกเขาจะเขียนทับการเปลี่ยนแปลงอื่น ๆ พวกเขายังเคยได้ยินว่าระบบควบคุมเวอร์ชันเช่น SVN และ Git มีเครื่องมือในการผสานการเปลี่ยนแปลงที่เกิดขึ้นพร้อมกันซึ่งทำงานได้ดีพอสมควร อย่างไรก็ตามเอกสารของผลิตภัณฑ์เหล่านี้ค่อนข้างยากที่จะอ่านและมุ่งเน้นไปที่การยกเลิกการเปลี่ยนแปลงและวิธีการจัดการ "สาขา" ที่แตกต่างกันมากกว่าที่จะเป็นความต้องการขั้นพื้นฐานของผู้เขียนบทความ มีการอธิบายอย่างละเอียดทีละขั้นตอนเกี่ยวกับวิธีใช้ระบบควบคุมเวอร์ชันในการตั้งค่านี้หรือไม่: พื้นที่เก็บข้อมูลกลาง สำเนาท้องถิ่น ผสาน "สมาร์ท" ไม่มีสาขา ? ของระบบควบคุมเวอร์ชันมาตรฐานระบบใดที่ใช้ง่ายที่สุด? (เรากำลังพูดถึงอาจารย์วิทยาการคอมพิวเตอร์เชิงทฤษฎีที่นี่) มีเครื่องมือที่เรียบง่ายกว่าที่จะทำการซิงก์กับการผสานอัจฉริยะโดยไม่มีการควบคุมเวอร์ชันหรือไม่? ในทางกลับกันคนที่ใช้ระบบควบคุมเวอร์ชันแม้แต่เขียนบทความเดียวรู้สึกว่าขีดความสามารถไม่ จำกัด การเลิกทำนั้นคุ้มค่ากับความซับซ้อนมากขึ้นหรือไม่?

6
ผลลัพธ์เชิงประจักษ์ในเอกสาร CS
ฉันยังใหม่กับฟิลด์ CS และฉันสังเกตว่าในเอกสารที่ฉันอ่านจำนวนมากไม่มีผลลัพธ์เชิงประจักษ์ (ไม่มีรหัสเพียงบทแทรกและบทพิสูจน์) ทำไมถึงเป็นอย่างนั้น? เมื่อพิจารณาว่าวิทยาศาสตร์คอมพิวเตอร์เป็นวิทยาศาสตร์ไม่ควรทำตามวิธีการทางวิทยาศาสตร์ใช่หรือไม่

16
คุณใช้เครื่องมืออะไรในการนำเสนองาน?
ฉันสงสัยว่าเครื่องมือใดที่ผู้คนในสาขานี้ (วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี) ใช้เพื่อสร้างงานนำเสนอ เนื่องจากวิทยาการคอมพิวเตอร์จำนวนมากไม่ได้เป็นเพียงแค่การเขียนเอกสาร แต่ยังให้การนำเสนอด้วยฉันจึงคิดว่านี่จะเป็นคำถามที่สำคัญ นี้เป็นแรงบันดาลใจคำถามก่อนหน้านี้สิ่งที่เครื่องมือที่คุณจะใช้ในการเขียนเอกสาร สิ่งที่พบบ่อยที่สุดที่ฉันเคยเห็นมีดังต่อไปนี้ Beamer Microsoft PowerPoint น้ำยาง GraphViz ฉันสงสัยว่ามีกลอุบายอื่น ๆ ที่ฉันขาดหายไปหรือไม่?

3
แนวปฏิบัติที่ดีสำหรับการเขียนอัลกอริทึม
นี่คือเกี่ยวกับประสิทธิภาพที่เราสามารถแสดงอัลกอริทึมในมือ ฉันต้องการสิ่งนี้สำหรับการสอนระดับปริญญาตรี ฉันเข้าใจว่าไม่มีสิ่งนั้นเป็นวิธีมาตรฐานในการเขียนโค้ดหลอก ผู้เขียนที่แตกต่างกันปฏิบัติตามอนุสัญญา มันจะมีประโยชน์ถ้าคนที่นี่ชี้ให้เห็นวิธีที่พวกเขาติดตามและคิดว่าดีที่สุด มีหนังสือเล่มไหนบ้างที่เกี่ยวข้องกับเรื่องนี้ในรายละเอียดที่ดี?

5
การเขียนบทความในฐานะนักเขียนเดี่ยวในบุคคลที่ 1 เอกพจน์
ฉันกำลังเขียนเอกสารในวิทยาการคอมพิวเตอร์เชิงทฤษฎีบางครั้งการเป็นผู้เขียนเดี่ยวที่ไม่ระบุชื่อ ก่อนหน้านี้ฉันใช้พหูพจน์ของบุคคลที่ 1 ในเอกสารเช่น: เราจะแสดงให้เห็นว่าความซับซ้อนคลาส X และ Y ตรงกัน ฉันไม่ใช่ทั้งเจ้าของภาษาและไม่เก่งภาษาอังกฤษ เมื่อเร็ว ๆ นี้ฉันได้รับคำแนะนำจากเจ้าของภาษา (ซึ่งเป็นวิทยาศาสตร์ แต่ไม่ใช่นักวิทยาศาสตร์คอมพิวเตอร์) เพื่อใช้เอกพจน์บุคคลที่ 1 แทน: ฉันจะแสดงให้เห็นว่าความซับซ้อนคลาส X และ Y ตรงกัน เขาอ้างว่ารูปแบบนี้แพร่หลายใน "ธรรมชาติ" และวารสารระดับสูงอื่น ๆ ฉันไม่ชินกับการเขียนแบบนี้เลย ประโยคในสไตล์ "ฉันได้แสดงให้เห็นแล้วว่าΓมีความชัดเจนในℂ \ ℤ⩽0 " ภายในบทพิสูจน์ดูเหมือนผิดธรรมชาติมากสำหรับฉัน รูปแบบใดที่เหมาะสมกับเอกสารวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีมากกว่า เป็นที่ชัดเจนสำหรับฉันว่าคำถามนี้มีอคติอย่างยิ่งจากพื้นที่ (ไม่เช่นนั้นฉันจะถาม ell.se หรืออ้างถึง/academia//q/2945/7734 ) ดังนั้นฉันจึงถาม ถามที่ cstheory คำถามของฉันถูกส่งไปยังนักวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีที่เป็นผู้ใหญ่ซึ่งเป็นเจ้าของภาษาด้วยคำสั่งภาษาอังกฤษที่สมบูรณ์แบบ

9
ซอฟต์แวร์ที่แนะนำสำหรับการวาดโครงสร้างข้อมูลเช่นกราฟและแผนภูมิคืออะไร?
เมื่อรวมผลลัพธ์เข้าด้วยกันมักจะต้องการไดอะแกรมที่ดูเป็นมืออาชีพมากกว่าที่จะใส่ไดอะแกรมใน MS Paint มาตรฐานสำหรับการวาดโครงสร้างข้อมูลคืออะไร?

5
การควบคุมเวอร์ชันสำหรับการทำงานร่วมกัน (ที่มีระดับคำต่างกัน)
เอกสารส่วนใหญ่ตอนนี้เขียนร่วมกันและผู้ทำงานร่วมกันมักจะอยู่ในที่ต่าง ฉันมักจะใช้ระบบควบคุมเวอร์ชันสำหรับเอกสารและรหัสของฉันและยังพบว่าการควบคุมเวอร์ชันมีความสำคัญสำหรับโครงการซอฟต์แวร์ที่ทำงานร่วมกัน แต่ดูเหมือนว่านักวิจัยหลายคนในทางทฤษฎีหลีกเลี่ยงการใช้งานสำหรับการเขียนเอกสารร่วมกัน เพื่อโน้มน้าวให้ผู้ร่วมงานของฉันเชื่อว่าการควบคุมเวอร์ชัน (การควบคุมการแก้ไข) เป็นความคิดที่ดีสำหรับการทำงานร่วมกันดูเหมือนจะมีข้อกำหนดเบื้องต้นบางประการ ไม่สามารถบังคับให้ทุกคนกังวลเกี่ยวกับชุดของการประชุมที่เฉพาะเจาะจงสำหรับการขึ้นบรรทัดใหม่และย่อหน้าหรือเพื่อหลีกเลี่ยงการแปลงแท็บ / ช่องว่าง มีใครเสนอโฮสติ้งฟรีของที่เก็บเอกสารขนาดเล็กที่ใช้ร่วมกันได้หรือไม่ด้วยการควบคุมเวอร์ชันของเอกสารที่เป็นมิตรกับข้อความที่สามารถจัดการกับความแตกต่างของระดับคำ ( ไม่ใช่แบบบรรทัด) ถ้าไม่เช่นนั้นฉันยินดีรับข้อเสนอแนะอื่น ๆ ที่อ้างอิงจากประสบการณ์ (ลองหลีกเลี่ยงการเก็งกำไรโปรด) ฉันกำลังคิดถึง Git, Subversion, Mercurial, darcs หรือ Bazaar ตั้งขึ้นเพื่อจัดการความแตกต่างระดับคำกับ wdiff พร้อมกับวิธีการตั้งค่าการเข้าถึงที่ปลอดภัยด้วยกุญแจสาธารณะ (เช่นผ่าน ssh) อย่างไรก็ตามไม่มีผู้ให้บริการควบคุมเวอร์ชันที่ฉันดูที่ดูเหมือนจะเสนออะไรเช่นนี้ สำหรับการทำงานร่วมกันทางวิทยาศาสตร์คุณสมบัติ "ระดับองค์กร" ที่เน้นโดยหลาย บริษัท เหล่านี้ไม่ได้สำคัญมาก (มีสาขาจำนวนมากการรวมเข้ากับ trac การตรวจสอบโดยบุคคลที่สามทีมงานโครงการลำดับชั้น) แต่ความแตกต่างระดับคำดูเหมือนสำคัญ แต่ยังไม่ได้รับการสนับสนุน จากประสบการณ์ของฉันด้วยระดับบรรทัดแตกต่างกันสำหรับไฟล์ข้อความทุกคนต้องหลีกเลี่ยงการจัดรูปแบบย่อหน้าและตัวแก้ไขที่เปลี่ยนแท็บเป็นช่องว่างหรือในทางกลับกันทำให้เกิดปัญหา ดูเหมือนว่าจะมีความขัดแย้งในการแก้ไขปลอม ๆ ดูคำถามที่เกี่ยวข้องที่ MO เกี่ยวกับเครื่องมือสำหรับการทำงานร่วมกันและคำถามที่เกี่ยวข้องมากกว่าที่ TeX.SE เกี่ยวกับการควบคุมเวอร์ชันสำหรับเอกสารน้ำยางและแพคเกจสำหรับการควบคุมน้ำยางรุ่น ดูตารางเปรียบเทียบการตรวจสอบ SVN Hostingสำหรับรายชื่อผู้ให้บริการโฮสติ้งจำนวนมากสำหรับระบบควบคุมเวอร์ชันหลักเพียงระบบเดียว …

2
การพิสูจน์ความแข็งของ NP ของปัญหา NP-hard ถือว่าเป็นการสนับสนุนหรือไม่?
ฉันกำลังแก้ไขปัญหาที่อ้างว่าเป็นปัญหากับที่อื่นพูดในกระดาษ [XYZ] NP-hardness ที่ระบุใน [XYZ] นั้นซับซ้อนและใช้เทคนิคขั้นสูง หลังจากการวิจัยและการทำงานบางอย่างฉันประสบความสำเร็จในการให้การพิสูจน์เรื่องความแข็งของ NP ที่ง่ายและชัดเจน ฉันสงสัยว่าสิ่งนี้ถือว่าเป็นผลงานหรือไม่? ฉันพยายามกระตุ้นงานของฉัน แต่ฉันไม่พบเส้นทางที่คล้ายกัน ฉันไม่รู้ว่านี่เป็นสถานที่ที่เหมาะสมในการถามหรือฉันควรไปเรียนที่สถาบันการศึกษาหรือไม่?

1
วิธีการเขียนบทนำของงานวิจัยหรือไม่?
ขออภัยถ้านี่เป็นคำถามที่กว้างเกินไปสำหรับฟอรัมนี้ แต่ฉันสนใจในกลวิธีและเคล็ดลับเฉพาะที่นักวิจัย (ใน TCS) ใช้เพื่อเขียนบทนำของรายงานการวิจัย

5
คุณจะตัดสินใจอย่างไรเมื่อคุณมีผลงานวิจัยเพียงพอที่จะเขียนบทความและวารสารที่คุณส่งบทความ
ในงานวิจัยบางส่วนใน CS เราได้ผลลัพธ์ที่น่าสนใจ ตอนนี้เรากำลังคิดเกี่ยวกับการเผยแพร่พวกเขา ในกลุ่มเราปรัชญาคือการเผยแพร่สิ่งเล็ก ๆ ในสื่อบันทึกการประชุมซึ่งก็โอเค แต่ไม่ใช่สิ่งที่ดีที่สุด ตอนนี้ฉันกำลังคิดที่จะรวบรวม "สิ่งเล็ก ๆ น้อย ๆ " เหล่านี้มากขึ้นและตีพิมพ์ในกระดาษ JCR ปัจจัยกระทบมากกว่า 2 คำถามของฉันที่นี่คุณจะตัดสินใจอย่างไรเมื่อคุณมีวัสดุเพียงพอที่จะเตรียมกระดาษคุณภาพดีในวารสาร JCR และยิ่งกว่านั้นเมื่อคุณคิดว่าสิ่งนี้ดีแล้วคุณจะตัดสินใจเลือกวารสารที่คุณส่งไปให้ PS: JCR อ้างถึงรายงานการอ้างอิงวารสารซึ่งเป็นรายการที่กว้างขวางที่รวบรวมข้อมูลเกี่ยวกับวารสารที่เป็นตัวแทนและวารสารที่เกี่ยวข้องมากที่สุดในทุกสาขาวิทยาศาสตร์พร้อมกับปัจจัยที่ส่งผลกระทบต่อพวกเขาดังนั้นพวกเขาจึงมักถูกอ้างสิทธิ์และไม่มีเอกสารการประชุม
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.