English
情報理工学部
/
情報理工学科
クニエダ ヨシトシ
(男)
國枝
義敏
教授
Yoshitoshi KUNIEDA
■兼務所属(本学内)
■
情報理工学研究科
■取得学位
■
工学博士 (京都大学)
■所属学会
■
情報処理学会
■
電子情報通信学会
■
ACM
■
IEEE CS
■研究概要
高性能計算 High Performance Computing
主に並列処理による超高性能計算機システムの構築。特に、そのシステム・ソフトウェア、基本ソフトウェアに重点をおきつつ、その実効性能検証のための応用ソフトウェア開発まで。
■研究キーワード
システムプログラム, 計算機ソフトウェア
■研究業績一覧 (上位3件までを表示します。一覧表示では、公開対象の全件を表示します。)
■
著書
“Parallel Language and Compiler Research in Japan” L. F. ビック 編:津田孝夫，國枝義敏，上原哲太郎 Kluwer Academic Publishers 303-312 1995/07
新コンピュータサイエンス講座 情報工学実験 池田克夫編:稲垣耕作，國枝義敏 オーム社 79-104 1993/03
“HIGH PERFORMANCE COMPUTING, Research and Practice in Japan” R. メンデス 編，津田孝夫，國枝義敏 WILEY PROFESSIONAL COMPUTING(New York) 97-114 1991/11
一覧表示...
■
論文
情報流解析における制約付き機密度パラメータ 桑原 寛明，國枝 義敏 コンピュータソフトウェア 36/ 4, 39-45 2019/11
10.11309/jssst.36.4_39
オブジェクト指向言語の情報流解析における機密度のパラメータ化 吉田 真也，桑原 寛明，國枝 義敏 コンピュータソフトウェア 36/ 1, 48-65 2019/01
10.11309/jssst.36.48
情報流解析のためのJavaアノテーション 吉田 真也, 桑原 寛明, 國枝 義敏． コンピュータソフトウェア 34/ 4, 4_47-4_53 2017/10
10.11309/jssst.34.4_47
一覧表示...
■
研究発表等
Stream APIを利用するJavaプログラムにおけるストリーム再利用の静的検出手法 情報処理学会研究報告，Vol.2019-SE-201，No.4，pp.1-8，2019． 2019/03/07
情報流解析における制約付き機密度パラメータ ソフトウェア工学の基礎 XXV (FOSE 2018) 2018/11/16
Java Stream APIによるストリーム操作の停止性検査のための型システム ソフトウェア工学の基礎 XXV (FOSE 2018) 2018/11/15
一覧表示...
■
科学研究費助成事業
科学研究費助成事業データベースへのリンク
■
受賞学術賞
情報処理学会 情報処理学会論文賞 1991/03
一覧表示...
■教育業績一覧 (上位3件までを表示します。一覧表示では、公開対象の全件を表示します)
■
担当授業科目
2017 情報システム学実験３ 実験・実習・実技
2017 情報理工学特殊研究１ 演習
2017 情報理工学特殊研究２ 演習
一覧表示...
■
教育活動
実験科目「セキュリティネットワーク実験1」のボードコンピュータ実験を立ち上げるため、実験手順ガイドを作成 2017/10-
育英西高等学校のスーパーサイエンス学外委員 2016/04-2017/03
情報理工学部高大連携アドバンストプログラムの統括 2010/03-2013/03
一覧表示...
■研究者からのメッセージ
並列処理による高性能計算システムの開発
学生時代から、基本ソフトウェア、特に言語処理系の開発を通して、実際的な研究に携わってきた経験を持つ。その経緯を活かし、現在も同分野の研究に軸足を置いている。その中でも現在は、特に並列処理システム、高性能計算システムに焦点を当て、そのシステムソフトウェアの研究開発を行っている。また、これらの基盤としての並列処理システムの実効性能を検証するためにも、実際の応用プログラムをこれらの上で並列処理させる実証実験も行っている。その具体的な応用分野には、いわゆる数値解析、シミュレーション分野のみならず、最近のバイオインフォマティクス分野、例えばホモロジー解析などもに手を広げつつある。さらに、自動並列化コンパイラをはじめ、これまでのプロジェクト研究開発で培ってきた様々な並列化技術を産業界に資するため、いわゆる「組み込み型システム」の分野にも展開を図っている。
■関連URL
■
高性能計算機ソフトウェアシステム研究室