小P收藏庫

Lean 4 極簡教學 (Using VS Code on macOS)

2026-09-17T02:04:04.250-07:00

1. Install Lean Environment:
https://lean-lang.org/install/

試著完Step one, two, three

2. 在VS code下，建一新的project:
取名Hello_World

3. 嘗試執行Main.lean:

一開始：

fit0721@FIT0721deMacBook-Pro Hello_World % lean --run Main.lean

Main.lean:1:0: error: unknown module prefix 'HelloWorld'

No directory 'HelloWorld' or file 'HelloWorld.olean' in the search path entries:

/Users/fit0721/.elan/toolchains/leanprover--lean4---v4.34.0/lib/lean

之後將lean --run Main.lean, 改成

lake build

lake env lean --run Main.lean

fit0721@FIT0721deMacBook-Pro Hello_World % lake build

lake env lean --run Main.lean

Build completed successfully (8 jobs).

Hello, world!

lake env 的意思是：先載入目前 Lean 專案的 Lake 環境，再執行後面的命令。

所以：


lake env lean --run Main.lean

可以拆成：


lake env   lean --run Main.lean
^^^^^^^^   ^^^^^^^^^^^^^^^^^^^^
設定專案環境     真正執行 Lean

lake env 會幫你把目前專案的套件、.olean 模組搜尋路徑、Lean toolchain 等環境設定好。

4. 嘗試加入一個新的定理，在Main.lean改寫如下：

import HelloWorld

def main : IO Unit :=
  IO.println s!"Hello, {hello}!"

def double (n : Nat) : Nat :=
  n + n

theorem double_ge (n : Nat) : n ≤ double n := by
  unfold double
  exact Nat.le_add_right n n

以上可以正常build，只是執行時，還是只會print Hello, world!

這邊可以小玩一下，故意改成錯的：

import HelloWorld

def main : IO Unit :=
  IO.println s!"Hello, {hello}!"

def double (n : Nat) : Nat :=
  n + n

theorem double_ge (n : Nat) : n + n + n ≤ double n := by
  unfold double
  exact Nat.le_add_right n n

就會顯示：

注意11行，會有錯誤叉叉。

Note:

≤ 在Lean4中打 \le 再按空白鍵

類似的常用符號還有：\ge → ≥、\ne → ≠、\and → ∧、\or → ∨、\to → →、\forall → ∀、\exists → ∃。

Basic Blind Chess的兩大問題 (Android version only)

2026-01-17T00:12:00.000-08:00

Note: 以下指Andorid version pygame的 v0.8.2之前，後來Unity版出的已有改善

Basic Blind Chess已經好久沒更新了，

Windows版可以獲得最好的遊戲体驗，

但是Android版的，不只是比較舊，

它其實存在兩大問題：

1. 拿子移動時，顯示怪怪的，只顯示前幾個移動的殘影。

這個只有在最早的版本，沒有這個問題，

但是最早的版本實機測試時，連續敲幾下螢幕，就會當掉。

所以後來就改成移動時，顯示怪怪的版本，

至少手機實機測試是不會當的。

真的受不了的話，建議玩Windows的版本，

就沒有這個問題。

2. DarkChess-0.8.2-release.apk是pygame Android的最後一版，

但是印像中，它其實比0.8.2更舊，只是比0.8.0新，

當初是想，過一陣子，

再把DarkChess-0.8.2-release.apk完全升到v0.8.2,

但是過了幾年，直到現在，一直沒有把它真正升到v0.8.2.

(v0.8.2是把Windows的v0.8.2當標的)

Lua, 7 kyu, 排隊問題

2025-11-16T22:56:00.000-08:00

7 kyu, Lost Lineup

這題很簡單，我一開始實作的方法是：

local function find_lineup(distances)
  local a, d = {}, #distances
  for i = 1, d do
    a[i] = -1
  end
  for i = 1, d do
    local n = distances[i] + 1
    if -1 == a[n] then
      a[n] = i
    else
      return {}
    end
  end
  for i = 1, d do
    if -1 == a[i] then
      return {}
    end
  end
  return a
end

return find_lineup

後來看了別人的方法，

主要有兩點，會比我簡潔：

1. 利用a = {}時，空的table, 裡面的元素預設值是nil

例如 a[2] = nil

