宋 剛秀
ソウ タケヒデ (Takehide Soh)
更新日: 02/01
基本情報
- 所属
- 神戸大学 情報基盤センター 准教授
- 学術情報処理研究部門
- 学位
-
博士（情報学）(総合研究大学院大学)
- 研究者番号
- 00625121
- J-GLOBAL ID
- 201101020046215696
- researchmap会員ID
- B000000429
- 外部リンク
神戸大学 情報基盤センター 准教授．博士（情報学)．
SAT問題を含む制約充足問題の研究およびシステム生物学への応用に従事．
ResearchMap の情報は最新でないことがあります．
最新の情報・詳細は以下のURLをご覧ください．
http://tsoh.org/jp/
SAT問題を含む制約充足問題の研究およびシステム生物学への応用に従事．
ResearchMap の情報は最新でないことがあります．
最新の情報・詳細は以下のURLをご覧ください．
http://tsoh.org/jp/
研究キーワード
15受賞
16論文
92-
Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies 163-174 2023年3月 査読有り筆頭著者
-
CPAIOR 167-183 2023年 査読有り
-
CoRR abs/2207.13959 2022年12月
-
CoRR abs/2208.02495 2022年9月
-
情報処理学会第84回全国大会講演論文集 2022年3月
-
情報処理学会第84回全国大会講演論文集 2022年3月
-
情報処理学会 研究報告アルゴリズム（AL） 2022-AL-186(5) 1-7 2022年1月
-
Pragmatics of SAT 2021 2021年7月 査読有り筆頭著者
-
人工知能基本問題研究会 112 6-11 2020年3月8日
-
人工知能学会全国大会論文集 2020 2N5OS17b05-2N5OS17b05 2020年
-
人工知能学会研究会資料 SIG-FPAI-B803 6-11 2019年3月
-
Solver Descriptions of XCSP3 Competition 2019 (XCSP19) 1-2 2019年
-
Annals OR 275(1) 3-37 2019年 査読有り
-
Annals OR 275(1) 3-37 2019年 査読有り
-
人工知能学会全国大会論文集 2019 1E2OS3a03-1E2OS3a03 2019年
-
情報処理学会論文誌 59(9) 1749-1760 2018年9月15日
-
コンピュータソフトウェア = Computer software 35(3) 65-78 2018年8月 査読有り
-
Solver Descriptions of XCSP3 Competition 2018 (XCSP18) 1-2 2018年
MISC
47-
日本ソフトウェア科学会第38回大会ポスター発表 2021年9月
-
日本ソフトウェア科学会第38回大会ポスター発表 2021年9月
-
日本ソフトウェア科学会第37回大会ポスター発表 2020年9月
-
情報処理 57(8) 710-715 2016年7月15日
-
人工知能学会人工知能基本問題研究会資料 97th 65-73 2015年3月18日
-
人工知能学会全国大会論文集 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 2014年9月7日
-
日本ソフトウェア科学会大会論文集 31 217-231 2014年9月7日
-
人工知能学会全国大会論文集 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年
-
人工知能学会全国大会論文集 2014 1D5OS11b6i-1D5OS11b6i 2014年
-
Lect Notes Comput Sci 8761 684-693 2014年
-
日本ソフトウェア科学会大会論文集 30 79-92 2013年9月10日
経歴
2-
2019年4月 - 現在
-
2012年4月
所属学協会
4講演・口頭発表等
22-
第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) 2020年 日本ソフトウェア科学会 プログラミング論研究会
-
第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) 2020年 日本ソフトウェア科学会 プログラミング論研究会
-
日本ソフトウェア科学会第35回大会 2018年8月
-
日本ソフトウェア科学会第35回大会 2018年8月
-
The 28th International Conference on Automated Planning and Scheduling, (ICAPS 2018) 2018年6月
-
DAシンポジウム2017 2017年8月 情報処理学会システムとLSIの設計技術研究会
-
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) 2017年3月 日本ソフトウェア科学会 プログラミング論研究会
-
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) 2017年3月 日本ソフトウェア科学会 プログラミング論研究会
-
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) 2017年3月 日本ソフトウェア科学会 プログラミング論研究会
-
DAシンポジウム2016 2016年9月 情報処理学会 システムとLSIの設計技術研究会（SLDM）
-
第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016) 2016年3月 日本ソフトウェア科学会プログラミング論研究会
-
人工知能学会 第9回AIツール入門講座 2015年12月 人工知能学会 招待有り
-
第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015) 2015年3月 日本ソフトウェア科学会プログラミング論研究会
-
第16回プログラミングおよびプログラミング言語ワークショップ 2014年3月 日本ソフトウェア科学会プログラミング論研究会
-
日本ソフトウェア科学会第30回大会 2013年9月 日本ソフトウェア科学会
-
日本ソフトウェア科学会第30回大会 2013年9月 日本ソフトウェア科学会
-
The 4th International Workshop on Pragmatics of SAT 2013年7月 PoS
-
The 4th International Workshop on Pragmatics of SAT 2013年7月 PoS
-
The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013), Combined tool demo and poster session 2013年7月 SAT
-
2013年度人工知能学会全国大会 2013年6月 人工知能学会
担当経験のある科目(授業)
11共同研究・競争的資金等の研究課題
11-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2022年4月 - 2025年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2021年4月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 学術変革領域研究(B) 2020年10月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2020年4月 - 2023年3月
-
学術研究助成基金助成金／基盤研究(C) 2018年4月 - 2021年3月
-
学術研究助成基金助成金／若手研究(B) 2016年4月 - 2019年3月
-
科学研究費補助金／基盤研究(B) 2016年4月 - 2019年3月
-
学術研究助成基金助成金／基盤研究(C) 2015年4月 - 2018年3月
-
文部科学省 科学研究費補助金(若手研究(B)) 2013年 - 2015年
-
文部科学省 科学研究費補助金(基盤研究(B)) 2012年 - 2014年
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2010年 - 2011年
学歴
1-
- 2011年9月