数セミといえば11月号の「コンピューターと論理学」特集はみなさんどうでした?