発表論文など

論文

澤田 侑希，梅田 祐一郎，蜂巣 吉成，吉田 敦，桑原 寛明．
プログラミング演習におけるセグメントを用いた ソースコードの誤り範囲特定方法の提案．
コンピュータソフトウェア，Vol.40，No.4，pp.29-36，2023． (PDF) (DOI)

蜂巣 吉成，東 直希，三上 比呂，長野 滉大，吉田 敦，桑原 寛明．
複数のプログラミング言語の文法知識に起因する制御文の誤りの自動修正ツールの試作．
コンピュータソフトウェア，Vol.39，No.4，pp.38-48，2022． (PDF) (DOI)

桑原 寛明．
情報流解析における機密度ワイルドカードの提案．
コンピュータソフトウェア，Vol.38，No.4，pp.40-45，2021． (PDF) (DOI)

長谷川 健太，桑原 寛明，國枝 義敏．
Java Stream APIによるストリーム操作の停止性検査のための型システム．
コンピュータソフトウェア，Vol.37，No.2，pp.59-75，2020． (PDF)

桑原 寛明，國枝 義敏．
情報流解析における制約付き機密度パラメータ．
コンピュータソフトウェア，Vol.36，No.4，pp.39-45，2019． (PDF)

蜂巣 吉成，吉田 敦，桑原 寛明，阿草 清滋．
WebベースのC言語プログラミング学習環境のための入力フォーム自動生成方法の提案．
コンピュータソフトウェア，Vol.36，No.4，pp.18-24，2019． (PDF)

吉田 真也，桑原 寛明，國枝 義敏．
オブジェクト指向言語の情報流解析における機密度のパラメータ化．
コンピュータソフトウェア，Vol.36，No.1，pp.48-65，2019． (PDF)

蜂巣 吉成，吉田 敦，桑原 寛明，阿草 清滋．
プログラミング学習用プルーフリーダの試作．
コンピュータソフトウェア，Vol.35，No.4，pp.129-135，2018． (PDF)

吉田 真也，桑原 寛明，國枝 義敏．
情報流解析のためのJavaアノテーション．
コンピュータソフトウェア，Vol.34，No.4，pp.47-53，2017． (PDF)

桑原 寛明，國枝 義敏．
任意の機密度束を用いた情報流解析における非機密化プリミティブの配置．
コンピュータソフトウェア，Vol.34，No.2，pp.28-38，2017． (PDF)

渥美 紀寿，桑原 寛明．
MAFP: ソースコードに対する静的検査における警告の管理ツール．
コンピュータソフトウェア，Vol.33，No.4，pp.50-66，2016． (PDF)

桑原 寛明，國枝 義敏．
情報流解析におけるDeclassifierの配置手法．
コンピュータソフトウェア，Vol.32，No.1，pp.136-146，2015． (PDF)

Takayuki Omori, Hiroaki Kuwabara and Katsuhisa Maruyama.
Improving code completion based on repetitive code completion operations.
コンピュータソフトウェア，Vol.32，No.1，pp.120-135，2015． (PDF)

桑原 寛明，大森 隆行．
編集操作履歴の再生における粗粒度な再生単位．
コンピュータソフトウェア，Vol.30，No.4，pp.61-66，2013． (PDF)

プンザラン フロレンシオ ラスティ，山下 義陽，川端 真成， 嶋吉 隆夫，桑原 寛明，國枝 義敏，天野 晃．
形式的に記述された PDE 解法スキームに基づく分布定数系生体機能モデルシミュレーションコード生成システム．
生体医工学，Vol.50，No.6，pp.666-674，2012． (PDF)

Florencio Rusty Punzalan, Yoshiharu Yamashita, Naoki Soejima, Masanari Kawabata, Takao Shimayoshi, Hiroaki Kuwabara, Yoshitoshi Kunieda and Akira Amano.
A CellML Simulation Compiler and Code Generator using ODE Solving Schemes.
Source Code for Biology and Medicine, 7:11, 2012. (PDF)

冨永 悠生，樫山 武浩，瀧本 栄二，桑原 寛明，毛利 公一，齋藤 彰一，上原 哲太郎，國枝 義敏．
コールスタックの制御データ検査によるスタック偽装攻撃検知．
情報処理学会論文誌，Vol.53，No.9，pp.2075-2085，2012． (情報処理学会電子図書館) (CiNii)

