cho.sh
계산 이론