limsoup
סינון לפי תגית: כללי
קו הרכבת לירושלים
קו הרכבת המהיר לירושלים מתוכנן לעבור דרך שמורת נחל יתלה בשתי מנהרות וגשר. זה אומר, בקיצור, הרבה מאוד נזק סביבתי, גם בעצם בתהליך הבנייה וגם לאחריו, כמובן.
ישנה הצעה חלופית לכריית מנהרה כמה מטרים נמוך יותר, שתחסוך את הפגיעה העצומה -- והמיותרת להחריד -- בטבע. יתר על כן, נראה שהחלופה בטיחותית, זולה וקלה יותר לביצוע.
מתוך ויקיפדיה:
פרט לסכסוך עם משרד האוצר, רכבת ישראל הסתכסכה עם הארגונים הירוקים בשל הפגיעה האקולוגית והנופית בשמורת טבע באזור הרי יהודה שבה זורם נחל יתלה.
כבר בשנת 2003 הציעו הסביבתנים לסלול מנהרה ארוכה מתחת לנחל (במקום להעביר גשר מעליו), אך ברכבת ישראל סברו שזה לא אפשרי בשל שיפוע מקסימום שרכבת יכולה לטפס בו.
ב-2005 נבדקה שוב האפשרות לחפור מנהרה ארוכה מתחת לנחל, ואפילו רכבת ישראל הסכימה כי מדובר בחלופה אפשרית, אך יקרה בכחצי מיליון ש"ח. כמו כן, העריכו ברכבת כי התכנון מחדש יעכב את מועד סיום העבודות בשנתיים.
בשנת 2008 הוויכוח בין הארגונים הירוקים לרכבת ישראל התעצם, וכל אחד מהצדדים גיבה את החלופה שהציע בחוות דעת של מומחה. פרופסור אלפרד האק, מומחה בינלאומי למינהור, גויס לטובת הגופים הירוקים וקבע כי הפתרון הטוב ביותר לרכבת בירושלים הוא מנהרה ארוכה מתחת לנחל יתלה. ואילו רכבת ישראל גייסה לטובתה את פרופסור יוסי חצור מאוניברסיטת בן-גוריון, שקבע כי סוג הסלע בתוואי המתוכנן הוא מהסוג הגרוע ביותר, וההשקעה ההנדסית במנהרה ארוכה תהיה גדולה פי כמה מהתכנון המקורי. הגופים הירוקים מצידם, שללו את טענות הרכבת, ואף הפריכו את הטענות בנוגע לעלות הנוספת של החלופה שהציעו ובנוגע לכך שהיא תימשך זמן רב יותר.
מינהל התכנון מינה ועדה חיצונית בראשות פרופסור עזרא סדן, שתמליץ על אחת החלופות. דו"ח ועדת סדן קבע שאין הבדל מהותי בין החלופות, אך העדיף את החלופה של הרכבת מטעמים טכניים (התוכניות כבר מוכנות, כבר נבחר זוכה במכרז המינהור).
גם לאחר שהוחלט להעדיף את התוכנית של רכבת ישראל על פני החלופה של הארגונים הירוקים, מועצת הגנים הלאומיים ושמורות הטבע המשיכה להכשיל את המשך העבודות בקו. המועצה התכנסה כדי לדון בבקשה של רכבת ישראל לפרוץ כביש גישה לכלי צמ"ה דרך שמורת הטבע של נחל יתלה, והחליטה שלא לאשר את הבקשה. ברכבת ישראל התקשו להתמודד עם המהלומה, אך כעת שוקלים להעביר את כביש הגישה לאזור שטרם הוכרז רשמית כשמורת טבע.
(ההדגשות שלי.)
בתחתית הדף הזה, יש נוסח התנגדות לתכנון הנוכחי ותמיכה בחלופה, לשליחה אפילו רק באי־מייל.
עצוב שזה לא טריוויאלי.
חזרה לשגרה
ביום שישי החלטתי להביא מחדש את התקנת ה־LaTeX אצלי למצב עובד. זה לא היה טריוויאלי, שכן במרוצת הזמן שיניתי לא מעט הגדרות; הרוב היה מגובה, אבל אחד הדברים שהתבררו כמסובכים ביותר לשחזור היה שימוש בפונטי TrueType. בפעם הקודמת, הסתבכתי עם התקנתם עד כדי כך שלא הייתי מסוגל לזכור, בסופו של דבר, מה עבד בסוף. הפעם, לאחר שהמדריכים הסטנדרטיים לא עבדו, החלטתי פשוט להמיר את גופני ה־TTF לגופני Type1. (זה כנראה גם מה שעשיתי בפעם הקודמת, לפי pdffonts, אם כי אני זוכר במפורש שקימפול ל־dvi לא עבד עם הגופנים הללו, בעוד שעכשיו אין כל בעיה. מה שכן, יש בעיה עם המרת dvi ל־pdf, אך זה שולי.) אכתוב ואעלה מדריך בהמשך.
בזאת, פחות או יותר, סיימתי את שחזור כל ההגדרות מלפני קריסת הדיסק הקשיח. אשתדל להקליד בשיעורים יותר מבעבר; צפו לעדכוני סיכומים תכופים יותר מעתה.
!!In Hebrew University, grade gets YOU
אתמול בערב הדיסק הקשיח שלי עבר למקום טוב יותר. למזלי, כמעט הכול מגובה, ומה שלא -- לא חשוב; ולמזלי, LiveCD של אובונטו מספק מערכת מספיק נוחה בשביל לתפקד גם בטרם יגיע דיסק קשיח חליפי (ובטרם אתקין עליו מה שצריך, מה שכנראה לא יקרה לפני יום העצמאות).
החדשות הרעות הן שזה אומר שלא אספיק לסיים את הקלדת הסיכומים באינפי 3 (הם כוללים הכול מלבד הפרק על משפט הפונקציות ההפוכות והסתומות) לפני מועד א"א. אולי הם יהיו מוכנים כבר לקראת מועד א"ב, ואין סיבה נראית לעין שהם לא יהיו מוכנים לקראת מועד ב'.
בינתיים, בהצלחה באינפי 1, 3, 5, 7 ו־11 ובכל קורס אחר!
אמג שלג!!!1
ובכן. על אף הכותרת המעט־צינית, אני מוכרח להודות שהייתי מאלה ששמחו על הגיע השלג לעיר הקודש...
 משכן החוג למשפטים שבגבעת רם |
 כיפת קרח על האיגלו |
 השכנים ממול |
 אומרים שפעם היה פה שלג... |
