坂井修一 (Shuichi Sakai) - マイポータル

基本情報

所属: 東京大学未来ビジョン研究センター特任教授 (名誉教授)

学位: Dr. Eng.(The University of Tokyo)

J-GLOBAL ID: 200901080341407097
researchmap会員ID: 1000225282

外部リンク: https://ifi.u-tokyo.ac.jp/people/sakai-shuichi/

研究キーワード

研究分野

経歴

1986年4月 - 1996年9月

電子技術総合研究所, 研究員
1991年4月 - 1992年3月

マサチューセッツ工科大学, コンピュータ科学研究所, 招聘研究員
1996年10月 - 1998年3月

筑波大学, 電子・情報工学系, 助教授
1998年4月 - 2001年3月

東京大学, 大学院工学系研究科, 助教授
2001年4月 - 2024年3月

東京大学, 大学院情報理工学系研究科, 教授
2013年4月 - 2016年3月

東京大学, 大学院情報理工学系研究科, 研究科長
2021年4月 - 現在

東京大学, 附属図書館, 館長
2021年4月 - 現在

東京大学 (副学長)
2024年4月 - 現在

東京大学, 未来ビジョン研究センター, 特任教授
2024年6月 - 現在

東京大学 (名誉教授)

学歴

1981年4月 - 1986年3月

東京大学, 大学院工学系研究科, 情報工学専攻
1979年4月 - 1981年3月

東京大学, 理学部, 情報科学科
1977年4月 - 1979年3月

東京大学, 理科Ⅰ類

委員歴

電子情報通信学会, RC運営委員
1998年 - 2002年

情報処理学会, 論文誌編集委員
2003年 - 2007年

情報処理学会, 学会誌編集委員
2006年 - 2008年

情報処理学会, 理事
2007年 - 2009年

電子情報通信学会, CPSY副委員長
2007年 - 2010年

日本学術会議, 連携会員
2009年 - 2010年

情報処理学会, 50周年記念全国大会プログラム委員長
2009年 - 2011年

電子情報通信学会, CPSY委員長
2015年6月 - 2017年6月

電子情報通信学会, 理事
2016年6月 - 2017年6月

電子情報通信学会, 情報・システムソサイエティ会長
2018年 - 現在

科学技術振興機構, CREST総括

受賞

1989年6月

研究賞, 情報処理学会
1990年

業績賞, 電子技術総合研究所
1991年

日本IBM科学賞
1991年

情報処理学会論文賞
1991年

元岡記念賞
1995年

市村学術賞
1995年9月

IEEE最優秀論文賞, IEEE
1996年

科学技術庁注目発明
1997年12月

Sun Distinguished Speaker Award, Sun Microsystems

Shuichi Sakai
2010年3月

フェロー, 情報処理学会

坂井修一
2011年9月

フェロー, 電子情報通信学会

坂井修一
2012年

大川出版賞, ITが守る、ITを守る―天災・人災と情報技術

坂井修一
2018年

業績賞, 電子情報通信学会
2020年7月

xSIG Best Research Award, 距離制限を保証するSTRAIGHTコード生成アルゴリズムの提案, 情報処理学会、電子情報通信学会

杉田脩, 小泉透, 入江英嗣, 坂井修一
2020年9月

FIT船井ベストペーパー賞, 近似レベルを動的制御可能なアーキテクチャのためのコンパイラフレームワークの検討, 電子情報通信学会、情報処理学会

Kazutaka Tomida, Tomoki Nakamura, Toru Koizumi, Hidetsugu Irie, Shuichi Sakai
2022年7月

ｘSIG Best Research Award, 動的近似計算プロセッサのマイクロアーキテクチャ設計とソフトコア実装, 情報処理学会, 電子情報通信学会

吉田智裕, 中村朋生, 門本淳一郎, 入江英嗣, 坂井修一
2022年7月

xSIG Best Research Award, STRAIGHTアーキテクチャにおける効率的なデータフローを実現する命令配置手法, 情報処理学会, 電子情報通信学会

