山下茂

2024 - 2029 古典計算との協調利用による誤り耐性量子計算機の利用方法の開拓
2024 - 2026 量子状態の位相と論理値の情報を同時に扱う量子回路設計理論の構築
2020 - 2025 研究領域「革新的アルゴリズム基盤」の組織運営と研究推進
2020 - 2025 量子アルゴリズムの理論と実装を接続する革新的基盤の創出
2020 - 2025 ラボオンチップ向けの設計理論の確立と実用的な設計自動化システムの開発

全件表示

Yuta Hamachiyo, Chiharu Shiro, Hiroki Nishikawa, Hiroyuki Tomiyama, Shigeru Yamashita. Accelerated Droplet Routing on MEDA Biochips Considering Shape-Dependent Velocity Models Through Guidance and Lower-Bound Constraints. Applied Sciences. 2026
Chiharu Shiro, Hiroki Nishikawa, Xiangbo Kong, Hiroyuki Tomiyama, Shigeru Yamashita. Simultaneous Routing with Washing Droplets Based on Shape-Dependent Velocity Model in MEDA Biochips. Biosensors. 2025
Yuta Hamachiyo, Chiharu Shiro, Hiroki Nishikawa, Hiroyuki Tomiyama, Shigeru Yamashita. Target-Guided Droplet Routing on MEDA Biochips Considering Shape-Dependent Velocity Models and Droplet Splitting. Biosensors. 2025
Debraj Kundu, Tsun-Ming Tseng, Shigeru Yamashita and Ulf Schlichtmann. Loading-Aware Mixing-Efficient Sample Preparation on Programmable Microfluidic Device,. 2025 Design, Automation & Test in Europe Conference & Exhibition (DATE). 2025. (To Appear)
David Clarino, Naoya Asada, Atsushi Matsuo, Shigeru Yamashita. Leveraging Different Boolean Function Decompositions to Reduce T-Count in LUT-based Quantum Circuit Synthesis. IEICE Transactions on Information and Systems. 2025. Vol. E108-D. 4. To Appear

清野恭平, 山下茂. SMTソルバを用いたNNA制約を満たす量子回路の合成手法. 電子情報通信学会. 2023
城千春, 西川広記, 孔祥博, 冨山宏之, 山下茂. MEDAバイオチップにおける洗浄を伴うルーティング. 電子情報通信学会. 2023
河上智久, 城千春, 西川広記, 孔祥博, 冨山宏之, 山下茂. DMFBにおける未知のエラーを考慮した深層強化学習を用いた経路最適化. 電子情報通信学会. 2023
城千春, 西川広記, 孔祥博, 冨山宏之, 山下茂. MEDAバイオチップにおける形依存の速度モデルを利用した複数液滴ルーティング問題. 電子情報通信学会. 2023
Matsuo, A., Yamashita, S., Egger, D.J. A SAT Approach to the Initial Mapping Problem in SWAP Gate Insertion for Commuting Gates. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 2023. E106.A. 11

量子技術の実用化と研究開発業務への導入(分担執筆:第4章第3節担当)
技術情報協会 2023
量子技術の実用化と研究開発業務への導入
技術情報協会 2023
量子コンピュータ/イジング型コンピュータ研究開発最前線
情報機構 2019
電子情報通信学会 100年史
電子情報通信学会 2017
OHM大学テキストコンピュータアーキテクチャ
オーム社 2012

区間分割に基づくビット操作を利用した小面積かつ高精度なSC演算回路の検討
(電子情報通信学会VLD/HWS/ICD研究会 2025)
MEDAにおける分割を考慮したルーティング手法のダイクストラ法による高速化
(電子情報通信学会VLD/HWS/ICD研究会 2025)
DMFBにおけるノードレベルを考慮したノード二重化によるエラー訂正手法
(電子情報通信学会VLD/HWS/ICD研究会 2025)
整数計画法に基づくMEDAバイオチップ液滴ルーティングの高速化,
(情報処理学会組込みシステム研究会 2024)
MEDAバイオチップにおける形依存の速度モデルと分離を考慮した液滴ルーティングの高速化
(情報処理学会組込みシステム研究会 2024)