山下 義陽，副島 直樹，川端 真成，プンザラン フロレンシオ ラスティ， 嶋吉 隆夫，桑原 寛明，國枝 義敏，天野 晃．
形式的に記述された ODE 解法スキームに基づく CellML シミュレーションコード生成システム．
生体医工学，Vol.50，No.1，pp.68-77，2012． (PDF)

桑原 寛明．
型検査に基づく手続き型言語向け情報流解析における型エラースライシング．
コンピュータソフトウェア，Vol.27，No.4，pp.221-227，2010． (PDF)

金子 伸幸，桑原 寛明，山本 晋一郎，阿草 清滋．
StrutsLint: Web アプリケーションコーディングチェッカ．
コンピュータソフトウェア，Vol.26，No.3，pp.34-43，2009． (PDF)

黒川 翔，桑原 寛明，山本 晋一郎，坂部 俊樹，酒井 正彦，草刈 圭一朗，西田 直樹．
例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム．
電子情報通信学会論文誌 D，Vol.J91-D，No.3，pp.757-770，2008． (電子情報通信学会) (CiNii)

渥美 紀寿，桑原 寛明，金子 伸幸，山本 晋一郎，阿草 清滋．
高信頼 Web アプリケーションのためのページ生成プログラムのテスト手法．
コンピュータソフトウェア，Vol.24，No.4，pp.153-164，2007． (PDF)

桑原 寛明，結縁 祥治，阿草 清滋．
π計算に対する時間拡張と合同的性質．
電子情報通信学会論文誌 D，Vol.J89-D，No.4，pp.632-641，2006． (電子情報通信学会) (CiNii)

Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa and Shoji Yuen.
Name-passing style GUI programming in the pi-calculus-based language Nepi.
Electronic Notes in Theoretical Computer Science, Vol.139, No.1, pp.145-168, 2005. (ScienceDirect)

桑原 寛明，結縁 祥治，阿草 清滋．
時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述．
情報処理学会論文誌，Vol.45，No.6，pp.1498-1507，2004． (情報処理学会電子図書館) (CiNii)

国際会議

Florencio Rusty Punzalan, Yoshiharu Yamashita, Masanari Kawabata, Takao Shimayoshi, Hiroaki Kuwabara, Yoshitoshi Kunieda and Akira Amano.
Code Generator for Distributed Parameter Biological Model Simulation with PDE Numerical Schemes.
In Proc. IEEE EMB Conference 2013, pp.1494-1497, 2013. (IEEE Xplore)

