TrRun

不動点方程式

何かを調べるときは、とりあえず nLab を見る。 https://ncatlab.org/nlab/show/fixed-point+combinator nLab項目から参照されている文献を見る。 Title: NEW FIXED POINT COMBINATORS FROM OLD Author: JAN WILLEM KLOP Pages: 14p URL: http://www.cs.ru.…

多項式の計算

/* polynom.ts */ export { listEqual, calcProductCoef, calcProductCoefByList, normalizePolynomList, polynomListEqual, combineSimilarTerms, removeZeroTerms, sortTermsByDeg, normalizePolynom, monomEqual, polynomEqual, } /* ========== */ // 気…