- 1995 京都大学大学院工学研究科情報工学専攻
- 1995 京都大学大学院工学研究科情報工学専攻
- 1993 京都大学工学部情報工学科

博士 (情報学) (京都大学)

2012/04 - 国立情報学研究所教授
2009/04 - 立命館大学情報理工学部教授
2009/04 - 立命館大学情報理工学部教授
2003/04 - 2009/03 奈良先端科学技術大学院大学情報科学研究科助教授
2003/04 - 2009/03 奈良先端科学技術大学院大学情報科学研究科助教授

全件表示

2024/04 - 現在量子ソフトウェア研究運営委員会幹事
2020/01 - 現在科学技術振興機構ムーンショット型研究開発事業副構想ディレクター
2019 - 現在 IEEE Editorial Board Member of IEEE Circuits and Systems Magazine (CAS-M)
2015 - 現在 AQIS (Asian Quantum Information Science Conference) AQIS Steering Committee Member, SC Secretary
2002/11 - 現在電子情報通信学会情報技術時限研究専門委員会専門委員

2002/11 - 現在電子情報通信学会量子情報技術時限研究専門委員会専門委員

2025/04 - 2027/03 情報処理学会 Transactions on System LSI Design Methodology (TSLDM) 編集委員

2025 - 2026 2026 IEICE Transactions A Special Section on Circuits and Systems Guest Associate Editor

2025/01 - 2026/01 QUANTUM INNOVATION 2025 組織委員

2023/04 - 2025/03 情報処理学会 Transactions on System LSI Design Methodology (TSLDM) 編集委員

2025 - 2025 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) Publicity Chair

2025 - 2025 ACM/IEEE Design Automation Conference (DAC) TPC member

2025 - SASIMI 2025 TPC sub-committee chair

2025 - 2025 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) TPC Member

2025 - 2025 IEEE International Conference on Quantum Software (IEEE QSW) PC Member

2025 - 2025 IEEE Design Automation and Test in Europe (DATE) TPC Member

2022/04 - 2024/04 情報処理学会量子ソフトウェア研究会主査

2022/04 - 2024/03 情報処理学会代表会員

2020 - 2024 情報処理学会関西支部支部委員

2024 - 2024 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) TPC Member

2024/01 - 2024 IEEE International Symposium on VLSI Design and Test (VDAT) TPC Member

2024 - 2024 IEEE International Conference on Quantum Software (IEEE QSW) PC Member

2024 - IEIEEE International Symposium on VLSI Design and Test 2024 TPC Member

2024 - QUANTUM INNOVATION 2024 Chair of Quantum Computing Track

2024 - European Test Symposium 2024 TPC Member

2024 - DATE 2024 TPC Member

2024 - DAC 2024 TPC Member

2024 - ASP-DAC 2024 TPC Member

2024/01 - IEEE Computer Society Annual Symposium on VLSI Publicity Chair

2024/01 - 2024 IEEE International Conference on Quantum Software (QSW) PC Member

2019/12 - 2023/03 内閣府戦略的イノベーション創造プログラム(SIP)光・量子を活用したSociety5.0実現化技術に係る技術評価委員会光電子情報処理分科会議長

2022 - 2023 IEICE Transactions A Special Section on CAD 2023 Guest Associate Editor

2021 - 2023 IEEE CS Region 10 Northen area Area Cordinator

2021 - 2023 IEEE CS Region 10 Northen area Area Coordinator

2023 - RC 2023 PC Member

2023 - QUANTUM INNOVATION 2023 Vice Chair of Quantum Computing Track

2023 - ICCAD 2023 TPC Member

2023 - DATE 2023 TPC Member

2023 - DAC 2023 TPC Member

2023 - ASP-DAC 2023 TPC Member

2023/01 - VDAT 2023 TPC Member

2019/04 - 2022/03 情報処理学会量子ソフトウェア研究運営委員会幹事

