| | SOH Takehide Last updated: Dec 4, 2018 at 05:11 | 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 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 日本ソフトウェア科学会 プログラミング論研究会 |
|
|
|
|  |
Following