鈴木祐介

*セッションの無断動画配信はご遠慮下さい。

発表リスト

05月14日(Wed) 13:20〜15:00 F会場(72人-ひめぎんホール第5・7会議室)

題目 3F3-5 順序グラフパターン言語の多項式時間帰納推論

著者日野隆博鈴木祐介内田智之宮原哲浩

論文 PDFファイル