エレファント・ビジュアライザー調査記録

ビジュアルプログラミングで数式の変形を表すことを考えていくブロクです。

2022-02-01から1ヶ月間の記事一覧

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

C# の例(3) C#版もコンストラクターなどを書き直したので再びここに公開します。C#版も最初は移植のためにコンストラクターを1個にしようとしていたのですが、非常に見にくくなってしまったのでコンストラクターが増えてしまいました。C#ではリストが [a] の…

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

Python の例(2) F# のコードから移植したので少し間違っているところがありましたので修正します。そのほか移植したときにわかりやすいようにコンストラクターを変更しました。また、メソッド名も少し変更しました。 Python のコード def Align0(xs, leng, z…

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

Python の例 PythonはVisual Studioからインストールしました。PythonのイテレーターはC#と同様なので、だいたい同じように書けました。next は next(イテレーターの式) のように書かないといけません。この書き方がバージョンによって違うようでウェブに書…

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

F# の例(1) F# で動作するようにすることはできましたが、まだよくわからないところがあります。「エレファントな群とリー代数」では「項書き換え」の「一階の項」を「一般マグマの多項式」として多項式のように扱う方法について考えました。論理プログラミ…