基本情報

写真b

石浦 菜岐佐

ISHIURA Nagisa

所属
工学部 情報工学課程 教授
研究室住所
〒669-1337 兵庫県三田市学園2-1 関西学院大学 理工学部
研究分野・キーワード
Compilers, Computer Science, Computer-Aided Design of VLSIs, VLSIの計算機援用設計, コンパイラ, 計算機科学
教育研究内容
集積回路の計算機援用設計, コンパイラ
SDGs 関連ゴール

学位 【 表示 / 非表示

  • 学位名:京都大学工学博士
    分野名:情報通信 / 計算機システム
    授与機関名:京都大学
    取得方法:論文
    取得年月:1991年03月

  • 学位名:工学修士
    分野名:情報通信 / 計算機システム
    授与機関名:京都大学
    取得方法:課程
    取得年月:1986年03月

  • 学位名:工学学士
    分野名:情報通信 / 計算機システム
    授与機関名:京都大学
    取得方法:課程
    取得年月:1984年03月

経歴 【 表示 / 非表示

  • 所属:関西学院大学
    職名:教授
    年月:2002年04月 ~ 継続中

所属学協会 【 表示 / 非表示

  • 所属学協会名: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アクセラレータの自動生成(研究成果展開事業 研究成果最適展開支援プログラムA-STEP探索タイプ)
    提供機関:独立行政法人科学技術振興機構

全件表示 >>

講演・口頭発表等 【 表示 / 非表示

  • 記述言語:日本語
    会議名:電子情報通信学会技術研究報告, 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月