杉田脩, 小泉透, 塩谷亮太, 入江英嗣, 坂井修一
2023年8月

xSIG Best Research Award, 融合積和演算命令を生かす高速かつ高精度な三角関数の実装, 情報処理学会, 電子情報通信学会

小泉透, 入江英嗣, 坂井修一
2023年8月

xSIG Outstanding Research Award, 形状自在計算機システムのための動的再構成可能なネットワーク, 情報処理学会, 電子情報通信学会

長﨑舜, 門本淳一郎, 入江英嗣, 坂井修一
2023年9月

FIT論文賞, 予測ベースの先行実行によるIn-Orderプロセッサの高速化, 情報処理学会, 電子情報通信学会

灘洋太郎, 小泉透, 塩谷亮太, 入江英嗣, 坂井修一

もっとみる

論文

Inspex: Speculative Execution of Ready-to-Execute Loads in In-Order Cores.

Yotaro Nada, Toru Koizumi 0001, Ryota Shioya, Hidetsugu Irie, Shuichi Sakai

IEEE Comput. Archit. Lett. 25(1) 17-20 2026年
Biotite: A High-Performance Static Binary Translator using Source-Level Information

Changbin Chen, Shu Sugita, Yotaro Nada, Hidetsugu Irie, Shuichi Sakai, Ryota Shioya

Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction 167-179 2025年2月25日
Flexible Approximate Computing for Mitigating Branch Divergence in GPUs.

Reoma Matsuo, Yuya Degawa, Hidetsugu Irie, Shuichi Sakai, Ryota Shioya

IEEE Micro 45(2) 90-100 2025年
Enhancing GPU Performance Through Complexity-Effective Out-of-Order Execution Using Distance-Based ISA.

Reoma Matsuo, Toru Koizumi 0001, Hidetsugu Irie, Shuichi Sakai, Ryota Shioya

IEICE Trans. Inf. Syst. 108(6) 558-569 2025年
Designing a Reactive Programming Language for Shape-Adaptive Computers

Yusuke Izawa, Junichiro Kadomoto, Hidetsugu Irie, Shuichi Sakai

2024 31st Asia-Pacific Software Engineering Conference (APSEC) 452-456 2024年12月3日
TURBULENCE: Complexity-Effective Out-of-Order Execution on GPU With Distance-Based ISA.

Reoma Matsuo, Toru Koizumi 0001, Hidetsugu Irie, Shuichi Sakai, Ryota Shioya

IEEE Computer Architecture Letters 23(2) 175-178 2024年
Branch Divergence-Aware Flexible Approximating Technique on GPUs.

Reoma Matsuo, Yuya Degawa, Hidetsugu Irie, Shuichi Sakai, Ryota Shioya

COOL CHIPS 1-6 2024年
A Principal Factor of Performance in Decoupled Front-End.

Yuya Degawa, Toru Koizumi 0001, Tomoki Nakamura, Ryota Shioya, Junichiro Kadomoto, Hidetsugu Irie, Shuichi Sakai

IEICE Transactions on Information & Systems 106(12) 1960-1968 2023年12月
Dynamically Reconfigurable Network Protocol for Shape-Changeable Computer System.

Shun Nagasaki, Junichiro Kadomoto, Hidetsugu Irie, Shuichi Sakai

IEEE Design & Test 40(6) 18-29 2023年12月
Clockhands: Rename-free Instruction Set Architecture for Out-of-order Processors.

Toru Koizumi 0001, Ryota Shioya, Shu Sugita, Taichi Amano, Yuya Degawa, Junichiro Kadomoto, Hidetsugu Irie, Shuichi Sakai

MICRO 1-16 2023年
iKnowde: Interactive Learning Path Generation System Based on Knowledge Dependency Graphs.

Takashi Murayama, Shu Sugita, Hiroyuki Saegusa, Junichiro Kadomoto, Hidetsugu Irie, Shuichi Sakai

UIST (Adjunct Volume) 25-3 2023年
A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers.

