/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
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ファイル
05月23日(Tue) 13:50〜15:30 M会場(ウインクあいち-10F 1005会議室)
題目
1M1-OS-02a-1 (OS招待講演)SAT から解集合プログラミングへ
著者
番原 睦則