Takayuki Omori, Hiroaki Kuwabara and Katsuhisa Maruyama.
A Study on Repetitiveness of Code Completion Operations.
Proceedings of 28th IEEE International Conference on Software Maintenance (ICSM'12), pp.584-587, 2012. (IEEE Xplore)

Akira Amano, Masanari Kawabata, Yoshiharu Yamashita, Florencio Rusty Punzalan, Takao Shimayoshi, Hiroaki Kuwabara and Yoshitoshi Kunieda.
A Program Code Generator for Multiphysics Biological Simulation using Markup Languages.
In 34th Annual International IEEE EMBS Conference, 2012. (IEEE Xplore)

Yuuki Tominaga, Takehiro Kashiyama, Eiji Takimoto, Hiroaki Kuwabara, Koichi Mouri, Shoichi Saito, Tetsutaro Uehara and Yoshitoshi Kunieda.
Secure Call and Return Instructions for Mimicry Attack Detection.
In IWIA 2012, 2012. (extended abstract)

Yoshiharu Yamashita, Yuichiro Hayashi, Naoki Soejima, Masanari Kawabata, Punzalan Florencio Rusty, Takao Shimayoshi, Hiroaki Kuwabara, Yoshitoshi Kunieda and Akira Amano.
A Parallel CellML Simulation Program Generator with a Nonlinear Simultaneous Equation Solver.
In IWIA 2012, 2012. (extended abstract)

Akira Amano, Naoki Soejima, Takao Shimayoshi, Hiroaki Kuwabara and Yoshitoshi Kunieda.
A General CellML Simulation Code Generator using ODE Solving Scheme Description.
In 33rd Annual International IEEE EMBS Conference, 2011. (IEEE Xplore)

Hiroaki Kuwabara, Shoji Yuen and Kiyoshi Agusa.
Congruence Properties for a Timed Extension of the pi-Calculus.
DSN2005 Workshop1: Dependable Software -Tools and Methods-, pp.207-214, 2005. (PDF)

Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Shoji Yuen and Kiyoshi Agusa.
Name-passing style GUI programming in the pi-calculus-based language Nepi.
In 6th AMAST Workshop on Real-time Systems (ARTS2004), pp.49-66, Technical Report No. 2004/28, University of Leicester, 2004.

国内会議

澤田 侑希，蜂巣 吉成，吉田 敦，桑原 寛明．
プログラミング演習における編集中のソースコードに対する自動フィードバック方法の考察～模範解答プログラムの編集遷移グラフを用いた誘導型フィードバック～．
電子情報通信学会技術研究報告，Vol.123，No.414, SS2023-78，pp.174-179，2024． (PDF)

桑原 寛明．
情報流解析におけるIDEを前提とした機密度アノテーション．
情報処理学会研究報告，Vol.2024-SE-216，No.23，pp.1-8，2024． (PDF)

澤田 侑希，蜂巣 吉成，吉田 敦，桑原 寛明．
プログラミング演習における編集中のソースコードに合わせた自動フィードバック方法の検討．
第21回情報学ワークショップ (WINF 2023)，1B-3，2023．

堀江 傳貴，蜂巣 吉成，吉田 敦，桑原 寛明．
C言語既習者に対するRustプログラムの理解支援に関する研究．
ソフトウェア工学の基礎 XXX (FOSE 2023)，ポスター，2023．

澤田 侑希，蜂巣 吉成，吉田 敦，桑原 寛明．
プログラミング演習における編集中のソースコードに合わせた自動フィードバック方法の検討．
ソフトウェア工学の基礎 XXX (FOSE 2023)，pp.191-192，2023．

蜂巣 吉成，小澤 秀輔，宮島 寛斗，吉田 敦，桑原 寛明．
連続した条件分岐に対するコーディングチェッカ．
ソフトウェア工学の基礎 XXX (FOSE 2023)，pp.141-146，2023．

戸谷 剛士，小川 愛弥，蜂巣 吉成，吉田 敦，桑原 寛明．
プログラミング演習における模範解答プログラムを用いた演習問題の自動生成．
第22回情報科学技術フォーラム (FIT 2023)，N-033，2023．

月原 花菜，山本 詠一朗，中島 亜美，蜂巣 吉成，吉田 敦，桑原 寛明．
ミューテーション法を応用した学習者プログラムの誤り箇所特定方法の考察．
情報教育シンポジウム (SSS2023)，2023． (情報処理学会電子図書館)

松井 亮介，蜂巣 吉成，吉田 敦，桑原 寛明．
変数に対して開発支援を行うための調査と考察．
ソフトウェア工学の基礎 XXIX (FOSE 2022)，ポスター，2022．

桑原 寛明．
Rust MIRに対する情報流解析の型システムの検討．
ソフトウェア工学の基礎 XXIX (FOSE 2022)，pp.67-72，2022． (PDF) (PDF(修正版))

澤田 侑希，梅田 祐一郎，蜂巣 吉成，吉田 敦，桑原 寛明．
プログラミング演習におけるセグメントを用いたソースコードの誤り箇所特定方法の提案．
ソフトウェア工学の基礎 XXIX (FOSE 2022)，pp.55-60，2022．

松井 亮介，蜂巣 吉成，吉田 敦，桑原 寛明．
変数名に対して開発支援を行うための調査と考察．
日本ソフトウェア科学会第39回大会講演論文集，48-S，2022． (PDF)

堀江 傳貴，惣浜 英祐，蜂巣 吉成，吉田 敦，桑原 寛明．
機械学習を用いたWebページスクリーンショットの分類における前処理方法の考察．
日本ソフトウェア科学会第39回大会講演論文集，32-S，2022． (PDF)

桑原 寛明，渥美 紀寿．
API利用パターンを用いた自動プログラム修正におけるパターン検索の予備評価．
情報処理学会研究報告，Vol.2022-SE-210，No.29，pp.1-8，2022． (PDF)

蜂巣 吉成，東 直希，三上 比呂，長野 滉大，吉田 敦，桑原 寛明．
複数のプログラミング言語の文法知識に起因する制御文の誤りの自動修正方法の提案．
ソフトウェア工学の基礎 XXVIII (FOSE 2021)，pp.51-60，2021．

松井 亮介，渡辺 開斗，蜂巣 吉成，吉田 敦，桑原 寛明．
変更履歴に着目した機械学習による論文校正支援方法の考察．
第20回情報科学技術フォーラム (FIT 2021)，pp.335-342，2021．

荒木 良仁，桑原 寛明，國枝 義敏．
API利用パターンを用いた自動プログラム修正手法．
情報処理学会研究報告，Vol.2021-SE-207，No.3，pp.1-8，2021． (PDF)

小山 哲明，蜂巣 吉成，吉田 敦，桑原 寛明．
マイクロマウスシミュレータを用いたプログラミング学習教材の試作．
情報教育シンポジウム (SSS2020)，2020．

荒木 良仁，桑原 寛明，國枝 義敏．
自動プログラム修正におけるAPI利用パターンを用いたパッチ生成．
ソフトウェア工学の基礎 XXVII (FOSE 2020)，pp.137-138，2020．

蜂巣 吉成，石元 慎太郎，吉田 敦，桑原 寛明．
プログラミング学習者の編集途中のソースコードと模範解答における変数の対応づけ方法の提案．
ソフトウェア工学の基礎 XXVII (FOSE 2020)，pp.109-114，2020．

桑原 寛明．
情報流解析における機密度ワイルドカードの検討．
ソフトウェア工学の基礎 XXVII (FOSE 2020)，pp.45-50，2020． (PDF)

長谷川 健太，桑原 寛明，國枝 義敏．
Rustプログラムの情報流解析のための型システム．
電子情報通信学会技術研究報告，Vol.119，No.451, SS2019-53，pp.73-78，2020． (PDF)

石元 慎太郎，蜂巣 吉成，吉田 敦，桑原 寛明．
プログラミング学習者の編集途中のソースコードに対するフィードバック方法の提案．
ソフトウェア工学の基礎 XXVI (FOSE 2019)，ポスター，2019．

桑原 寛明，國枝 義敏．
機密度パラメータ付き情報流解析のための型検査アルゴリズムとJavaアノテーション．
ソフトウェア工学の基礎 XXVI (FOSE 2019)，pp.109-114，2019． (PDF)

蜂巣 吉成，森本 朱音，松尾 翔馬，加藤 ちひろ，吉田 敦，桑原 寛明．
ポインタ型の仮引数を持つ関数の呼出しに対するプログラミング学習支援ツールの提案．
ソフトウェア工学の基礎 XXVI (FOSE 2019)，pp.103-108，2019．

久保田 詩門，蜂巣 吉成，吉田 敦，桑原 寛明．
プログラミング演習における個別指導のためのコーディング状況把握方法の提案．
情報処理学会研究報告，Vol.2019-CE-151，No.6，pp.1-8，2019． (PDF)

荒木 良仁，桑原 寛明，國枝 義敏．
Stream APIを利用するJavaプログラムにおけるストリーム再利用の静的検出手法．
情報処理学会研究報告，Vol.2019-SE-201，No.4，pp.1-8，2019． (PDF)

渥美 紀寿，桑原 寛明．
ライブラリ進化への追随のためのソフトウェア修正の共有手法の提案．
電子情報通信学会技術研究報告，Vol.118，No.471, SS2018-78，pp.157-162，2019． (PDF)

加藤 宗一郎，吉田 敦，蜂巣 吉成，桑原 寛明．
記述の共通性に着目したプログラムのダイジェスト化手法の提案．
ソフトウェア工学の基礎 XXV (FOSE 2018)，pp.155-156，2018．

桑原 寛明，國枝 義敏．
情報流解析における制約付き機密度パラメータ．
ソフトウェア工学の基礎 XXV (FOSE 2018)，pp.85-90，2018． (PDF)

長谷川 健太，桑原 寛明，國枝 義敏．
Java Stream API によるストリーム操作の停止性検査のための型システム．
ソフトウェア工学の基礎 XXV (FOSE 2018)，pp.75-84，2018． (PDF)
(IEEE Computer Society Japan Chapter FOSE Young Researcher Award 受賞)

吉田 敦，加藤 大貴，蜂巣 吉成，桑原 寛明，阿草 清滋．
字句列の共通性に基づく例外処理条件文の抽出手法の提案．
ソフトウェアエンジニアリングシンポジウム 2018，pp.15-23，2018． (PDF)
(最優秀論文賞受賞)

石元 慎太郎，蜂巣 吉成，吉田 敦，桑原 寛明，阿草 清滋．
プログラミング演習における構文要素の種類毎のビューによるコーディング状況把握方法の提案．
情報教育シンポジウム (SSS2018)，2018． (PDF)
(学生奨励賞受賞)

安達 有希，蜂巣 吉成，吉田 敦，桑原 寛明，阿草 清滋．
プログラミング学習における構文図式を用いた構文理解支援方法の提案．
情報教育シンポジウム (SSS2018)，2018． (PDF)

長谷川 健太，吉田 真也，桑原 寛明，上原 哲太郎，國枝 義敏．
JavaのStream APIによるストリーム操作の停止性を検査する型システム．
第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018)，ポスター，2018．

