ソフトウェアに対して原論的にアプローチしながら再整理をする良い機会でした。