2021 - 2022 IEICE Transactions A Special Section on Circuits and Systems 2022 Guest Associate Editor

2020 - 2022 情報処理学会関西支部支部委員

2009 - 2022 電子情報通信学会論文誌「VLSI Design and CAD Algorithms小特集」編集委員(2009-2022)

2022 - VLSI-SoC 2022 PC member

2022 - IEEE Design, Automation & Test in Europe (DATE) 2022 Technical Program Committee Member

2022 - ICCAD 2022 TPC Member

2022 - Conference on Reversible Computation 2022 PC Member

2022 - ASP-DAC 2022 Technical Program Committee Subcommittee Chair

2022/01 - VDAT 2022 TPC Membebe

2021 - 2021 第4回量子ソフトウェア研究発表会世話人

2021 - 2021 第3回量子ソフトウェア研究発表会世話人

2021 - 2021 Euromicro DSD Conference 2021 PC Member

2021 - 科学技術振興機構共創の場形成支援プログラム政策重点分野/量子技術分野アドバイザー

2021 - Springer Nature CS journal (Section "Quantum Computing and Emerging Technologies") Editorial Board

2021 - IEEE International Symposium on VLSI Design and Test 2021 TPC Member

2021 - IEEE ICCAD 2021 TPC member

2021 - IEEE The Selection Committee for the DATE PhD Forum 2021

2021 - Conference on Reversible Computation PC-Co Chair

2021 - ASP-DAC 2021 Technical Program Committee Member

2020/08 - 科学技術振興機構共創の場形成支援プログラム政策重点分野/量子技術分野アドバイザ

2019/04 - 2020/03 情報処理学会情報処理学会2019年度代表会員

2018/04 - 2020/03 情報処理学会情報処理学会関西支部幹事

2018/04 - 2020/03 Information Processing Society of Japa Information Processing Society of Japan Kansai Branch Executive Secretary

2018/04 - 2020/03 情報処理学会情報処理学会関西支部幹事

2019 - 2020 IEICE Transactions A Special Section on Circuits and Systems 2020 Guest Associate Editor

2019 - 2020 Guest editor of CCF Transactions on High Performance Computing Special Issue on Disruptive Computing Technologies.

2020 - IFIP/IEEE International Conference on Very Large Scale Integration 2020 PC member

2020 - IEEE International Conference on VLSI Design 2020 TPC Member

2020 - Euromicro DSD Conference 2020 PC Member

2020 - Conference on Reversible Computation 2020 PC Member

2020 - IEEE Design, Automation & Test in Europe (DATE) 2020 Technical Program Committee Member

2019/04 - 科学技術振興機構さきがけ「量子コンピューティング基盤の創出」領域アドバイザ

2017/01 - 2019/01 IEEE Computer Society Kansai Chapter Chair

2014 - 2019 電子情報通信学会論文誌英文誌A Special Section on "Design Methodologies for System on a Chip"編集委員(2014-2019)

2009 - 2019 電子情報通信学会論文誌「VLSI Design and CAD Algorithms小特集」編集委員(2009-2019)

2019 - IEEE International Symposium on VLSI Design and Test TPC Member 2019

2019 - IEEE IEEE International Conference on VLSI Design Technical Program Committee Member (VSLSID) 2019

2019 - Euromicro DSD Conference 2019 PC Member

2019 - Conference on Reversible Computation 2019 PC Member

2019 - IEEE Design, Automation & Test in Europe (DATE) Technical Program Committee Member (2020)

2019 - SASIMI Technical Program Committee Member (2019)

2019 - IEEE International Symposium on VLSI Design and Test 2019 TPC Member

2019 - ASP-DAC Technical Program Committee Member (2019)

2019 - IEEE The Selection Committee for DATE PhD Forum 2020

2019 - STさきがけ「革新的な量子情報処理技術基盤の創出」の領域アドバイザ

2016/04 - 2018/03 電子情報通信学会基礎・境界ソサエティ運営委員会大会担当幹事

2018 - IEEE International Symposium on VLSI Design and Test TPC Member 2018