2. 利用排隊正常時，會排完，且每個人只佔住一個號碼，

因此排隊號碼，不可能大於總人數。

由以上兩點，我改寫如下：

local function find_lineup(distances)
  local a, d = {}, #distances
  for i = 1, d do
    local n = distances[i] + 1
    if nil == a[n] and n <= d then
      a[n] = i
    else
      return {}
    end
  end
  return a
end

return find_lineup

Lua的table，不能直接比較

2025-11-11T17:59:00.000-08:00

今天在寫

7 kyu: [BUG] XCOM-388: Mass spectrometer crashes

這一題時，

發現empty table的變數跟empty table的值用不相等比較時，

預期會是false (非不相等)，但其實會傳回true,

如下：

> a = {}

> if a ~= {} then

>> print(a)

>> end

table: 0x600002bbc640

> if a == {} then

>> print(a)

>> end

(後記，非空table比對，也是一樣)

如果要檢查，table是否空時，

可用next檢查，next()為true時，不為空table.

寫出程設題，如下：

local spectrometer = {}

function spectrometer.get_heaviest(atomic_masses)
  if atomic_masses and next(atomic_masses)then
    if #atomic_masses < 500000 then
      return math.max(table.unpack(atomic_masses))
    else
      local m = 0
      for i = 1, #atomic_masses do
        if atomic_masses[i] > m then
          m = atomic_masses[i]
        end
      end
      return m
    end
  else
    return 0
  end
end

return spectrometer

別人寫的跟我的大致類似，
除非用第三方的API，才有比較簡潔的寫法。

用Lua算UTF-8字串的長度

2025-11-11T00:11:00.000-08:00

7 kyu: Count of codepoints in a UTF-8 string

題目是算UTF-8字串的長度，

這題我實在不知道啥好方法，

可能也不太了解題目，

但是想到這種格式轉換，

在實際應用上，都是直接查答案的，

因此就直接問AI了，

AI的解法如下：

local function count_codepoints(s)
    local count = 0
    for i = 1, #s do
        local b = s:byte(i)
        -- b < 128: ASCII
        -- b >= 192: UTF-8 leading byte
        if b < 128 or b >= 192 then
            count = count + 1
        end
    end
    return count
end

return count_codepoints

不過這題AI最先的解法，

其實很多餘，

在 Lua 5.3+ 或 Lua 5.4 裡，其實已經內建，

採用以下的解法就好：

return utf8.len

Lua for V A P O R C O D E

2025-11-05T16:11:00.000-08:00

7 kyu: V A P O R C O D E

題目是將一串文字，轉成VAPOR code的形式。

我的寫法如下：

local function vaporcode(s)
  local a = ""
  for i = 1, #s do
    local u = s:sub(i, i):upper()
    if u ~= " " then
      a = a .. u .. "  "
    end
  end
    return a:sub(1, -3)
end

return vaporcode

但是別人簡潔的寫法如下：

local function vaporcode(s)
  return s:upper():gsub("%s",""):gsub("%S","%1  "):sub(1,-3)
end

return vaporcode

In Lua's string.gsub function, %1 (or %n where n is a number from 1 to 9) is used in the replacement string to refer to a captured substring from the pattern.

Note: %1是從左到右在pattern中的第1個%值。

例如：

local text = "Hello World"local new_text, count = string.gsub(text, "(%a+)(%s+)(%a+)", "%3%2%1")print(new_text) -- Output: World Helloprint(count) -- Output: 1

%1是抓到Hello

%2是抓到空白" "

%3是抓到World

Lua基本運算的簡潔寫法

2025-11-02T23:46:00.000-08:00

7 kyu: Dot Calculator

這題是用"."點的數目表示數字，並給operator做運算。

我的寫法是：

return function(equation)
    local temp, s1, s2, op = 0, 0, 0, nil
    for i = 1, #equation do
      local c = equation:sub(i, i)
      if '+' == c or '-' == c or '*' == c or '/' == c then
        op = c
        if temp > 0 then
          s1 = temp
        end
        temp = 0
      elseif '.' == c then
        temp = temp + 1
      end
    end
    s2 = temp
    if '+' == op then
      s2 = s1 + s2
    elseif '-' == op then
      s2 = s1 - s2
    elseif '*' == op then
      s2 = s1 * s2
    elseif '/' == op then
      s2 = s1 // s2
    end
    local s = ""
    for i = 1, s2 do
      s = s .. '.'
    end
    return s  
