История изменений

Исправление a--, 19.08.22 23:13 (текущая версия) :

Недоподнял немножко, на самом деле так:

fᵢ = λx: Just(x+qᵢ) если x+qᵢ≤1000 иначе Nothing, qᵢ натуральные

Еще пусть для удобства обозначений

Fᵢ = λx: Just(x+i ) если x+i ≤1000 иначе Nothing, i  натуральные

Ну и параллелим очевидным образом:

b = F₁(F₂₂(F₃(F₄₄(999))))  <--- тут конечно че-то вставить надо, но мысль ясна
g = F₂₃  
c = Nothing
b = Nothing

Исправление a--, 19.08.22 23:05:

Недоподнял немножко, на самом деле так:

fᵢ = λx: Just(x+qᵢ) если x+qᵢ≤1000 иначе Nothing, qᵢ натуральные

Ну и параллелим очевидным образом:

b = f₁(f₂₂(f₃(f₄₄(999))))  <--- тут конечно че-то вставить надо, но мысль ясна
g = f₂₃  
c = Nothing
b = Nothing

Исходная версия a--, 19.08.22 22:57:

Недоподнял немножко, на самом деле так:

fᵢ = λx: Just(x+qᵢ) если x+qᵢ≤1000 иначе Nothing, qᵢ натуральные

Ну и параллелим очевидным образом:

b = f₁(f₂₂(f₃(f₄₄(999))))
g = f₂₃  
c = Nothing
b = Nothing