2018 - IEEE IEEE International Conference on VLSI Design Technical Program Committee Member (VSLSID) 2018

2018 - Euromicro DSD Conference 2018 PC Member

2018 - ASP-DAC Technical Program Committee Member (2018)

2018 - AQIS Organizing Committee Member (2018)

2018 - IEEE International Conference on VLSI Design 2018 Technical Program Committee Member

2018 - IEEE International Symposium on VLSI Design and Test 2018 TPC Member

2018 - IEEE The Selection Committee for DATE PhD Forum 2019

2017/05 - 2017/05 Quantum Information Technology Symposium QIT36 Organizing Committee Chair

2017/05 - 2017/05 電子情報通信学会量子情報技術時限研究専門委員会 QIT36実行委員会委員長

2017 - IEEE IEEE International Conference on VLSI Design Technical Program Committee Member (VSLSID) 2017

2017 - Euromicro DSD Conference 2017 PC Member

2017 - IEEE International Symposium on VLSI Design and Test TPC Member 2017

2017 - 日本オペレーションズ・リサーチ学会 2018年6月号「量子コンピュータ」オーガナイザ

2017 - Conference on Reversible Computation 2017 PC Member

2017 - 第36回量子情報技術研究会実行委員長

2017 - AQIS Organizing Committee Member (2017)

2017 - IEEE International Symposium on VLSI Design and Test 2017 TPC Member

2017 - IEEE International Conference on VLSI Design 2017 Technical Program Committee Member

2015/01 - 2016/12 IEEE Computer Society Kansai Chapter Vice Chair

2013/10 - 2016/09 電気学会位相エンジニアリングに基づく低温エレクトロニクス調査専門委員会

2010/04 - 2016/05 電子情報通信学会コンピュテーション研究会専門委員

2012/04 - 2016 情報処理学会システムLSI設計技術研究会運営委員

2012 - 2016 科研費新学術領域「計算限界解明」総括班

2012 - 2016 科研費新学術領域「計算限界解明」総括班分担者

2016 - IEEE IEEE International Conference on VLSI Design Technical Program Committee Member (VSLSID) 2016

2016 - AQIS Organizing Committee Member (2016)

2016 - IEEE International Conference on VLSI Design 2016 Technical Program Committee Member

2015/01 - 2015/08 ICALP 2015 Workshop on Quantum Computational Complexity Organizing Committee Chair

2015 - AQIS Organizing Committee Member (2015)

2015 - SASIMI Technical Program Committee Member (2015)

2015 - 電子情報通信学会英文論文誌「理論計算機科学 (FCS2015)」特集号編集委員

2015 - AQIS Steering Committee Member

2014 - Conference on Reversible Computation Chair

2014 - ASP-DAC Technical Program Committee Secretary (2014)

2014 - AQIS Organizing Committee Chair (2014)

2014 - SASIMI Technical Program Committee Member (2015)

2014 - 電子情報通信学会論文誌英文誌A Special Section on "Design Methodologies for System on a Chip"編集委員(2014-2018)

2013 - 電気学会「位相エンジニアリングに基づく低温エレクトロニクス」調査専門委員会委員

2013 - International Conference on Quantum, Nano, and Micro Technologies Technical Program Committee Member (2013)

2013 - AQIS Organizing Committee Member (2013)

2013 - SASIMI Secretary

2012/04 - 情報処理学会システムLSI設計技術研究会運営委員

2012 - International Conference on Quantum, Nano, and Micro Technologies Technical Program Committee Member (2012)

2012 - Editorial Board of International Journal on Advances in Systems and Measurements (2012-)

2012 - AQIS Technical Program Committee Member (2012)

2012 - AQIS Organizing Committee Member (2012)

2012 - SASIMI Secretary

2012 - Editorial Board of International Journal on Advances in Systems and Measurements

2012 - 最先端研究開発支援プログラム量子情報処理プロジェクト夏期研修会2012講師「計算機科学の視点からの量子アルゴリズムの応用例」

2011 - International Conference on Quantum, Nano, and Micro Technologies Technical Program Committee Member (2011)

