homが反変・共変の双関手であることは、直接示す必要はありません（間接的に言えます）が、計算のための具体的な表示は必要になります。内容： グラフ射と変形の結合 ホムグラフとグラフ射 グラフ射と変形の結合f:A→B がグラフ射、β:w⇒w':B (0→1) C が変形だ…

具体的な結果を示すには具体的な計算が必要で、往々にして計算はドブ板作業になります。ドブ板作業を少しでも軽減するために、ツール（計算デバイス）を整備・改善します。内容： ブロック式構文 値の型の表記 高階グラフ射の表現 ブロック式構文視認性・可…