בתשובה לטל כהן, 12/01/04 8:27
 |
|
 |
||
|
||||
 |
תודה! אבות טריים (יחסית), גאוותם מעבירה אותם על דעתם, והם מפיצים תמונות של בבת-עינם בין אם הם נדרשים לכך ובין אם לאו. אני אשתדל להימנע מנוהג נפסד זה. (תראו שם - פרפר!) (איפה?) וגם: למי אתה קורא קורא תמים? ולבסוף, והכי ברצינות: מה רע ב-Knuth? זה באמת יופי של פרק. |
 |
 |
 |
|
|
|
||
|
||||
|
אני שמח לראות שבתך מתפתחת במהירות, ובחודשיים שעברו בין שתי התמונות היא נגמלה מהנוהג האינפנטילי של נקיון וסיגלה לעצמה מראה הגון יותר. בקצב הזה, תוך 30 שנה היא תגיע לרמת הנקיון המקובלת על שוטה גלובלי אחד, הישג שרק מתי מעט יכולים להתגאות בו. (חוץ מזה היא מתוקה להפליא ואני מצטרף לברכת המזלטעף) |
|
|
|
|
|
|
||
|
||||
|
|
|
|
|
|
|
||
|
||||
|
|
|
|
|
|
|
||
|
||||
|
מה, אתה כזה אבא? אמאל'ה. (מזל טוב). |
|
|
|
|
|
|
||
|
||||
|
תודה גם לך! אני לא יודע אם אני "כזה" אבא. קשה לפענח את טון הדיבור, הבעת הפנים ושפת הגוף של איילים אלמונים, ואולי לא פירשתי נכון את התגובה. (כשאני מסתכל עכשיו, אני לא בטוח כבר למה. היה מאוחר...) |
|
|
|
|
|
|
||
|
||||
|
אני משוכנע שהתגובה כיוונה לכך שהיא חמודה מאוד. ב''כזה'' התכוונתי למגונן מדי. וגם זה, כמובן, היה בצחוק. |
|
|
|
|
|
|
||
|
||||
|
יש לך את כל הסיבות להיות גאה, הילדה שלך מקסימה ממש! מה זה knuth? (הבחנתי שהתמונות נמצאות על אתר של קומפיוג'ן - "הגם אתה ברוטוס?") |
|
|
|
|
|
|
||
|
||||
|
חן חן! Knuth: מתמטיקאי ואיש מדעי-המחשב אגדי (עודנו חי) שכתב סדרת ספרים בשם The Art of Computer Programming. המטרה המוצהרת של הספרים היא בניית תשתית מתמטית לניתוח מסודר של יעילות אלגוריתמים והצגת אלגוריתמים יעילים לבעיות יסודיות; בפועל, יש שם את זה ועוד *הרבה* יותר. יופי של ספרים. השמועות מספרות שהאיש נוהג לשבת בהרצאות ולסרוג. אה, והוא גם המציא ופיתח את TeX, MetaFont וכו', אם אתה מכיר במקרה. מודה באשמה. |
|
|
|
|
|
|
||
|
||||
|
הייתי פעם בהרצאה שלו, והמצגת הורכבה משקפים פיזיים, שעליהם כתב בטוש. הוא ציין ביובש שאם הוא יוצר שקפים ממוחשבים, אנשים מתרכזים בטיפוגרפיה יותר מאשר בתוכן. באותה הרצאה ממש, אגב, הוא הראה גילוי שלו מתורת הגרפים, ובו צפונה הוכחה לשימושיות המחקר: הוא הראה את אותו גילוי לביל גייטס, כשזה ביקר בסטנפורד; גייטס הודה שלא הבין כלום, ותרם 10 מיליון דולר לפקולטה. |
|
|
|
|
|
|
||
|
||||
|
כן, יש בו את הלו-טקיות החמודה הזו. הוא גם לא משתמש ב-e-mail, והאמת? אני מקנא. | |
|
|
|
|
|
||
|
||||
|
הערה קטנה לגבי הספרים הנ"ל: אני עדיין לא נתקלתי במדען מחשב שקרא אותם. | |
|
|
|
|
|
||
|
||||
|
אז לא חיפשת טוב מספיק. אתה נוהג לשאול מדעני-מחשב אם הם קראו את Knuth? אני קראתי (חלקים גדולים) בהנאה רבה, אבל אני בלי שום ספק לא מדען מחשב. חוץ מזה, למדנו בדיון אחר שזה שספר נחשב קלאסי לא אומר שמישהו קרא אותו. מומלץ במיוחד: הפרק שדן בחישוב חזקות. מדהים כמה עומק יש בבעייה הפשוטה הזו, ובאיזו שמחה K צולל לתוכו. די חסר חשיבות מעשית, אבל כיף אמיתי. |
|
|
|
|
|
|
||
|
||||
|
רוב שיטות ההצפנה המודרניות משתמשות בהעלאה-בחזקה. | |
|
|
|
|
|
||
|
||||
|
לא אמרתי שהעלאה בחזקה היא חסרת-חשיבות. הפער בין השיטות הפשוטות לעשות זאת לבין השיפורים והחסמים המדוייקים הנדונים אצל Knuth הוא קטנטן, כך שה*פרק* בספר הוא די חסר חשיבות מעשית, אך יש בו חן תיאורטי רב. | |
|
|
|
|
|
||
|
||||
|
זה לא מפתיע אותי שאתה קראת אותו, נראה לי שיש משהו בספרים האלה שמושך יותר מתמטיקאים ממדעני מחשב. ככלל, אחד מהדברים שמפריד בין מתמטיקאים למדעני מחשב הוא הנטיה של האחרונים להתמקד בהערכות (approximations) לעומת הנטיה של הראשונים להתמקד בחישובים מדויקים. כך למשל לרוב מדעני מחשב מתעניינים רק בסדרי גודל של כל מיני כמויות 1 לעומת הערך המדויק של הכמות. אחת הסיבות לכך היא שהרבה פעמים יש כלל של 80/20 (או אפילו משהו ששואף ל100/0) בבעיות כאלה: בשביל לקבל הערכה שמספיקה לך ל80% מהצרכים, אתה צריך לעשות 20% מהעבודה. מדעני מחשב לא מוכנים בד"כ "להזיע" ע"מ לשפר את ההערכה, אם השיפור הוא לא קריטי עבורם. מהמעט שקראתי בספרו, Knuth במובן הזה (ואני חושב שגם במובנים אחרים) הוא יותר דומה למתמטיקאי מאשר למדען מחשב. הוא רוצה לחשב בדיוק כל כמות. זה מצריך ירידה לפרטים2 שיכולה להיות מאוד מעייפת ומייאשת למדעני מחשב, אבל בהחלט יכול להיות שבדרך הוא משתמש או מפתח מתמטיקה מאוד מעניינת. --- 1 כמו למשל מספר צעדי החישוב שמחשב לוקח ע"מ לבצע משימה מסוימת או הגודל של קליקה מקסימלית בגרף מקרי. 2 כמו הגדרה מדויקת של איזה מחשב ואיזה שפת מחשב משתמשים בה. |
|
|
|
|
|
|
||
|
||||
|
בינתיים ראיתי שבתגובה 193976 נתת עוד דוגמא (שלא ידעתי עליה) למקרה שבו K מוכן להשקיע הרבה מאמץ בשביל לתת חישוב יותר מדויק, כאשר רמת הדיוק הזו לא ממש מעניינת את רוב מדעני המחשב. | |
|
|
|
|
|
||
|
||||
|
דוגמא לפער הזה בין מתמטיקאים למדעני המחשב הוא המשפט שנקרא ה Prime Number Theorem המשפט הזה נחשב למשפט מפורסם וחשוב במתמטיקה, והוא מראה מספר המספרים הראשוניים בין 1 ל n שואף ל n/lnn (ככל שn שואף לאינסוף). עעבור מדעני מחשב,כמעט לכל שימוש אפשרי מספיקה התוצאה של צ'בישב שהמספר הזה הוא בתחום שבין 0.8n/lnn ל 1.2n/lnn, את ההערכה הזו אפשר לקבל בצורה הרבה יותר פשוטה מאשר ה prime number theorem (יש לתוצאה הזו הוכחה של בערך 4 שורות), ולכן מן הסתם אם זה היה תלוי במדעני מחשב, לתוצאה של צ'בישב היו קוראים ה prime number theorem. |
|
|
|
|
|
|
||
|
||||
|
כשיגיעו לכאן היצורים הירוקים בעלי שלוש העיניים, אני בטוח שהשאלה הראשונה שלהם תהיה אם כבר הצלחנו להוכיח שההפרש בין מספר הראשוניים מתחת x לבין (x/log(x אינו עולה על קבוע כפול (sqrt(x)*log(x. | |
|
|
|
|
|
||
|
||||
|
ואני חושב שהם יתעניינו יותר במיקומו של פח הזבל הקוסמי. עד שיקחו אותם לרמת חובב. | |
|
|
|
|
|
||
|
||||
|
זאת תהיה השאלה השניה, אחרי שהם ישאלו אם הצלחנו להוכיח שאין מעגל בגודל 2^{sqrt(n)} לחישוב ספיקות של נוסחה בוליאנית בגודל n.לגבי השאלה שלך, אני בטוח שהם לא ישאלו אם הצלחנו לחשב מהו בדיוק הקבוע הזה. |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |