SOH Takehide

J-GLOBAL         Last updated: Apr 14, 2019 at 13:51
 
Avatar
Name
SOH Takehide
URL
http://tsoh.org/
Affiliation
Kobe University
Section
(Information Science and Technology Center)
Job title
Assistant Professor
Degree
Ph.D.(The Graduate University for Advanced Studies)
Research funding number
00625121
Twitter ID
TakehideSoh

Awards & Honors

 
Sep 2018
SAT技術を用いたペトリネットのデッドロック検出手法の提案, 情報処理学会 2018 年度特選論文, 情報処理学会
Winner: 寸田 智也, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI, 井上 克巳
 
Aug 2018
sCOP, 2018 XCSP3 Competition 2部門優勝 (逐次CSPソルバー部門, 並列CSPソルバー部門), XCSP3 Competition Organization
Winner: Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
 
Mar 2017
SAT型制約ソルバーによるナンバーリンクの解法とその評価, 2016年度全国大会優秀賞, 人工知能学会
Winner: 迫 龍哉, 川原 征大, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI, 鍋島 英知
 
Mar 2017
SATソルバーの最新動向と利用技術, PPL2017発表賞(一般の部), 日本ソフトウェア科学会 プログラミング論研究会
Winner: SOH TAKEHIDE, TAMURA NAOYUKI
 
Mar 2016
パッキング配列問題の制約モデリングとSAT符号化, 第20回研究論文賞, 日本ソフトウェア科学会
Winner: 則武 治樹, BANBARA MUTSUNORI, SOH TAKEHIDE, TAMURA NAOYUKI, 井上 克巳
 

Published Papers

 
SAT技術を用いたペトリネットのデッドロック検出手法の提案
寸田 智也, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI, 井上 克巳
情報処理学会論文誌   59(9) 1749-1760   Sep 2018   [Refereed]
南 雄之, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI
コンピュータソフトウェア   35(3) 65-78   Aug 2018   [Refereed]
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
Annals of Operations Research      Jan 2018   [Refereed]
sCOP: SAT-based Constraint Programming System
Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
Solver Descriptions of XCSP3 Competition 2018 (XCSP18)   1-2   2018
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming
Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura
The 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR-17)   265-278   Jul 2017   [Refereed]

Misc

 
SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI, 鍋島 英知
コンピュータソフトウェア   35(4) 72-92   Nov 2018   [Refereed]
SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI
コンピュータソフトウェア   34(1) 67-80   Jan 2017   [Refereed]
SATとパズル
TAMURA NAOYUKI, SOH TAKEHIDE, BANBARA MUTSUNORI
情報処理   57(8) 710-715   Jul 2016   [Refereed]
SO TAKEHIDE, SAKODA ATSUSHI, BAMBARA MUTSUNORI, TAMURA NAOYUKI
人工知能学会人工知能基本問題研究会資料   97th 65-73   Mar 2015
迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳
日本ソフトウエア科学会大会講演論文集(CD-ROM)   32nd ROMBUNNO.PPL6-1   2015
川原征大, 宋剛秀, 番原睦則, 田村直之
日本ソフトウエア科学会大会講演論文集(CD-ROM)   32nd ROMBUNNO.PPL3-1   2015
宋剛秀, 馬場知哉
日本ソフトウエア科学会大会講演論文集(CD-ROM)   32nd ROMBUNNO.SOFUTOWEA1   2015
宋剛秀, 番原睦則, 田村直之
日本ソフトウエア科学会大会講演論文集(CD-ROM)   32nd ROMBUNNO.PPL6-3   2015
KANEYUKI HIROMASA, BAMBARA MUTSUNORI, SO TAKEHIDE, TAMURA NAOYUKI, INOUE KATSUMI
人工知能学会全国大会論文集(CD-ROM)   29th ROMBUNNO.2H5-OS-03B-5   2015
SOH Takehide, LE BERRE Daniel, ROUSSEL Stephanie, BANBARA Mutsunori, TAMURA Naoyuki
Lect Notes Comput Sci   8761 684-693   2014

Research Areas

 
 

Conference Activities & Talks

 
SATソルバーを用いた様相命題論理S4の充足可能性判定
飯野 有軌, TAMURA NAOYUKI, BANBARA MUTSUNORI, SOH TAKEHIDE
日本ソフトウェア科学会第35回大会   Aug 2018   
正規制約のSAT符号化とその性能評価
生田 哲也, TAMURA NAOYUKI, BANBARA MUTSUNORI, SOH TAKEHIDE
日本ソフトウェア科学会第35回大会   Aug 2018   
teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
The 28th International Conference on Automated Planning and Scheduling, (ICAPS 2018)   Jun 2018   
SAT型制約ソルバーを用いた3次元ナンバーリンクの解法
寸田 智也, 南 雄之, 宋 剛秀, 田村 直之
DAシンポジウム2017   Aug 2017   情報処理学会システムとLSIの設計技術研究会
SATソルバーの最新動向と利用技術
SOH TAKEHIDE, TAMURA NAOYUKI
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)   Mar 2017   日本ソフトウェア科学会 プログラミング論研究会