加藤 大貴，吉田 敦，蜂巣 吉成，桑原 寛明，阿草 清滋．
APIに対する例外処理の共通的特徴に基づくコード例の推薦手法の提案．
ソフトウェア工学の基礎 XXIV (FOSE 2017)，ポスター，2017．

長谷川 健太，吉田 真也，桑原 寛明，上原 哲太郎，國枝 義敏．
Java Stream API によるストリーム操作の停止性検査のための型システム．
ソフトウェア工学の基礎 XXIV (FOSE 2017)，ポスター，2017．

内西 功一，桑原 寛明，國枝 義敏．
グラフDBを用いたプログラム解析の実現に向けて．
ソフトウェア工学の基礎 XXIV (FOSE 2017)，ポスター，2017．

吉田 真也，桑原 寛明，國枝 義敏．
オブジェクト指向言語の情報流解析における機密度のパラメータ化．
ソフトウェア工学の基礎 XXIV (FOSE 2017)，pp.83-92，2017． (PDF)
(IEEE Computer Society Japan Chapter FOSE Young Researcher Award 受賞)

蜂巣 吉成，吉田 敦，桑原 寛明，阿草 清滋．
プログラミング演習用プルーフリーダの試作．
ソフトウェア工学の基礎 XXIV (FOSE 2017)，pp.53-62，2017．

