日本語
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어

#stringdiagrams 検索結果

Iceland_jack's profile picture. Haskell
Dad×2_jack
 @Iceland_jack
2019/01/17

#StringDiagrams are proof by abstract art

Iceland_jack's tweet image. #StringDiagrams are proof by abstract art
Iceland_jack's tweet image. #StringDiagrams are proof by abstract art
2
4
24
0
0
Iceland_jack's profile picture. Haskell
Dad×2_jack
 @Iceland_jack
2018/12/14

I definitely recommend #CategoryTheory Using #StringDiagrams It all looks rather magical #HaskellPDF #Haskell arxiv.org/abs/1401.7220

Iceland_jack's tweet image. I definitely recommend #CategoryTheory Using #StringDiagrams It all looks rather magical #HaskellPDF #Haskell arxiv.org/abs/1401.7220
Iceland_jack's tweet image. I definitely recommend #CategoryTheory Using #StringDiagrams It all looks rather magical #HaskellPDF #Haskell arxiv.org/abs/1401.7220
Iceland_jack's tweet image. I definitely recommend #CategoryTheory Using #StringDiagrams It all looks rather magical #HaskellPDF #Haskell arxiv.org/abs/1401.7220
Iceland_jack's tweet image. I definitely recommend #CategoryTheory Using #StringDiagrams It all looks rather magical #HaskellPDF #Haskell arxiv.org/abs/1401.7220
3
17
64
12
0
Iceland_jack's profile picture. Haskell
Dad×2_jack
 @Iceland_jack
2018/12/15

Yes the future is going to be like Scratch, just built on #StringDiagrams

Iceland_jack's tweet image. Yes the future is going to be like Scratch, just built on #StringDiagrams
1
1
3
1
0
deyrson's profile picture. Computer Programmer
Jonathan Deyrson
 @deyrson
2020/04/14

High level model of the brain as an operator (function) morphism between the world (sensory input) & the body (motor output) objects. #FP #stringDiagrams #categoryTheory ƒ : X → Y Gómez-Ramirez, J. (2014). A New Foundation for Representation in Cognitive and Brain Science.

deyrson's tweet image. High level model of the brain as an operator (function) morphism between the world (sensory input) & the body (motor output) objects. #FP #stringDiagrams #categoryTheory ƒ : X → Y Gómez-Ramirez, J. (2014). A New Foundation for Representation in Cognitive and Brain Science.
0
1
0
0
0
danghica's profile picture. Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
〚Dan R. Ghica〛
 @danghica
2018/03/29

I will give an invited talk at Applied Category Theory 2018 (2.05.2018), an event hosted by the Lorentz Center, Leiden, the Netherlands. I will talk about categorical and string-diagram semantics for digital circuits. #categorytheory #stringdiagrams appliedcategorytheory.org/workshops/

0
0
4
0
0
jessebenisrael's profile picture. I am a Israelite from the Tribe of Judah, who Keeps the Commandments of GOD
Jesse Ben Israel
 @jessebenisrael
2024/04/07

Researchers publish new study on the recursive rendering of string diagrams, advancing understanding of their application in various fields. #Research #StringDiagrams ift.tt/8jKd7Dp

0
0
1
0
8
deyrson's profile picture. Computer Programmer
Jonathan Deyrson
 @deyrson
2020/02/29

Cartographer: a tool for string diagrammatic reasoning #stringDiagrams #ACT cartographer.id

0
0
0
0
0
jessebenisrael's profile picture. I am a Israelite from the Tribe of Judah, who Keeps the Commandments of GOD
Jesse Ben Israel
 @jessebenisrael
2024/04/07

Researchers publish new study on the recursive rendering of string diagrams, advancing understanding of their application in various fields. #Research #StringDiagrams ift.tt/8jKd7Dp

0
0
1
0
8
deyrson's profile picture. Computer Programmer
Jonathan Deyrson
 @deyrson
2020/04/14

High level model of the brain as an operator (function) morphism between the world (sensory input) & the body (motor output) objects. #FP #stringDiagrams #categoryTheory ƒ : X → Y Gómez-Ramirez, J. (2014). A New Foundation for Representation in Cognitive and Brain Science.

deyrson's tweet image. High level model of the brain as an operator (function) morphism between the world (sensory input) & the body (motor output) objects. #FP #stringDiagrams #categoryTheory ƒ : X → Y Gómez-Ramirez, J. (2014). A New Foundation for Representation in Cognitive and Brain Science.
0
1
0
0
0
deyrson's profile picture. Computer Programmer
Jonathan Deyrson
 @deyrson
2020/02/29

