4月26日の記事「新しい絵算手法：ストリング＋ストライプ図」を書いた時点で、例題である“結合律”を証明する絵〈pictorial proof〉は描いていました。翌日の「絵算のテキスト表現（結論：疲れる）」において、行列レイアウトを使って絵の一部をテキストに写…