越村 三幸
コシムラ ミユキ (Miyuki Koshimura)
更新日: 03/09
基本情報
- 所属
- 九州大学 大学院システム情報科学研究院 助教
- 学位
-
博士(工学)(九州大学)
- J-GLOBAL ID
- 200901040886102704
- researchmap会員ID
- 1000184583
- 外部リンク
研究キーワード
5研究分野
1経歴
9-
2020年4月 - 現在
-
2007年 - 現在
-
2015年4月 - 2024年2月
-
2015年9月 - 2017年3月
-
2010年4月 - 2016年3月
-
2000年 - 2007年
-
1996年 - 2000年
-
1995年 - 1996年
-
1986年 - 1990年
学歴
4-
- 1986年
-
- 1986年
-
- 1984年
-
- 1984年
委員歴
1-
2014年4月 - 2016年3月
受賞
1-
2007年
主要な論文
79-
人工知能学会論文誌 39(2) B-N64_1 2024年3月1日 査読有り
-
Constraints An Int. J. 27(1) 99-115 2022年4月 査読有り筆頭著者
-
Constraints An Int. J. 24(2) 133-161 2019年 査読有り
-
Constraints An Int. J. 24(1) 25-55 2019年 査読有り
-
2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI) 9-17 2013年 査読有り
-
Journal on Satisfiability, Boolean Modeling and Computation 8 95-100 2012年1月 査読有り筆頭著者
-
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E93D(8) 2316-2318 2010年8月 査読有り
-
International Workshops on First-Order Theorem Proving (FTP) 49-59 2009年7月 査読有り
MISC
89-
人工知能学会全国大会論文集(Web) 38th 2024年
-
スケジューリング・シンポジウム 2022 講演論文集 2022年9月 筆頭著者責任著者
-
2020年度 人工知能学会全国大会（第34回） 2020年6月 筆頭著者
-
2019年度 人工知能学会全国大会（第33回） 2019年6月 筆頭著者
-
人工知能学会全国大会論文集(Web) 33rd 2019年
-
人工知能基本問題研究会 106 31-36 2018年3月16日
-
日本ソフトウェア科学会大会論文集 34 121-126 2017年9月18日
-
第79回全国大会講演論文集 2017(1) 39-40 2017年3月16日
-
人工知能基本問題研究会 103 12-17 2017年3月13日
-
日本ソフトウェア科学会大会講演論文集(CD-ROM) 34th 2017年
-
人工知能学会全国大会論文集 2017 1M31-1M31 2017年
-
情報処理 57(8) 716-719 2016年7月 査読有り招待有り
-
情報処理 57(8) 730-733 2016年7月 査読有り招待有り
-
人工知能基本問題研究会 99 23-27 2016年1月21日
-
人工知能基本問題研究会 97 85-90 2015年3月22日
-
人工知能基本問題研究会 97 74-79 2015年3月22日
-
人工知能基本問題研究会 94 7-10 2014年7月24日
-
研究報告デジタルドキュメント（DD） 2013(4) 1-6 2013年2月21日
-
研究報告情報基礎とアクセス技術（IFAT） 2013(4) 1-6 2013年2月21日
-
人工知能学会全国大会論文集 27 1-4 2013年
書籍等出版物
1-
2024年12月 (ISBN: 9781394249787)
主要な講演・口頭発表等
14-
FIT2025（第24回情報科学技術フォーラム） 2025年9月4日
-
情報処理学会第86回全国大会 2024年3月17日
-
スケジューリング・シンポジウム2022 2022年9月
-
2020年度 人工知能学会全国大会（第34回） 2020年6月
担当経験のある科目(授業)
58所属学協会
4共同研究・競争的資金等の研究課題
18-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2025年4月 - 2028年3月
-
株式会社 豊田自動織機 2023年8月 - 2026年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2019年4月 - 2023年3月
-
科学研究費補助金 基盤研究（C） 2017年4月 - 2020年3月
-
科学研究費補助金 基盤研究（C） 2016年4月 - 2019年3月
-
科学研究費補助金 基盤研究（C） 2013年4月 - 2016年3月
-
科学研究費補助金 基盤研究（C） 2013年4月 - 2016年3月
-
科学研究費補助金 萌芽研究 2010年4月 - 2013年3月
-
科学研究費補助金 基盤研究（B） 2009年4月 - 2013年3月
-
科学研究費補助金 基盤研究（C） 2009年4月 - 2012年3月
-
科学研究費補助金 基盤研究（B） 2009年4月 - 2012年3月
-
科学研究費補助金 基盤研究（A） 2008年4月 - 2012年3月
-
科学研究費補助金 基盤研究（A） 2003年4月 - 2006年3月
-
科学研究費補助金 萌芽研究 2002年4月 - 2005年3月
-
科学研究費補助金 基盤研究（C） 2002年4月 - 2005年3月
-
科学研究費補助金 国際学術研究 1997年4月 - 1999年3月
-
科学研究費補助金 基盤研究（B） 1996年4月 - 1999年3月