end

別人簡潔的寫法是：

return function(equation)
    return ('.'):rep(load('return '..equation:gsub('%.+', string.len))())
end

看了別人的code，才知道gsub裡準備取代的字串長度，可以用string.len.
string.gsub(s, pattern, repl [, n]) performs global substitutions in string s. It replaces all occurrences of pattern with repl.
repl: The replacement value. This can be a string, a table, or a function.If repl is a string, it replaces the matched pattern. Special characters like % have meaning (e.g., %1 refers to the first capture). If repl is a table, the table is indexed with the first capture, and the corresponding value is used as the replacement. If repl is a function, it is called for each match, with the captures as arguments, and its return value is used as the replacement. (string.len是function)
另外：
load:
This function compiles a chunk of Lua code from a string and returns it as a function. It does not execute the code immediately.

string.rep is a function in Lua's standard string library that repeats a given string a specified number of times.

用Lua, 驗證格式正確性

2025-10-27T22:57:00.000-07:00

7 kyu, Validate the Euro bill

這題是驗證一串英數字的格式正確性，

我的解法是：

local function strn(ch)
  return ch:byte() - 64
end

local function validate_euro(serial_number)
  local s = 0
  local first = strn(serial_number:sub(1, 1))
  local second = strn(serial_number:sub(2, 2))
  if nil == first or nil == second then
    return false
  else
    s = first + second
    for i = 3, #serial_number do
      local cnum = tonumber(serial_number:sub(i, i))
      if nil == cnum then
        return false
      else
        s = s + cnum
      end
    end
    local ans = 0
    while s > 9 do
      while s > 0 do
        ans = ans + s % 10
        s = s // 10
      end
      s = ans
      ans = 0
    end
    if 7 == s then 
      return true
    else
      return false
    end
  end
end

return validate_euro

不過這題有特解，別人的解法是：

local function validate_euro(serial_number)
  local sum = 0
  for c in serial_number:gmatch "." do
    sum = sum + c:byte()
  end
  return sum % 9 == 3
end

return validate_euro

首先，題目如下：

The serial number of every Euro bill contains 2 uppercase latin letters at the start and the following 10 digits.

1. Sum every digit in a serial number.
2. Get the English Alphabetical position of the two letters. (A - 1, B - 2, C - 3 and etc.).
3. Add those numbers to the already existing sum of digits.
4. Sum the result's digits up. If the sum is not 1-digit number, keep summing the new number's digits, until the result is 1-digit number.

If the eventual result equals 7, you're holding a real Euro bill.

以上加總的方式，可以用num % 9來取代，因為
設 num = a + 10*b + 100*c + 1000*d (千位數)

= a + b + c + d + 9*b + 99*c + 999*d

顯然num % 9 =( (a + b + c + d) % 9 + 9*(b + 11*c + 111*d) % 9)%9

= ((a + b + c + d) % 9)%9 = (a + b + c + d)%9

如果num為其它位數，依此類推，

所以(a + b + c + d) % 9 = num % 9

跟一般的數字加總相比，當餘數為9時num % 9 為0,
餘數為1~8時，跟一般的數字加總一樣。

但是別人的code是取得ascii的文數字，

"0":48

"A":65

"A":65是當作1, 所以是64 + 1 = 65

題目是2碼英文字，10碼數字，所以

num = 64 + 64 + 48*10 + a + b + c + d + e + f + g + h + i + j

= 608 + a + b + c + d + e + f + g + h + i + j

當文數字序號正確時，是剩下7,

所以num % 9 = 608 % 9 + ( a + b + c + d + e + f + g + h + i + j) % 9

= 5 + 7 = 12

超過個位數，再相加: 1 + 2 = 3

所以return sum % 9 == 3

Lua, 使用string:gsub("%b()", "")

2025-10-20T20:26:00.000-07:00

7kyu, Valid Parentheses

7kyu的題目，一樣不難。

是求Parentheses是否balanced?

我採用最基本的解法，如下：

