>>421
たしかに。しかし、小さなおもちゃでもよいので、一応何かのシステム仕様
と呼べる一まとまりの記述例が見てみたいのだが、この記事の中には
そういうのは無いようだが？圏論はソフト仕様が書ける決定版みたいな
言われ方をしているのだが、案外その記述例はあんまり無いのかな？