נולד לרב אליהו צבי (הירש) ולטויבא לבית אייזנשטיין. למד בתלמוד תורה ובישיבת עץ חיים, בין היתר אצל הרב אברהם חיים הקלמן. בבחרותו נודע כמתמיד וכבעל הנהגות צדקות. נישא למלכה בת הרב אהרן יעקב פרוש, גזבר מוסדות עץ חיים ומחבר הספר "איפה שלמה". בתקופת אירוסיו, יזם ראש הישיבה הרב איסר זלמן מלצר, "הסכם יששכר וזבולון" עבורו, כדי שיוכל ללמוד לאחר נישואיו בשלווה. הוא דיבר עם הגביר גרשון לוין, ואשתו הרבנית ביילא הינדא ערכה חוזה להסכם. עבור התמיכה הוא התחייב ללמוד בכל כוחו. העדים היו הרב מלצר והרב שלמה זלמן זלזניק.
לאחר נישואיו התגורר בשכונת כרם ומאז היה מקורב לרב חיים גריינמן. על פי תיאור שפורסם בעיתון "המבשר" לאחר פטירתו, בתקופה זו הוא סיים את הש"ס ואת ארבעת חלקי שולחן ערוך. היה בין עשרת התלמידים הראשונים של הכולל בישיבת מיר בארץ ישראל. בחבורה הירושלמית של הרב חיים ברים והרב משה יהושע לנדא. קבוצה זו הייתה מקורבת לחזון איש, ובהשפעתה הוא התקרב לחזון איש וראה אותו כרבו המובהק.
נהג ללכת לישון מדי ערב בשעה תשע ולקום לאחר חצות. לפני התפילה למד שבעה דפי גמרא. עסק גם בלימוד קבלה בישיבת שער השמים, עם הרב גמליאל רבינוביץ. תקופה מסוימת למד עם הרב נתן צבי פינקל לבקשת הרב אליעזר יהודה פינקל. כמו כן למד עם הרב יושע בער סולובייצ'יק.
התגורר בשכונת כנסת בירושלים. סירב לכהן במשרה רבנית ורוב ימיו היה מלמד תינוקות. הוא לימד בתלמוד תורה עץ חיים, מאה שערים וכן בבני ברק בתלמוד תורה תשב"ר ובעלז. בתקופת מגוריו בבני ברק היה שכנו של הסטייפלר, שראה בו דמות מופת. מאז היה מקורב לרב חיים קניבסקי.
בשנת תשל"ח נסע לשנה ללוגאנו לסייע לכונן שם את התלמוד תורה. בתקופה זו כתב את ספרו על התורה. היה בוחן בתלמוד תורה קמניץ וכן מסר שיעור בדף היומי בבית הכנסת "מזכרת משה". בשנת תש"נ החל לשמש כמשיב בישיבת טשיבין. הוא ניהל גמ"ח להלוואת כספים ועמד בנשיאות עמותת "שערי מרפא" העוסקת בסיוע לחולים.
בהשקפת עולמו נטה לאגודת ישראל אך השתדל לא להתערב בנושאים ציבוריים. עם זאת, לפני בחירות תשל"ז, הלך בשליחות מנחם פורוש, עם קבוצת רבנים ירושלמים (בהם הרב שלום שבדרון, הרב רפאל דוד אוירבך ועוד) אל ה"בית ישראל" מגור, לצורך פיוס בין פלגי אגודת ישראל. הוא מסר בשמו של החזון איש שיש להשתתף בבחירות
נפטר בשנת תשע"ד ונקבר בהר המנוחות.
משפחה.
לרב זונדל קרויזר שמונה ילדים. בנו אהרן נפטר בחייו. בנו הרב חיים, תלמידו של הרב יושע בער סולובייצ'יק, מכהן אף הוא בישיבת טשיבין. בנו יוסף, שבביתו התגורר בשנותיו האחרונות, הוא חתנו של הרב רפאל בנימין לוין.
אחיו, הרב דב מאיר קרויזר, כיהן כראש ישיבת סקווירא. דודו היה הרב אהרן קצנלבוגן.
תלמוד תורה מאה שערים
מוחמד א-זוואהירי
מוחמד א-זוואהירי (בערבית: محمد الظواهري; נולד במרץ 1953) הוא חבר בג'יהאד האסלאמי המצרי ומנהיג הג'יהאד הסלפי במצרים. הוא אחיו הצעיר של מנהיג אל-קאעידה איימן א-זוואהירי. נעצר במצרים ב-17 באוגוסט 2013, והועמד לדין על הקמת ארגון טרור ותכנון פיגועים נגד הממשלה.
ביוגרפיה.
א-זוואהירי נולד בגיזה שבמצרים במרץ 1953. הוא למד בפקולטה להנדסה באוניברסיטת קהיר, ועבר לערב הסעודית לעבוד כמהנדס בחברת בניה.
כבר בצעירותו אימץ את האסלאם הסוני הקיצוני. בשלהי שנות ה-70 היה חבר יחד עם אחיו איימן א-זוואהירי בג'יהאד האסלאמי המצרי. בשנת 1981 הועמד לדין שלא בפניו יחד עם עוד חברים בג'יהאד האסלאמי המצרי באחריות לרצח נשיא מצרים אנואר סאדאת, אך נמצא לא אשם. בהמשך הצטרף לארגון סעד אסלאמי ונסע לאינדונזיה ולבוסניה והרצגובינה לעזור בבניית מרפאות ובתי ספר. לאחר כמה שנים, כשהוא נשוי ואב לשישה ילדים, עבר להתגורר בתימן עם משפחתו. לאחר מכן עבר לגור עם אחיו בח'רטום שבסודאן שם החלו להתגבש פעילי המוג'אהדין, לאחר שנאלצו לעזוב את סודאן, עבר אחיו איימן לאפגניסטן, שם הצטרף בהמשך לאוסאמה בין לאדן, בעוד מוחמד חזר עם משפחתו לעבודתו כמהנדס בתימן.
ב-1999 נעצר על ידי הרשויות במצרים בחשד לקשירת קשר עם ח'אלד עבדול סאמי, שהיה ממנהיגי הג'יהאד האסלאמי המצרי, שהוגדר כארגון טרור. במשך כמה שנים לא היה ברור מה מצבו, ובני משפחתו חשבו שהוצא להורג. באוקטובר 2001 ביקשה ארצות הברית דגימת DNA מדמו, מכיוון שחשבה שמצאה את גופתו של אחיו, איימן, במערה באפגניסטן. בפברואר 2004 פרסם העיתון "א-שרק אל-אווסט" כי גילה שמוחמד בחיים ומוחזק בכלא המצרי. חודש לאחר מכן משרד הפנים המצרי אישר את הדיווח, ואישר לבני משפחתו לבקרו בכלא. ככל הנראה עבר מוחמד עינויים בידי המוח'אבראת המצרי במהלך חמש השנים שהועלם. במרץ 2011 הוא שוחרר מהכלא. היה ניסיון להעמידו לדין בבית משפט צבאי באשמת טרור, אך במרץ 2012 הוא זוכה.
בספטמבר 2012 הציע מוחמד בריאיון לטלוויזיה המצרית לתווך בין העולם המערבי לבין ארגוני הטרור האסלאמיים. הוא היה מעורב בארגון המחאה מול שגרירות ארצות הברית בקהיר בספטמבר 2012. כמו כן ארגן מחאה מול שגרירות צרפת, לאחר התערבותה הצבאית במאלי, וקבע כי צרפת נלחמת באסלאם. למעשה, מוחמד א-זוואהירי הוא מנהיג הזרם הסלפי-ג'יהאדיסטי במצרים, ונחשב למנהיג של פעילי הטרור המזהים עצמם כסלפים ג'יאהדיסטים (א-סלפיה אל-ג'יהאדיה) בחצי האי סיני. באוגוסט 2013, לאחר הדחתו של נשיא מצרים מוחמד מורסי, נעצר מוחמד, ובאפריל 2014 הועמד לדין על הקמת ארגון טרור שמטרתו לפגוע בביטחון מצרים.
הסכמי ניימכן
הסכמי ניימכן הם הסכמים שנחתמו ב-1678 ו-1679 בעיר ניימכן בין הרפובליקה של שבעת המחוזות המאוחדים לבין צרפת. הסכמים אלה סיימו את מלחמת הולנד.
תוצאות ההסכמים.
ההסכמים שמו קץ לרוב המלחמות בצפון צרפת, והגבול שנקבע בהסכמי ניימכן מהווה את גבולה הצפוני של צרפת גם היום. למרות ניצחונה של צרפת ותוצאות ההסכמים, לא כל האזורים שהועברו לשליטת צרפת הסכימו לכך. כך למשל דוכס לורן לא הסכים לתנאי הכניעה שבהסכמים, בהם עבר חבל לורן לשליטתו של לואי הארבעה עשר, מלך צרפת, והמשיך למרוד במלך צרפת. כתוצאה מכך מלך צרפת לא הסיג את כוחותיו מהחבל עד לסיום המרידה. בחבל אלזס הסכמים אלו הביאו לקץ הדקאפול, שנתן חופש יחסי לערים הגדולות בחבל כאשר היו תחת שלטון האימפריה הרומית הקדושה.
בצפון אירופה, לואי הארבעה עשר חייב את דנמרק ואת ברנדנבורג להשיב את כל השטחים שכבשו בשוודיה לשוודיה, בעלי בריתם של הצרפתים.
קישורים חיצוניים.
הסכמי ניימכן, באתר
ערן יהב
ערן יהב (נולד ב-1 באוקטובר 1973) הוא מדען מחשב ישראלי המתמחה בהנדסת תוכנה. יהב הוא פרופסור חבר בפקולטה למדעי המחשב בטכניון, ויועץ בכיר בחברת הסטארטאפ הישראלית Codota.
ביוגרפיה.
יהב נולד ב-1973. בשנת 1996 סיים את לימודי התואר הראשון בפקולטה למדעי המחשב בטכניון. עם סיום התואר התגייס כמהנדס תוכנה לצה"ל, שם שירת עד שנת 2001. בשנה זו גם התחיל את לימודי הדוקטורט שלו במדעי המחשב באוניברסיטת תל אביב, אותם סיים בשנת 2004.
בין השנים 2004–2011 עבד במעבדות המחקר של IBM.
בשנת 2011 הצטרף כמרצה בכיר לסגל ההוראה של הפקולטה למדעי המחשב בטכניון, ומשנת 2013 מכהן כפרופסור חבר בסגל הפקולטה.
השכלה.
תואר ראשון (Bsc) במדעי המחשב מהטכניון.
תואר שלישי (PhD) במדעי המחשב מאוניברסיטת תל אביב
עליו זכה בשני פרסים:
מחקר אקדמי.
תחומי המחקר בהם יהב עוסק הם:
ניתוח תוכניות, אינטרפרטציה אבסטרקטית, אימות תוכנה, סינתזה של תוכנה, מערכות מקביליות ומבוזרות, שפות תכנות והנדסת תוכנה.
במהלך השנים הוא השתתף בכתיבה של מעל 100 מאמרים, שצוטטו למעלה מ-1900 פעמים במאמרים שונים. מדד h-index שלו הוא 25, ומדד ה-i10-index שלו הוא 42.
תכנות באמצעות מיליוני דוגמאות.
כחלק ממחקריו בתחום התוכנה, עוסק יהב בשימוש בדוגמאות קיימות של קוד בתהליך של כתיבת תוכנה.
השימוש בדוגמאות קיימות מיועד להכוונת המתכנת בכתיבת הקוד ולהקלה עליו בהתמודדות עם ממשקים (APIs) מורכבים, על ידי כך שבתהליך כתיבת הקוד המתכנת ישלים את התוכנית אותה הוא כותב בעזרת חיפוש במאגרי קוד קיימים.
על מנת לאפשר את החיפוש, מתבצעת הצגה סמנטית של קוד (למשל באמצעות אוטומטים) עבור הקוד אותו המתכנת רוצה להשלים, וכן עבור הקוד הקיים במאגר הנתונים בו מתבצע החיפוש. במהלך החיפוש במאגר מתבצעת התאמת הקשר (context matching) בין הקוד החלקי שהוכנס כשאילתה לחיפוש לבין דוגמאות הקוד הקיימות במאגר, ובסופו מוחזרות למתכנת התוצאות המתאימות ביותר. תוצאות החיפוש הן דוגמאות של קוד המהוות השלמות אפשריות לשאילתה.
פרויקט "SAFE".
במסגרת עבודתו בחברת IBM פיתח יהב את הפרויקט "SAFE", תוכנה לבדיקת נכונות של תוכניות שנכתבו ב-Java. בהינתן תוכנית, "SAFE" בודקת אם היא עומדת במפרט דרישות מסוים באמצעות אנליזה סטטית של קוד המקור שלה וללא צורך בהרצתה.
במהלך האנליזה מתבצעת בדיקה דקדקנית של מצב האובייקטים שבה, אפילו כאשר בתוכנית נעשה שימוש ב-aliasing
. המטרה בביצוע הבדיקה של מצב האובייקטים בתוכנית נתונה היא לזהות באופן סטטי (ללא הרצה של התוכנית) אם הרצתה עשויה לגרום לביצוע פעולה אסורה על אובייקט כתלות במצבו.
SAFE מאפשר רמות שונות של דיוק בבדיקת הנכונות. רמות אלו תלויות בעיקר באופן בו נעשית ההתמודדות עם aliasing.
Not Alone
Not Alone הוא שיר של הזמר הארמני Aram Mp3. השיר נבחר לייצג את ארמניה באירוויזיון 2014 בדנמרק. הסינגל יצא לאור ב-14 במרץ 2014.
רקע וקומפוזיציה.