local function valid_parentheses(paren_str)
  local s = 0
  for i = 1, #paren_str do
    local p = paren_str:sub(i, i)
    if ")" == p then
      s = s - 1
    elseif "(" == p then
      s = s + 1
    end
    if s < 0 then
      return false
    end
  end
  if 0 == s then
    return true
  else
    return false
  end
end

return valid_parentheses

別人是用string:gsub("%b()", "")來解，滿精簡的：

local function valid_parentheses(paren_str)
  return paren_str:gsub("%b()", "") == ""
end

return valid_parentheses

Note:

a pattern is the '%b', that matches balanced strings. Such item is written as '%bxy', where x and y are any two distinct characters; the x acts as an opening character and the y as the closing one. For instance, the pattern '%b()' matches parts of the string that start with a `(´ and finish at the respective `)´

Lua, 使用string.match的精簡解法

2025-10-20T00:58:00.000-07:00

7 kyu: Regex validate PIN code

這題算很簡單，題目是求PIN碼是否正確，

PIN碼格式需為數字且長度為4或6個字元。

我的寫法如下：

local function validate_pin(pin)
  for i = 1, #pin do
    local s = pin:sub(i, i)
    if nil == tonumber(s) then
      return false
    end
  end
  if 4 == #pin or 6 == #pin then
    return true
  else
    return false
  end
end

return validate_pin

但是別人用string.match，可以很精簡就解出來了，

如下：

local function validate_pin(pin)
  return pin:match("^%d%d%d%d$") ~= nil or pin:match("^%d%d%d%d%d%d$") ~= nil
end

return validate_pin

Lua, Set處理

2025-10-19T17:59:00.000-07:00

7 kyu: Operations With Sets

這題不難，是要求兩個Set結構，
相同和不同部份的相關數量，

我簡單寫了一個沒效率的程式：

local function bfind(value, arr2)
  for i, v in ipairs(arr2) do
    if v == value then
      return i
    end
  end
  return nil
end
  
