type GetFirst = A extends [infer Head, ...infer _] ? Head extends string ? Head : null : null; type GetLast = A extends [...infer _, infer Last] ? Last extends string ? Last : null : null type PopLast = A extends [...infer Rest, infer _] ? Rest extends string[] ? Rest : [] : [] /** * type sumOf1Add9 = AddTable[1][9] // 10 */ type AddTable = [ [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [7, 8, 9, 10, 11, 12, 13, 14, 15, 16], [8, 9, 10, 11, 12, 13, 14, 15, 16, 17], [9, 10, 11, 12, 13, 14, 15, 16, 17, 18], ] type StringOneDigitMap = {'0': 0, '1': 1, '2': 2, '3': 3, '4': 4, '5': 5, '6': 6, '7': 7, '8': 8, '9': 9} type StringOneDigit = keyof StringOneDigitMap type StringOneDigitToNum = A extends StringOneDigit ? StringOneDigitMap[A]: 0; type ToString = `${A}` /** * type splitStr = SplitString<'2034'> // ['2', '0', '3', '4'] */ type SplitString = A extends `${infer Head}${infer Tail}` ? SplitString : Result type AddStringOneDigits = A extends null ? B extends null ? null : B :ToString][StringOneDigitToNum]>; type addStringOneDigits = AddStringOneDigits<'1', '9'> type Carry: null> = Split extends StringOneDigit[] ? Split['length'] extends 2 ? `${Split[0]}${AddStringOneDigits}` : `${AddStringOneDigits}` : A type _Add< A extends string[], B extends string[], Result extends string = '', Carrying extends boolean = false, res2 extends any[] = [], _Sum extends string | null = AddStringOneDigits, GetLast>, Sum extends string | null = Carrying extends true ? Carry<_Sum> : _Sum, SplitSum extends StringOneDigit[] | null = Sum extends string ? SplitString: null > = SplitSum extends StringOneDigit[] ? _Add, PopLast, `${GetLast}${Result}`, SplitSum['length'] extends 2 ? true : false, [...res2, {A:A,B:B,Result:Result,Carrying:Carrying}]> : Carrying extends true ? `1${Result}` : Result type Sum = _Add>, SplitString>>type GetFirst = A extends [infer Head, ...infer _] ? Head extends string ? Head : null : null; type GetLast = A extends [...infer _, infer Last] ? Last extends string ? Last : null : null type PopLast = A extends [...infer Rest, infer _] ? Rest extends string[] ? Rest : [] : [] /** * type sumOf1Add9 = AddTable[1][9] // 10 */ type AddTable = [ [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], [1, 2, 3, 4, 5, 6, 7, 8, 9, 10], [2, 3, 4, 5, 6, 7, 8, 9, 10, 11], [3, 4, 5, 6, 7, 8, 9, 10, 11, 12], [4, 5, 6, 7, 8, 9, 10, 11, 12, 13], [5, 6, 7, 8, 9, 10, 11, 12, 13, 14], [6, 7, 8, 9, 10, 11, 12, 13, 14, 15], [7, 8, 9, 10, 11, 12, 13, 14, 15, 16], [8, 9, 10, 11, 12, 13, 14, 15, 16, 17], [9, 10, 11, 12, 13, 14, 15, 16, 17, 18], ] type StringOneDigitMap = {'0': 0, '1': 1, '2': 2, '3': 3, '4': 4, '5': 5, '6': 6, '7': 7, '8': 8, '9': 9} type StringOneDigit = keyof StringOneDigitMap type StringOneDigitToNum = A extends StringOneDigit ? StringOneDigitMap[A]: 0; type ToString = `${A}` /** * type splitStr = SplitString<'2034'> // ['2', '0', '3', '4'] */ type SplitString = A extends `${infer Head}${infer Tail}` ? SplitString : Result type AddStringOneDigits = A extends null ? B extends null ? null : B :ToString][StringOneDigitToNum]>; type addStringOneDigits = AddStringOneDigits<'1', '9'> type Carry: null> = Split extends StringOneDigit[] ? Split['length'] extends 2 ? `${Split[0]}${AddStringOneDigits}` : `${AddStringOneDigits}` : A type _Add< A extends string[], B extends string[], Result extends string = '', Carrying extends boolean = false, res2 extends any[] = [], _Sum extends string | null = AddStringOneDigits, GetLast>, Sum extends string | null = Carrying extends true ? Carry<_Sum> : _Sum, SplitSum extends StringOneDigit[] | null = Sum extends string ? SplitString: null > = SplitSum extends StringOneDigit[] ? _Add, PopLast, `${GetLast}${Result}`, SplitSum['length'] extends 2 ? true : false, [...res2, {A:A,B:B,Result:Result,Carrying:Carrying}]> : Carrying extends true ? `1${Result}` : Result type Sum = _Add>, SplitString>>

提出日時	問題	ユーザー	結果	詳細
2023-09-19 15:39:33	Sum	sankantsu	Accepted	詳細
2022-06-29 23:26:58	Sum	waki285	Accepted	詳細
2022-06-28 10:38:29	Sum	waki285	Wrong Answer	詳細
2022-06-28 10:38:00	Sum	waki285	Wrong Answer	詳細