2019/12/20

Conversion between Julian and Gregorian Dates using AWK

以 AWK 轉換儒略日期與公曆日期


【前言】


▪本文介紹儒略日期(Julian Date)與公曆日期(Gregorian Date)的互相轉換。

▪什麼是儒略日期?此處先介紹一些專有名詞。
  • 儒略週期(Julian Period):公元前 4713 年開始,長達 7980 年的紀年法。例如公元 2019 年是儒略週期的 6732 年。
  • 儒略日(Julian Day):自儒略週期開始的日數。
  • 儒略日數(Julian Day Number, JDN):公元前 4713 年元旦午時(儒略週期開始,JDN=0)到某日午時的日數,以世界時(Universal Time, UT)為準。例如公元 2000 年元旦 12:00(UT) 的儒略日數是 2451545。
  • 儒略日期(Julian Date, JD):儒略日數加上時分秒換算為日之小數值,即 JDN+(小時數/24)。例如公元 2020 年元旦,台灣上午十時二十分三十秒的儒略日期是 2458849.597569(UT+8.00)。

本文更新於 WordPress:
Conversion between Julian and Gregorian Dates using AWK

2019/12/03

用 AWK 將 Markdown 轉為 HTML


【前言】


▪Wiki 說 Markdown 是一種輕量級標記式語言,但又似乎沒有中文翻譯,本文姑且將之譯為「輕標記」語言。

▪本文的輕標記與原型的有些不同而且較嚴格,譬如原本粗體字和斜體字都可以用 * 和 _,本文將之簡化,粗體字只能用 *,而斜體字只能用 _,而且只能用一對。再如無序清單,原本可以用 *、+、-,而本文只能用 +。諸如此類地,將一種標記專用於一類,不相混雜,故有不少改變。另外,本文增加了一些輕標記,例如具有捲軸的 <pre>、段落標記、黃底字等。使用前請詳閱語法。

▪本程式的輕標記支援簡單的表格,但不支援直接使用 html 程式碼。


本文更新於 WordPress:
Converting Markdown to HTML with AWK

awk/gawk 入門參考



前言


▪過去為了編輯倉頡碼,收集了網路上許多版本的資料。因各版本的排版不同,就用多個程式將所需資料抽取出來,awk 便是其中之一。但是當時只是以解決問題為主,並未了解 awk 的全部功能。近日特別騰出時間將 awk 手冊從頭看到尾,用中文記錄下來,便產生了本篇網誌。

▪awk 是原版的程式,gawk 是 GNU 擴充的版本,本文以 gawk 為主。

▪本文只是入門的介紹,並不完整,但大部分的內容都包括了。

▪本文故意將參考資料中特定的英文字詞改為大寫是為了區別非特定字詞。

▪本文是入門的介紹,所舉的例子並沒有很深奧。此外,「範例」都是能執行的,可以複製到終端機模擬器中執行看看。

▪例子若有輸出入,會用⬧標出範圍。通常只加在左邊,顯示開頭的位置;若有必要標出結束的地方,也會加在最右邊。

▪參考資料列舉項目時,大多依字母排列;本文為了將類似的項目放在一起,有所更動。

本文更新於 WordPress:
AWK/GAWK Getting Started Reference