Yusuke Izawa, Junichiro Kadomoto, Hidetsugu Irie, Shuichi Sakai

SPLASH Companion 61-62 2023年
An Out-of-Order Superscalar Processor Using STRAIGHT Architecture in 28 nm CMOS.

Taichi Amano, Junichiro Kadomoto, Satoshi Mitsuno, Toru Koizumi 0001, Ryota Shioya, Hidetsugu Irie, Shuichi Sakai

ISCAS 1-5 2023年
TURBULENCE: Complexity-effective Out-of-order Execution on GPU with Distance-based ISA.

Reoma Matsuo, Toru Koizumi 0001, Hidetsugu Irie, Shuichi Sakai, Ryota Shioya

Design(DATE) 1-2 2023年
A Sound and Complete Algorithm for Code Generation in Distance-Based ISA.

Shu Sugita, Toru Koizumi 0001, Ryota Shioya, Hidetsugu Irie, Shuichi Sakai

CC 73-84 2023年
T-SKID: Predicting When to Prefetch Separately from Address Prediction

Toru Koizumi, Tomoki Nakamura, Yuya Degawa, Hidetsugu Irie, Shuichi Sakai, Ryota Shioya

2022 Design, Automation & Test in Europe Conference & Exhibition (DATE) 2022年3月14日
Evaluation of Different Microarchitectures for Energy-Efficient RISC-V Cores.

Junichiro Kadomoto, Hidetsugu Irie, Shuichi Sakai

MCSoC 78-84 2022年
Deformable Chiplet-Based Computer Using Inductively Coupled Wireless Communication.

Junichiro Kadomoto, Hidetsugu Irie, Shuichi Sakai

ASP-DAC 98-99 2022年
Toward Wirelessly Cooperated Shape-Changing Computing Particles

Junichiro Kadomoto, Takuya Sasatani, Koya Narumi, Naoto Usami, Hidetsugu Irie, Shuichi Sakai, Yoshihiro Kawahara

IEEE Pervasive Computing 20(3) 9-17 2021年7月1日
Multiport Register File Design for High-Performance Embedded Cores.

Junichiro Kadomoto, Hidetsugu Irie, Shuichi Sakai

MCSoC 281-286 2021年

もっとみる

MISC

351

ソースレベル情報を利用した高性能ハイブリッドバイナリトランスレータ

CHEN Changbin, SUGITA Shu, NADA Yotaro, IRIE Hidetsugu, SAKAI Shuichi, SHIOYA Ryota

情報処理学会論文誌トランザクションプログラミング(Web) 17(1) 2024年
STRAIGHTアーキテクチャの命令配置問題に対するSMTソルバの適用と最適解の評価

青木麻純, 杉田脩, 入江英嗣, 坂井修一

情報処理学会研究報告(Web) 2024(ARC-258) 2024年
GPUにおける距離指定型命令セットを用いた軽量なアウトオブオーダー実行

松尾玲央馬, 小泉透, 入江英嗣, 坂井修一, 塩谷亮太

情報処理学会研究報告(Web) 2024(ARC-257) 2024年
融合積和演算を用いた三角関数の高速な実装

榊原雄大, 小泉透, 門本淳一郎, 入江英嗣, 坂井修一

情報処理学会研究報告(Web) 2023(ARC-252) 2023年
STRAIGHTにおけるリピート命令を用いた垂直型ベクトル実行方式の提案

平岡拓海, 小泉透, 杉田脩, 灘洋太郎, 門本淳一郎, 入江英嗣, 坂井修一

情報処理学会研究報告(Web) 2023(ARC-252) 2023年
予測ベースの先行実行によるIn-Orderプロセッサの高速化

灘洋太郎, 小泉透, 塩谷亮太, 入江英嗣, 坂井修一

情報科学技術フォーラム講演論文集 22nd 2023年
倍精度指数関数の高速な完全精度実装

小泉透, 津邑公暁, 入江英嗣, 坂井修一

