/ プログラム/ 発表一覧/ 著者一覧企業展示一覧/ jsai2017ホーム /

宋 剛秀

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

Tweet #jsai2017 このエントリーをはてなブックマークに追加

氏名宋 剛秀
ふりがなそう たけひで
所属神戸大学 情報基盤センター

発表リスト

05月23日(Tue) 13:50〜15:30 M会場(ウインクあいち-10F 1005会議室)
題目1M1-OS-02a-2 SAT技術を用いたペトリネットのデッドロック検出手法の提案
著者寸田 智也 宋 剛秀 番原 睦則 田村 直之
論文PDFファイル

05月23日(Tue) 13:50〜15:30 M会場(ウインクあいち-10F 1005会議室)
題目1M1-OS-02a-4 制約充足問題のASP符号化に関する一考察
著者坡山 直樹 番原 睦則 宋 剛秀 田村 直之
論文PDFファイル