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 一覧表示...   ■ 論文 情報流解析におけるDeclassifierの配置手法  桑原 寛明，國枝 義敏．  コンピュータソフトウェア  32/ 1, 136-146  2015  10.11309/jssst.32.1_136 複雑な計算スキームを必要とする多階層生体機能モデルのシミュレーションシステム  天野 晃，プンザラン フローレンシオ ラスティ，嶋吉 隆夫，國枝 義敏  生体医工学  53/ 3, 115-122  2015/10  1881-4379  10.11239/jsmbe.53.115 Program Code Generator for Cardiac Electrophysiology Simulation with Automatic PDE Boundary Condition Handling  Florencio Rusty Punzalan, Yoshitoshi Kunieda, Akira Amano  PLoS ONE  10/ 9, e0136821. doi:10.1371/journal.pone.0136821  2015/09  1932-6203  10.1371/journal.pone.0136821 一覧表示...   ■ 研究発表等 JavaのStream APIによるストリーム操作の停止性を検査する型システム  第20回プログラミングおよびプログラミング言語ワークショップ（PPL2018）  2018/03/05 Java Stream API によるストリーム操作の停止性検査のための型システム  第24回ソフトウェア工学の基礎ワークショップ - FOSE2017  2017/11/24 グラフDBを用いたプログラム解析の実現に向けて  第24回ソフトウェア工学の基礎ワークショップ - FOSE2017  2017/11/24 一覧表示...   ■ 科学研究費助成事業 科学研究費助成事業データベースへのリンク   ■ 受賞学術賞 情報処理学会  情報処理学会論文賞  1991/03 一覧表示...   ■教育業績一覧  (上位3件までを表示します。一覧表示では、公開対象の全件を表示します) ■ 担当授業科目 2017  情報システム学実験３  実験・実習・実技 2017  情報理工学特殊研究１  演習 2017  情報理工学特殊研究２  演習 一覧表示...   ■ 教育活動 実験科目「セキュリティネットワーク実験1」のボードコンピュータ実験を立ち上げるため、実験手順ガイドを作成  2017/10- 育英西高等学校のスーパーサイエンス学外委員  2016/04-2017/03 情報理工学部高大連携アドバンストプログラムの統括  2010/03-2013/03 一覧表示...   ■研究者からのメッセージ 並列処理による高性能計算システムの開発  学生時代から、基本ソフトウェア、特に言語処理系の開発を通して、実際的な研究に携わってきた経験を持つ。その経緯を活かし、現在も同分野の研究に軸足を置いている。その中でも現在は、特に並列処理システム、高性能計算システムに焦点を当て、そのシステムソフトウェアの研究開発を行っている。また、これらの基盤としての並列処理システムの実効性能を検証するためにも、実際の応用プログラムをこれらの上で並列処理させる実証実験も行っている。その具体的な応用分野には、いわゆる数値解析、シミュレーション分野のみならず、最近のバイオインフォマティクス分野、例えばホモロジー解析などもに手を広げつつある。さらに、自動並列化コンパイラをはじめ、これまでのプロジェクト研究開発で培ってきた様々な並列化技術を産業界に資するため、いわゆる「組み込み型システム」の分野にも展開を図っている。   ■関連URL ■  高性能計算機ソフトウェアシステム研究室