جيجاثانية

جيجاثانية

سهل

مقدمة

طريقة قياسنا للزمن فوضوية نوعًا ما. فالدقيقة تحتوي على 60 ثانية، والساعة على 60 دقيقة. وهذا يعود إلى بابل القديمة، حيث استخدموا العدد 60 أساسًا لنظامهم العددي. واليوم فيه 24 ساعة، والأسبوع فيه 7 أيام، أما الشهر فكم يومًا فيه؟ حسنًا، عدد أيام الشهر لا يعتمد على الشهر نفسه فقط، بل يعتمد أيضًا على نوع التقويم المستخدم في البلد الذي تعيش فيه.

فماذا لو استخدمنا الثواني وحدها، بدلًا من ذلك، للتعبير عن الفواصل الزمنية؟ حينها يمكننا استخدام سوابق النظام المتري لكتابة أعداد كبيرة من الثواني بمقادير أسهل على الفهم.

  • قد تشرح وصفة طعام أن عليك ترك البراونيز ينضج في الفرن لمدة كيلوثانيتين (أي ألفي ثانية).
  • وربما تسافر أنت وعائلتك إلى مكان بعيد لمدة ميغاثانيتين (أي مليوني ثانية).
  • وإذا كنت أنت وزوجك متزوجين منذ ألف مليون ثانية، فستحتفلان بمرور غيغاثانية واحدة على زواجكما.
Note

لو استعمرنا المريخ أو أي كوكب آخر يومًا ما، فسيصبح قياس الزمن أكثر فوضوية مما هو عليه الآن. وإذا قال أحدهم "سنة"، فهل يقصد سنة على الأرض أم سنة على المريخ؟

جاءت فكرة هذا التمرين من رواية الخيال العلمي "A Deepness in the Sky" للمؤلف Vernor Vinge. وفيها يستخدم المؤلف النظام المتري أساسًا لقياس الزمن.

التعليمات

مهمتك هي تحديد التاريخ والوقت بعد جيجا ثانية واحدة من تاريخ معيّن.

الجيجا ثانية هي ألف مليون ثانية. أي الرقم واحد تليه تسعة أصفار.

إذا وُلدت في 24 يناير 2015 الساعة 22:00 (10:00:00 مساءً)، فسيكون عمرك جيجا ثانية واحدة في 2 أكتوبر 2046 الساعة 23:46:40 (11:46:40 مساءً).

التواريخ والأوقات

يوفر Lean دعمًا للتواريخ والأوقات في وحدة Time من المكتبة القياسية. يجب استيرادها في بداية الملف:

import Std.Time

التواريخ والأوقات في Lean ذات أنواع قوية، ولكل مكوّن (السنة، الشهر، اليوم، الساعة، إلخ) نوعه الخاص، ويجب إنشاؤه صراحةً. توجد عدة وحدات ماكرو في وحدة Time يمكنها المساعدة في هذه المهمة.

تعديل عبر GitHub يفتح الرابط في نافذة أو علامة تبويب جديدة
Lean Exercism

مستعد لبدء جيجاثانية؟

سجّل في Exercism لتتعلّم وتتقن Lean عبر 100 تمرين، وإرشاد بشري حقيقي، وكل ذلك مجانًا.