栢原 悠樹，桑原 寛明，國枝 義敏．
料理の仕上がり温度を考慮した調理工程の動的スケジューリング手法．
電子情報通信学会技術研究報告，Vol.117，No.217, MVE2017-21，pp.37-41，2017． (PDF)

加藤 宗一郎，吉田 敦，蜂巣 吉成，桑原 寛明，阿草 清滋．
ファイルへの入出力に基づく実行履歴の構造化手法の提案．
情報処理学会研究報告，Vol.2017-SE-195，No.24，pp.1-8，2017． (PDF)

桑原 寛明，國枝 義敏．
実行時例外に伴う情報流の型検査に基づく解析手法．
ソフトウェア工学の基礎 XXIII (FOSE 2016)，pp.229-234，2016． (PDF) (PDF(修正版))

吉田 真也，桑原 寛明，國枝 義敏．
情報流解析のためのJavaアノテーション．
ソフトウェア工学の基礎 XXIII (FOSE 2016)，pp.73-82，2016． (PDF)

兼松 卓也，桑原 寛明，上原 哲太郎，國枝 義敏．
GPGPU によるレインボーテーブル生成の高速化．
コンピュータセキュリティシンポジウム2016(CSS2016)論文集，pp.1260-1267，2016． (PDF)

安藤 公希，桑原 寛明，上原 哲太郎，國枝 義敏．
Hybrid MPI/OpenMPによる網羅率100%のレインボーテーブル生成の高速化．
コンピュータセキュリティシンポジウム2016(CSS2016)論文集，pp.255-262，2016． (PDF)

渥美 紀寿，桑原 寛明．
静的検査ツールにおけるfalse positiveに関する調査．
ソフトウェア工学の基礎 XXII (FOSE 2015)，ポスター，2015．

桑原 寛明，國枝 義敏．
情報量に基づく非機密化プリミティブの記述位置候補の順位付け．
ソフトウェア工学の基礎 XXII (FOSE 2015)，pp.151-156，2015． (PDF) (PDF(修正版))

