パラメトリシティを使って自由モノイドが構成できることの証明
パラメトリシティを使って自由モノイドが構成できることの証明 目的 この記事では、以下のように定義したFMが、一定の条件のもとで自由モノイドになっていることをパラメトリシティを使って証明したい。 ...
10
5
Comment0
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles