線形代数 セオリー論 事例1：遷移系 事例2：階層構造 基底 指標 集合＝アルファベット 単純DAG＝ハッセ図 基底の要素 記号セル 要素＝文字 アロー、辺 線形結合 コンビネーション 文字列＝ストリング パス 自由ベクトル空間 セオリー 自由モノイド 自由やせ…