エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2022-02-19から1日間の記事一覧

関数プログラミングと無限論理多項式(26)

JavaScript の例(5) (TypeScript) TypeScript 版も同様に修正します。Numbers クラスから CurrentDigit プロパティと current_digit を削除し、コピーするメソッドを追加します。 Copy(): Numbers { return new Numbers(this.number, this.square_difference…

関数プログラミングと無限論理多項式(25)

C# の例(9) Go の例で Numbers 構造体をコピーするようにしましたが、Numbers 構造体の中に返却するための数が含まれているのは気持ち悪いので、これを構造体に含めないようにします。まず C# の例で考えます。Numbers クラスから CurrentDigit プロパティと…