石浦 菜岐佐
イシウラ ナギサ (Nagisa Ishiura)
更新日: 2024/09/19
基本情報
- 所属
- 関西学院大学 理工学部 情報科学科 教授
- 学位
-
京都大学工学博士(京都大学)工学修士(京都大学)工学学士(京都大学)Master of Engineering(Kyoto University)Bachelor of Engineering(Kyoto University)
- J-GLOBAL ID
- 200901049029617438
- researchmap会員ID
- 5000019168
- 外部リンク
集積回路の計算機援用設計, コンパイラ
研究キーワード
3研究分野
1経歴
1-
2002年4月 - 現在
論文
23-
Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016) 303-304 2016年10月 査読有り
-
Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016) 285-290 2016年10月 査読有り
-
Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016) 172-177 2016年10月 査読有り
-
Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016) 88-89 2016年10月 査読有り
-
Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016) 2-3 2016年10月 査読有り
-
Proc. International Conference on Enterprise Architecture and Information Systems (EAIS 2016) 1058-1063 2016年6月 査読有り
-
2016 IEEE ASIA PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS (APCCAS) 676-679 2016年 査読有り
-
IPSJ Transactions on System LSI Design Methodology 9 21-29 2016年 査読有り
-
Proc. International Technical Conference on Circuit/Systems, Computers and Communications (ITC-CSCC 2015) 725-727 2015年6月 査読有り
-
Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2015) 226-227 2015年3月 査読有り
-
Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2015) 10-15 2015年3月 査読有り
-
Proc. International Technical Conference on Circuit/Systems, Computers and Communications (ITC-CSCC 2014) 725-728 2014年7月 査読有り
-
IPSJ Transactions on System LSI Design Methodology 7 91-100 2014年 査読有り
-
in Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2013), R2-3, pp. 88-93 (Oct. 2013). 88-93 2013年10月 査読有り
-
in Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2012), R1-10, pp. 48-53 (Mar. 2012). 48-53 2012年3月 査読有り
-
in Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2012), R1-9, pp. 42-47 (Mar. 2012). 42-47 2012年3月 査読有り
-
in Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2012), R1-8, pp. 36-41 (Mar. 2012). 36-41 2012年3月 査読有り
-
in Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2012), R2-8, pp. 186-191 (Mar. 2012). 186-191 2012年3月 査読有り
-
IPSJ Transactions on System LSI Design Methodology 3 207-221 2010年 査読有り
-
IEICE Trans. Fundamentals E91-A(12) 3556-3558 2008年12月 査読有り
MISC
1-
電子情報通信学会 Fundamentals Review 9(3) 188-196 2016年1月 査読有り招待有り
講演・口頭発表等
17-
電子情報通信学会技術研究報告, VLD2013-128 2014年1月
-
電子情報通信学会技術研究報告, VLD2013-132 2014年1月
-
電子情報通信学会技術研究報告, VLD2013-133 2014年1月
-
電子情報通信学会技術研究報告, VLD2012-117 2013年1月
-
電子情報通信学会技術研究報告, VLD2012-119 2013年1月
-
電子情報通信学会技術研究報告, VLD2011-107 2012年1月
-
電子情報通信学会技術研究報告, VLD2010-106 2012年1月
-
電子情報通信学会技術研究報告, VLD2010-95 2011年1月
-
電子情報通信学会技術研究報告, VLD2010-94 2011年1月
-
電子情報通信学会技術研究報告, VLD2010-90 2011年1月
-
情報処理学会研究報告, 2010-SLDM-144-58/2010-EMB-16-58 2010年3月
-
電子情報通信学会技術研究報告, VLD2009-120 2010年3月
-
情報処理学会研究報告, 2010-ARC-187-16/2010-EMB-15-16 2010年1月
-
電子情報通信学会技術研究報告, VLD2008-127, pp. 7-10 2009年3月
-
電子情報通信学会技術研究報告, VLD2008-126, pp. 1-6 2009年3月
-
電子情報通信学会技術研究報告, VLD2008-105/CPSY2008-67/RECONF2008-69, pp. 81-86 2009年1月
-
電子情報通信学会技術研究報告, VLD2008-83/DC2008-51, pp. 139-144 2008年11月
担当経験のある科目(授業)
22共同研究・競争的資金等の研究課題
6-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2019年4月 - 2022年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2016年4月 - 2019年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2013年4月 - 2016年3月
-
独立行政法人科学技術振興機構 受託研究（一般受託研究） 2011年8月 - 2012年3月
-
文部科学省 受託研究（一般受託研究） 2008年7月 - 2011年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2008年4月 - 2011年3月