石浦 菜岐佐
ISHIURA Nagisa
所属
工学部 情報工学課程 教授
研究室住所
〒669-1337 兵庫県三田市学園2-1 関西学院大学 理工学部
研究分野・キーワード
Compilers, Computer Science, Computer-Aided Design of VLSIs, VLSIの計算機援用設計, コンパイラ, 計算機科学
教育研究内容
集積回路の計算機援用設計, コンパイラ
SDGs 関連ゴール
学位 【 表示 ／ 非表示 】
-
学位名：京都大学工学博士
分野名：情報通信 / 計算機システム
授与機関名：京都大学
取得方法：論文
取得年月：1991年03月 -
学位名：工学修士
分野名：情報通信 / 計算機システム
授与機関名：京都大学
取得方法：課程
取得年月：1986年03月 -
学位名：工学学士
分野名：情報通信 / 計算機システム
授与機関名：京都大学
取得方法：課程
取得年月：1984年03月
所属学協会 【 表示 ／ 非表示 】
-
所属学協会名：ACM
学会所在国：日本国 -
所属学協会名：電子情報通信学会
学会所在国：日本国 -
所属学協会名：情報処理学会
学会所在国：日本国 -
所属学協会名：IEEE
学会所在国：日本国
論文 【 表示 ／ 非表示 】
-
記述言語：英語
タイトル：Detecting Missed Arithmetic Optimization in C Compilers by Differential Random Testing
誌名：Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016) （頁 2 ～ 3）
出版年月：2016年10月
著者：M. Iwatsuji, A. Hashimoto, and N. Ishiura掲載種別：研究論文（国際会議プロシーディングス）
共著区分：共著
-
記述言語：英語
タイトル：Random Testing of C Compilers Based on Test Program Generation by Equivalence Transformation
誌名：Proc. Asia and Pacific Conference on Circuits and Systems (APCCAS 2016) （頁 676 ～ 679）
出版年月：2016年10月
著者：K. Nakamura and N. Ishiura掲載種別：研究論文（国際会議プロシーディングス）
共著区分：単著
-
記述言語：英語
タイトル：Introducing Real Constraints in Partitioned ILP-Based Biding in High-Level Synthesis
誌名：Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016) （頁 303 ～ 304）
出版年月：2016年10月
著者：N. Ishiura and Y. Oosako掲載種別：研究論文（国際会議プロシーディングス）
共著区分：共著
-
記述言語：英語
タイトル：High-Level Synthesis of Embedded Systems Controller from Erlang
誌名：Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016) （頁 285 ～ 290）
出版年月：2016年10月
著者：H. Takebayashi, N. Ishiura, K. Azuma, N. Yoshida, and H. Kanbara掲載種別：研究論文（国際会議プロシーディングス）
共著区分：共著
-
記述言語：英語
タイトル：Extending Distributed Control for High-Level Synthesis beyond Borders of Basic Blocks
誌名：Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016) （頁 172 ～ 177）
出版年月：2016年10月
著者：M. Shimizu and N. Ishiura掲載種別：研究論文（国際会議プロシーディングス）
共著区分：共著
MISC 【 表示 ／ 非表示 】
-
記述言語：日本語
タイトル：コンパイラのファジング
出版者・発行元：電子情報通信学会
誌名：電子情報通信学会 Fundamentals Review 9巻 3号 （頁 188 ～ 196）
出版年月：2016年01月
著者：石浦菜岐佐
掲載種別：記事・総説・解説・論説等（大学・研究所紀要）
産業財産権 【 表示 ／ 非表示 】
-
産業財産権の種類：特許権
産業財産権名：リアルタイム処理装置及びその作製方法
発明者/考案者/創作者：石浦菜岐佐,大迫裕樹
出願番号：特願2018-029244，2018年02月21日
特許番号/登録番号：特許第7112058号，
出願人（機関）：学校法人関西学院
出願国：日本国
-
産業財産権の種類：特許権
産業財産権名：マイグレーション装置、目的ソースの生産方法、およびプログラム
発明者/考案者/創作者：石浦菜岐佐，他
出願番号：特願2016-004729，2016年01月13日
出願人（機関）：学校法人関西学院，他
出願国：日本国
-
産業財産権の種類：特許権
産業財産権名：ドキュメント生成装置、ドキュメントの生産方法、およびプログラム
発明者/考案者/創作者：石浦菜岐佐
出願番号：特願2015-188841，2015年09月25日
出願人（機関）：学校法人関西学院
出願国：日本国
-
産業財産権の種類：特許権
産業財産権名：ドキュメント生成装置、ドキュメントの生産方法、およびプログラム
発明者/考案者/創作者：石浦菜岐佐，他
出願番号：特願2015-188841，2015年09月25日
出願人（機関）：学校法人関西学院，他
出願国：日本国
-
産業財産権の種類：特許権
産業財産権名：マイグレーション装置、プログラムの製造方法、およびプログラム
発明者/考案者/創作者：石浦菜岐佐
出願番号：特願2015-177171，2015年09月09日
出願人（機関）：学校法人関西学院
出願国：日本国
共同研究・競争的資金等の研究課題 【 表示 ／ 非表示 】
-
研究種目：基盤研究(C)
研究期間：2024年04月 ～ 2027年03月
タイトル：RTOS利用システムのフルハードウェア化の実用化に関する研究
-
研究種目：基盤研究(B)
研究期間：2019年04月 ～ 2022年03月
タイトル：リアルタイムOS利用システムのフルハードウェア自動合成に関する研究
-
研究種目：基盤研究(C)
研究期間：2016年04月 ～ 2019年03月
タイトル：バイナリ合成における割り込み制御および動的制御のハードウェア化に関する研究
-
研究種目：基盤研究(C)
研究期間：2013年04月 ～ 2016年03月
タイトル：正確な期待値計算および生成コードの記号実行に基づくコンパイラのランダムテスト
-
研究期間：2011年08月 ～ 2012年03月
タイトル：バイナリコードからのMPUアクセラレータの自動生成（研究成果展開事業 研究成果最適展開支援プログラムＡ－ＳＴＥＰ探索タイプ）
提供機関：独立行政法人科学技術振興機構
講演・口頭発表等 【 表示 ／ 非表示 】
-
記述言語：日本語
会議名：電子情報通信学会技術研究報告, VLD2013-133
国際・国内会議：国内会議
開催年月：2014年01月
開催地：慶応義塾大学日吉キャンパス
タイトル：CPU密結合型アクセラレータの機械語プログラムからの自動合成
会議種別：口頭発表（一般）
-
記述言語：日本語
会議名：電子情報通信学会技術研究報告, VLD2013-128
国際・国内会議：国内会議
開催年月：2014年01月
開催地：慶応義塾大学日吉キャンパス
タイトル：不定サイクル演算に対応した分散制御における動的演算バインディング
会議種別：口頭発表（一般）
-
記述言語：日本語
会議名：電子情報通信学会技術研究報告, VLD2013-132
国際・国内会議：国内会議
開催年月：2014年01月
開催地：慶応義塾大学日吉キャンパス
タイトル：PerlのためのCUDAバインディングフレームワークPerCUDA
会議種別：口頭発表（一般）
-
記述言語：日本語
会議名：電子情報通信学会技術研究報告, VLD2012-119
国際・国内会議：国内会議
開催年月：2013年01月
開催地：慶応義塾大学日吉キャンパス
タイトル：機械語の複数部分を高速化するCPU密結合型ハードウェアアクセラレータ
会議種別：口頭発表（一般）
-
記述言語：日本語
会議名：電子情報通信学会技術研究報告, VLD2012-119
国際・国内会議：国内会議
開催年月：2013年01月
開催地：慶応義塾大学日吉キャンパス
タイトル：機械語の複数部分を高速化するCPU密結合型ハードウェアアクセラレータ
会議種別：口頭発表（一般）
担当授業科目（学内） 【 表示 ／ 非表示 】
-
履修年度：2024年度（西暦）
提供部署名：理工学部
授業科目名：コンパイラ
授業形式：代表者
-
履修年度：2024年度（西暦）
提供部署名：工学部
授業科目名：コンパイラ
授業形式：代表者
-
履修年度：2024年度（西暦）
提供部署名：理工学部
授業科目名：コンパイラ実習
授業形式：代表者
-
履修年度：2024年度（西暦）
提供部署名：工学部
授業科目名：コンパイラ実習
授業形式：代表者
-
履修年度：2024年度（西暦）
提供部署名：理工学部
授業科目名：コンピュータアーキテクチャ
授業形式：代表者
学内活動 【 表示 ／ 非表示 】
-
活動名称：学部長
活動期間：2021年04月 ～ 2025年03月 -
活動名称：副学部長
活動期間：2017年04月 ～ 2021年03月 -
活動名称：共通教育センター副長
活動期間：2016年04月 ～ 2017年03月 -
活動名称：情報環境副機構長
活動期間：2016年04月 ～ 2017年03月 -
活動名称：教務機構長補佐
活動期間：2014年04月 ～ 2017年03月