用語法をフーティア（Carl A. Futia）にあわせて、加算無限次元の反射的球集合をωグラフと呼ぶことにする。ωグラフにブリッジ関係（bridge relation）が付いた構造がブリッジωグラフ。ブリッジωグラフの準同型f:(X, R)→(Y, Δ)で、Yのブリッジ関係は自明（各…

自前でasciiコマンドを作る。縦列にするカラム型のレイアウトはめんどうだから、横に見ていく形でよい。0から127の値に対して、16進表記と対応するASCII文字を並べた3行で1セット。行の長さは見やすいように適宜調整。