草刈 圭一朗
クサカリ ケイイチロウ (Keiichirou Kusakari)
更新日: 01/31
基本情報
- 所属
- 岐阜大学 工学部 電気電子・情報工学科 情報コース 教授
- 教育推進・学生支援機構 教授
- 工学研究科 教授
- 学位
-
博士(情報科学)(北陸先端科学技術大学院大学)
- J-GLOBAL ID
- 200901078391776889
- researchmap会員ID
- 1000365562
研究分野
1経歴
6-
2014年3月 - 現在
-
2014年3月
-
2007年4月 - 2014年2月
-
2006年4月 - 2007年3月
-
2003年4月 - 2006年3月
-
2000年4月 - 2003年3月
学歴
3-
1996年4月 - 2000年3月
-
1994年4月 - 1996年3月
-
1988年4月 - 1994年3月
委員歴
6-
2021年6月 - 現在
-
2014年 - 2018年
-
2006年5月 - 2012年5月
-
2009年4月 - 2011年3月
-
2006年5月 - 2010年5月
-
2004年5月 - 2006年5月
論文
39-
IEICE Transactions on Information and Systems E101D(6) 1491-1502 2018年6月1日 査読有り
-
Leibniz International Proceedings in Informatics, LIPIcs 62 8:1-8:16 2016年8月1日 査読有り
-
SCIENCE OF COMPUTER PROGRAMMING 111(1404.6245) 110-134 2015年11月 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8560 466-475 2014年 査読有り
-
In Proc. of the 13th International Workshop on Termination (WST2013) 74-78 2013年8月 査読有り
-
第15回プログラミングおよび言語ワークショップ(PPL2013) 2013年3月 査読有り
-
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E96D(3) 472-480 2013年3月 査読有り
-
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013 181-192 2013年 査読有り
-
IPSJ Transactions on Programming 5(2) 16-24 2012年3月 査読有り
-
IPSJ Transactions on Programming 4(4) 12-35 2011年9月 査読有り
-
IPSJ Transactions on Programming 4(2) 1-12 2011年3月 査読有り
-
コンピュータソフトウェア 28(1) 173-189 2011年2月 査読有り
-
Information and Media Technologies 6(4) 1185-1208 2011年
-
IEICE Transactions on Information and Systems J93-D(1) 1-9 2010年1月 査読有り
-
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E92D(10) 2007-2015 2009年10月 査読有り
-
IPSJ Transactions on Programming 2(3) 20-32 2009年7月 査読有り
-
情報処理学会論文誌 プログラミング 2(2) 80-96 2009年3月 査読有り
-
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E92D(2) 235-247 2009年2月 査読有り
-
Information and Media Technologies 4(4) 802-814 2009年
MISC
75-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113(489) 31-36 2014年3月11日
-
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113(160) 73-78 2013年7月25日
-
電子情報通信学会技術研究報告 : 信学技報 112(458) 109-114 2013年3月6日
-
電子情報通信学会技術研究報告 : 信学技報 112(373) 25-30 2013年1月10日
-
電子情報通信学会技術研究報告 : 信学技報 112(373) 7-12 2013年1月10日
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 112(275) 7-12 2012年10月25日
-
研究報告ソフトウェア工学（SE） 2012(2) 1-6 2012年10月25日
-
電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 112(165) 103-108 2012年7月20日
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 112(23) 43-48 2012年5月3日
-
電子情報通信学会技術研究報告 : 信学技報 111(405) 57-62 2012年1月26日
-
電子情報通信学会技術研究報告 : 信学技報 111(405) 45-49 2012年1月26日
-
電子情報通信学会技術研究報告 : 信学技報 111(405) 51-56 2012年1月26日
-
電子情報通信学会技術研究報告. MSS, システム数理と応用 : IEICE technical report 111(405) 39-44 2012年1月19日
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 111(268) 67-72 2011年10月20日
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 110(458) 61-66 2011年2月28日
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 110(336) 31-36 2010年12月7日
-
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 110(227) 55-60 2010年10月7日
-
信学技報 SS2010-36 110(227) 49-54 2010年10月
-
平成22年度電気関係学会東海支部連合大会論文集 (D3-6) 1 2010年8月
-
平成22年度電気関係学会東海支部連合大会論文集 (D3-5) 1 2010年8月
担当経験のある科目(授業)
10共同研究・競争的資金等の研究課題
10-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2012年4月 - 2017年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2008年4月 - 2011年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2006年 - 2009年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2004年 - 2007年
-
日本学術振興会 科学研究費助成事業 萌芽研究 2004年 - 2006年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2003年 - 2005年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2002年 - 2005年
-
日本学術振興会 科学研究費助成事業 特定領域研究 2002年 - 2002年
-
日本学術振興会 科学研究費助成事業 特定領域研究(C) 2001年 - 2001年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 1998年 - 2001年
社会貢献活動
1