ストリング図とコンポネント

img/pict/

ローカルパス

  1. C:\Users\m-hiyama\Work\Chimaira.org\root/img3/pict/component-block.gif ◯ Beanome Language
  2. C:\Users\m-hiyama\Work\Chimaira.org\root/img3/pict/CORBA_Component.gif ◯
  3. C:\Users\m-hiyama\Work\Chimaira.org\root/img3/pict/Software_components.png ◯
  4. C:\Users\m-hiyama\Work\Chimaira.org\root/img3/pict/block-construction-tool.gif ◯ Beanome Language
img/

ローカルパス

  1. C:\Users\m-hiyama\Work\Chimaira.org\root/img/ports-layout.gif ◯
  2. C:\Users\m-hiyama\Work\Chimaira.org\root/img/portset-design.gif ◯
  3. C:\Users\m-hiyama\Work\Chimaira.org\root\img/component-assembly.gif ◯
  4. C:\Users\m-hiyama\Work\Chimaira.org\root\img/component-block.gif ◯ 重複
  5. C:\Users\m-hiyama\Work\Chimaira.org\root\img/component-wiring.gif ◯
  6. C:\Users\m-hiyama\Work\Chimaira.org\root\img/port-based-components.gif ◯
  7. C:\Users\m-hiyama\Work\Chimaira.org\root\img/Software_components.png ◯ 重複

img2

ローカルパス

  1. C:\Users\m-hiyama\Work\Chimaira.org\root\img2/inout-component.gif ◯
  2. C:\Users\m-hiyama\Work\Chimaira.org\root\img2/simple-inout-components.gif ◯
過去文書

使用している画像ローカルパス

  1. C:\Users\m-hiyama\Work\Chimaira.org\root\docs\box-with-ports.gif
  2. C:\Users\m-hiyama\Work\Chimaira.org\root\docs\flow-control-ports.gif
参考論文
記事・論文からの画像

UML2 component diagram


Spivak et al.

  • Title: String diagrams for traced and compact categories are oriented 1-cobordisms
  • Authors: David I. Spivak, Patrick Schultz, Dylan Rupel
  • Submitted: 5 Aug 2015 (v1), 19 Sep 2016 (v3)
  • Pages: 53p
  • URL: https://arxiv.org/abs/1508.01069

KJBM

  • Submitted: 7 Jun 2007 (v1), 21 Feb 2010 (v2)
  • Title: Polynomial functors and opetopes
  • Authors: Joachim Kock, André Joyal, Michael Batanin, Jean-François Mascari
  • Pages: 54p
  • URL: https://arxiv.org/abs/0706.1033

Grimm修士論文(Master’s Thesis)

2つの方式

$`\begin{array}{c|ccc}
&n1 &n2 &n3 \\
\hline
w1-& 0 & 0 & 0 \\
w1+& 0 & 1 & 0 \\
w2-& 0 & 1 & 0 \\
w2+& 0 & 0 & 1 \\
w3-& 0 & 0 & 1 \\
w3+& 0 & 0 & 0 \\
w4-& 0 & 0 & 1 \\
w4+& 0 & 1 & 0 \\
w5-& 0 & 1 & 0 \\
w5+& 1 & 0 & 0 \\
w6-& 1 & 0 & 0 \\
w6+& 0 & 0 & 0
\end{array}
%`$