情報処理学会研究報告(Web) 2023(ARC-255) 2023年
近似の積極性を動的制御可能なアーキテクチャのためのコンパイラフレームワーク

冨田和孝, 中村朋生, 小泉透, 出川祐也, 入江英嗣, 坂井修一

情報処理学会論文誌ジャーナル(Web) 63(4) 2022年
STRAIGHT向け命令圧縮手法の提案と評価

灘洋太郎, 小泉透, 入江英嗣, 坂井修一

情報処理学会研究報告(Web) 2022(ARC-250) 2022年
オペランドを命令間距離で指定する方式の性質に関する調査

小泉透, 塩谷亮太, 入江英嗣, 坂井修一

情報処理学会研究報告(Web) 2022(ARC-250) 2022年
アドレスとタイミングの予測を分離したデータプリフェッチャ

小泉透, 中村朋生, 出川祐也, 入江英嗣, 坂井修一, 塩谷亮太

情報処理学会研究報告(Web) 2022(ARC-248) 2022年
STRAIGHTアーキテクチャにおけるC++コンパイラ開発と性能評価

灘洋太郎, 小泉透, 杉田脩, 塩谷亮太, 門本淳一郎, 入江英嗣, 坂井修一

情報処理学会研究報告(Web) 2022(ARC-248) 2022年
Ties to max magnitude丸めモードを利用した二段階丸め誤差の防止

小泉透, 入江英嗣, 坂井修一

情報処理学会研究報告(Web) 2021(ARC-245) 2021年
STRAIGHTアーキテクチャにおけるスケーラブルなスケジューラの提案と評価

新浩太朗, 小泉透, 杉田脩, 光野聡志, 門本淳一郎, 塩谷亮太, 入江英嗣, 坂井修一

情報処理学会研究報告(Web) 2021(ARC-245) 2021年
デルタ相関を用いたLSTMベースプリフェッチャ

谷合廣紀, 中村朋生, 小泉透, 出川祐也, 入江英嗣, 坂井修一, 塩谷亮太

電子情報通信学会技術研究報告(Web) 121(304(PRMU2021 24-59)) 2021年
近似レベルを動的制御可能なアーキテクチャの提案

道上和馬, 中村朋生, 小泉透, 入江英嗣, 坂井修一

情報処理学会研究報告(Web) 2020(SLDM-191) 2020年
Out-of-Order STRAIGHTソフトプロセッサの実装と評価

光野聡志, 小泉透, 門本淳一郎, 入江英嗣, 坂井修一

電子情報通信学会技術研究報告 119(429(DC2019 98-121)(Web)) 2020年
Webページをクエリとしたキーワードレスの研究情報検索

村山貴志, 河野翔太, 近藤佑亮, 中林雄一, 野々村一歩, 入江英嗣, 坂井修一

情報処理学会研究報告(Web) 2020(HCI-189) 2020年
プリフェッチ距離の性質に着目した命令プリフェッチャ

中村朋生, 小泉透, 出川祐也, 入江英嗣, 坂井修一, 塩谷亮太

電子情報通信学会技術研究報告(Web) 120(121(CPSY2020 1-16)) 2020年
コンテナ型仮想化環境におけるテイント追跡システム

立花斐斗, 入江英嗣, 坂井修一

電子情報通信学会技術研究報告(Web) 120(188(CPSY2020 17-21)) 2020年

もっとみる

書籍等出版物

Pipeline optimization of a dataflow machine

Shuichi Sakai, Yoshinori Yamaguchi, Kie Hiraki, Yuetsu Kodama, Toshitsugu Yuba

Advanced Topics in Data-Flow Computing pp. 225-246, Prentice Hall 1991年
Synchronization and Pipeline Design for a Multithreaded Massively Parallel Computer,

Shuichi Sakai

pp.55-74, I Advanced Topics in Dataflow Computing and Multithreading, IEEE Computer Society Press, 1995年
Distributed Data Structure in Thread-Based Programming for a Highly Parallel Dataflow Machine EM-4, Advanced Topics in Dataflow Computing and Multithreading

