Revisions of "圏論の考え方でつくられていない、JavaScriptで動作する spinoza (スピノザ) - (4)"