local function process_2arrays(arr1, arr2)
  local b = {}
  for i = 1, #arr1 do
    local j =  bfind(arr1[i], arr2)
    if j ~= nil then
      b[#b + 1] = arr1[i]
      table.remove(arr2, j)
    end
  end
  return {#b, #arr1 - #b + #arr2, #arr1 - #b, #arr2}
end

return process_2arrays

別人寫的比較有效率的程式如下：

local function process_2arrays(arr1, arr2)
  local n, s2 = 0, {}
  for _, x in pairs(arr2) do
    s2[x] = true
  end
  for _, x in pairs(arr1) do
    if s2[x] then n = n + 1 end
  end
  local n1, n2 = #arr1 - n, #arr2 - n
  return {n, n1 + n2, n1, n2}
end

return process_2arrays

Note:

Truthiness in Lua:
In Lua, false and nil are considered false. All other values, including 0 and empty strings, are considered true.

或是直接使用第三方的Set API:

Set = require 'pl.Set'
local function process_2arrays(arr1, arr2)
  local s1 = Set(arr1)
  local s2 = Set(arr2)
  return { #(s1*s2), #(s1^s2), #(s1-s2), #(s2-s1) }
end

return process_2arrays

7 kyu: Ordered Count of Characters using Lua

2025-10-15T20:03:00.000-07:00

7 kyu: Ordered Count of Characters

這題很簡單，要做的只是計算string中各字元出現的次數。

我一開始寫的code如下：

local solution = {}

function solution.ordered_count(inp)
  local a, aa, orderkey = {}, {}, {}
  for i = 1, #inp do
    local c = inp:sub(i, i)
    if nil == a[c] then
      a[c] = 1
      table.insert(orderkey, c)
    else
      a[c] = a[c] + 1
    end
  end
  for i, v in ipairs(orderkey) do
    table.insert(aa, {orderkey[i], a[orderkey[i]]})
  end
  return  aa
end

return solution

後來看了別人的寫法後，

發現可以寫的更精簡一點，

只要宣告兩個table結構即可。

一個table aa存答案，

一個table a, key存字元，value存table aa的index.

改寫如下：

local solution = {}

function solution.ordered_count(inp)
  local a, aa = {}, {}
  for i = 1, #inp do
    local c = inp:sub(i, i)
    if nil == a[c] then
      table.insert(aa, {c, 1})
      a[c] = #aa
    else
      aa[a[c]][2] = aa[a[c]][2] + 1
    end
  end
  return  aa
end

return solution

Lua, table[-1] 並不像Python可以存取最後一個元素

2025-10-14T18:06:00.000-07:00

7 kyu: Pull your words together, man!

這題很簡單，但是我在寫code時，

想存取table資料結構的words裡面的最後一個元素，

發現不能用words[-1] (words[-1] 為 nil)

這點跟Python 3的list不同，

可行的替代寫法是

words[#words]

我寫的完整code如下：

return {
  sentencify = function(words)
    words[#words] = words[#words] .. "."
    words[1] = string.upper(string.sub(words[1], 1, 1)) .. string.sub(words[1], 2)
    return table.concat(words, " ")
  end
}

別人寫的比較精簡，如下：

return {
  sentencify = function(words)
    return table.concat(words, ' '):gsub('^.', string.upper)..'.'
  end
}

Lua裡, A and B or C, 即是C++的 A ? B : C

2025-10-13T18:26:00.000-07:00

7 kyu: Blowing Birthday Candles

這題很簡單，我在解這題時額外寫了一個簡單的函式，

後來發現用A and B or C的lua語法，就可以達成函式所做的事情，

這個語法，相當於C/C++裡的A ? B : C

也就是A的條件正確的話，回傳B，反則回傳C

用在Python 3的話，也相當於
B if A else C

完整程式碼如下：

local function blow_candles(str)
  local a = 0
  local i = 1
  local s = {}
  for i = 1, #str do
    s[i] = tonumber(str:sub(i, i))
  end
  i = 1
  while i <= #str do 
    local neg = s[i]
    if neg > 0 then
      for j = i, i+2 do
        if j > #str then
          break
        else
          s[j] = s[j] - neg > 0 and s[j] - neg or 0
        end
      end
      a = a + neg
    end
    i = i + 1
  end
  return a
end

return blow_candles

B494B trace code for fixture

2025-10-08T17:12:00.000-07:00

Common.lua裡,

function Common.State_retry(paraTab)

...

for i=1,4 do

...

if i==5 then

跟Kenny確認，目前是不可能跑到 i == 5的情況，

可以視做對未來的擴充，必要時也可mark as comment

看起來QT1的治具Fixture，

經由group.lua的

local fixture = Atlas.loadPlugin("FixturePort")

宣告。

FixturePort = dutConfig.FixturePort

fixture.SetPath(FixturePort)

--fixture.SetPath(stationConfig.FixturePort)

fixture.Open(115200)

打開。

但是

function fixture_start(devicePlugins)

devicePlugins['Fixture'] = fixture

while true do

...

才是正式產生Fixture的地方，此時Fixture很快被hold住，

需要按治具左右兩邊按鈕，才能再跑下去。

Reference:

local userPluginModule = require("Station/Plugins")

function deviceStart(deviceName, groupPluginTable)

...

local devicePlugins = userPluginModule.loadPlugins(deviceName, groupPluginTable)

fixture_start(devicePlugins)

...

之後，可參考Common.lua的用法，

由local fixture = Device.getPlugin("Fixture")來呼叫

Lua, 7 kyu:Circle cipher

2025-10-07T02:10:00.000-07:00

7 kyu:Circle cipher

這題我的寫法是：

local kata = {}

function kata.encode(s)
  local a, j = {}, 1
  for i = 1, (#s + 1) /2 do
    a[j] = string.sub(s, i, i)
    j = j + 2
  end
  j = 2
  for i = #s, #s/2 + 1, -1 do
    a[j] = string.sub(s, i, i)
    j = j + 2
  end
  return table.concat(a, "")
end

function kata.decode(s)
  local a, i = {}, 1
  for j = 1, #s, 2 do
    a[i] = string.sub(s, j, j)
    i = i + 1
  end
    i = #s
  for j = 2, #s, 2 do
    a[i] = string.sub(s, j, j)
    i = i - 1
  end
  return table.concat(a, "")
end

return kata

其中function kata.encode(s)

我想了很久，經過不斷try and error,
終於成功了，
不過function kata.decode(s)

就機乎不用想，很直覺就寫出來了。
因此我看了一下，別人function kata.encode(s)的寫法，
發現別人寫的比較直覺如下：

function kata.encode(s)
  local res = ""
  while #s > 0 do
    -- use first char
    res = res .. s:sub(1,1)
    s = s:sub(2)
    if #s > 0 then
      -- use last char
      res = res .. s:sub(-1)
      s = s:sub(1,-2)
    end
  end
  return res
end

語法說明：
s:sub(2)是返回第1個以外的字串，相當於s:sub(2, #s)

s:sub(-1)是返回最後一個字元

另外s:sub(-2)是返回倒數第2個字元和倒數第1個字元，所成的字串

s:sub(1, -2)是返回除了最後一個字元以外的字串

Lua預設的 table.insert 是屬於全域的 table 模組，不是附在每個表（table）上的方法

2025-10-06T20:24:00.000-07:00

7 kyu: Sliding windows

題目很難懂是在做什麼？

尤期是length等於0到底是什麼？

因此嘗試了有點多次，

最後是length = 0的情況，

當做是list table多了一個0的值在一開始，

來解決。

另外就是有關Lua的table,

用insert加入元素，如下code:

> a = {}

> a:insert(123)

stdin:1: attempt to call a nil value (method 'insert')

stack traceback:

stdin:1: in main chunk

[C]: in ?

> table.insert(a, 123)

不能用a:insert(123)，

查ChatGPT是說：

預設的 table.insert 是屬於全域的 table 模組，不是附在每個表（table）上的方法。

也就是說，除非你自己把 insert 方法掛到 a 表上，否則 a:insert(123) 會報錯。

要用table.insert(a, 123)

或者

✅ 正確寫法示範：


a = {}
a.insert = table.insert  -- 將全域的 table.insert 方法掛到 a 上
a:insert("k")

執行後：


print(a[1])  --> k

我Pass的code如下：

local function window(length, offset, list)
  local a, temp, l = {}, {}, {}
  if 0 == length then
    for ii = 0, #list do
      if 0 == ii then
        l[1] = 0
      else
        l[ii + 1] = list[ii]
      end
    end
  else
    l = list
  end
  for i = 1, #l, offset do
      if i + length - 1 <= #l then
        for j = i, i + length - 1 do
          table.insert(temp, l[j])
        end
        table.insert(a, temp)
        temp = {}
      end
  end
  return a
end

return window

Lua table中，key宣告時自帶string

2025-10-06T17:48:00.000-07:00

7 kyu Turn with a Compass

這題不算難，但是我用Lua在table宣告初使值，犯了錯誤，

如下：

> a = {'t' = 1}

stdin:1: '}' expected near '='

這邊't' = 1錯誤，

t應該不用宣告為string, 而是table中的key會自帶string,

修正如下：

> a = {t = 1}

這樣就正確了。

補充說明，

如果要設定a[1]的值如下：

> a = {1 = 12}

stdin:1: '}' expected near '='

> a = {[1] = 12}

> a[1]

另外這題我寫的程式碼不是很精簡，

但還是寫出來了，如下：

local function direction(facing, turn)
  local d = {N = 0, 
             NE = 45,
             E = 90,
             SE= 135,
             S = 180,
             SW= 225,
             W = 270,
             NW= 315}
  local t = (d[facing] + turn) % 360
  if 0 == t then
    return 'N'
  elseif 45 == t then
    return 'NE'
  elseif 90 == t then
    return 'E'
  elseif 135 == t then
    return 'SE'
  elseif 180 == t then
    return 'S'
  elseif 225 == t then
    return 'SW'
  elseif 270 == t then 
    return 'W'
  elseif 315 == t then
    return 'NW'
  end
end

return direction

7 kyu:Set the Alarms Up 別人簡潔的寫法

2025-10-01T00:34:00.000-07:00

嘗試練習7 kyu: Set the Alarms Up

使用Lua語言，題目是設定連續鬧鐘，如果不是寫成程式，
就數學上，大概只會用到小學數學。

我自己的寫法是：

local function set_the_alarms_up(time, n)
  local t = os.time{year=1970, month=1, day=1, hour=0}
  local hours = string.sub(time, 1, 2)
  local hour = tonumber(hours)
  local ms = string.sub(time, 4, 5)
  local m = tonumber(ms)
  t = t + m*60 + hour*3600
  local a = {os.date("%H:%M", t)}
  for i = 2, n do
    a[i] = os.date("%H:%M", t + 300*(i-1))
  end
  return a
end

return set_the_alarms_up

Note:

1. os.time設定值，是以秒為單位

2. 在Unix system 0值在00:00:00 UTC, January 1, 1970，但要注意台灣的時區是+08:00

所以台灣的os.time{year=1970, month=1, day=1, hour=0}不是0，而是-28800

看到別人的寫法：

local function set_the_alarms_up(time, n)
  local res, h, m = {}, time:match "^(%d+):(%d+)$"
  for i = 1, n do
    res[i] = os.date("%H:%M", (h * 60 + m + 5 * (i - 1)) * 60)
  end
  return res
end

return set_the_alarms_up

其中local res, h, m = {}, time:match "^(%d+):(%d+)$"

這行我覺得寫得很精簡，

GPT 5解釋如下：

這一行 Lua 寫法：


local res, h, m = {}, time:match "^(%d+):(%d+)$"

可以分成兩部分來看：

1. 左邊變數定義


local res, h, m = ...

local：表示這些變數是區域變數 (scope 只在當前程式塊內)
res：被初始化為 {}，也就是一個新的空 table。
h, m：會由右邊 time:match(...) 的結果來賦值。

2. 右邊字串模式匹配


time:match "^(%d+):(%d+)$"

這是 Lua 的 字串方法，等同於：


string.match(time, "^(%d+):(%d+)$")

^：匹配字串開頭
%d+：匹配一個或多個數字
:：匹配冒號字元本身
$：匹配字串結尾

所以這個 pattern 會匹配 「數字:數字」 這種格式，例如 "12:34"。

由於有兩個括號捕獲組 (%d+)，string.match 會返回兩個結果：

第一個捕獲 → h
第二個捕獲 → m

3. 綜合起來

如果：


time = "12:34"

那麼執行後：


res = {}         -- 空表
h = "12"         -- 字串 "12"
m = "34"         -- 字串 "34"

👉 簡單說：
這行程式碼同時做了兩件事：

建立一個空表 res
從字串 time 中解析出「小時」和「分鐘」(字串型態)，分別放到 h 和 m 裡。

另外為何time:match "^(%d+):(%d+)$"的函式不用括號？

GPT 5 解釋如下：

這個是 Lua 的語法糖 (syntactic sugar) 👍

在 Lua 裡，如果一個函式呼叫 只有一個參數，而這個參數是：

一個 字串常值
或是一個 table 常值

那麼可以省略小括號 ()。

範例：


print("hello")      -- 一般寫法
print "hello"       -- 語法糖，省略括號

f({x=1, y=2})       -- 一般寫法
f {x=1, y=2}        -- 語法糖，省略括號

套用到你的程式


time:match("^(%d+):(%d+)$")   -- 正常呼叫
time:match "^(%d+):(%d+)$"    -- 語法糖，省略括號

這兩行 完全一樣，只是簡潔寫法。

👉 所以你看到的 time:match "^(%d+):(%d+)$" 只是 Lua 的簡化呼叫方式，函式其實還是有接到參數的。

Lua中的string s[index]並不像Python是String中的字元

2025-09-29T23:18:00.000-07:00

練習8 kyu的簡單題：

Exclamation marks series #2: Remove all exclamation marks from the end of sentence

題目是把字串最後連續的驚嘆號(!)去掉，但要注意，只去除最後連續的，

如果不在最後連續，不用去掉。

我的寫法一開始是：

local function remove_marks(s)
  local a = ''
  for i = #s, 1, -1 do
    if "!" ~= s[i] then
      a = string.sub(s, 1, i)
      return a
    end
  end
  return a
end

return remove_marks;

注意，這邊Lua跟Python的語法不一樣，

if "!" ~= s[i] then

除了Lua的不等於是~以外，

此時的s[i]是回傳nil，不是回傳s的第i個字元，

所以必需改寫如下：

local function remove_marks(s)
  local a = ''
  for i = #s, 1, -1 do
    ss = string.sub(s, i, i)
    if "!" ~= ss then
      a = string.sub(s, 1, i)
      return a
    end
  end
  return a
end

return remove_marks;

Scribd

2025-09-24T22:50:00.000-07:00

主要是研究所時期做的一些投影片，少部份是後來做的：

https://www.scribd.com/user/21556865/davidsmc

"8 Kyu":Never visit a . . . !?特解

2025-09-24T02:11:00.000-07:00

Never visit a . . . !?

這題我是用暴力解的．但解了之後，看別人其實有特解，
就是直接輸出9-apple
原因在於：

1. Sum all the digits of n.

假設n 是a + 10*b + 100*c + 1000*d
Sum all the digits of n的結果是s.

s=a+b+c+d

2. Subtract the sum from n, and it is your new n.

所以 new n = n - s

= a + 10*b + 100*c + 1000*d - (a + b + c + d)

= 9*b + 99*c + 999*d

所以一定是9的倍數。
其餘不是千位數的n類推，也是9的倍數

３. If the new n is in the list below return the associated fruit, otherwise return back to task 1.

...

9-apple

...

18-apple

...

27-apple

...

36-apple

...

45-apple

...

54-apple

...

63-apple

...

72-apple

...

81-apple

...

90-apple

91-kiwi

92-banana

93-kiwi

94-banana

95-melon

96-banana

97-melon

98-pineapple

99-apple

100-pineapple

9的倍數，相關的水果一定是apple.不會是別的。

Swift storyboard for FitAutoTest 雜記

2025-09-24T01:49:00.000-07:00

info.plist:

看是Ordinary.storyboard 還是 TabView.storyboard ?

在info.plist:

Main storyboard file base name (macOS): Ordinary
則是Ordinary

==========================================

實際在跑的<project_name>_<station_name>.plist

以branch B495_Pizza為例：

PlistHelper.swift:

func getStationProjectName() -> String {

return "\(self.getProjectName())_\(self.getStationName())"

}

B44445_QT2Flow.swift:

SAP109_MBFlow.swift:

ConcurrentFlow.swift:

...

let stationProjectName = self._plistHelper!.getStationProjectName()

let testList = TestListFactory.getTestList(stationProjectName: stationProjectName)

...

TestListFactory.swift:

class TestListFactory {

static func getTestList(stationProjectName: String) -> ITestList? {

switch stationProjectName {

case "B444445_QT2":

return B444445_QT2List()

...

case "B495_Pizza":

return B495_PizzaList()

...

case "B499_Pizza":

return B499_PizzaList()

case "Test_Pizza": // Temp 20250219

return B495_PizzaList()

default:

return nil

}

==========================================

FitAutoTest, 找出程式GUI的start,

Ordinary.storyboard點兩下，

Start Btn0 -> Show the Connections inspector

Referencing Outlets

看到叫做startBtn0

Sent Actions

看到Ordinary Controller

dutStart0

OrdinaryController.swift:

@IBAction func dutStart0(_ sender: Any) {

super.handleStartBtnClick(dutIndex: 0)

}

BaseViewController.swift:

...

self.startBtnList = [startBtn0, startBtn1, startBtn2, startBtn3]

func handleStartBtnClick(dutIndex: Int){

...

if self.setUIAfterStart(dutIndex: dutIndex, isAlarm: true) {

...

self.startBtnList[dutIndex].isEnabled = false

self._testflow!.testStart(startTime: startTime, allDutIndexSnMap: [dutIndex: self.snTextFieldList[dutIndex].stringValue])

}

ITestFlow.swift:

protocol ITestFlow {

...

func testStart(startTime: Date, allDutIndexSnMap: Dictionary<Int, String>) -> ()

}

B444445_QT2Flow.swift:

class B444445_QT2Flow : ITestFlow {

...

func testStart(startTime: Date, allDutIndexSnMap: Dictionary<Int, String>) {

...

for i in 0...plistTestItems.count - 1 {

let pItem = plistTestItems[i]

//add into DispatchGroup

queue.async(group: group) {

let eachfunc = testList!.testItemScript[pItem.Script]

if eachfunc != nil {

...

var resultItem = eachfunc!(container)

...

}

My 2025

2025-09-04T01:08:00.000-07:00

大杯無鹽

2025-08-07T05:30:00.000-07:00

關羽跟張飛都掛了

劉備找孔明訴苦劉備：「雲長魂歸故里，如今三弟也溘然長逝，真乃大悲啊」孔明：「甜度？」

劉備：「大悲無言」

孔明：「我是問甜度，不是加不加鹽…」