基本情報

写真b

石浦 菜岐佐

ISHIURA Nagisa


職名

教授

研究室住所

〒669-1337 兵庫県三田市学園2-1 関西学院大学 理工学部

研究分野・キーワード

計算機科学, VLSIの計算機援用設計, コンパイラ

ホームページ

http://ist.ksc.kwansei.ac.jp/~ishiura/

プロフィール

集積回路の計算機援用設計, コンパイラ

取得学位 【 表示 / 非表示

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

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

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

学内職務経歴 【 表示 / 非表示

  • 職務遂行組織:関西学院大学 理工学部 情報科学科
    経歴名:教授
    職務期間:2002年04月 ~ 継続中

所属学会・委員会 【 表示 / 非表示

  • 所属学会:IEEE

    学会所在国:日本国

  • 所属学会:ACM

    学会所在国:日本国

  • 所属学会:電子情報通信学会

    学会所在国:日本国

  • 所属学会:情報処理学会

    学会所在国:日本国

専門分野(科研費分類) 【 表示 / 非表示

  • 専門分野(科研費分類):計算機システム

 

論文 【 表示 / 非表示

  • 記述言語:英語
    論文題目名:"Scaling up Size and Number of Expressions in Random Testing of Arithmetic Optimization of C Compilers,"
    掲載誌名:in Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2013), R2-3, pp. 88-93 (Oct. 2013).
    掲載誌 発行年月:2013年10月
    著者氏名(共著者含):E. Nagai, A. Hashimoto, and N. Ishiura

    掲載種別:研究論文(国際会議プロシーディングス)
    共著区分:共著

  • 記述言語:英語
    論文題目名:"Model Based Parallelization from the Simulink Models and Their Sequential C Code,"
    掲載誌名:in Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2012), R2-8, pp. 186-191 (Mar. 2012).
    掲載誌 発行年月:2012年03月
    著者氏名(共著者含):T. Kumura, Y. Nakamura, N. Ishiura, Y. Takeuchi, and M. Imai

    掲載種別:研究論文(国際会議プロシーディングス)
    共著区分:共著

  • 記述言語:英語
    論文題目名:"Random Testing of C Compilers Targeting Arithmetic Optimization,"
    掲載誌名:in Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2012), R1-10, pp. 48-53 (Mar. 2012).
    掲載誌 発行年月:2012年03月
    著者氏名(共著者含):E. Nagai, H. Awazu, N. Ishiura, and N. Takeda

    掲載種別:研究論文(国際会議プロシーディングス)
    共著区分:共著

  • 記述言語:英語
    論文題目名:"Accelerating Regression Test of Compilers by Test Program Merging,"
    掲載誌名:in Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2012), R1-9, pp. 42-47 (Mar. 2012).
    掲載誌 発行年月:2012年03月
    著者氏名(共著者含):T. Fukumoto, K. Morimoto, and N. Ishiura

    掲載種別:研究論文(国際会議プロシーディングス)
    共著区分:共著

  • 記述言語:英語
    論文題目名:"Automatic Generation of GNU Binutils and GDB for Custom Processors Based on Plug-in Method,"
    掲載誌名:in Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2012), R1-8, pp. 36-41 (Mar. 2012).
    掲載誌 発行年月:2012年03月
    著者氏名(共著者含):T. Kumura, S. Taga, N. Ishiura, Y. Takeuchi, and M. Imai

    掲載種別:研究論文(国際会議プロシーディングス)
    共著区分:共著

全件表示 >>

知的財産権 【 表示 / 非表示

  • 知的財産権区分:特許
    発明の名称:マイグレーション装置、目的ソースの生産方法、およびプログラム
    発明(考案)者名:石浦菜岐佐,他

    出願番号:特願2016-004729,2016年01月13日
    出願人名称:学校法人関西学院,他
    出願国:日本国

  • 知的財産権区分:特許
    発明の名称:ドキュメント生成装置、ドキュメントの生産方法、およびプログラム
    発明(考案)者名:石浦菜岐佐,他

    出願番号:特願2015-188841,2015年09月25日
    出願人名称:学校法人関西学院,他
    出願国:日本国

  • 知的財産権区分:特許
    発明の名称:マイグレーション装置、プログラムの製造方法、およびプログラム
    発明(考案)者名:石浦菜岐佐,他

    出願番号:特願2015-177171,2015年09月09日
    出願人名称:学校法人関西学院,他
    出願国:日本国

  • 知的財産権区分:特許
    発明の名称:ワンチッププロセッサ
    発明(考案)者名:石浦菜岐佐

    出願番号:特願2012-214997,2012年09月27日
    登録番号:特許第5993687号,2016年08月26日
    出願人名称:学校法人関西学院
    出願国:日本国

科研費(文科省・学振)獲得実績 【 表示 / 非表示

  • 研究種目:基盤研究(C)
    研究期間:2016年04月 ~ 2019年03月
    研究題目:バイナリ合成における割り込み制御および動的制御のハードウェア化に関する研究

  • 研究種目:基盤研究(C)
    研究期間:2013年04月 ~ 2016年03月
    研究題目:正確な期待値計算および生成コードの記号実行に基づくコンパイラのランダムテスト

  • 研究種目:基盤研究(C)
    研究期間:2008年04月 ~ 2011年03月
    研究題目:ソフトウェア互換な専用ハードウェアを合成する高位合成系に関する研究

受託研究受入実績 【 表示 / 非表示

  • 研究題目:バイナリコードからのMPUアクセラレータの自動生成(研究成果展開事業 研究成果最適展開支援プログラムA-STEP探索タイプ)
    研究期間:2011年08月 ~ 2012年03月
    相手先機関名:独立行政法人科学技術振興機構
    受託研究区分:一般受託研究

  • 研究題目:医療用汎用SoCデバイスの開発(都市エリア産学官連携促進事業)
    研究期間:2008年07月 ~ 2011年03月
    相手先機関名:文部科学省
    受託研究区分:一般受託研究

研究発表 【 表示 / 非表示

  • 発表(記述)言語:日本語
    会議名称:電子情報通信学会技術研究報告, 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密結合型ハードウェアアクセラレータ
    発表形態:口頭(一般)

全件表示 >>

 

担当授業科目 【 表示 / 非表示

  • 履修年度:2017年度(西暦)

    提供部署名:理工学部

    授業科目名:コンパイラ

    授業形式:代表者

  • 履修年度:2017年度(西暦)

    提供部署名:理工学部

    授業科目名:コンパイラ実習

    授業形式:代表者

  • 履修年度:2017年度(西暦)

    提供部署名:理工学部

    授業科目名:コンパイラ実習

    授業形式:代表者

  • 履修年度:2017年度(西暦)

    提供部署名:理工学部

    授業科目名:コンピュータアーキテクチャ

    授業形式:代表者

  • 履修年度:2017年度(西暦)

    提供部署名:理工学研究科前期

    授業科目名:システム設計特論

    授業形式:代表者

全件表示 >>

 

学内委員会等 【 表示 / 非表示

  • 活動名称:副学部長
    活動期間:2017年04月 ~ 2018年03月

  • 活動名称:情報環境副機構長
    活動期間:2016年04月 ~ 2017年03月

  • 活動名称:共通教育センター副長
    活動期間:2016年04月 ~ 2017年03月

  • 活動名称:教務機構長補佐
    活動期間:2014年04月 ~ 2017年03月