高木 直史

J-GLOBALへ         更新日: 19/06/20 10:50
 
アバター
研究者氏名
高木 直史
 
タカギ ナオフミ
所属
京都大学
部署
情報学研究科
職名
教授
学位
工学博士(京都大学)

研究分野

 
 

経歴

 
2010年4月
 - 
現在
京都大学 情報学研究科 教授
 
2003年4月
 - 
2010年3月
- 名古屋大学 情報科学研究科 教授
 
1998年5月
 - 
2003年3月
 名古屋大学 工学研究科 教授
 
1994年6月
 - 
1998年5月
 名古屋大学 工学部 助教授
 
1991年4月
 - 
1994年5月
 京都大学 工学部 助教授
 

委員歴

 
2006年
   
 
電子情報通信学会 ディペンダブルコンピューティング研究専門委員会  委員
 
2007年
   
 
電子情報通信学会 東海支部  学生会顧問
 
2006年
 - 
2007年
電子情報通信学会  評議員
 
2005年
 - 
2007年
電子情報通信学会 東海支部  評議員
 
2004年
 - 
2007年
電子情報通信学会 ELEX編集委員会  委員
 

受賞

 
2005年
文部科学大臣表彰 科学技術賞 研究部門
 
1995年
日本IBM科学賞
 
1995年
情報処理学会坂井記念特別賞
 
1991年
電子情報通信学会篠原記念学術奨励賞
 
1989年
情報処理学会論文賞
 

論文

 
Concurrent Error Detectable Carry Select Adder with Easy Testability
鬼頭信貴、高木直史
IEEE Transactions on Computers   68(7) 1105-1110   2019年7月   [査読有り]
A Generation Method of EUC-Hardware-Dependent Description of Complex Device Drivers in AUTOSAR
廣瀬秀樹,高瀬英希,高木一義,高木直史
IPSJ ESW2017 Research Papers   5-10   2018年3月   [査読有り]
松本耕太郎,高木一義,高木直史
IEICE Transactions on Fundamentals   E101-A(2) 467-471   2018年2月   [査読有り]
High-Speed Operation of Random-Access-Memory-Embedded Microprocessor with Minimal Instruction Set Architecture Based on Rapid Single-Flux-Quantum Logic
佐藤諒,畑中湧貴,安藤友紀,田中雅光,藤巻朗,高木一義,高木直史
IEEE Transactions on Applied Superconductivity   27(4) 1300505   2017年6月   [査読有り][招待有り]
唐光明,高木一義,高木直史
IEEE Transactions on Applied Superconductivity   27(3) 1301005   2017年4月   [査読有り]
鬼頭信貴,秋元一志,高木直史
IEICE Transactions on Information and Systems   E100-D(3) 531-536   2017年3月   [査読有り]
安藤友紀 佐藤諒 田中雅光 高木一義 高木直史 藤巻朗
IEEE Transactions on Applied Superconductivity   26(5) 1301205   2016年8月   [査読有り]
唐光明 高木一義 高木直史
IEICE Transactions on Electronics   E99-C(6) 697-702   2016年6月   [査読有り]
田中雅光 高木一義 高木直史
IEICE Transactions on Electronics   E99-C(6) 703-709   2016年6月   [査読有り]
高瀬英希,青野和巳,松原豊,高木一義,高木直史
Proc. 14th IEEE International NEWCAS Conference      2016年6月   [査読有り]
鬼頭信貴 高木一義 高木直史
IEEE Transactions on Applied Superconductivity   26(3) 1300305   2016年4月   [査読有り]
唐光明 高田賢介 田中雅光 藤巻朗 高木一義 高木直史
IEEE Transactions on Applied Superconductivity   26(1) 1300106   2016年1月   [査読有り]
川口隆広 高木一義 高木直史
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciencies   E98-A(12) 2556-2564   2015年12月   [査読有り]
HATAYAMA Takuya, TAKASE Hideki, TAKAGI Kazuyoshi, TAKAGI Naofumi
IPSJ Transactions on System LSI Design Methodology   8 100-104   2015年8月   [査読有り]
80-GHz Operation of an 8-Bit RSFQ Arithmetic Logic Unit
安藤友紀 佐藤諒 田中雅光 高木一義 高木直史
Proc. of 15th International Superconductive Electronics Conference (ISEC 2015)      2015年7月   [査読有り]
A 4-Bit Bit-Slice Multiplier for a 32-Bit RSFQ Microprocessor
唐光明 高木一義 高木直史
Proc. of 15th International Superconductive Electronics Conference (ISEC 2015)      2015年7月   [査読有り]
Demonstration of an 8-Bit SFQ Carry Look-Ahead Adder Using Clockless Logic Cells
川口隆広 田中雅光 高木一義 高木直史
Proc. 15th International Superconductive Electronics Conference (ISEC 2015)      2015年7月   [査読有り]
Development of Bit-Serial RSFQ Microprocessors Integrated with Shift-Register-Based Random Access Memories
田中雅光 高田賢介 川口隆広 安藤友紀 吉川信行 佐藤諒 藤巻朗 高木一義 高木直史
Proc. 15th International Superconductive Electronics Conference (ISEC 2015)      2015年7月   [査読有り]
Low-Voltage Bit-Serial Single-Flux-Quantum Microprocessor for Integrating Memories
佐藤諒 高田賢介 田中雅光 高木直史 高木一義 藤巻朗
Proc. 15th International Superconductive Electronics Conference (ISEC 2015)      2015年7月   [査読有り]
KITO Nobutaka, TAKAGI Kazuyoshi, TAKAGI Naofumi
IEEE Transactions on Applied Superconductivity   25(3(1)) 1300905   2015年6月   [査読有り]