安藤 公希，桑原 寛明，上原 哲太郎，國枝 義敏．
MPI並列処理によるレインボーテーブル生成の高速化．
コンピュータセキュリティシンポジウム2015(CSS2015)論文集，Vol.2015，No.3，pp.1335-1342，2015． (PDF)

中川 貴裕，桑原 寛明，國枝 義敏，天野 晃．
生体機能シミュレーションにおける PC クラスタ環境での計算結果収集手法．
生体医工学シンポジウム 2015，2015．

桑原 寛明，渥美 紀寿．
ソースコードの静的検査における警告の版間追跡ツール．
ソフトウェアエンジニアリングシンポジウム 2015，2015． (PDF)
(最優秀論文賞受賞) (2016年度山下記念研究賞受賞)

桑 幸生，前濱 貴哉，プンザラン フロレンシオ ラスティ，桑原 寛明，國枝 義敏， 天野 晃．
分布定数系生体機能モデルの並列シミュレーションにおけるデータ分割改善手法．
電子情報通信学会技術研究報告，Vol.114，No.514, MBE2014-137，pp.117-122，2015． (PDF)

渥美 紀寿，桑原 寛明．
静的検査ツールにおける警告箇所の版間追跡による確認コスト削減手法．
情報処理学会研究報告，Vol.2015-SE-187，No.44，pp.1-8，2015． (PDF)

繁谷 悠，桑原 寛明，國枝 義敏．
MPIアプリケーションの振る舞い駆動開発．
情報処理学会研究報告，Vol.2015-SE-187，No.26，pp.1-8，2015． (PDF)

渥美 紀寿，桑原 寛明．
変更追跡機能を用いた静的検査ツールの効果的な利用法．
ソフトウェア工学の基礎 XXI (FOSE 2014)，pp.271-272，2014． (PDF)

桑原 寛明，國枝 義敏．
任意の機密度束を用いた情報流解析における非機密化プリミティブの配置．
ソフトウェア工学の基礎 XXI (FOSE 2014)，pp.113-122，2014． (PDF)

桑原 寛明，國枝 義敏．
情報流解析におけるDeclassifierの配置手法．
ソフトウェア工学の基礎 XX (FOSE 2013)，pp.15-24，2013． (PDF)
(IEEE Computer Society Japan Chapter FOSE Young Researcher Award 受賞)

川端 真成，鷲尾 直大，荒川 真帆，プンザラン フロレンシオ ラスティ，嶋吉 隆夫， 桑原 寛明，國枝 義敏，天野 晃．
漸化式形式で記述されたODE解法に基づく生体機能シミュレーションプログラム生成システム．
生体医工学シンポジウム 2013，2013．

桑原 寛明，大森 隆行．
編集操作履歴の再生における粗粒度な再生単位．
ソフトウェア工学の基礎 XIX (FOSE 2012)，pp.171-176，2012． (PDF)

大森 隆行，桑原 寛明，丸山 勝久．
統合開発環境におけるコード補完の繰り返しに関する調査．
ソフトウェア工学の基礎 XIX (FOSE 2012)，pp.141-150，2012． (PDF)

プンザラン フロレンシオ ラスティ，山下 義陽，川端 真成，嶋吉 隆夫， 桑原 寛明，國枝 義敏，天野 晃．
形式的に記述された PDE 解法スキームに基づく臓器モデルシミュレーションコード生成システム．
生体医工学シンポジウム 2012，2012．

桑原 寛明．
プログラム解析基盤のサービス化．
ウィンターワークショップ2012・イン・琵琶湖，pp.73-74，2012． (PDF)

桑原 寛明，渥美 紀寿，山本 晋一郎．
プログラム解析技術のサービス化の試み．
ソフトウェア工学の基礎 XVIII (FOSE 2011)，pp.243-248，2011． (PDF)

山下 義陽，副島 直樹，川端 真成，プンザラン フロレンシオ ラスティ， 嶋吉 隆夫，桑原 寛明，國枝 義敏，天野 晃．
形式的に記述された ODE 解法スキームに基づく CellML シミュレーションコード生成システム．
生体医工学シンポジウム 2011，2011．

大橋 拓也，桑原 寛明，國枝 義敏．
CUDA プログラミングのためのプロファイリングと最適化支援．
第10回情報科学技術フォーラム，B-038，2011．

