定義域と値域は写像を定義してから。ある集合Aからある集合B


fが単射であるとは、
以下の条件を満たすとｆが単射であると言える
異なるAの要素→Aの異なる要素、Aの中の要素の内、互いに異なるもの
○○から写像が出る？集合Aの要素を集合Bの要素へ移す

図がごちゃごちゃしている？
矢印の傾き
非単射、単射
集合Aと要素Aはよくない。
XYZ、1,2,3
要素は小文字にしてしまう

全射についての説明も入れてしまう。
A'を明示してしまおう。
関数、部分写像とする。統一させる。
岩波のを参考にする。部分写像とは？全域写像とは？

スタック
操作せずに参照できるのは1番上だけである？
上下と先頭末尾の統一

図の説明として、最後に

プッシュポップは単射かどうか
全射かどうか部分写像かどうか
可逆スタックとは？
可逆とは？システムに対して使われる言葉ではないか？

逆写像を定義し、そこから可逆性を考える？
逆実行はしない。

過去の先輩の研究を完成させる。
まず1次元、2次元可逆セル・オートマトンのクリーン可逆シミュレーションの実現？

渡辺先輩のプログラムの説明も。

クリーンな可逆について定義、説明などを共有。
なぜクリーンにするか？なぜうれしいか？

目次、内容など。