山下 茂

An Efficient Method for Quantum Circuit Placement Problem on a 2-D Grid 

pp. 162-168 In: Thomsen M., Soeken M. (eds) Reversible Computation. RC 2019. Lecture Notes in Computer Science, vol 11497, 2019. 2019年6月

Reactant Minimization for Multi-Target Sample Preparation on Digital Microfluidic qq Biochips using Network Flow Models 

Proc. of International Symposium on VLSI Design, Automation & Test (VLSI-DAT), D6-1, Apr. 2019 （Best Paper Candidate) 2019年4月

Reducing the Overhead of Stochastic Number Generators Without Increasing Error 

in the Proceedings of 32th International Conference on VLSI Design, pp. 52-57, Jan. 2019 2019年1月

NLoCの自動設計手法と最適な構造の提案 

電子情報通信学会技術研究報告, VLD2018-40 2018年11月

演算誤差と回路面積のトレードオフを考慮したStochastic Numberの生成手法, 

電子情報通信学会技術研究報告, VLD2018-47 2018年11月

Approximate Computingを利⽤した配列型乗算器の遅延故 障への対処法 

2018 年度情報処理学会関西支部大会, A-01 2018年9月

SCの定数⽣成におけるエラー率を考慮した⾯積コスト削減⼿法 

2018 年度情報処理学会関西支部大会, A-02 2018年9月

整数計画ソルバーを⽤いたNetworked Labs-on-Chipの設計⼿法 

2018 年度情報処理学会関西支部大会, A-03 (推薦論文に選出） 2018年9月

Quantum Circuit Optimization by Changing the Gate Order for 2D Nearest Neighbor Architectures 

Lecture Notes in Computer Science Volume 11106, 2018, pp. 228-243 (Reversible computation 2018, Sep. 2018.) 2018年9月

Compaction of Topological Quantum Circuits by Modularization 

in Proc. of AQIS 2018, p. 73, Sep. 2018. 2018年9月

Exact and Approximate Exact Synthesis of Nearest Neighbor Compliant Quantum Circuits in 2-D architectures 

in Proc. of AQIS 2018, p. 91, Sep. 2018. 2018年9月

Mapping to 2D Nearest Neighbor Architecture by a SAT solver and A* algorithm 

in Proc. of AQIS 2018, p. 72, Sep. 2018. 2018年9月

On Optimization Methods for Decision Diagrams to Represent Probabilities 

Proc. Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI), R2-3, March 2018. 2018年3月

Placement of Reagents on Programmable Microfluidic Device 

Proc. Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI), R2-1, March 2018. (Outstanding Paper Award) 2018年3月

Systematic Design of Approximate Array Multipliers with Different Accuracy 

In International Workshop on Highly Efficient Neural Networks Design, 2017 (ポスター、査読あり） 2017年10月20日

An Ancilla Reduction Technique for Quantum Circuits Converted from NAND-based Circuits 

in Proc. of AQIS 2017, pp. 289-290, Sep. 2017 2017年9月5日

Synthesis of Physical-Limitation-Aware Optimal Quantum Circuits in 2-D Architecture 

in Proc. of AQIS 2017, pp. 298-299, Sep. 2017. 2017年9月5日

Quantum Circuit Design by Using ESOP Minimization 

in Proc. of AQIS 2017, pp. 423-424, Sep. 2017. 2017年9月5日

Locating Loops for TCSC Considering Bridge Transformation 

in Proc. of AQIS 2017, pp .425-426, Sep. 2017. 2017年9月5日

改良型配列型近似乗算器の設計と解析 

回路とシステムワークショップ 2017年5月11日