サクサク読めて、アプリ限定の機能も多数！
型レベル線形代数だと！？まぁオートマトンの状態遷移とかに使えそうなのかな🤔
lotz84 のブックマーク 2019/09/23 15:35
このブックマークにはスターがありません。 最初のスターをつけてみよう！
www.philipzucker.com2019/09/23
It gives my brain a pleasant thrum to learn new mathematics which mimics the algebra I learned in middle school. Basically this means that the new system has operations with properties that match t...
6 人がブックマーク・2 件のコメント
＼ コメントが サクサク読める アプリです ／
型レベル線形代数だと！？まぁオートマトンの状態遷移とかに使えそうなのかな🤔
このブックマークにはスターがありません。
最初のスターをつけてみよう！
Linear Algebra of Types
It gives my brain a pleasant thrum to learn new mathematics which mimics the algebra I learned in middle school. Basically this means that the new system has operations with properties that match t...
6 人がブックマーク・2 件のコメント
＼ コメントが サクサク読める アプリです ／