(התמונות להמחשה בלבד.)
במהלך (ולמרות) השלג, הספקתי להשלים את הקלדת הסיכומים במבנים אלגבריים. אשמח אם תיידעו אותי לגבי טעויות וכו'.
תלמידי אלגברה לינארית: בשנה שעברה, נושא הפונקציונלים הלינאריים נלמד בלינארית 2, ולכן נמצא בסיכומים מקורס זה: ראו עמ' 43–40, פרק 4 עד סעיף 4.2 (רק עד טענה 81, כמדומני). השוויתי עם סיכומים מהשנה שלכם, וכל המשפטים נמצאים (אם כי לא בהכרח עם אותן הוכחות ודוגמאות). גם תיקנתי מספר טעויות קלות, באדיבות הקורא הנאמן משה. יותר מאוחר (עוד הערב, כנראה) מתישהו אוסיף את המשפטים לגבי דרגת מטריצות.
בהצלחה בבחינות!
ובכן.
השביתה מתקיימת כסדרה, כפי שכולנו יודעים, מה שלא אומר שאין עומס, כפי שרובנו יודעים. אז כמה דברים שרציתי לעשות נאלצים להידחות בינתיים, ביניהם המשך עריכת הסיכומים והעלאת גירסאות PDF לקריאה ממסך (או להדפסה חד־צדדית; כרגע, פרישת הדפים מותאמת להדפסה דו־צדדית. ותודה לשחר על ההצעה). מה שכן, העליתי גירסאות מקומפלות מחדש של הסיכומים בלינארית 2 ובקבוצות, ועכשיו ניתן לחפש בכל הסיכומים שהועלו (מלבד באינפי 2, שממילא לא גמור). אני מקווה שלא קלקלתי משהו בקימפול.
לפני כשבועיים, נסעתי עם אמיר, חבר־בלשן, לבקר ידידות מהשנה שעברה שנטשו את הסטרוקטוראליזם הירושלמי לטובת הגנרטיביזם התל־אביבי. על הדרך, נכנסנו להרצאה בקורס "מבוא לבלשנות", ולאחר השיעור, ניגשתי למרצה ושאלתיהּ (ראו סיכום להלן) מספר שאלות. לבסוף היא אמרה משהו כמו, "טוב לבלשן לדעת כמה שפות, אבל מספיק לנתח אנגלית, כי כל השפות אותו דבר". לי מעט קשה עם הקביעה הנ"ל, מטעמים ברורים, אבל גם קשה לי עם זה שאני לא באמת יודע מה הבלשנות הגנרטיבית, על ענפיה, טוענת. לכן שמחתי כשראיתי את "סטרוקטוראליזם -- בין מתוד ותמונת־עולם" לזאב לוי (שנוגע בשתי הגישות ובהבדלים ביניהן) בחדרו של אחד מחבריי. החרמתיו עד מהרה; אני לא תולה בו תקוות גדולות מדי, אך אני משער שלאחר שאקרא אותו, תתחדד עבורי התמונה לגבי ההבדלים בין השיטות. אעדכן בהמשך.
רעיון החַמְשושלַיִם גאוני. לפחות באופן יחסי.
מספר פעמים הועלה בפניי הרעיון להדגים, בצורת לוגו, מהו לימסופ. כבר יש לי מעין רעיון, אך לא מזמן נתקלתי במקרה בעת אי־עבודה באילוסטרציה הבאה (מכאן):
מרק גבולי
ולסיכום, ועדת המעקב העליונה של לימסופ עקבה (אלא מה) ומצאה כתבה מופלאה, בה מככבים "בניהּ" (פעמיים), "נכדיהּ" ו"אנשיהּ", וכן שלל מפיקים שבאופן רגיל לא היה כלל צורך לכתבם.
קשה. קשה.