Cartographer: a tool for string diagrammatic reasoning #stringDiagrams #ACT cartographer.id

0
0
0
0
0
Iceland_jack's profile picture. Haskell
Dad×2_jack
 @Iceland_jack
2019/01/17

#StringDiagrams are proof by abstract art

Iceland_jack's tweet image. #StringDiagrams are proof by abstract art
Iceland_jack's tweet image. #StringDiagrams are proof by abstract art
2
4
24
0
0
Iceland_jack's profile picture. Haskell
Dad×2_jack
 @Iceland_jack
2018/12/15

Yes the future is going to be like Scratch, just built on #StringDiagrams

Iceland_jack's tweet image. Yes the future is going to be like Scratch, just built on #StringDiagrams
1
1
3
1
0
Iceland_jack's profile picture. Haskell
Dad×2_jack
 @Iceland_jack
2018/12/14

I definitely recommend #CategoryTheory Using #StringDiagrams It all looks rather magical #HaskellPDF #Haskell arxiv.org/abs/1401.7220

Iceland_jack's tweet image. I definitely recommend #CategoryTheory Using #StringDiagrams It all looks rather magical #HaskellPDF #Haskell arxiv.org/abs/1401.7220
Iceland_jack's tweet image. I definitely recommend #CategoryTheory Using #StringDiagrams It all looks rather magical #HaskellPDF #Haskell arxiv.org/abs/1401.7220
Iceland_jack's tweet image. I definitely recommend #CategoryTheory Using #StringDiagrams It all looks rather magical #HaskellPDF #Haskell arxiv.org/abs/1401.7220
Iceland_jack's tweet image. I definitely recommend #CategoryTheory Using #StringDiagrams It all looks rather magical #HaskellPDF #Haskell arxiv.org/abs/1401.7220
3
17
64
12
0
danghica's profile picture. Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
〚Dan R. Ghica〛
 @danghica
2018/03/29

I will give an invited talk at Applied Category Theory 2018 (2.05.2018), an event hosted by the Lorentz Center, Leiden, the Netherlands. I will talk about categorical and string-diagram semantics for digital circuits. #categorytheory #stringdiagrams appliedcategorytheory.org/workshops/

0
0
4
0
0
Iceland_jack's profile picture. Haskell
Dad×2_jack
 @Iceland_jack
2019/01/17

#StringDiagrams are proof by abstract art

Iceland_jack's tweet image. #StringDiagrams are proof by abstract art
Iceland_jack's tweet image. #StringDiagrams are proof by abstract art
2
4
24
0
0
Iceland_jack's profile picture. Haskell
Dad×2_jack
 @Iceland_jack
2018/12/15

Yes the future is going to be like Scratch, just built on #StringDiagrams

Iceland_jack's tweet image. Yes the future is going to be like Scratch, just built on #StringDiagrams
1
1
3
1
0
Iceland_jack's profile picture. Haskell
Dad×2_jack
 @Iceland_jack
2018/12/14

I definitely recommend #CategoryTheory Using #StringDiagrams It all looks rather magical #HaskellPDF #Haskell arxiv.org/abs/1401.7220

Iceland_jack's tweet image. I definitely recommend #CategoryTheory Using #StringDiagrams It all looks rather magical #HaskellPDF #Haskell arxiv.org/abs/1401.7220
Iceland_jack's tweet image. I definitely recommend #CategoryTheory Using #StringDiagrams It all looks rather magical #HaskellPDF #Haskell arxiv.org/abs/1401.7220
Iceland_jack's tweet image. I definitely recommend #CategoryTheory Using #StringDiagrams It all looks rather magical #HaskellPDF #Haskell arxiv.org/abs/1401.7220
Iceland_jack's tweet image. I definitely recommend #CategoryTheory Using #StringDiagrams It all looks rather magical #HaskellPDF #Haskell arxiv.org/abs/1401.7220
3
17
64
12
0
deyrson's profile picture. Computer Programmer
Jonathan Deyrson
 @deyrson
2020/04/14

High level model of the brain as an operator (function) morphism between the world (sensory input) & the body (motor output) objects. #FP #stringDiagrams #categoryTheory ƒ : X → Y Gómez-Ramirez, J. (2014). A New Foundation for Representation in Cognitive and Brain Science.

deyrson's tweet image. High level model of the brain as an operator (function) morphism between the world (sensory input) & the body (motor output) objects. #FP #stringDiagrams #categoryTheory ƒ : X → Y Gómez-Ramirez, J. (2014). A New Foundation for Representation in Cognitive and Brain Science.
0
1
0
0
0

Something went wrong.


Something went wrong.


United States Trends