2020-12-08から1日間の記事一覧
この記事は SATySFi Advent Calendar 2020 8日目の記事です。7日目は abenori さんによるSATySFiで可換図式でした。9日目は fiveseven さんの予定です。 表題の通り、SATySFi で書かれた本などのまとめを作ってみました。こちらのリンクにあります。 最新の…
この記事は SATySFi Advent Calendar 2020 8日目の記事です。7日目は abenori さんによるSATySFiで可換図式でした。9日目は fiveseven さんの予定です。 表題の通り、SATySFi で書かれた本などのまとめを作ってみました。こちらのリンクにあります。 最新の…