Mitsuhisa Sato, Yuetsu Kodama, Shuichi Sakai, Yoshinori Yamaguchi, Satoshi Sekiguchi

dvanced Topics in Dataflow Computing and Multithreading, IEEE Computer Society Press, pp. 131-142 1995年
EM-C: Programming with Explicit Parallelism and Locality for EM-4 Multiprocessor

Mitsuhisa Sato, Yuetsu Kodama, Shuichi Sakai, Yoshinori Yamaguchi, Satoshi Sekiguchi

arallel Language and Compiler Research in Japan), Kluwer, Academic Publishers, Chapter 3, pp.47-73 1995年
論理回路入門

坂井修一

培風館 2003年10月
コンピュータアーキテクチャ

坂井修一

コロナ社 2004年3月
実践コンピュータアーキテクチャ

坂井修一

コロナ社 2009年4月
知っておきたい情報社会の安全知識

坂井修一

岩波書店 2010年3月
ITが守る、ITを守る―天災・人災と情報技術

坂井修一

NHK出版 2012年2月
オンライン・ファースト: コロナ禍で進展した情報社会を元に戻さないために

坂井修一

東大出版 2020年12月
サイバー社会の「悪」を考える

坂井修一

東大出版 2022年1月
森鷗外の訳詩からリベラルアーツを問う

坂井修一

リベラルアーツと外国語、水声社 2022年2月
うたごころは科学する

坂井修一

Kindle Direct Publishing 2022年7月
科学の時間・人間の時間

坂井修一

リベラルアーツと自然科学石井洋二郎（編）水声社 2023年3月

担当経験のある科目(授業)

所属学協会

Works(作品等)

データフローマシンEM-4

坂井修一

1990年4月その他
データフローマシンEM-X

1995年4月
超並列計算機RWC-1

1996年10月その他
並列マシンの言語処理系の研究

2004年

共同研究・競争的資金等の研究課題

新アーキテクチャによる省電力高性能な超スケーラブルプロセッサの実現

日本学術振興会科学研究費助成事業基盤研究(B) 2023年4月 - 2026年3月

入江英嗣, 塩谷亮太, 門本淳一郎, 小泉透, 坂井修一
新アーキテクチャによる省電力高性能な超スケーラブルプロセッサの実現

日本学術振興会科学研究費助成事業基盤研究(B) 2023年4月 - 2026年3月

入江英嗣, 塩谷亮太, 門本淳一郎, 坂井修一, 小泉透
超小型無線計算機群を用いた形状自在ユーザインタフェースの研究

日本学術振興会科学研究費助成事業基盤研究(A) 2023年4月 - 2026年3月

坂井修一, 門本淳一郎, 入江英嗣
プログラマビリティと電力効率を両立するSIMDベース・アクセラレータの研究

日本学術振興会科学研究費助成事業基盤研究(B) 2020年4月 - 2024年3月

塩谷亮太, 坂井修一, 入江英嗣, 千葉滋
省電力・省面積・高効率を実現するユニバーサルなコアプロセッサIPの開発

日本学術振興会科学研究費助成事業基盤研究(B) 2019年4月 - 2022年3月

入江英嗣, 坂井修一, 塩谷亮太, 門本淳一郎
無端子チップの誘導結合通信によって構成される超小型変形可能計算機システムの実現

日本学術振興会科学研究費助成事業基盤研究(B) 2019年4月 - 2022年3月

坂井修一, 入江英嗣, 門本淳一郎
レジリエンス指向コンピュータシステムに関する研究

日本学術振興会科学研究費助成事業基盤研究(B) 2014年4月 - 2018年3月

坂井修一, 入江英嗣, 五島正裕
プログラマビリティと最大性能を両立するデータ並列プロセッサの開発

日本学術振興会科学研究費助成事業基盤研究(B) 2011年4月 - 2015年3月

五島正裕, 塩谷亮太, 坂井修一
超セキュアプロセッサの研究

日本学術振興会科学研究費助成事業基盤研究(B) 2010年 - 2012年

