2020-01-01から1年間の記事一覧
昨年に引き続き、Category Theory for Programmers github.comを読んでいて、今はLawevere Theoryのところなのだけど、正直よく分からなくてなかなか進まない、、、。先へ進めば分かるかと思って進めると、むしろ分からないことが増えてしまって、また戻る、…
昨年に引き続き、Category Theory for Programmers github.comを読んでいて、今はLawevere Theoryのところなのだけど、正直よく分からなくてなかなか進まない、、、。先へ進めば分かるかと思って進めると、むしろ分からないことが増えてしまって、また戻る、…