鍋島 英知
ナベシマ ヒデトモ (Nabeshima Hidetomo)
更新日: 03/31
基本情報
- 所属
- 山梨大学 大学院 総合研究部 工学域電気電子情報工学系(コンピュータ理工学) 准教授
- 学位
-
博士(工学)(神戸大学)
- 研究者番号
- 10334848
- J-GLOBAL ID
- 200901066287044908
- researchmap会員ID
- 1000241497
- 外部リンク
研究キーワード
6経歴
4-
2009年1月
-
2007年4月 - 2008年12月
-
2003年4月 - 2007年3月
-
2001年4月 - 2003年3月
所属学協会
3受賞
6-
2013年5月
MISC
86-
人工知能学会全国大会論文集 2022(36) 4F3-OS-8b-02 2022年6月
-
人工知能学会全国大会論文集 2021(35) 2E4-OS-13c-02 2021年6月
-
人工知能基本問題研究会 112 6-11 2020年3月8日
-
コンピュータソフトウェア 35(4) 72-92 2018年11月 査読有り
-
情報処理 57(8) 724-729 2016年7月
-
情報処理 57(8) 704-709 2016年7月
-
SAT-Race 2015 (Austin, Texas, USA), September 24-27, 2015 2015年9月
-
Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki 2014 B-2014-2 35-36 2014年
-
コンピュータソフトウェア 29(4) 9-14 2012年10月 査読有り招待有り
-
人工知能基本問題研究会 85 69-74 2012年2月2日
-
人工知能基本問題研究会 85 95-99 2012年2月2日
-
人工知能学会全国大会論文集 26 1-4 2012年
-
人工知能学会全国大会論文集 26 1-4 2012年
-
人工知能基本問題研究会 84 37-42 2011年12月16日
-
人工知能基本問題研究会 81 7-12 2011年1月31日
-
人工知能基本問題研究会 81 1-6 2011年1月31日
-
人工知能学会全国大会論文集 25 1-4 2011年
-
人工知能学会全国大会論文集 25 1-4 2011年
-
人工知能学会全国大会論文集 25 1-4 2011年
-
コンピュータソフトウェア 28(4) 282-305 2011年
書籍等出版物
1-
コロナ社 2018年2月1日 (ISBN: 9784339018233)
講演・口頭発表等
13-
第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023) 2023年3月6日
-
第36回人工知能学会全国大会 2022年6月17日
-
第35回人工知能学会全国大会 2021年6月9日
-
第34回人工知能学会全国大会 2020年6月10日 人工知能学会
-
人工知能学会 第106回 人工知能基本問題研究会 2018年3月16日 人工知能学会
-
第31回人工知能学会全国大会 2017年5月23日 人工知能学会 招待有り
-
人工知能学会 第103回 人工知能基本問題研究会 2017年3月13日 人工知能学会
-
人工知能学会 第103回 人工知能基本問題研究会 2017年3月13日 人工知能学会
-
2016年度人工知能学会全国大会 2016年6月6日 人工知能学会 招待有り
-
第15回プログラミングおよびプログラミング言語ワークショップ 2013年3月5日
-
日本ソフトウェア科学会第28回大会 2011年9月29日 日本ソフトウェア科学会
-
人工知能基本問題研究会 SIG-FPAI-B004 2011年1月31日 人工知能学会
-
人工知能基本問題研究会 SIG-FPAI-B003 2010年11月17日 人工知能学会
論文
48-
Proceedings of SAT Competition 2022: Solver and Benchmark Descriptions 43-43 2023年8月 筆頭著者責任著者
-
13th Pragmatics of SAT international workshop 2022年8月 査読有り筆頭著者責任著者
-
2021年7月 査読有り
-
In Proceedings of the 23th International Conference Theory and Applications of Satisfiability Testing (SAT 2020), LNCS 12178 123-138 2020年6月26日 査読有り
-
人工知能学会論文誌 34(3) 1-16 2019年5月1日 査読有り責任著者
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10491 136-144 2017年 査読有り
-
情報処理 57(8) 702-703 2016年7月15日 査読有り
-
2016年度人工知能学会全国大会(第30回)論文集 2016年6月
-
人工知能基本問題研究会(第100回) 100 19-24 2016年3月
-
コンピュータ ソフトウェア 33(4) 16-29 2016年 査読有り
-
日本ソフトウェア科学会第32回大会 1-12 2015年9月
-
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E98D(6) 1121-1127 2015年6月 査読有り
-
Late Breaking Papers of the 25th International Conference on Inductive Logic Programming (ILP 2015) 1636 95-100 2015年 査読有り
-
DAシンポジウム2014論文集 215-220 2014年8月
-
FORMAL METHODS IN MACRO-BIOLOGY 8738 165-179 2014年 査読有り
-
MACHINE LEARNING 91(2) 239-277 2013年5月 査読有り
-
In: Ana Fred, Joaquim Filipe, and Hugo Gamboa (eds.), Biomedical Engineering Systems and Technologies: Revised Selected Papers from the 4th International Joint Conference (BIOSTEC 2011), Communications in Computer and Information Science 273 141-154 2013年1月 査読有り
-
Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI 987-995 2013年 査読有り
-
コンピュータソフトウェア 29(4) 146-160 2012年11月1日 査読有り
共同研究・競争的資金等の研究課題
15-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2020年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2017年4月 - 2020年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2016年4月 - 2019年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2014年4月 - 2017年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2012年4月 - 2015年3月
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2011年 - 2013年
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2008年 - 2011年
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2008年 - 2011年
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2007年 - 2009年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2005年 - 2007年
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2004年 - 2005年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2002年 - 2004年
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2002年 - 2003年
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2001年 - 2003年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2000年 - 2001年
学歴
1-
- 2001年3月