ログイン
新規登録
小
中
大
ENGLISH
使い方
文献、特許、研究者などの科学技術情報サイト
詳細検索
すべて
すべて
研究者
文献
特許
研究課題
機関
科学技術用語
化学物質
資料
研究資源
同義語を見る
(0)
専門用語を詳しく探す
シソーラスmap
クリップ
ー
MyJ-GLOBAL
にログインしてご利用ください。
はじめての方はアカウント登録をお願いします。
MyJ-GLOBAL とは?
ログイン
新規登録
クリップ数の上限を超えました (最大クリップ数: 600)
閉じる
閉じる
検索
リセット
「検索方法」ページへ
詳細検索:
すべて
研究者
文献
特許
研究課題
機関
科学技術用語
化学物質
資料
研究資源
を探す
詳細検索を行う基本情報を選んでください
フリーワード
同義語を見る(0)
全て選択
全て外す
※以下の同義語を加えると、ヒット件数を増やすことができます。
and
not
氏名
所属機関名
職名
所属学会
研究分野
研究キーワード
更新日
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
氏名
所属機関名
職名
所属学会
研究分野
研究キーワード
更新日
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
タイトル
著者名
JGPN(名寄せID)
機関名
JGON(名寄せID)
発行年
資料名
発行国
言語
全文アクセス
DOI
ISSN/ISBN/CODEN
JST資料番号
外部リンク
被引用文献の有無
被引用特許の有無
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
タイトル
著者名
JGPN(名寄せID)
機関名
JGON(名寄せID)
発行年
資料名
発行国
言語
全文アクセス
DOI
ISSN/ISBN/CODEN
JST資料番号
外部リンク
被引用文献の有無
被引用特許の有無
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
タイトル
著者名
JGPN(名寄せID)
機関名
JGON(名寄せID)
発行年
資料名
発行国
言語
全文アクセス
DOI
ISSN/ISBN/CODEN
JST資料番号
外部リンク
被引用文献の有無
被引用特許の有無
J-GLOBAL ID
~
フィールド内で語句を追加
(ORのみ)
and
not
発明の名称
発明者
JGPN(名寄せID)
出願人/特許権者
JGON(名寄せID)
公報種別
出願番号
公開番号
出願年
公開年
概要
IPC
FI
Fターム
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
発明の名称
発明者
JGPN(名寄せID)
出願人/特許権者
JGON(名寄せID)
公報種別
出願番号
公開番号
出願年
公開年
概要
IPC
FI
Fターム
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
発明の名称
発明者
JGPN(名寄せID)
出願人/特許権者
JGON(名寄せID)
公報種別
出願番号
公開番号
出願年
公開年
概要
IPC
FI
Fターム
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
課題名
実施研究者名
JGPN(名寄せID)
実施機関
JGON(名寄せID)
研究制度
研究概要
開始年度
終了年度
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
課題名
実施研究者名
JGPN(名寄せID)
実施機関
JGON(名寄せID)
研究制度
研究概要
開始年度
終了年度
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
課題名
実施研究者名
JGPN(名寄せID)
実施機関
JGON(名寄せID)
研究制度
研究概要
開始年度
終了年度
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
機関名
所在地
研究分野
証券コード
有価証券報告書ナンバー
事業概要
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
用語名
出典
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
化学物質名
分子式
分子量(範囲指定)
日化辞番号
CAS番号
法規制番号
用途語
InChI
InChIkey
SMILES
KEGG Drug/KEGG COMPOUND
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
化学物質名
分子式
分子量(範囲指定)
日化辞番号
CAS番号
法規制番号
用途語
InChI
InChIkey
SMILES
KEGG Drug/KEGG COMPOUND
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
資料名
ISSN/ISBN/CODEN
JST資料番号
JST分類
出版社/団体名
会議名
発行国
資料内容種別
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
資料名
ISSN/ISBN/CODEN
JST資料番号
JST分類
出版社/団体名
会議名
発行国
資料内容種別
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
and
not
研究資源名
機関
J-GLOBAL ID
フィールド内で語句を追加
(ORのみ)
構造検索
構造検索の利用方法
NEW
R
FG
i
C
N
O
S
F
Cl
Br
I
P
X
JSME Molecular Editor by Peter Ertl and Bruno Bienfait
構造ファイル取込
ファイルを選択
MOLfileがご利用頂けます。 (V3000形式はご利用頂けません)
完全一致検索
部分構造検索 (substructure)
部分構造検索 (superstructure)
部分構造検索 (sub, super)
類似構造検索
閉じる
検索
研究者
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