坂井修一, 五島正裕
アーキテクチャと形式的検証の協調による超ディペンダブルVLSI

科学技術振興機構戦略的な研究開発の推進/戦略的創造研究推進事業/CREST 2007年 - 2012年

坂井修一
プログラマビリティと最大性能を両立するベクトル・アーキテクチャの研究

日本学術振興会科学研究費助成事業基盤研究(B) 2008年 - 2011年

五島正裕, 坂井修一
情報漏洩を防ぐ安心・安全プロセッサアーキテクチャの研究

日本学術振興会科学研究費助成事業特定領域研究 2007年 - 2008年

五島正裕, 坂井修一
ディペンダブル情報処理基盤

科学技術振興機構戦略的な研究開発の推進/戦略的創造研究推進事業/CREST 2002年 - 2007年

坂井修一
次世代マイクロプロセッサ向け省電力方式の研究

日本学術振興会科学研究費助成事業基盤研究(B) 2004年 - 2006年

坂井修一, 五島正裕
料理映像を題材とするマルチメディア統合システムの構築とその応用

日本学術振興会科学研究費助成事業基盤研究(B) 2002年 - 2003年

田中英彦, 浜田玲子, 井手一郎, 坂井修一
高性能省電力チップマルチプロセッサの研究

日本学術振興会科学研究費助成事業基盤研究(B) 2001年 - 2003年

坂井修一, 清水修, 田中英彦
マルチパス投機処理を行う大規模並列マイクロプロセッサ・アーキテクチャの研究

日本学術振興会科学研究費助成事業基盤研究(B) 1999年 - 2001年

田中英彦, 清水修, 坂井修一
マルチスレッド型超並列計算機の研究

日本学術振興会科学研究費助成事業基盤研究(C) 1997年 - 1998年

坂井修一
コンピュータシステム一般、特にアーキテクチャとコンパイラ
マルチメディアに関する研究

もっとみる

産業財産権

特許平2-209784 計算機

坂井修一, 児玉祐悦, 山口喜教
特許平06-224939 パケット交換型通信方法

戸田賢二, 西田健次, 坂井修一, 内堀義信, 島田俊夫
特許平6-2092 相互結合装置

横田隆史, 松岡浩司, 岡本一晃, 廣野英雄, 坂井修一, 堀敦史, 児玉祐悦, 佐藤三久
特許3501761 大規模データパス・アーキテクチャの実行機構

田中英彦, 坂井修一, 辻秀典, 安島雄一郎
特許3497832 ロード・ストアキュー

田中英彦, 坂井修一, 辻秀典, 安島雄一郎
特許3795055 値予測装置、マルチプロセッサシステムおよび値予測方法

田代大輔, 坂井修一
特許5212934 集積回路装置

坂井修一, 廣瀬健一郎, 萬沢康雄, 五島正裕
特許US 8,413,240 B2 INFORMATION PROCESSING DEVICE, INFORMATION PROCESSING METHOD, AND COMPUTER READABLE RECORDING MEDIUM

Satoshi KATSUNUMA, Masahiro GOSHIMA, Hidetsugu IRIE, Ryota SHIOYA, Shuichi SAKAI
特許6631954 運転者状態判定装置

長野英治, 安井博文, 小峰光弘, 入江英嗣, 坂井修一, 山田高寛, 土門憲司
特許6664018 プログラム及び情報処理装置

井出将弘, 森真吾, 入江英嗣, 坂井修一, 丸山桂史
特許663195 運転者状態判定装置,

長野英治, 安井博文, 小峰光弘, 入江英嗣, 坂井修一, 山田高寛, 土門憲司
特許5181127 半導体集積回路

塩谷亮太, 五島正裕, 坂井修一

坂井修一

基本情報

研究キーワード

研究分野

経歴

学歴

委員歴

受賞

論文

MISC

書籍等出版物

担当経験のある科目(授業)

所属学協会

Works(作品等)

共同研究・競争的資金等の研究課題

産業財産権

メニュー

共著者の一覧