
Takehide Soh
(宋 剛秀)
Modified on: 03/16
Profile Information
- Affiliation
- Associate Professor, (Information Science and Technology Center), Kobe University
- 学術情報処理研究部門
- Degree
-
修士(工学)(神戸大学)Ph.D.(The Graduate University for Advanced Studies)
- Researcher number
- 00625121
- J-GLOBAL ID
- 201101020046215696
- researchmap Member ID
- B000000429
- External link
神戸大学 情報基盤センター 准教授.博士(情報学).
SAT問題を含む制約充足問題の研究およびシステム生物学への応用に従事.
ResearchMap の情報は最新でないことがあります.
最新の情報・詳細は以下のURLをご覧ください.
http://tsoh.org/jp/
SAT問題を含む制約充足問題の研究およびシステム生物学への応用に従事.
ResearchMap の情報は最新でないことがあります.
最新の情報・詳細は以下のURLをご覧ください.
http://tsoh.org/jp/
Research Interests
15Awards
15Papers
81-
Pragmatics of SAT 2021, Jul, 2021 Peer-reviewedLead author
-
Proceedings of the Annual Conference of JSAI, 2020 2N5OS17b05-2N5OS17b05, 2020
-
人工知能学会研究会資料, SIG-FPAI-B803 6-11, Mar, 2019
-
Solver Descriptions of XCSP3 Competition 2019 (XCSP19), 1-2, 2019
-
Annals OR, 275(1) 3-37, 2019 Peer-reviewed
-
Annals OR, 275(1) 3-37, 2019 Peer-reviewed
-
Proceedings of the Annual Conference of JSAI, 2019 1E2OS3a03-1E2OS3a03, 2019
-
情報処理学会論文誌, 59(9) 1749-1760, Sep 15, 2018
-
コンピュータソフトウェア, 35(3) 65-78, Aug, 2018 Peer-reviewed
-
Solver Descriptions of XCSP3 Competition 2018 (XCSP18), 1-2, 2018
-
Computer Software, 35(4) 72-92, 2018 Peer-reviewed
-
日本ソフトウェア科学会第34回大会講演論文集, 34 393-404, Sep 18, 2017
-
INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 26(1), Feb, 2017 Peer-reviewed
-
International Journal on Artificial Intelligence Tools, 26(1) 1-29, Feb, 2017 Peer-reviewed
-
日本ソフトウェア科学会第33回大会講演論文集, 2017 1M1OS02a2-1M1OS02a2, 2017
-
2017年度人工知能学会全国大会(第31回)論文集, 2017 1M1OS02a4-1M1OS02a4, 2017
-
第29回RAMPシンポジウム論文集, 73-88, 2017 Invited
-
Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017), 10416 596-614, 2017 Peer-reviewed
-
2017年度人工知能学会全国大会(第31回)論文集, 2017 1M1OS02a2-1M1OS02a2, 2017
Misc.
45-
日本ソフトウェア科学会第37回大会ポスター発表, Sep, 2020
-
57(8) 710-715, Jul 15, 2016
-
人工知能学会人工知能基本問題研究会資料, 97th 65-73, Mar 18, 2015
-
人工知能学会全国大会論文集(CD-ROM), 2015 2H5OS03b5-2H5OS03b5, 2015
-
日本ソフトウエア科学会大会講演論文集(CD-ROM), 32nd ROMBUNNO.PPL6-3, 2015
-
日本ソフトウエア科学会大会講演論文集(CD-ROM), 32nd ROMBUNNO.SOFUTOWEA1, 2015
-
日本ソフトウエア科学会大会講演論文集(CD-ROM), 32nd ROMBUNNO.PPL3-1, 2015
-
日本ソフトウエア科学会大会講演論文集(CD-ROM), 32nd ROMBUNNO.PPL6-1, 2015
-
31 140-154, Sep 7, 2014
-
31 217-231, Sep 7, 2014
-
人工知能学会全国大会論文集, 28 1-4, 2014
-
人工知能学会全国大会論文集(CD-ROM), 28th ROMBUNNO.1D5-OS-11B-7, 2014
-
日本ソフトウエア科学会大会講演論文集(CD-ROM), 31st ROMBUNNO.PPL2-3, 2014
-
コンピュータソフトウェア, 31(1) 116-130, 2014
-
日本ソフトウエア科学会大会講演論文集(CD-ROM), 31st ROMBUNNO.SOFUTO1-1, 2014
-
人工知能学会全国大会論文集(CD-ROM), 2014 1D5OS11b6i-1D5OS11b6i, 2014
-
Lect Notes Comput Sci, 8761 684-693, 2014
-
30 79-92, Sep 10, 2013
-
30 237-245, Sep 10, 2013
-
Theor Pract Log Program, 13(4/5) 783-798, Jul, 2013
Research History
2-
Apr, 2019 - Present
-
Apr, 2012
Research Areas
4Professional Memberships
4Presentations
22-
The 22th Workshop on Programming and Programming Languages (PPL 2020), 2020
-
The 22th Workshop on Programming and Programming Languages (PPL 2020), 2020
-
日本ソフトウェア科学会第35回大会, Aug, 2018
-
日本ソフトウェア科学会第35回大会, Aug, 2018
-
The 28th International Conference on Automated Planning and Scheduling, (ICAPS 2018), Jun, 2018
-
DAシンポジウム2017, Aug, 2017, 情報処理学会システムとLSIの設計技術研究会
-
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017), Mar, 2017, 日本ソフトウェア科学会 プログラミング論研究会
-
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017), Mar, 2017, 日本ソフトウェア科学会 プログラミング論研究会
-
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017), Mar, 2017, 日本ソフトウェア科学会 プログラミング論研究会
-
DAシンポジウム2016, Sep, 2016, 情報処理学会 システムとLSIの設計技術研究会(SLDM)
-
第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016), Mar, 2016, 日本ソフトウェア科学会プログラミング論研究会
-
人工知能学会 第9回AIツール入門講座, Dec, 2015, 人工知能学会 Invited
-
第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015), Mar, 2015, 日本ソフトウェア科学会プログラミング論研究会
-
第16回プログラミングおよびプログラミング言語ワークショップ, Mar, 2014, 日本ソフトウェア科学会プログラミング論研究会
-
日本ソフトウェア科学会第30回大会, Sep, 2013, 日本ソフトウェア科学会
-
日本ソフトウェア科学会第30回大会, Sep, 2013, 日本ソフトウェア科学会
-
The 4th International Workshop on Pragmatics of SAT, Jul, 2013, PoS
-
The 4th International Workshop on Pragmatics of SAT, Jul, 2013, PoS
-
The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013), Combined tool demo and poster session, Jul, 2013, SAT
-
2013年度人工知能学会全国大会, Jun, 2013, 人工知能学会
Teaching Experience
11Research Projects
7-
科学研究費助成事業 基盤研究(C), 日本学術振興会, Apr, 2020 - Mar, 2023
-
学術研究助成基金助成金/基盤研究(C), Apr, 2018 - Mar, 2021
-
学術研究助成基金助成金/若手研究(B), Apr, 2016 - Mar, 2019
-
科学研究費補助金/基盤研究(B), Apr, 2016 - Mar, 2019
-
学術研究助成基金助成金/基盤研究(C), Apr, 2015 - Mar, 2018
-
科学研究費補助金(若手研究(B)), 文部科学省, 2013 - 2015
-
科学研究費補助金(基盤研究(B)), 文部科学省, 2012 - 2014