MySQL、全角数字だとCASTしてくれないの残念すぎる。。一旦REPLACE入れ子で0-9で半角数字に揃えてCASTするしかない。せめてほかの言語にあるTRANSLATEがあればまだ可読性良いんだけど…
理想はREGEXP_REPLACE('0120', '[0-9]', '[0-9]')で'0120'返してくれると嬉しいんだけど(当然そうはならない。。)
ミニ四駆好きが集まる雑談中心のインスタンスです