山下 義陽，桑原 寛明，國枝 義敏．
既存のプログラミング言語のための量子探索機構．
第10回情報科学技術フォーラム，A-011，2011．

飯島 正，大森 隆行，桑原 寛明，位野木 万里，中村 匡秀，羽生田 栄一，鷲崎 弘宜， 天嵜 聡介，石黒 正揮，佐原 伸，土屋 達弘，岸 知二，野田 夏子．
ウィンターワークショップ2011・イン・修善寺開催報告．
情報処理学会研究報告，Vol.2011-SE-173，No.11，pp.1-9，2011．

桑原 寛明．
プログラミング言語独立なプログラム解析基盤．
ウィンターワークショップ2011・イン・修善寺，pp.15-16，2011． (PDF)

桑原 寛明，末次 亮，山本 晋一郎，阿草 清滋．
拡張可能な JavaScript 向けコーディング検査器．
日本ソフトウェア科学会第27回大会講演論文集，6C-1，2010． (PDF)

桑原 寛明．
型検査に基づく情報流解析における型エラースライシング．
ソフトウェア工学の基礎 XVI (FOSE 2009)，pp.49-60，2009． (PDF)
(貢献賞受賞)

多幡 充，桑原 寛明，國枝 義敏．
意味解析器の自動生成系にむけて．
ソフトウェア工学の基礎 XVI (FOSE 2009) (ポスター発表)，pp.329-330，2009． (PDF)

高橋 英樹，桑原 寛明，國枝 義敏．
消費電力の実行時予測を用いた電力最適化．
第71回情報処理学会全国大会講演論文集，Vol. 1，pp.133-134，2009．

副島 直樹，桑原 寛明，國枝 義敏．
コード視覚化手法を用いたMPIプログラム開発環境のユーザインタフェース．
第71回情報処理学会全国大会講演論文集，Vol. 1，pp.319-320，2009．

岩田 顕，漆尾 有史，桑原 寛明，國枝 義敏．
条件分岐のSIMD化手法のCellへの適用．
第71回情報処理学会全国大会講演論文集，Vol. 1，pp.109-110，2009．

漆尾 有史，桑原 寛明，國枝 義敏．
タスク分割によるCell用の自動並列化コンパイラの開発．
第71回情報処理学会全国大会講演論文集，Vol. 1，pp.99-100，2009．

服部 眞也，毛野 高彦，桑原 寛明，國枝 義敏．
静的解析情報を利用したセキュアシステムの侵入検知精度向上．
第71回情報処理学会全国大会講演論文集，Vol. 1，pp.69-70，2009．
(大会奨励賞受賞)

山崎 悟史，桑原 寛明，國枝 義敏．
不要な検査を行わない整数オーバーフロー攻撃対策ツールの実装．
第71回情報処理学会全国大会講演論文集，Vol. 3，pp.405-406，2009．

古川 聡志，山本 克也，多幡 充，新谷 泰平，國枝 義敏，桑原 寛明．
VMクラスタ管理システムSHILCO．
先進的計算基盤システムシンポジウム SACSIS 2008 (ポスター発表)， pp.35-36，2008．

桑原 寛明．
スクリプト言語向け CASE ツール開発環境．
ウィンターワークショップ 2008・イン・道後，pp.17-18，2008． (PDF)

表 雄仁，森山 壱貴，桑原 寛明，毛利 公一，齋藤 彰一，上原 哲太郎，國枝 義敏．
コンパイラと OS の連携による強制アクセス制御向けプロセス監視手法．
コンピュータセキュリティシンポジウム 2007，pp.109-114，2007． (PDF)

森山 壱貴，表 雄仁，桑原 寛明，毛利 公一，齋藤 彰一，上原 哲太郎，國枝 義敏．
コンパイラと OS の連携による強制アクセス制御向け静的解析．
コンピュータセキュリティシンポジウム 2007，pp.103-108，2007． (PDF)

金子 伸幸，桑原 寛明，山本 晋一郎，阿草 清滋．
StrutsLint: Web アプリケーションコーディングチェッカ．
日本ソフトウェア科学会 第 24 回大会，2007．

桑原 寛明，結縁 祥治，阿草 清滋．
時間付き通信プロセスモデルにおける時間動作の抽象化．
京都大学数理解析研究所講究録，No.1554，pp.1-8，2007． (LA Symposium 2006 Winter) (PDF)