Misc

 
A Global Routing Method with Wire Length Budgeting for SFQ Logic Cirduits
北村圭、高木一義、高木直史
12th Superconducting SFQ VLSI Workshop (SSV 2019)   38-43   2019年1月
A Hierarchical Placement Method with Cell Clustering for Rapid-Single-Flux-Quantum Ciercuits
出島貴史、高木一義、高木直史
12th Superconducting SFQ VLSI Workshop (SSV 2019)   33-37   2019年1月
Encoder/Decoder for the Compound Signal of Data and Clock
川口隆広、高木一義、高木直史
12th Superconducting SFQ VLSI Workshop (SSV 2019)   125-128   2019年1月
Core State Aware Slack Gathering Scheduling for Embedded Real-Time Systems
松井健太郎、高瀬英希、高木一義、高木直史
Asia Pacific Conference on Robot IoT System Development and Platform 2018      2018年10月
A motion planning method for mobile robot considering rotational motion in area coverage task
矢野泰生、高瀬英希、高木一義、高木直史
Asia Pacific Conference on Robot IoT System Development and Platform 2018      2018年10月
Work-in-Progress: Design Concept of a Lightweight Runtime Environment for Robot Software Components onto Embedded Devices
高瀬英希、森智也、高木一義、高木直史
International Conference on Embedded Software 2018      2018年9月   [査読有り]
Development of CAD tools for SFQ logic circuits and design of data-path circuits for SFQ bit-slice processors
高木直史,高木一義,鬼頭信貴
10th Superconducting SFQ VLSI Workshop (SSV 2017)   30-33   2017年2月
Demonstration of stored program computing in a 50-GHz SFQ microprocessor with embedded memories
藤巻朗,佐藤諒,畑中湧貴,赤池宏之,高木一義,高木直史,田中雅光
10th Superconducting SFQ VLSI Workshop (SSV 2017)   22-24   2017年2月
Static timing analysis of rapid single-flux-quantum circuits
川口隆弘,高木一義,高木直史
The 20th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI2016)   341-345   2016年10月   [査読有り]
Fast length-matching routing for rapid single flux quantum circuits
鬼頭信貴,高木一義,高木直史
The 20th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI2016) (SASIMI2016)   135-149   2016年10月   [査読有り]

書籍等出版物

 
新インターユニバーシティ 論理回路
高木直史、磯直行 (担当:分担執筆, 範囲:序章、1~8章)
オーム社   2010年12月   
New Text 電子情報系シリーズ 論理回路
高木 直史
昭晃堂   1997年4月   
算術演算のVLSIアルゴリズム
高木 直史
コロナ社   2005年3月   
The VLSI Handbook
CHEN Waikai Ed., MUROGA Saburo, TAKAGI Naofumi, et al (担当:共著, 範囲:Chapters 38-40)
CRC Press (with IEEE Press)   2000年   
インターユニバーシティ 論理回路とオートマトン
稲垣康善、高木直史、林照峯、直井徹 (担当:分担執筆, 範囲:1~4章、6章4~5節)
オーム社   1998年1月   

講演・口頭発表等

 
Development of CAD tools for SFQ logic circuits and design of data-path circuits for SFQ bit-slice processors
高木 直史
The 10th Superconducting SFQ VLSI Workshop (SSV 2017)   2017年2月20日   
Research Results of CREST-JST SFQ-RDP Project and Future Issues
高木直史
The 6th Superconducting SFQ VLSI Workshop (SSV 2013)   2013年11月22日   
An energy-efficient high-performance processor with reconfigurable data-paths using RSFQ circuits
高木直史
24th International Symposium on Superconductivity   2011年10月26日   

Works

 
単一磁束量子回路による再構成可能な低電力高性能プロセッサ
2006年 - 2011年
テスト容易な演算回路の自動合成に関する研究                   
2008年
ハードウェアアルゴリズムの性能評価に関する研究
2004年 - 2007年
有限体上の諸演算のためのハードウェアアルゴリズムに関する研究
2002年 - 2004年
SFQ回路高速化アーキテクチャの研究
2002年 - 2006年

競争的資金等の研究課題

 
算術演算用ハードウェアアルゴリズムの研究
研究期間: 1984年   
超伝導単一磁束量子回路による再構成可能な低電力高性能プロセッサ
JST戦略的創造研究推進制度(研究チーム型) (戦略的基礎研究推進事業:CREST)
研究期間: 2006年 - 2011年
テスト容易な演算回路の自動合成に関する研究
研究期間: 2008年   
論理回路及び論理設計に関する研究
研究期間: 1984年   

特許

 
剰余系の計算方法及び装置
特開2007-219261
再構成可能データパスプロセッサ
特開2008-116997
剰余系の計算方法及び装置並びにプログラム
特許第4182226号
平方根の逆数計算方法、計算回路、及びプログラム
特許3563043
Method and hardware for computing reciprocal square root and program for the same
7266578