メモとして貼り付けておく。 function string.strip(self) return (string.gsub(self, "^%s*(.-)%s*$", "%1")) end function string.split(self, delim) if delim == '' then error("empty separator") end local is, ie local t = {} -- タブ・空白で分割 i…