3月26日—3月27日に秋田大学にてオートマトンとロジックのワークショップを行いました.
全参加者25名(内講演者11名)の賑やかなワークショップとなりました.
講演スライドはワークショップのページにて公開されていますので,ご興味のある方はどうぞご参照ください.
秋田大学理工学部 数理・電気電子情報学科
3月26日—3月27日に秋田大学にてオートマトンとロジックのワークショップを行いました.
全参加者25名(内講演者11名)の賑やかなワークショップとなりました.
講演スライドはワークショップのページにて公開されていますので,ご興味のある方はどうぞご参照ください.