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

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

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

現状報告(5)

Windows 10 のノート PC を購入しました。

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

C# の例(9) Channel を使ったバージョンは以下のようになります。NumbersGenerator クラスの GenerateDecimal メソッドは以下のようになります。 public IteratorChannelImpl<int> GenerateDecimal() { bool SetToChannel(Channel<int> ch, int n) { async Task<bool> SetToC</bool></int></int>…

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

C# の例(8) Channel を使ったイテレーターのクラス IteratorChannelImpl を作成しました。「ConfigureAwait(false)」というのは「これがないと await の前後が同じスレッドで実行されるので Result を取得することができない」という仕様らしいです。意味が…