ゆらぴー "計算理論とオートマトン言語理..." 2026年6月23日