2011 - ASP-DAC Technical Program Committee Member (2012)

2011 - ASP-DAC Technical Program Committee Member (2011)

2011 - AQIS Technical Program Committee Member (2011)

2011 - AQIS Organizing Committee Member (2011)

2010/04 - 電子情報通信学会コンピュテーション研究会専門委員

2010 - International Conference on Quantum, Nano, and Micro Technologies Technical Program Committee Member (2010)

2010 - ASP-DAC Technical Program Committee Member (2010)

2010 - ASP-DAC Technical Program Committee Member ( 2010)

2010 - AQIS Technical Program Committee Member (2010)

2010 - SASIMI Technical Program Committee Member (2010)

2009/05 - 電子情報通信学会論文誌「量子情報処理」編集委員(2009年5月号)

2006 - 2009 Workshop on Theory of Quantum Computation, Communication and Cryptography Technical Program Committee Member (2006-2009)

2009 - International Conference on Quantum, Nano, and Micro Technologies Technical Program Committee Member (2009)

2009 - ASP-DAC Technical Program Committee Member (2009)

2009 - AQIS Technical Program Committee Member (2009)

2009 - AQIS Organizing Committee Member (2009)

2009 - SASIMI Technical Program Committee Secretary (2009)

2004 - 2008 情報処理学会論文誌編集委員

2008 - ASP-DAC Technical Program Committee Member (2008)

2008 - AQIS Technical Program Committee Member (2008)

2008 - AQIS Organizing Committee Member (2008)

2007/05 - 電子情報通信学会論文誌「量子情報処理」編集委員長

2007/05 - 情報処理学会論文誌「システムLSIの設計技術と設計自動化」特集号編集委員 (2007年5月号)

2007 - ASP-DAC Technical Program Committee Member (2007)

2007 - 名古屋大学大学院情報科学研究科非常勤講師情報システム学特別講義I

2007 - 総務省戦略的情報通信研究開発推進制特定領域重点型研究開発プロジェクト委員

2007 - AQIS Organizing Committee Chair

2007 - Nara Advanced Interdisciplinary Workshop on Quantum Information Science Technical Program Committee Chair

2007 - SASIMI Technical Program Committee Secretary (2007)

2007 - 電子情報通信学会論文誌「VLSI Design and CAD Algorithms小特集」編集委員(2007)

2004/11 - 2006/11 量子情報技術時限研究専門委員会幹事

2004/11 - 2006/11 電子情報通信学会量子情報技術時限研究専門委員会幹事

2006/06 - 情報処理学会論文誌「システムLSIの設計技術と設計自動化」特集号編集委員 (2006年6月号)

2006 - ASP-DAC Technical Program Committee Member (2006)

2006 - SASIMI Technical Program Committee Member (2006)

2005/11 - 情報処理学会論文誌「量子計算と量子情報」特集号編集委員

2003/05 - 2005/09 ERATO今井量子計算機構プロジェクト研究推進委員

2005/06 - 情報処理学会論文誌「システムLSIの設計技術と設計自動化」特集号編集委員 (2005年6月号)

2004 - ASP-DAC Technical Program Committee Member (2004)

2004 - SASIMI Technical Program Committee Member (2004)

2003 - EQIS Organizing Committee Member

2002/11 - 量子情報技術時限研究専門委員会委員

IFIP/IEEE International Conference on Very Large Scale Integration 2021 PC Member

全件表示

2018/03 - The 21st Workshop on Synthesis And System Integration of Mixed Information technologies Best Paper Award
2018 - 電子情報通信学会平成30年度電子情報通信学会基礎・境界ソサイエティ貢献賞
2014/01 - ASP-DAC ASP-DAC 2014 Best Paper Candidate
2013 - IEEE IEEE Senior Member
2011/03 - 情報処理学会平成22年度山下記念研究賞

全件表示

Association for Computing Machinery , The Institute of Electrical and Electronics Engineers (IEEE) , 情報処理学会 , 電子情報通信学会

山下 茂