研究者
J-GLOBAL ID：202001005184039131   更新日: 2024年03月27日

石川 裕

イシカワ ユタカ | ISHIKAWA YUTAKA
所属機関・部署：
国立情報学研究所 アーキテクチャ科学研究系

国立情報学研究所 アーキテクチャ科学研究系 について


職名： 教授
ホームページURL (1件)： https://www.syssoft.nii.ac.jp/~ishikawa/
研究分野 (4件)： ソフトウェア ,  情報セキュリティ ,  計算機システム ,  高性能計算
研究キーワード (5件)： セキュリティ ,  高性能計算 ,  システムソフトウェア ,  オペレーティングシステム ,  並列分散システム
競争的資金等の研究課題 (11件)：
  • 2010 - 2012 先端研究施設共用促進事業
  • 2008 - 2012 シームレス高生産・高性能プログラミング環境
  • 2006 - 2012 高信頼組込みシングルシステムイメ-ジOS
  • 2010 - 2011 e-サイエンス実現のためのシステム統合・連携ソフトウェアの高度利用促進
  • 2009 - 2011 次世代クラスタにおける通信とI/O処理のためのフレームワーク
全件表示
論文 (204件)：
  • Takemasa Miyoshi, Arata Amemiya, Shigenori Otsuka, Yasumitsu Maejima, James Taylor, Takumi Honda, Hirofumi Tomita, Seiya Nishizawa, Kenta Sueki, Tsuyoshi Yamaura, et al. Big Data Assimilation: Real-time 30-second-refresh Heavy Rain Forecast Using Fugaku During Tokyo Olympics and Paralympics. Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis. 2023
  • Jie Yin, Yutaka Ishikawa, Atsuko Takefusa. A Linux Audit and MQTT-based Security Monitoring Framework. IEEE COMPSAC 2023. 2023
  • Atsushi Hori, Kaiming Ouyang, Balazs Gerofi, Yutaka Ishikawa. On the Difference Between Shared Memory and Shared Address Space in HPC Communication. SCFA. 2022. 59-78
  • Atsushi Hori, Kaiming Ouyang, Balazs Gerofi, Yutaka Ishikawa. On the Difference between Shared Memory and Shared Address Space in HPC Communication. Supercomputing Asia 2022. 2022
  • Jun Li, Xiaofei Xu, Zhigang Cai, Jianwei Liao, Kenli Li, Balazs Gerofi, Yutaka Ishikawa. Pattern-based Prefetching with Adaptive Cache Management Inside of Solid-State Drives. ACM Transactions on Storage. 2022. 18. 1. 7-25
もっと見る
MISC (100件)：
  • 合田 憲人, 山下 直希, 青木 信雄, 丹生 智也, 竹房 あつ子, 坂根 栄作, 小野 泰司, 石川 裕. 研究ソフトウェア信頼性保証のためのソフトウェア認証機構. 2024年暗号と情報セキュリティシンポジウム, 電子情報通信学会 情報セキュリティ研究専門委員. 2024
  • 中林 美郷, 関山 太朗, 蓮尾 一郎, 石川 裕. 攻撃決定図の自動生成によるTamarin Proverの脅威モデリング支援. 2024年暗号と情報セキュリティシンポジウム, 電子情報通信学会 情報セキュリティ研究専門委員会 (ISEC研). 2024
  • 稲葉 皓信, 関山 太朗, 五十嵐 淳, 石川 裕. Rabbit: a modeling language for verifying data-flow security. 第145回プログラミング研究発表会, 情報処理学会. 2023
  • 竹房 あつ子, 小野 泰司, 石川 裕. OP-TEEを用いたIoTにおける安全な階層鍵管理機構の検討. 研究報告システムソフトウェアとオペレーティング・システム(OS), 2023-OS-160(11), 情報処理学会. 2023. 1-12
  • 今井 航一, 石川 裕, 加藤真平. IoTにおけるTEEによるシステムコールの監視・制御とポリシー管理の設計. 研究報告システムソフトウェアとオペレーティング・システム(OS), 2023-OS-160(11), 情報処理学会. 2023. 1-9
もっと見る
書籍 (2件)：
  • Linuxで並列処理をしよう : SCore version 6で作るスーパーコンピュータ
    共立出版 2007 ISBN:9784320121850
  • Linuxで並列処理をしよう : SCoreで作るスーパーコンピュータ
    共立出版 2002 ISBN:4320120515
学歴 (4件)：
  • 1984 - 1987 慶応義塾大学 大学院 工学研究科電気工学専攻
  • 1985 - 1985 IBM T.J. Watson Research Center (インターンシップ)
  • 1982 - 1984 慶応義塾大学 大学院 工学研究科電気工学専攻
  • 1978 - 1982 慶応義塾大学 工学部電気工学科
経歴 (17件)：
  • 2023/07 - 現在 慶應義塾大学 訪問教授
  • 2022/04 - 現在 国立情報学研究所 数理的高信頼ソフトウェアシステム研究センター 副センター長
  • 2021/04 - 現在 国立情報学研究所/総合研究大学院大学 アーキテクチャ科学研究系 教授
  • 2020/06 - 現在 東京大学 名誉教授
  • 2004/04 - 2023/03 岡山大学 工学部 非常勤
全件表示
委員歴 (16件)：
  • 2010 - 2020/10 内閣府政府調達苦情検討委員会 専門委員
  • 2001 - 2020/03 PCクラスタコンソーシアム 会長
  • 2010 - 2019 EuroMPI 2010/2011/2012/2013/2015/2017/2018/2019 プログラム委員
  • 2014 - 2014 EuroMPI/Asia 2014 Program Co-chair
  • 2011 - 2011 IEEE SC'11 プログラム委員&チュートリアル委員
全件表示
受賞 (20件)：
  • 2023/10 - 情報処理学会 コンピュータサイエンス領域功績賞
  • 2022/09 - 日本ソフトウェア科学会 フェロー
  • 2021/12 - 慶応義塾大学理工学部 矢上賞
  • 2021/11 - 兵庫県 科学賞
  • 2018/04 - ACM Symposium on High-Performance Parallel and Distributed Computing (HPDC) ベスト論文賞
全件表示
所属学会 (4件)：
IEEE ,  ACM ,  日本ソフトウェア科学会 ,  情報処理学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM