圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
SHOW LESS
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
ここでタプル (tuple) <strong>と</strong>いう概念を導⼊入しておきます. タプル<strong>と</strong>は順<br />
序のついた列のこ<strong>と</strong>です. n 個の要素からな<strong>る</strong>タプルを n タプル, n 組<br />
(n-tuple) <strong>と</strong>いい,