研究者
J-GLOBAL ID:200901034097423962
更新日: 2021年10月09日
桑原 寛明
クワバラ ヒロアキ | Kuwabara Hiroaki
この研究者にコンタクトする
直接研究者へメールで問い合わせることができます。
所属機関・部署:
南山大学 理工学部
南山大学 理工学部 について
「南山大学 理工学部」ですべてを検索
機関情報を見る
職名:
准教授
ホームページURL (1件):
http://sst.se.nanzan-u.ac.jp/kuwabara/index-ja.html
研究分野 (1件):
ソフトウェア
研究キーワード (5件):
並行計算モデル
, 情報流解析
, 型システム
, プログラム解析
, ソフトウェア工学
競争的資金等の研究課題 (5件):
2018 - 2021 仮想開発者によるソフトウェア自動修正と進化推薦
2017 - 2020 情報流解析による安全性検証に基づく実用的なソフトウェア開発支援
2012 - 2015 情報流解析と型エラースライシングに基づくソフトウェアの安全性検証と開発支援
2009 - 2012 ソフトウェア変更が安全性に与える影響の解明
2006 - 2009 新世代プロセッサのためのコンパイラと実行時システムによる多角的多目的最適化
論文 (29件):
長谷川 健太, 桑原 寛明, 國枝 義敏. Java Stream APIによるストリーム操作の停止性検査のための型システム. コンピュータソフトウェア. 2020. 37. 2. 59-75
桑原 寛明, 國枝 義敏. 情報流解析における制約付き機密度パラメータ. コンピュータソフトェア. 2019. 36. 4. 39-45
蜂巣 吉成, 吉田 敦, 桑原 寛明, 阿草 清滋. WebベースのC言語プログラミング学習環境のための入力フォーム自動生成方法の提案. コンピュータソフトェア. 2019. 36. 4. 18-24
吉田 真也, 桑原 寛明, 國枝 義敏. オブジェクト指向言語の情報流解析における機密度のパラメータ化. コンピュータソフトウェア. 2019. 36. 1. 48-65
蜂巣 吉成, 吉田 敦, 桑原 寛明, 阿草 清滋. プログラミング学習用プルーフリーダの試作. コンピュータソフトウェア. 2018. 35. 4. 129-135
もっと見る
書籍 (2件):
プログラミングのための計算機科学入門〔II〕
オーム社 2014 ISBN:9784274216190
プログラミングのための計算機科学入門[II]
昭晃堂 2009 ISBN:9784785631673
講演・口頭発表等 (75件):
プログラミング学習者の編集途中のソースコードに対するフィードバック方法の提案
(ソフトウェア工学の基礎 XXVI (ポスター) 2019)
機密度パラメータ付き情報流解析のための型検査アルゴリズムとJavaアノテーション
(ソフトウェア工学の基礎 XXVI (pp.109-114) 2019)
ポインタ型の仮引数を持つ関数の呼出しに対するプログラミング学習支援ツールの提案
(ソフトウェア工学の基礎 XXVI (pp.103-108) 2019)
プログラミング演習における個別指導のためのコーディング状況把握方法の提案
(情報処理学会研究報告 (Vol.2019-CE-151,No.6,pp.1-8) 2019)
Stream APIを利用するJavaプログラムにおけるストリーム再利用の静的検出手法
(情報処理学会研究報告 (Vol.2019-SE-201,No.4,pp.1-8) 2019)
もっと見る
学歴 (3件):
- 2006 名古屋大学 大学院情報科学研究科 情報システム学専攻
- 2003 名古屋大学 大学院工学研究科 計算理工学専攻
- 2001 名古屋大学 工学部 電気電子情報工学科
学位 (1件):
博士(情報科学) (名古屋大学)
経歴 (3件):
2021/04 - 現在 南山大学 理工学部 電子情報工学科 准教授
2016/04 - 2021/03 南山大学 情報センター 講師
- 2016/03 立命館大学 情報理工学部情報システム学科 助教
委員歴 (12件):
2021 - FOSE2021 プログラム委員
2021 - SES2021 プログラム委員
2014/04 - 2020/03 電子情報通信学会 ソフトウェアサイエンス研究会 専門委員
2020 - FOSE2020 プログラム委員
2020 - SES2020 プログラム委員
2019 - FOSE2019 プログラム委員
2019 - SES2019 プログラム委員
2018 - FOSE2018 プログラム委員
2018 - SES2018 プログラム委員
2017 - SES2017 プログラム委員
2016 - ER2016 Student Volunteer Chair
2012/11 - 2013/11 電子情報通信学会 ソフトウェア基礎・応用特集号(和文論文誌D)編集委員
全件表示
受賞 (5件):
2017/03 - 情報処理学会 山下記念研究賞
2015/09 - 情報処理学会 ソフトウェアエンジニアリングシンポジウム2015最優秀論文賞
2013/11 - IEEE Computer Society Japan Chapter FOSE Young Researcher Award
2009/11 - ソフトウェア工学の基礎研究会 貢献賞
2009/03 - 情報処理学会 大会奨励賞
所属学会 (3件):
IEEE
, 日本ソフトウェア科学会
, 情報処理学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM