研究者詳細

教職員基本情報
氏名
Name
桒原 寛明 ( クワバラ ヒロアキ , KUWABARA Hiroaki )
所属
Organization
情報センター情報センター
職名
Academic Title
講師
個人または研究室WebページURL
URL
http://sst.se.nanzan-u.ac.jp/kuwabara/index-ja.html
専攻分野
Area of specialization

ソフトウェア工学

学会活動
Academic societies

情報処理学会会員 (2003.09-)
日本ソフトウェア科学会会員 (2005.11-)
電子情報通信学会 ソフトウェア基礎・応用特集号(和文論文誌 D)編集委員 (2012.11-2013.11)
IEEE会員 (2013.11-)
電子情報通信学会 ソフトウェアサイエンス研究会 専門委員 (2014.04-)


出身学校
学校名
Univ.
卒業年月(日)
Date of Graduation
卒業区分
Graduation
   Classification2
名古屋大学工学部電気電子・情報工学科 2001年03月  卒業 
詳細表示
出身大学院
大学院名
Grad. School
修了課程
Courses
   Completed
修了年月(日)
Date of Completion
修了区分
Completion
   Classification
名古屋大学大学院情報科学研究科情報システム学専攻 博士後期課程  2006年03月  単位取得満期退学 
名古屋大学大学院工学研究科計算理工学専攻 博士前期課程  2003年03月  修了 
詳細表示
取得学位
 
学位区分
Degree
   Classification
取得学位名
Degree name
学位論文名
Title of Thesis
学位授与機関
Organization
   Conferring the Degree
取得年月(日)
Date of Acquisition
博士 博士(情報科学)  通信プロセスモデルに対する時間拡張と実時間ソフトウェア開発への応用  名古屋大学大学院  2007年03月23日 
詳細表示
研究経歴
長期研究/短期研究
Long or Short
   Term research
研究課題名
Research Topic
長期研究  形式手法に基づくソフトウェア開発支援 

概要(Abstract) ソフトウェアが望ましい性質を持っていること、あるいは望ましくない性質を持っていないことを数理的技法を用いて証明する技術と、その結果に基づいてソフトウェアの修正や改善を支援する技術について研究する。 

短期研究  情報流解析に基づくソフトウェアの安全性検証と開発支援 

概要(Abstract) プログラムが扱う機密データや機密データを推測できる情報がプログラムの外部に流出しないことを検査する情報流解析の技術と、検査を通過しなかったプログラムの修正を支援する技術について研究する。 

詳細表示
著書
年度
Year
著書名
Title of the books
著書形態
Form of Book
NeoCILIUS
   請求番号/資料ID
Request No
出版機関名 Publishing organization,判型 Book Size,頁数 No. of pp.,発行年月(日) Date
2014  プログラミングのための計算機科学入門〔II〕 -巣立つための体系的知識-  共著   
オーム社  , A5  , 152 p.  , 2014/09   

概要(Abstract)  

備考(Remarks)  

2009  プログラミングのための計算機科学入門〔II〕 -巣立つための体系的知識-  共著   
昭晃堂  , A5  , 146 p.  , 2009/09   

概要(Abstract)  

備考(Remarks)  

詳細表示
学術論文
年度
Year
論文題目名
Title of the articles
共著区分
Collaboration
   Classification
NeoCILIUS
   請求番号/資料ID
Request No
掲載誌名 Journal name,出版機関名 Publishing organization,巻/号 Vol./no.,頁数 Page nos.,発行年月(日) Date
2018  オブジェクト指向言語の情報流解析における機密度のパラメータ化  共著   
コンピュータソフトウェア  , 日本ソフトウェア科学会  , Vol.36/No.1  , pp.48-65  , 2019/02   

概要(Abstract)  

備考(Remarks) 吉田 真也,桑原 寛明,國枝 義敏 

2018  プログラミング学習用プルーフリーダの試作  共著   
コンピュータソフトウェア  , 日本ソフトウェア科学会  , Vol.35/No.4  , pp.129-135  , 2018/11   

概要(Abstract)  

備考(Remarks) 蜂巣 吉成,吉田 敦,桑原 寛明,阿草 清滋 

2018  情報流解析における制約付き機密度パラメータ  共著   
ソフトウェア工学の基礎 XXV  , pp.85-90  , 2018/11   

概要(Abstract)  

備考(Remarks) 桑原 寛明,國枝 義敏 

2018  Java Stream API によるストリーム操作の停止性検査のための型システム  共著   
ソフトウェア工学の基礎 XXV  , pp.75-84  , 2018/11   

概要(Abstract)  

備考(Remarks) 長谷川 健太,桑原 寛明,國枝 義敏 

2018  字句列の共通性に基づく例外処理条件文の抽出手法の提案  共著   
ソフトウェアエンジニアリングシンポジウム2018論文集  , 情報処理学会  , pp.15-23  , 2018/09   

概要(Abstract)  

備考(Remarks) 吉田 敦,加藤 大貴,蜂巣 吉成,桑原 寛明,阿草 清滋 

