MathML

MathML (ראשי תיבות של Mathematical Markup Language) היא שפת סימון לתיאור סימונים מתמטיים. מטרת השפה היא לשלב ולהציג נוסחאות מתמטיות מורכבות בצורה מסודרת בדפי אינטרנט ובמסמכים אחרים ללא צורך בשילוב תמונות, סימון TeX, עיבוד JavaScript, או בתוספות צד־שלישי לדפדפן. השפה היא חלק מ־HTML5, ותקן ISO/IEC DIS 40314 החל משנת 2015.

היסטוריה

בעיית קידוד הסימונים המתמטיים במחשבים הייתה קיימת עוד לפני האינטרנט. משתמשי דואר אלקטרוני נהגו לקודד סימונים מתמטיים בעזרת תווי ASCII. מספר שיטת ושפות לסימון מתמטי, לדוגמה TeX, היו נמצאות בשימוש נרחב כבר בשנת 1992 מעט לפני שהאינטרנט הפך לכלי פופולרי לשיתוף מידע בין מדענים וגולשים. HTML – שפת הסימון של הרשת – נוצרה בדיוק למטרת שיתוף המידע בין מדענים באקדמיה, ולמרות זאת, הדרכים לשתף סימונים מתמטיים בעזרת HTML היו מוגבלות מאוד. במקום זאת נעשה שימוש בתמונות כדי להציג את הנוסחאות המתמטיות בדפי הרשת. תמונות אלה בד"כ לא היו קריאות כי סבלו מטשטוש שנוצר מדחיסת תמונה, ובנוסף גרמו לקושי בעריכה ותחזוקה עבור החוקרים.

ארגון ה־W3C זיהה כי המחסור בדרכים יעילות לשיתוף מסרים מדעיים ברשת היווה בעיה רצינית וקשה שדרשה תקינה. בשנת 1994 התקבלה ההצעה הראשונה שכונתה HTML Math עבור HTML 3.0, שאותה הגיש דֵייב רָאגֶט. בשנת 1995 נעשה דיון נוסף מסביב לבעיה בכנס של ה־W3C בדרמשטאדט, בנובמבר 1995 נציגים מטעם Wolfram Research הגישו הצעה נוספת ל־W3C. במאי 1996 בכנס ה־Digital Library Initiative בשמפיין, אלינוי שוב הועלה הנושא בין גורמים שונים. אחרי הכנס הזה הוקמה הוועדה לעריכה מתמטית ב־HTML (באנגלית HTML Math Editorial Review Board) הראשונה מטעם ה־W3C שהוקצתה לאתגר. במשך הזמן הוועדה התרחבה והשתכללה, במרץ 1997 הוועדה התחדשה כ־קבוצת העבודה למתמטיקה מטעם ה־W3C (באנגלית W3C Math Working Group) הראשונה. קבוצת העבודה השנייה למתמטיקה מטעם ה־W3C הוקמה ביולי 1998, קבוצה זאת המשיכה לעבוד על המשימה עד לסוף שנת 2000.

MathML נוצרה כדי לתת מענה מיטבי לתחומי עניין והתמחות מגוונים במתמטיקה, מדע, והנדסה. בנוסף לכך הוועדה דאגה שההצעה הסופית תתחשב גם בנגישות עבור לקויי ראייה. חוקרים מטעם Wolfram Research שהיו חלק מהוועדה הביאו אתם ניסיון וידע קודם מהפיתוח של Mathematica 3.0 שהתמודדה גם היא עם בעיות דומות בהצגה של מבנים מתמטיים. בוועדה השתתפו עוד מדענים ואנשי מחקר רבים שתרמו לעיצובה של MathML, ובניהם נציגים מטעם מייפל, IBM, אוניברסיטת מערב אונטריו, INRIA (המכון הצרפתי לחקר מדעי המחשב), הוצאת Elsevier, ונוספים. MathML הושפעה מפרויקט ה־OpenMath, של קב' עבודה מס' 12083 מטעם ארגון התקינה הבינלאומי (ISO). האגודה האמריקאית למתמטיקה (AMS) לקחה תפקיד מרכזי בעיצובה של MathML.

אפיונים והמלצות

המלצות מטעם W3C נחשבות בפועל לתקני רשת.

אפיון	גרסה ראשונה (זמינה לציבור)	גרסה סופית (תאריך המלצה)
MathML 1.0	15 במאי 1997	7 באפריל 1998
MathML 1.01	(המלצה קודמת)	7 ביולי 1999
MathML 2.0	1 בדצמבר 1999	21 באוקטובר 2003
MathML 3.0	27 באפריל 2007	10 באפריל 2014

התנגדות לשימוש בתמונות לתצוגת נוסחאות

לאור המגבלות של HTML, חוקרים נאלצו להשתמש בתמונות על מנת להציג נוסחאות מתמטיות מורכבות שהכילו בהן סימונים שהתפרשו אופקית (כגון קו שבר, סימון שורש), או אנכית (כגון ווקטורי עמודה) ולא היו ניתנות להצגה פרופורציונלית ומיטבית בעזרת תווי יוניקוד וטבלאות HTML בלבד. שימוש זה הצטבר במשך שנים, והועלתה ההצעה לשכלל את המצב הקיים (איכות התמונה, ומשקלה) במקום שיטה אחרת. הודעה התנגדה לאמץ את המצב הקיים לאור הטיעונים הבאים.

• לאפשר ליישומוני רשת בדפדפן לגשת לתוכן המתמטי שנמצא בתוך הנוסחה עצמה, לקרוא חלקים ממנה, לשנות אותה בזמן הריצה אצל צד הלקוח (צד המבקר) ובכך לאפשר שאלונים אינטראקטיביים.
• לאפשר לקורא (המבקר) לסמן ולהעתיק חלקים מסוימים מהנוסחה כטקסט רגיל.
• להימנע מפגיעה בנגישות של לקויי ראייה כתוצאה משיבוש הדחיסה שמורידה את איכות התמונה בשביל להקל על העומס שנוצר על פס הרוחב של השרתים שמאחסנים את קבצי התמונות.
• להשתמש בשפת סימון מוכרת הישר בתוך קובץ ה־HTML, במקום להשתמש בעורך ייעודי הפולט נוסחות מתמטיות כקובצי תמונה ואז לשבץ אותן בעמוד ה־HTML כתמונות.
• לאפשר לקוראים לשנות את הגדרות הגופן, את גודל הטקסט, וצבעו כרצונם דרך הדפדפן.
• לאפשר לתכנות מחשב (לא בהכרח דפדפנים) לפלוט ולקלוט בקלות ביטויים מתמטיים בלי צורך בספריות מיוחדות לעיבוד תמונה.
• שמירת ושליפת הנוסחאות כטקסט תמיד תהיה חסכונית ומהירה יותר מאשר קבצי תמונה, במיוחד בבסיסי נתונים גדולים.
• לאפשר חיפוש אוטומטי של קטעים בתוך נוסחות מתמטיות מורכבות, בעזרת הדפדפן, או בעזרת שאילתה בבסיס נתונים.
• לעודד משתמשי TeX בקהילה המדעית לעבור ל־MathML ולהמיר את העבודה שלהם בקלות.
• לאפשר לתכנות מחשב לדובב קטעי MathML אקראיים עבור מבקרים שסובלים מעיוורון.
• להתאים את התצוגה של הנוסחאות לצגים שונים. טיעון זה כולל תצוגה מותאמת עבור צגים לגובה וצגים לרוחב מבלי לגרוע בנגישות.
• לאפשר למפתחי הדפדפנים לשכלל את ההצגה של התוכן המתמטי באופן אחיד בכל הרשת, גם אחרי הרבה שנים מאז שהתכנים המתמטיים כבר התפרסמו, ובלי שהחוקרים יצטרכו לחזור ולשנות משהו במאמרים שפרסמו בעבר כדי להבטיח איכות הצגה מיטבית ועדכנית.

קישורים חיצוניים

• האפיון העדכני של MathML 3.0