集合、論理演算、論理回路、オートマトン https://for-spring.com/info_com/ft/basic-2/