2018  プログラミング演習における構文要素の種類毎のビューによるコーディング状況把握方法の提案  共著   
情報教育シンポジウム (SSS 2018)  , 情報処理学会  , 2018/08   

概要(Abstract)  

備考(Remarks) 石元 慎太郎,蜂巣 吉成,吉田 敦,桑原 寛明,阿草 清滋 

2018  プログラミング学習における構文図式を用いた構文理解支援方法の提案  共著   
情報教育シンポジウム (SSS 2018)  , 情報処理学会  , 2018/08   

概要(Abstract)  

備考(Remarks) 安達 有希,蜂巣 吉成,吉田 敦,桑原 寛明,阿草 清滋 

2017  情報流解析のためのJavaアノテーション  共著   
コンピュータソフトウェア  , 日本ソフトウェア科学会  , Vol.34/No.4  , pp.47-53  , 2017/11   

概要(Abstract)  

備考(Remarks) 吉田 真也,桑原 寛明,國枝 義敏 

2017  オブジェクト指向言語の情報流解析における機密度のパラメータ化  共著   
ソフトウェア工学の基礎 XXIV  , pp.83-92  , 2017/11   

概要(Abstract)  

備考(Remarks) 吉田 真也,桑原 寛明,國枝 義敏 

2017  プログラミング演習用プルーフリーダの試作  共著   
ソフトウェア工学の基礎 XXIV  , pp.53-62  , 2017/11   

概要(Abstract)  

備考(Remarks) 蜂巣 吉成,吉田 敦,桑原 寛明,阿草 清滋 

詳細表示
学術関係受賞
年度
Year
受賞学術賞名
Name of award
受賞対象となった研究/業績/活動等
Activity for which award given
受賞年月(日)
Date
授与機関
Award presenter
2016  山下記念研究賞  ソースコードの静的検査における警告の版間追跡ツール  2017年03月 
情報処理学会 

備考(Remarks)  

2015  最優秀論文賞  ソースコードの静的検査における警告の版間追跡ツール  2015年09月 
情報処理学会ソフトウェア工学研究会 

備考(Remarks)  

2013  IEEE Computer Society Japan Chapter FOSE Young Researcher Award  情報流解析におけるDeclassifierの配置手法  2013年11月 
日本ソフトウェア科学会ソフトウェア工学の基礎研究会 

備考(Remarks)  

2009  貢献賞  型検査に基づく情報流解析における型エラースライシング  2009年11月 
日本ソフトウェア科学会ソフトウェア工学の基礎研究会 

備考(Remarks)  

2008  大会奨励賞  静的解析情報を利用したセキュアシステムの侵入検知精度向上  2009年03月 
情報処理学会 

備考(Remarks)  

詳細表示
研究発表
年度
Year
題目又はセッション名
Title or Name of Session
細目
Authorship
発表年月(日)
Date
発表学会等名称 Name, etc. of the conference at which the presentation is to be given, 主催者名称 Organizer, 掲載雑誌名等 Publishing Magazine,発行所 Publisher,巻/号 Vol./no.,頁数 Page nos.
2018  ライブラリ進化への追随のためのソフトウェア修正の共有手法の提案  共同  2019/03 
ソフトウェアサイエンス研究会  , 電子情報通信学会  , 電子情報通信学会技術研究報告  , Vol.118, No.471 (SS2018-78)  , pp.157-162   

概要(Abstract)  

備考(Remarks) 渥美 紀寿,桑原 寛明 

2018  Stream APIを利用するJavaプログラムにおけるストリーム再利用の静的検出手法  共同  2019/03 
ソフトウェア工学研究会  , 情報処理学会  , 情報処理学会研究報告  , Vol.2019-SE-201, No.4  , pp.1-8   

概要(Abstract)  

備考(Remarks) 荒木 良仁,桑原 寛明,國枝 義敏 

2018  記述の共通性に着目したプログラムのダイジェスト化手法の提案  共同  2018/11 
第25回ソフトウェア工学の基礎ワークショップ (FOSE2018)  , ソフトウェア工学の基礎 XXV  , pp.155-156   

概要(Abstract)  

備考(Remarks) 加藤 宗一郎,吉田 敦,蜂巣 吉成,桑原 寛明
(ポスター発表) 

2017  JavaのStream APIによるストリーム操作の停止性を検査する型システム  共同  2018/03 
第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018)   

概要(Abstract)  

備考(Remarks) 長谷川 健太,吉田 真也,桑原 寛明,上原 哲太郎,國枝 義敏
(ポスター発表) 

2017  APIに対する例外処理の共通的特徴に基づくコード例の推薦手法の提案  共同  2017/11 
第24回ソフトウェア工学の基礎ワークショップ (FOSE2017)   

概要(Abstract)  

備考(Remarks) 加藤 大貴,吉田 敦,蜂巣 吉成,桑原 寛明,阿草 清滋
(ポスター発表) 