黒川 翔，桑原 寛明，山本 晋一郎，坂部 俊樹，酒井 正彦，草刈 圭一朗，西田 直樹．
例外処理付きオブジェクト指向言語における情報流の安全性解析．
電子情報通信学会技術研究報告，Vol.106，No.324，pp.13-18，2006． (PDF)

水野 良太，桑原 寛明，山本 晋一郎，阿草 清滋．
Javaプログラム理解支援のための不変性解析．
情報処理学会研究報告，Vol.2006，No.48，pp.33-40，2006． (CiNii)

黒川 翔，桑原 寛明，山本 晋一郎，阿草 清滋．
Webアプリケーションにおけるデータ依存グラフ．
ソフトウェア工学の基礎 XII (FOSE 2005)，pp.237-246，2005． (PDF)

桑原 寛明，結縁 祥治，阿草 清滋．
π計算に対する時間拡張と代数的意味論．
ソフトウェア工学の基礎 XI (FOSE 2004), pp.97-108, 2004. (PDF)

水野 敦，真野 健，河辺 義信，桑原 寛明，結縁 祥治，阿草 清滋．
π計算に基づくプログラミング言語NepiのためのGUI機能．
情報処理学会論文誌プログラミング，Vol.45，No.SIG12(PRO23)，pp.95，2004．

桑原 寛明，結縁 祥治，阿草 清滋．
時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述．
情報処理学会オブジェクト指向シンポジウム2003, pp.69-76, 2003. (gzipped PS) (CiNii)

桑原 寛明，結縁 祥治，阿草 清滋．
π計算に対する時間拡張と双模倣関係．
LA Symposium 2003 Summer, 2003. (PDF)

桑原 寛明，結縁 祥治，阿草 清滋．
π計算による優先度継承プロトコルの形式的記述．
情報処理学会論文誌プログラミング，Vol.43，No.SIG8(PRO15)，pp.118，2002．

紀要

桑原 寛明．
情報流解析における非機密化プリミティブのためのJavaアノテーション．
アカデミア. 理工学編 : 南山大学紀要，第22巻，pp.237-246，2022． (DOI)

澤田 侑希，梅田 祐一郎，蜂巣 吉成，吉田 敦，桑原 寛明．
プログラミング学習におけるセグメント分割を用いたソースコードの誤り箇所特定方法の提案．
アカデミア. 理工学編 : 南山大学紀要，第22巻，pp.150-157，2022． (DOI)

解説

桑原 寛明，金子 伸幸，渥美 紀寿，山本 晋一郎，阿草 清滋．
高信頼WebWare生成技術：WebWareのテスト・解析・作成支援．
情報処理，Vol.49，No.11，pp.1271-1276，2008． (情報処理学会電子図書館) (CiNii)

著書

島川 博光（編），高田 秀志，毛利 公一，横田 裕介，桑原 寛明．
プログラミングのための計算機科学入門〔II〕．
昭晃堂，2009． (Web)
オーム社，2014． (Web)

外部資金

科学研究費補助金 基盤研究(C) 18K11241
仮想開発者によるソフトウェア自動修正と進化推薦
2018-21 年度，研究分担者

科学研究費補助金 若手研究(B) 17K12666
情報流解析による安全性検証に基づく実用的なソフトウェア開発支援
2017-20 年度，研究代表者

科学研究費補助金 若手研究(B) 24700036
情報流解析と型エラースライシングに基づくソフトウェアの安全性検証と開発支援
2012-14 年度，研究代表者

科学研究費補助金 基盤研究(C) 21500043
ソフトウェア変更が安全性に与える影響の解明
2009-11 年度，連携研究者

科学研究費補助金 萌芽研究 18650007
新世代プロセッサのためのコンパイラと実行時システムによる多角的多目的最適化
2006-08 年度，研究分担者

博士論文

"通信プロセスモデルに対する時間拡張と実時間ソフトウェア開発への応用" (NAGOYA Repository)

修士論文

"実時間ソフトウェアの構成的開発のためのπ計算に対する時間拡張" (概要) (PDF)

卒業論文

"実時間並行ソフトウェアの開発支援ツールの構築" (概要) (gzipped PS)

戻る

Copyright(C) since 2008 KUWABARA Hiroaki. All rights reserved.