廣川 直
（HIROKAWA, Nao）准教授
情報科学, コンピューティング科学研究領域
審議会等への参画状況
4件
・ 14th International Workshop on Rewriting Logic and its Applications (WRLA) , program committee member , 2022-
・ 28th International Conference on Automated Deduction (CADE-28) , program committee member , 2021-
・ ソフトウェア科学会 第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2021) , program committee member , 2021-
・ 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23) , program committee member , 2020-