2017  Java Stream API によるストリーム操作の停止性検査のための型システム  共同  2017/11 
第24回ソフトウェア工学の基礎ワークショップ (FOSE2017)   

概要(Abstract)  

備考(Remarks) 長谷川 健太,吉田 真也,桑原 寛明,上原 哲太郎,國枝 義敏
(ポスター発表) 

2017  グラフDBを用いたプログラム解析の実現に向けて  共同  2017/11 
第24回ソフトウェア工学の基礎ワークショップ (FOSE2017)   

概要(Abstract)  

備考(Remarks) 内西 功一,桑原 寛明,國枝 義敏
(ポスター発表) 

2017  料理の仕上がり温度を考慮した調理工程の動的スケジューリング手法  共同  2017/09 
メディアエクスペリエンス・バーチャル環境基礎研究会  , 電子情報通信学会  , 電子情報通信学会技術研究報告  , Vol.117, No.217 (MVE2017-21)  , pp.37-41   

概要(Abstract)  

備考(Remarks) 栢原 悠樹,桑原 寛明,國枝 義敏 

2016  ファイルへの入出力に基づく実行履歴の構造化手法の提案  共同  2017/03 
ソフトウェア工学研究会  , 情報処理学会  , 情報処理学会研究報告  , Vol.2017-SE-195, No.24  , pp.1-8   

概要(Abstract)  

備考(Remarks) 加藤 宗一郎,吉田 敦,蜂巣 吉成,桑原 寛明,阿草 清滋 

2016  GPGPU によるレインボーテーブル生成の高速化  共同  2016/10 
コンピュータセキュリティシンポジウム2016  , コンピュータセキュリティシンポジウム2016(CSS2016)論文集  , pp.1260-1267   

概要(Abstract)  

備考(Remarks) 兼松 卓也,桑原 寛明,上原 哲太郎,國枝 義敏 

詳細表示
研究助成
年度
Year
助成名称または科学研究費補助金研究種目名
Name of grant or research classification for scientific research funding
研究題目
Research Title
役割(代表/非代表)
Role
助成団体
Granting body
助成金額
Grant amount
2018  科学研究費補助金  仮想開発者によるソフトウェア自動修正と進化推薦 
研究分担者  日本学術振興会   

研究内容(Research Content)  

備考(Remarks)  

2018  科学研究費補助金  情報流解析による安全性検証に基づく実用的なソフトウェア開発支援 
研究代表者  日本学術振興会   

研究内容(Research Content)  

備考(Remarks)  

2018  南山大学パッヘ研究奨励金I-A-2  Java Stream APIを用いたストリーム操作の正当性の検査手法 
     

研究内容(Research Content)  

備考(Remarks)  

2017  科学研究費補助金  情報流解析による安全性検証に基づく実用的なソフトウェア開発支援 
研究代表者  日本学術振興会   

研究内容(Research Content)  

備考(Remarks)  

2017  南山大学パッヘ研究奨励金I-A-2  総称型を含むプログラムにおける情報流の解析手法 
     

研究内容(Research Content)  

備考(Remarks)  

2016  南山大学パッヘ研究奨励金I-A-2  情報流解析のためのプログラミング言語機構 
     

研究内容(Research Content)  

備考(Remarks)  

2014  科学研究費補助金  情報流解析と型エラースライシングに基づくソフトウェアの安全性検証と開発支援 
研究代表者  日本学術振興会   

研究内容(Research Content)  

備考(Remarks)  

2013  科学研究費補助金  情報流解析と型エラースライシングに基づくソフトウェアの安全性検証と開発支援 
研究代表者  日本学術振興会   

研究内容(Research Content)  

備考(Remarks)  

2012  科学研究費補助金  情報流解析と型エラースライシングに基づくソフトウェアの安全性検証と開発支援 
研究代表者  日本学術振興会   

研究内容(Research Content)  

備考(Remarks)  

2011  科学研究費補助金  ソフトウェア変更が安全性に与える影響の解明 
連携研究者  日本学術振興会   

研究内容(Research Content)  

備考(Remarks)  

詳細表示
著書・学術論文に関する統計情報
年度
Academic Year
学術研究著書の件数
No. of Academic Books
学会誌・国際会議議事録等に掲載された学術論文の件数
No. of Academic Articles in Journals/Int'l Conference Papers
学内的な紀要等に掲載された学術論文の件数
No. of Academic Articles Pub'd in University Bulletins
学会受賞等の受賞件数
No. of Academic Awards Received
国際学会でのゲストスピーカーの件数
No. of Times as Guest Speaker at Int'l Academic Conferences
国際学会での研究発表の件数
No. of Presentations of Papers at Int'l Academic Conferences
国内学会でのゲストスピーカーの件数
No. of Times as Guest Speaker at National Academic Conf.
国内学会での研究発表の件数
No. of Papers Presented at National Academic Conf.
2018 
2017 
2016 
2015 
2014 
2013 
2012 
2011 
2010 
2009 
詳細表示

2019/07/10 更新