Takehide Soh
(宋 剛秀)
Modified on: 11/05
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
16Papers
94-
Proceedings of the International Symposium on Combinatorial Search, 17 285-286, Jun 1, 2024
-
Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 163-174, Mar, 2023 Peer-reviewedLead author
-
2023 Peer-reviewedLead authorCorresponding author
-
CPAIOR, 167-183, 2023 Peer-reviewed
-
CoRR, abs/2207.13959, Dec, 2022 Peer-reviewed
-
CoRR, abs/2208.02495, Sep, 2022
-
情報処理学会第84回全国大会講演論文集, Mar, 2022
-
情報処理学会第84回全国大会講演論文集, Mar, 2022
-
情報処理学会 研究報告アルゴリズム（AL）, 2022-AL-186(5) 1-7, Jan, 2022
-
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
Misc.
49-
CoRR, abs/2403.07885 11p., May 18, 2024
-
日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2022, 2022
-
日本ソフトウェア科学会第38回大会ポスター発表, Sep, 2021
-
日本ソフトウェア科学会第38回大会ポスター発表, Sep, 2021
-
日本ソフトウェア科学会第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
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
11-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2022 - Mar, 2025
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2021 - Mar, 2024
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Transformative Research Areas (B), Japan Society for the Promotion of Science, Oct, 2020 - Mar, 2023
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, 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
-
科学研究費助成事業, 特別研究員奨励費, 日本学術振興会, 2010 - 2011
Education
1
There are no coauthors to display.
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} Updated