self-containedに数学を書ききることを大目標にしています.