>>396
論述なので意味不明な記号の羅列はナシですよ？
一応定義してもいいですが、記号を使ったりres,hom,funcとか省略記号にしちゃったら多分減点か再提出になるでしょうね。