高木直史 Takagi Naofumi

研究者番号	10171422
その他のID
外部サイト
所属 (現在)	2025年度: 金沢学院大学, 情報工学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2016年度 – 2023年度: 京都大学, 情報学研究科, 教授 2012年度 – 2014年度: 京都大学, 情報学研究科, 教授 2010年度: 京都大学, 大学院・情報学研究科, 教授 2010年度: 名古屋大学, 大学院・情報学研究科, 教授 2007年度 – 2009年度: 名古屋大学, 大学院・情報科学研究科, 教授 … もっと見る 2006年度: 名古屋大学, 大学院情報科学研究科, 教授 2004年度 – 2005年度: 名古屋大学, 大学院・情報科学研究科, 教授 2003年度: 名古屋大学, 情報科学研究科, 教授 2002年度: 名古屋大学, 工学研究科, 教授 1998年度 – 2000年度: 名古屋大学, 工学研究科, 教授 1997年度: 名古屋大学, 大学院・工学研究科, 助教授 1997年度: 名古屋大学, 工学研究科, 助教授 1994年度 – 1996年度: 名古屋大学, 工学部, 助教授 1991年度 – 1993年度: 京都大学, 工学部, 助教授 1986年度 – 1990年度: 京都大学, 工学部, 助手隠す
審査区分/研究分野	研究代表者計算機科学 / 計算機システム・ネットワーク / 計算機システム / 理工系研究代表者以外情報工学 / 計算機科学 / 情報工学 / 理工系 / 理工系
キーワード	研究代表者 VLSI / ハードウェアアルゴリズム / 算術演算回路 / 剰余除算 / 計算複雑さ / hardware algorithm / べき乗算 / 乗算 / 算術演算 / アルゴリズム … もっと見る / 剰余系演算 / 乗算器 / 正弦・余弦関数計算 / 指数・対数関数計算 / ＦＰＧＡ / 逆三角関数 / FPGA / 浮動小数点演算 / 関数計算 / 計算機システム / cryptosystem / modular reduction / integer Division / modular arithmetic / finite field arithmetic / 暗号化・復号 / 有限体上の除算 / 剰余系除算 / 乗算剰余算 / 暗号処理 / 剰余計算 / 整数除算 / 有限体上の演算 / modular division / division in GF (2^m) / powering / cube rooting / Euclidean norm computation / arithmetic circuit / 加算木 / 加算 / 三角関数計算 / 復号 / 符号化 / コンピュータグラフィクス / ノルム計算 / GF(2^m)上の除算 / 立方根計算 / ユークリッドノルム計算 / ハート・ウェアアルゴリズム / Hardware algorithm / Modular division / Powering / Multiply-addition / Square rooting / Division / Multiplication / Computer arithmetic / ディジタル信号処理 / べき乗計算 / 積和演算 / 開平 / 除算 / (2)算術演算回路 / オンライン誤り検出 / 演算器アレイ / テスト容易化設計 / 加算器 / VLSIのテスト / 組合せ回路 / 剰余べき乗算 / 剰余乗算 / 線形配置問題 / レイアウト / 剰余逆数計算 / 冗長表現 / 論理回路設計 … もっと見る研究代表者以外論理設計検証 / 時相論理 / Binary Decision Diagram / 論理関数処理 / 二分決定グラフ / Logic Simulation / Logic Design Verification / Logic Design / Temporal Logic / 記号シミュレ-ション / 仕様記述 / 論理設計 / タイミング検証 / 論理設計支援 / 論理シミュレーション / Hardware Algorithm / 算術演算回路 / ハードウェアアルゴリズム / 順序回路 / Boolean Function Manipulation / Boolean Function / 計算複雑さ / 論理関数 / Symbolic Simulation / Timing Verification / 論理シミュレ-ション / Model Checking / Formal Verification / 形式的検証 / 単一磁束量子回路 / 超伝導回路 / 磁束量子回路 / パルス駆動回路 / パルス論理 / 半磁束量子回路 / π接合 / 量子化条件 / マトリクスメモリ / 磁性ジョセフソン接合 / 半磁束量子 / 単一磁束量子 / Redundant Coding / Test Generation / Fault Simulation / On-Line Error Detection / Fault-Tolerant Design / Arithmetic Circuits / 故障シミュレーション / 冗長符号化 / テスト生成 / 故障シミュレ-ション / オンライン誤り検出 / 耐故障設計 / ハ-ドウェアアルゴリズム / Workstation / Specification Desctiption / Vector Processof / 代数的仕様記述 / 正則時相論理 / 高水準ハードウェア記述 / 論理シミュレータ / マルチスクリーン / ワークステーション / ベクトルプロセッサ / Unification / Residue Number Representation / Arithmetic Operation / VLSI; Redundant Binary Representation / Redundant Representation / ハードウェア設計言語 / 単一化操作 / 剰余数表示法 / 冗長2進表現 / 超LSI / 冗長表現 / Formal Specification / Logic Function Manipulation / 形式的論理設計検証 / 論理開数処理 / モデルチェッキング / Combinatorial Problem / Content Addressable Memory / Computational Complexity / Prallel Algorithm / Computer Aided Logic Design / 形式的設計検証 / 組合せ問題 / 内容アドレスメモリ / 並列アルゴリズム / computer-aided logic design / temporal logic / state assignment / logic function optimization / sequential circuits / logic design verification / logic synthesis / 状態割当て / 論理関数簡単化 / 論理合成 / Computational complexity / computer Aided Design / 計算機援用設計 / Hazard / Asynchronous Sequential Circuit / 論立設計検証 / ハザ-ド / 非同期式順序回路 / 共有二分決定グラフ / 順序機械 / 正則集合 / 設計検証 / モデル検査 / 単一磁束量子論理回路 / クロック配信 / 局在電磁波配線隠す

パルスを情報伝達担体とする超低電力１００ＧＨｚ級超伝導量子デジタルシステムの探求
- 研究代表者
  
  藤巻朗
- 研究期間 (年度)
  2018 – 2022
- 研究種目
  
  特別推進研究
- 審査区分
  
  理工系
- 研究機関
  名古屋大学
浮動小数点関数計算のハードウェアアシストに関する研究研究代表者
- 研究代表者
  
  高木直史
- 研究期間 (年度)
  2016 – 2019
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機システム
- 研究機関
  京都大学
データ表現の工夫による高性能・高信頼浮動小数点演算器アレイに関する研究研究代表者
- 研究代表者
  
  高木直史
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機システム・ネットワーク
- 研究機関
  京都大学
テスト容易な演算回路の自動合成に関する研究研究代表者
- 研究代表者
  
  高木直史
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機システム・ネットワーク
- 研究機関
  名古屋大学
局在電磁波配線を用いた単一磁束量子論理回路の設計および設計支援に関する研究
- 研究代表者
  
  高木一義
- 研究期間 (年度)
  2006 – 2009
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  名古屋大学
ハードウェアアルゴリズムの性能評価に関する研究研究代表者
- 研究代表者
  
  高木直史
- 研究期間 (年度)
  2004 – 2007
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  名古屋大学
有限体上の諸演算のためのハードウェアアルゴリズムに関する研究研究代表者
- 研究代表者
  
  高木直史
- 研究期間 (年度)
  2002 – 2004
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  名古屋大学
高機能演算回路のためのハードウェアアルゴリズムに関する研究研究代表者
- 研究代表者
  
  高木直史
- 研究期間 (年度)
  1998 – 2000
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  名古屋大学
高速ディジタル信号処理のための複合算術演算回路に関する研究研究代表者
- 研究代表者
  
  高木直史
- 研究期間 (年度)
  1996 – 1997
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  名古屋大学
剰余系演算用高速アルゴリズムに関する研究研究代表者
- 研究代表者
  
  高木直史
- 研究期間 (年度)
  1995
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  名古屋大学
論理回路のレイアウト複雑さに関する研究研究代表者
- 研究代表者
  
  高木直史
- 研究期間 (年度)
  1994
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  名古屋大学
冗長表現を用いた高速演算回路の自動合成に関する研究研究代表者
- 研究代表者
  
  高木直史
- 研究期間 (年度)
  1993
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学
論理関数高速処理機構に関する基礎的研究
- 研究代表者
  
  矢島修三 (矢島脩三)
- 研究期間 (年度)
  1993 – 1994
- 研究種目
  
  一般研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学
時相理論に基づく論理設計の形式的検証システムの試作研究
- 研究代表者
  
  矢島修三 (矢島脩三)
- 研究期間 (年度)
  1993 – 1994
- 研究種目
  
  試験研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学
ブール関数処理による順序回路の自動合成・設計検証システムの試作研究
- 研究代表者
  
  矢島脩三
- 研究期間 (年度)
  1991 – 1992
- 研究種目
  
  試験研究(B)
- 研究分野
  
  情報工学
- 研究機関
  京都大学
共有二分決定図による論理関数の効率的処理とそれに基づく論理設計支援に関する研究
- 研究代表者
  
  矢島脩三 (矢島修三)
- 研究期間 (年度)
  1990 – 1991
- 研究種目
  
  一般研究(B)
- 研究分野
  
  情報工学
- 研究機関
  京都大学
正則時相論理に基づく形式的論理設計検証に関する研究
- 研究代表者
  
  平石裕実
- 研究期間 (年度)
  1989 – 1990
- 研究種目
  
  一般研究(C)
- 研究分野
  
  情報工学
- 研究機関
  京都大学
時間記号シミュレ-ションによる論理設計検証システムの試作研究
- 研究代表者
  
  矢島脩三
- 研究期間 (年度)
  1989 – 1990
- 研究種目
  
  試験研究(B)
- 研究分野
  
  情報工学
- 研究機関
  京都大学
冗長符号化による超高速算術演算回路の高信頼化設計に関する研究
- 研究代表者
  
  矢島脩三 (矢島修三)
- 研究期間 (年度)
  1988 – 1989
- 研究種目
  
  一般研究(B)
- 研究分野
  
  情報工学
- 研究機関
  京都大学
ベクトルプロセッサを用いた高速論理シミュレータと論理設計検証システムの試作研究
- 研究代表者
  
  矢島脩三
- 研究期間 (年度)
  1986 – 1987
- 研究種目
  
  試験研究
- 研究分野
  
  情報工学
- 研究機関
  京都大学
冗長表現を利用した超LSI向きハードウェアアルゴリズムの設計に関する研究
- 研究代表者
  
  矢島脩三
- 研究期間 (年度)
  1985 – 1986
- 研究種目
  
  一般研究(B)
- 研究分野
  
  情報工学
- 研究機関
  京都大学

[雑誌論文] Wire Length-Matching Aware Placement Method for Rapid Single Flux Quantum Logic Circuits2023
- 著者名/発表者名
  Kitamura Kento、Kawaguchi Takahiro、Takagi Naofumi
- 雑誌名
  
  IEEE Transactions on Applied Superconductivity
  
  巻: 33 号: 5 ページ: 1-5
- DOI
  10.1109/tasc.2023.3262216
- 査読あり
- データソース
  KAKENHI-PROJECT-18H05211
[雑誌論文] Technology Mapping With Clockless Gates for Logic Stage Reduction of RSFQ Logic Circuits2023
- 著者名/発表者名
  Kito Nobutaka、Kawaguchi Takahiro、Takagi Kazuyoshi、Takagi Naofumi
- 雑誌名
  
  IEEE Transactions on Applied Superconductivity
  
  巻: 33 号: 5 ページ: 1-5
- DOI
  10.1109/tasc.2023.3245049
- 査読あり
- データソース
  KAKENHI-PROJECT-22K11961, KAKENHI-PROJECT-18H05211
[雑誌論文] Logic-Depth-Aware Technology Mapping Method for RSFQ Logic Circuits With Special RSFQ Gates2022
- 著者名/発表者名
  KITO, Nobutaka、TAKAGI, Kazuyoshi、TAKAGI, Naofumi
- 雑誌名
  
  IEEE Transactions on Applied Superconductivity
  
  巻: 32 号: 4 ページ: 1-5
- DOI
  10.1109/tasc.2021.3129719
- 査読あり
- データソース
  KAKENHI-PROJECT-19K11888, KAKENHI-PROJECT-18H05211
[雑誌論文] 32-Bit ALU with Clockless Gates for RSFQ Bit-Parallel Processor2022
- 著者名/発表者名
  Kawaguchi Takahiro、Takagi Naofumi
- 雑誌名
  
  IEICE Transactions on Electronics
  
  巻: E105.C 号: 6 ページ: 245-250
- DOI
  10.1587/transele.2021SEP0005
- NAID
  130008124492
- ISSN
  0916-8524, 1745-1353
- 年月日
  2022-06-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-18H05211
[雑誌論文] Static Timing Analysis for Single-Flux-Quantum Circuits Composed of Various Gates2022
- 著者名/発表者名
  Kawaguchi Takahiro、Takagi Kazuyoshi、Takagi Naofumi
- 雑誌名
  
  IEEE Transactions on Applied Superconductivity
  
  巻: 32 号: 5 ページ: 1-9
- DOI
  10.1109/tasc.2022.3161052
- 査読あり
- データソース
  KAKENHI-PROJECT-18H05211
[雑誌論文] A Timing Fault Model and an Efficient Timing Fault Simulation Method for Rapid Single-Flux-Quantum Logic Circuits2021
- 著者名/発表者名
  NAKAMURA, Shogo、TAKAGI, Kazuyoshi、KITO, Nobutaka、TAKAGI, Naofumi
- 雑誌名
  
  Journal of Physics: Conference Series
  
  巻: 1975 号: 1 ページ: 012026-012026
- DOI
  10.1088/1742-6596/1975/1/012026
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11888, KAKENHI-PROJECT-18H05211
[雑誌論文] Rapid Single-Flux-Quantum Logic Circuits Using Clockless Gates2021
- 著者名/発表者名
  Kawaguchi Takahiro、Takagi Kazuyoshi、Takagi Naofumi
- 雑誌名
  
  IEEE Transactions on Applied Superconductivity
  
  巻: 31 号: 4 ページ: 1-7
- DOI
  10.1109/tasc.2021.3068960
- 査読あり
- データソース
  KAKENHI-PROJECT-18H05211
[雑誌論文] Conversion Method of Netlists Consisting of Conventional Logic Gates to RSFQ Logic Circuits Utilizing Special RSFQ Gates2020
- 著者名/発表者名
  Kito Nobutaka、Takagi Kazuyoshi、Takagi Naofumi
- 雑誌名
  
  IEEE Transactions on Applied Superconductivity
  
  巻: 30 号: 7 ページ: 1-6
- DOI
  10.1109/tasc.2020.3012474
- 査読あり
- データソース
  KAKENHI-PROJECT-19K11888, KAKENHI-PROJECT-18H05211
[雑誌論文] Layout Design Flow for RSFQ Circuits Based on Cell Clustering and Mixed Wiring of JTLs and PTLs2020
- 著者名/発表者名
  Takashi Dejima, Kazuyoshi Takagi, and Naofumi Takagi
- 雑誌名
  
  IEEE Transactions on Applied Superconductivity
  
  巻: 30-7 号: 7 ページ: 1302506-1302506
- DOI
  10.1109/tasc.2020.3014928
- 査読あり
- データソース
  KAKENHI-PROJECT-18H05211, KAKENHI-PROJECT-18K11213
[雑誌論文] A Two-Step Routing Method with Wire Length Budgeting for PTL Routing of SFQ Logic Circuits2020
- 著者名/発表者名
  Kei Kitamura, Kazuyoshi Takagi, and Naofumi Takagi
- 雑誌名
  
  Journal of Physics
  
  巻: 1590 号: 1 ページ: 012043-012043
- DOI
  10.1088/1742-6596/1590/1/012043
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-18H05211, KAKENHI-PROJECT-18K11213
[雑誌論文] Concurrent Error Detectable Carry Select Adder with Easy Testability2019
- 著者名/発表者名
  Nobutaka Kito, Naofumi Takagi
- 雑誌名
  
  IEEE Transactions on Computers
  
  巻: 68 号: 7 ページ: 1105-1110
- DOI
  10.1109/tc.2019.2895074
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-16H02795
[雑誌論文] Nested Loop Parallelization Using Polyhedral Optimization in High-Level Synthesis2014
- 著者名/発表者名
  Akihiro Suda, Hideki Takase, Kazuyoshi Takagi, Naofumi Takagi
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E97.A 号: 12 ページ: 2498-2506
- DOI
  10.1587/transfun.E97.A.2498
- NAID
  130004706413
- ISSN
  0916-8508, 1745-1337
- 言語
  英語
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-24300019, KAKENHI-PROJECT-26870303
[雑誌論文] Low-Overhead Fault-Secure Parallel Prefix Adder by Carry-Bit Duplication2013
- 著者名/発表者名
  Nobutaka Kito, Naofumi Takagi
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E96.D 号: 9 ページ: 1962-1970
- DOI
  10.1587/transinf.E96.D.1962
- NAID
  130003370984
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-24300019, KAKENHI-PROJECT-25730033
[雑誌論文] A C-Testable 4-2 Adder Tree for an Easily Testable High-Speed Multiplier2010
- 著者名/発表者名
  Nobutaka Kito, Kensuke Hanai, Naofumi Takagi
- 雑誌名
  
  IEICE Trans.on Information and Systems
  
  巻: E93-D ページ: 2783-2791
- NAID
  10027641210
- 査読あり
- データソース
  KAKENHI-PROJECT-20300016
[雑誌論文] A C-Testable 4-2 Adder Tree for an Easily Testable High-Speed Multiplier2010
- 著者名/発表者名
  Nobutaka Kito、Kensuke Hanai、Naofumi Takagi
- 雑誌名
  
  IEICE Transactions on Information and Systems vol.E93-D、no.10
  
  ページ: 2783-2791
- NAID
  10027641210
- 査読あり
- データソース
  KAKENHI-PROJECT-20300016
[雑誌論文] けた上げ保存加算器で構成された部分積加算部をもつ乗算器のテスト2009
- 著者名/発表者名
  鬼頭信貴、高木直史
- 雑誌名
  
  電子情報通信学会論文誌D J92-D巻、7号
  
  ページ: 994-1002
- NAID
  110007331954
- 査読あり
- データソース
  KAKENHI-PROJECT-20300016
[雑誌論文] Bipartite modular multiplication method2008
- 著者名/発表者名
  M. E. Kaihara and N. Takagi
- 雑誌名
  
  IEEE Transactions on Computers Vol. 57, No. 2
  
  ページ: 157-164
- 査読あり
- データソース
  KAKENHI-PROJECT-16092210
[雑誌論文] A Clock Scheduling Algorithm for High-Throughput RSFQ Digital Circuits2008
- 著者名/発表者名
  Koji Obata, Kazuyoshi Takagi, Naofumi Takagi
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E91-A
  
  ページ: 3772-3782
- NAID
  10026854486
- 査読あり
- データソース
  KAKENHI-PROJECT-18080008
[雑誌論文] A Clock Scheduling Algorithm for High-Throughput RSFQ Digital Circuits2008
- 著者名/発表者名
  Koji Obata, Kazuyoshi Takagi, Naofumi Takagi
- 雑誌名
  
  IEICE Trans. Fundamentals Vol.E91-A
  
  ページ: 3772-3782
- NAID
  10026854486
- 査読あり
- データソース
  KAKENHI-PROJECT-18080008
[雑誌論文] 種々の部分積加算構造をもつテスト容易な乗算器の設計手法2008
- 著者名/発表者名
  鬼頭信貴、高木直史
- 雑誌名
  
  電子情報通信学会論文誌D J91-D巻、10号
  
  ページ: 2478-2486
- NAID
  110007380919
- 査読あり
- データソース
  KAKENHI-PROJECT-20300016
[雑誌論文] A Clock Scheduling Algorithm for High-Throughput RSFQ Digital Circuits2008
- 著者名/発表者名
  Koji Obata, Kazuyoshi Takagi, Naofumi Takagi
- 雑誌名
  
  IEICE Trans. Fundamentals E91-A
  
  ページ: 3772-3782
- NAID
  10026854486
- 査読あり
- データソース
  KAKENHI-PROJECT-18080008
[雑誌論文] 種々の部分積加算構造をもっテスト容易な乗算器の設計手法2008
- 著者名/発表者名
  鬼頭信貴, 高木直史
- 雑誌名
  
  電子情報通信学会論文誌D J91-D, No. 10
  
  ページ: 2478-2486
- 査読あり
- データソース
  KAKENHI-PROJECT-20300016
[雑誌論文] A method of sequential circuit synthesis using one-hot encoding for single-flux-quantum digital circuits2007
- 著者名/発表者名
  Koji Obata, Kazuyoshi Takagi, Naofumi Takagi
- 雑誌名
  
  IEICE Trans. Electron. E90-C
  
  ページ: 2278-2284
- NAID
  110007538875
- 査読あり
- データソース
  KAKENHI-PROJECT-18080008
[雑誌論文] A method of sequential circuit synthesis using one-hot encoding for sing le-flux-quantum digital circuits2007
- 著者名/発表者名
  K. Obata, K. Takagi, N. Takagi
- 雑誌名
  
  IEICE Trans. Electron. E90-C
  
  ページ: 2278-2284
- 査読あり
- データソース
  KAKENHI-PROJECT-18080008
[雑誌論文] 拡張ユークリッド法に基づくGF(2m)上の乗算・逆元計算のための複合回路2007
- 著者名/発表者名
  小林克希, 高木直史
- 雑誌名
  
  電子情報通信学会技術研究報告 VLD2006-142
  
  ページ: 13-18
- NAID
  110006248801
- データソース
  KAKENHI-PROJECT-16092210
[雑誌論文] An algorithm for inversion in GF(2^m)suitable for implementation using a polynomial multiply instruction on GF(2)2007
- 著者名/発表者名
  K. Kobayashi, N. Takagi and K. Takagi
- 雑誌名
  
  Proc. of the 18th IEEE Symposium on Computer Arithmetic
  
  ページ: 105-112
- 査読あり
- データソース
  KAKENHI-PROJECT-16092210
[雑誌論文] 配線層数の乗算器の回路面積への影響について2007
- 著者名/発表者名
  川島裕崇, 高木直史, 高木一義
- 雑誌名
  
  電子情報通信学会技術研究報告 VLD2006-141
  
  ページ: 7-12
- NAID
  110006248800
- データソース
  KAKENHI-PROJECT-16092210
[雑誌論文] Design of a combined circuit for multiplication and inversion in GF(2^m)2007
- 著者名/発表者名
  K. Kobayashi and N. Takagi
- 雑誌名
  
  Proc. of the Workshop on Synthesis and System Integration of Mixed Information Technologies 2007
  
  ページ: 15-20
- 査読あり
- データソース
  KAKENHI-PROJECT-16092210
[雑誌論文] A Method of Sequential Circuit Synthesis using One-hot Encoding for Single-Flux-Quantum Digital Circuits2007
- 著者名/発表者名
  Koji Obata, Kazuyoshi Takagi, Naofumi Takagi
- 雑誌名
  
  IEICE Trans. Electron. Vol.E90-C
  
  ページ: 2278-2284
- NAID
  110007538875
- 査読あり
- データソース
  KAKENHI-PROJECT-18080008
[雑誌論文] Hardware algorithm for computing reciprocal of Euclidean norm of a 3-D vector2006
- 著者名/発表者名
  F.Kumazawa, N.Takagi
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E89-A, 6
  
  ページ: 1799-1806
- NAID
  110007502924
- データソース
  KAKENHI-PROJECT-16092210
[雑誌論文] A hardware algorithm for integer division using the SD2 representation2006
- 著者名/発表者名
  N.Takagi, S.Kadowaki, K Takagi
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E89-A, 10
  
  ページ: 2874-2881
- NAID
  110007537767
- データソース
  KAKENHI-PROJECT-16092210
[雑誌論文] A VLSI algorithm for integer square-rooting2006
- 著者名/発表者名
  N.Takagi, K Takagi
- 雑誌名
  
  Proc. 2006 International Symposium on Intelligent Signal Processing and Communication Systems
  
  ページ: 626-629
- データソース
  KAKENHI-PROJECT-16092210
[雑誌論文] Pipelined bipartite modular multiplication2005
- 著者名/発表者名
  M.E.Kaihara, N.Takagi
- 雑誌名
  
  電子情報通信学会技術研究報告 VLD2005-67
  
  ページ: 37-42
- NAID
  110004018526
- データソース
  KAKENHI-PROJECT-16092210
[雑誌論文] A hardware algorithm for integer division2005
- 著者名/発表者名
  N.Takagi, S.Kadowaki, K.Takagi
- 雑誌名
  
  Proceedings of the 17th IEEE Symposium on Computer Arithmetic
  
  ページ: 140-146
- データソース
  KAKENHI-PROJECT-16092210
[雑誌論文] Karatsubaアルゴリズムに基づく小面積並列乗算器2005
- 著者名/発表者名
  柴岡雅之, 高木直史, 高木一義
- 雑誌名
  
  2005年電子情報通信学会総合大会講演論文集基礎・境界
- NAID
  110004737800
- データソース
  KAKENHI-PROJECT-16092210
[雑誌論文] Hardware algorithm for modular multiplication/division based on the extended Euclidean algorithm2005
- 著者名/発表者名
  M.E.Kaihara, N.Takagi
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E88-A,12
  
  ページ: 3610-3617
- NAID
  110004019470
- データソース
  KAKENHI-PROJECT-16092210
[雑誌論文] A hardware algorithm for modular multiplication/division2005
- 著者名/発表者名
  M.E.Kaihara, N.Takagi
- 雑誌名
  
  IEEE Transactions on Computers Vol.54, no.1
  
  ページ: 12-21
- NAID
  120000978657
- データソース
  KAKENHI-PROJECT-14380142
[雑誌論文] A hardware algorithm for integer division2005
- 著者名/発表者名
  N.Takagi, S.Kadowaki
- 雑誌名
  
  Proc.of 17th IEEE Symposium on Computer Arithmetic (発表予定)
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-14380142
[雑誌論文] 算術演算のための減算シフト型ハードウェアアルゴリズムの自動合成ツールの構築2005
- 著者名/発表者名
  熊澤文雄, 高木直史
- 雑誌名
  
  情報処理学会「DAシンポジウム2005」論文集
  
  ページ: 213-236
- データソース
  KAKENHI-PROJECT-16092210
[雑誌論文] A hardware algorithm for modular multiplication/division2005
- 著者名/発表者名
  M.E.Kaihara, N.Takagi
- 雑誌名
  
  IEEE Transactions on Computers Vol.54,no.1
  
  ページ: 12-21
- NAID
  120000978657
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-14380142
[雑誌論文] A hardware algorithm for integer division2005
- 著者名/発表者名
  N.Takagi, S.Kadowaki
- 雑誌名
  
  Proc.of 17th IEEE Symposium on Computer Arithmetic (発表予定)
- データソース
  KAKENHI-PROJECT-16092210
[雑誌論文] A hardware algorithm for modular multiplication/division2005
- 著者名/発表者名
  M.E.Kaihara, N.Takagi
- 雑誌名
  
  IEEE Trans.Computers vol.54, no.1
  
  ページ: 12-21
- NAID
  120000978657
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-14380142
[雑誌論文] Bipartite modular multiplication2005
- 著者名/発表者名
  M.E.Kaihara, N.Takagi
- 雑誌名
  
  Springer LNCS3659: Proceedings of 7th International Workshop on Cryptographic Hardware and Embedded Systems -CHES 2005
  
  ページ: 201-210
- NAID
  120000982145
- データソース
  KAKENHI-PROJECT-16092210
[雑誌論文] A hardware algorithm for integer division2005
- 著者名/発表者名
  N.Takagi, S.Kadowaki
- 雑誌名
  
  Proc.17th IEEE Symp.on Computer Arithmetic (to appear)
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-14380142
[雑誌論文] 算術演算のための減算シフト型ハードウェアアルゴリズムの自動合成2004
- 著者名/発表者名
  熊澤文雄, 高木直史
- 雑誌名
  
  電子情報通信学会技術研究報告 VLD2004-90
  
  ページ: 175-178
- NAID
  110003318205
- データソース
  KAKENHI-PROJECT-16092210
[雑誌論文] A multiplier/divider for modular arithmetic based on the extended Euclidean algorithm2004
- 著者名/発表者名
  M.E.Kaihara, N.Takagi
- 雑誌名
  
  IEICE Technical Report VLD2004-1
  
  ページ: 1-6
- NAID
  110003294338
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-14380142
[雑誌論文] GF(2^m)上の逆元算出のための拡張ユークリッド法に基づくテーブルを用いたアルゴリズム2004
- 著者名/発表者名
  小林克希, 高木直史, 高木一義
- 雑誌名
  
  電子情報通信学会技術研究報告 VLD2004-2
  
  ページ: 7-12
- NAID
  110003294339
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-14380142
[雑誌論文] 冗長2進表現の絶対値計算を用いた整数除算回路2004
- 著者名/発表者名
  門脇俊介, 高木直史, 高木一義
- 雑誌名
  
  電子情報通信学会技術研究報告 VLD2004-3
  
  ページ: 13-18
- データソース
  KAKENHI-PROJECT-14380142
[雑誌論文] An algorithm using look-up table based on extended Euclid's algorithm for computing inversion in GF(2^m)2004
- 著者名/発表者名
  K.Kobayashi, N.Takagi, K.Takagi
- 雑誌名
  
  IEICE Technical Report VLD2004-2
  
  ページ: 7-12
- NAID
  110003294339
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-14380142
[雑誌論文] 拡張ユークリッド法に基づく剰余系乗除算回路2004
- 著者名/発表者名
  カイハラマルセロ, 高木直史
- 雑誌名
  
  電子情報通信学会技術研究報告 VLD2004-1
  
  ページ: 1-6
- NAID
  110003294338
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-14380142
[雑誌論文] A VLSI algorithm for modular multiplication/division2003
- 著者名/発表者名
  M.E.Kaihara, N.Takagi
- 雑誌名
  
  Proc.16th IEEE Symp.on Computer Arithmetic
  
  ページ: 220-227
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-14380142
[雑誌論文] A VLSI algorithm for modular multiplication/division2003
- 著者名/発表者名
  M.E.Kaihara, N.Takagi
- 雑誌名
  
  Proc.of 16th IEEE Symposium on Computer Arithmetic
  
  ページ: 220-227
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-14380142
[雑誌論文] A VLSI algorithm for division in GF(2^m) based on extended binary GCD algorithm2002
- 著者名/発表者名
  Y.Watanabe, N.Takagi, K.Takagi
- 雑誌名
  
  IEICE Transactions on Fundamentals vol.E85-A, no.5
  
  ページ: 994-999
- NAID
  110003209115
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-14380142
[雑誌論文] A VLSI algorithm for division in GF(2m) based on extended binary GCD algorithm2002
- 著者名/発表者名
  Y.Watanabe, N.Takagi, K.Takagi
- 雑誌名
  
  IEICE Trans.Fundamentals vol.E85-A, no.5
  
  ページ: 994-999
- NAID
  110003209115
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-14380142
[産業財産権] 剰余系の計算方法及び装置2006
- 発明者名
  高木直史, カイハラマルセロ
- 権利者名
  名古屋大学
- 産業財産権番号
  2006-040859
- 出願年月日
  2006-02-17
- データソース
  KAKENHI-PROJECT-16092210
[産業財産権] 剰余系の計算方法及び装置並びにプログラム2005
- 発明者名
  高木直史, カイハラマルセロ
- 権利者名
  名古屋大学
- 産業財産権番号
  2005-242956
- 出願年月日
  2005-08-24
- データソース
  KAKENHI-PROJECT-16092210
[学会発表] Design methods of an RSFQ circuit composed of clocked gates and clockless gates2022
- 著者名/発表者名
  Takagi Naofumi
- 学会等名
  2022 JSPS 146th Committee International Symposium on Superconductor Electronics, 15th SSV, 4th QCCC
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H05211
[学会発表] Logic Functions Realized Using Clockless Gates for Rapid Single-Flux-Quantum Circuits2021
- 著者名/発表者名
  Takahiro Kawaguchi, Kazuyoshi Takagi, and Naofumi Takagi
- 学会等名
  The 23rd Workshop on Synthesis And System Integration of Mixed Information Technologies
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H05211
[学会発表] SFQ回路を用いた超伝導コンピュータの開発2021
- 著者名/発表者名
  高木直史
- 学会等名
  2021年電子情報通信学会総合大会
- 招待講演
- データソース
  KAKENHI-PROJECT-18H05211
[学会発表] A Comparison of Clocking Schemes for SFQ Circuits2020
- 著者名/発表者名
  Takahiro Kawaguchi, Kazuyoshi Takagi, and Naofumi Takagi
- 学会等名
  13th Superconducting SFQ VLSI Workshop
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H05211
[学会発表] IEEE754 binary64における指数関数の丸め困難ケースについて2020
- 著者名/発表者名
  高木直史、高木一義
- 学会等名
  2020年電子情報通信学会総合大会
- データソース
  KAKENHI-PROJECT-16H02795
[学会発表] 逆正弦の高基数CORDICアルゴリズムのFPGA上での実現2020
- 著者名/発表者名
  松岡裕志、高木直史、高木一義
- 学会等名
  電子情報通信学会VLSI設計技術研究会（2020-01）
- データソース
  KAKENHI-PROJECT-16H02795
[学会発表] Efficient Timing Fault Simulation of Rapid Single-Flux-Quantum Logic Circuits Considering the Pipelined Behavior2020
- 著者名/発表者名
  Shogo Nakamura, Kazuyoshi Takagi, Nobutaka Kito, and Naofumi Takagi
- 学会等名
  The 33rd International Symposium on Superconductivity
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H05211
[学会発表] A Routing Method with Wire Length Matching for RSFQ Logic Circuits Using Thin PTLs2020
- 著者名/発表者名
  Kei Kitamura, Kazuyoshi Takagi, and Naofumi Takagi
- 学会等名
  13th Superconducting SFQ VLSI Workshop
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H05211
[学会発表] Static Timing Analysis of an RSFQ Circuit Considering Timing Jitter2020
- 著者名/発表者名
  Takahiro Kawaguchi, Kazuyoshi Takagi, and Naofumi Takagi
- 学会等名
  The 33rd International Symposium on Superconductivity
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H05211
[学会発表] High-density routing with wire length matching for single-flux-quantum circuits using thin passive transmission lines2020
- 著者名/発表者名
  Kei Kitamura Masamitsu Tanaka, Takahiro Kawaguchi, Ikki Nagaoka, Kazuyoshi Takagi, Akira Fujimaki, and Naofumi Takagi
- 学会等名
  2020 Applied Superconductivity Conference (ASC 2020)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H05211
[学会発表] Scan Design with Clockless Logic Gates for SFQ Circuits2019
- 著者名/発表者名
  Takahiro Kawaguchi, Kazuyoshi Takagi, and Naofumi Takagi
- 学会等名
  32nd International Symposium on Superconductivity
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H05211
[学会発表] Test Pattern Generation for Timing Faults in Rapid Single-Flux-Quantum Circuits2019
- 著者名/発表者名
  Kazuyoshi Takagi, Mikihiro Ono, Nobutaka Kito, and Naofumi Takagi
- 学会等名
  The 22nd Workshop on Synthesis And System Integration of Mixed Information technologies
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H05211
[学会発表] A Global Routing Method with Wire Length Budgeting for PTL Routing of SFQ Logic Circuits2019
- 著者名/発表者名
  Kei Kitamura, Kazuyoshi Takagi, and Naofumi Takagi
- 学会等名
  32nd International Symposium on Superconductivity
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H05211
[学会発表] 逆正弦・逆余弦計算の高基数CORDICアルゴリズム2019
- 著者名/発表者名
  松岡裕志、高木直史
- 学会等名
  電子情報通信学会VLSI設計技術研究会（2019-11）
- データソース
  KAKENHI-PROJECT-16H02795
[学会発表] 超伝導高速単一磁束量子（RSFQ）回路のタイミング調節ための配線長予約を用いた概略配線手法2019
- 著者名/発表者名
  北村圭, 高木直史, 高木一義
- 学会等名
  情報処理学会ＤＡシンポジウム2019
- データソース
  KAKENHI-PROJECT-18H05211
[学会発表] A Global Routing Method with Wire Length Budgeting for SFQ Logic Circuits2019
- 著者名/発表者名
  K. Kitamura, K.Takagi, N. Takagi
- 学会等名
  12th Superconducting SFQ VLSI Workshop (SSV 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H05211
[学会発表] Encoder/Decoder for the Compound Signal of Data and Clock2019
- 著者名/発表者名
  T. Kawaguchi, K.Takagi, N. Takagi
- 学会等名
  12th Superconducting SFQ VLSI Workshop (SSV 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H05211
[学会発表] Placement and Routing Methods Based on Mixed Wiring of JTLs and PTLs for RSFQ Circuits2019
- 著者名/発表者名
  Takashi Dejima, *Kazuyoshi Takagi, and Naofumi Takagi
- 学会等名
  17th International Superconductive Electronics Conference
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H05211
[学会発表] A Hierarchical Placement Method with Cell Clustering for Rapid-Single-Flux-Quantum Circuits2019
- 著者名/発表者名
  T. Dejima, K.Takagi, N. Takagi
- 学会等名
  12th Superconducting SFQ VLSI Workshop (SSV 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H05211
[学会発表] 大規模SFQ論理回路のパルス到着タイミングを最適化する配置手法2018
- 著者名/発表者名
  北村圭、高木一義、高木直史
- 学会等名
  電子情報通信学会エレクトロニクスソサイエティ大会
- データソース
  KAKENHI-PROJECT-18H05211
[学会発表] 超伝導単一磁束量子(SFQ)回路設計のためのタイミング制約を考慮した自動配置アルゴリズム2018
- 著者名/発表者名
  出島貴史、高木一義、高木直史
- 学会等名
  情報処理学会 DAシンポジウム2018
- データソース
  KAKENHI-PROJECT-18H05211
[学会発表] 倍精度浮動小数点正弦・余弦関数のＦＰＧＡ向き計算法2018
- 著者名/発表者名
  豊島悠紀夫、高木直史
- 学会等名
  電子情報通信学会　コンピュータシステム研究会
- データソース
  KAKENHI-PROJECT-16H02795
[学会発表] 倍精度浮動小数点対数関数のＦＰＧＡ向き計算法2017
- 著者名/発表者名
  藤原康史、高木一義、高木直史
- 学会等名
  電子情報通信学会コンピュータシステム研究会
- 発表場所
  具志川農村環境改善センター（沖縄県島尻郡久米島町）
- 年月日
  2017-03-09
- データソース
  KAKENHI-PROJECT-16H02795
[学会発表] 高基数ＳＴＬ法を用いたＦＰＧＡ向き指数関数計算法2017
- 著者名/発表者名
  藤原康史、高木一義、高木直史
- 学会等名
  電子情報通信学会　リコンフィギャラブルシステム研究会
- データソース
  KAKENHI-PROJECT-16H02795
[学会発表] 高基数ＳＴＬ法を用いたＦＰＧＡ向き対数関数計算法2017
- 著者名/発表者名
  藤原康史、高木一義、高木直史
- 学会等名
  情報処理学会　ＤＡシンポジウム
- データソース
  KAKENHI-PROJECT-16H02795
[学会発表] プログラマブルＳｏＣのためのシステム設計環境におけるフロントエンドの実装と事例評価2014
- 著者名/発表者名
  東遼平、高瀬英希、高木一義、高木直史
- 学会等名
  ＥＴＮＥＴ２０１４
- 発表場所
  沖縄県石垣市　ＩＣＴ文化ホール
- データソース
  KAKENHI-PROJECT-24300019
[学会発表] 部分二重化を用いた微小誤りを許容するオンライン誤り検出可能な浮動小数点乗算器2014
- 著者名/発表者名
  鬼頭信貴、秋元一志、高木直史
- 学会等名
  電子情報通信学会ディペンダブルコンピューティング研究会
- 発表場所
  東京都港区　機械振興会館
- 年月日
  2014-06-20
- データソース
  KAKENHI-PROJECT-24300019
[学会発表] プログラマブルＳｏＣのためのシステム設計環境の検討とＳＷ－ＨＷインタフェース生成手法の実装2014
- 著者名/発表者名
  東遼平、高瀬英希、高木一義、高木直史
- 学会等名
  情報処理学会システムＬＳＩ設計技術研究会
- 発表場所
  横浜市　慶応義塾大学日吉キャンパス
- データソース
  KAKENHI-PROJECT-24300019
[学会発表] 行列多項式 I+A+A^2+…+A^{N-1} の計算における乗算回数について2014
- 著者名/発表者名
  松本耕太郎、高木直史、高木一義
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  豊橋市　豊橋技術科学大学
- 年月日
  2014-09-02
- データソース
  KAKENHI-PROJECT-24300019
[学会発表] 組込みマルチコアシステムにおけるタスク割付およびスクラッチパッドメモリ割当の同時最適化2013
- 著者名/発表者名
  松本耕太朗、高瀬英希、高木一義、高木直史
- 学会等名
  情報処理学会　ＤＡシンポジウム
- 発表場所
  岐阜県下呂市　ホテル水明館
- データソース
  KAKENHI-PROJECT-24300019
[学会発表] 組込みシステム向けＤＶＦＳアルゴリズムのリアルタイムＯＳへの実装および比較評価2013
- 著者名/発表者名
  岩田淳、高瀬英希、高木一義、高木直史
- 学会等名
  第１２回情報科学技術フォーラム
- 発表場所
  鳥取市　鳥取大学
- データソース
  KAKENHI-PROJECT-24300019
[学会発表] ＩＥＥＥ７５４標準丸めに対応した斜辺計算のためのＶＬＳＩアルゴリズム2013
- 著者名/発表者名
  矢高裕之、高木直史
- 学会等名
  デザインガイア２０１３
- 発表場所
  鹿児島市　鹿児島県文化センター
- データソース
  KAKENHI-PROJECT-24300019
[学会発表] 高位合成における非一様依存性を持つ入れ子ループ向けのバッファ構成法2013
- 著者名/発表者名
  須田瑛太、高瀬英希、高木一義、高木直史
- 学会等名
  デザインガイア２０１３
- 発表場所
  鹿児島市　鹿児島県文化センター
- データソース
  KAKENHI-PROJECT-24300019
[学会発表] 桁上げビットの二重化によるセルフチェッキング桁上げ先見加算器2013
- 著者名/発表者名
  三苫晃弘、鬼頭信貴、高木直史
- 学会等名
  電子情報通信学会ディペンダブルコンピューティング研究会
- 発表場所
  対馬市交流センター(長崎県対馬市)
- 年月日
  2013-03-14
- データソース
  KAKENHI-PROJECT-24300019
[学会発表] 浮動小数点演算器アレイの構成のための評価環境2013
- 著者名/発表者名
  伊藤勇也、高木一義、高木直史, 他
- 学会等名
  電子情報通信学会コンピュータシステム研究会
- 発表場所
  対馬市交流センター(長崎県対馬市)
- 年月日
  2013-03-14
- データソース
  KAKENHI-PROJECT-24300019
[学会発表] 剰余符号を用いたオンライン誤り検出可能な浮動小数点乗算器2013
- 著者名/発表者名
  山口大樹、鬼頭信貴、高木直史
- 学会等名
  第６９回ＦＴＣ研究会
- 発表場所
  山口市　かんぽの宿湯田
- データソース
  KAKENHI-PROJECT-24300019
[学会発表] 部分二重化を用いたオンライン誤り検出可能な乗算器2013
- 著者名/発表者名
  秋元一志、鬼頭信貴、高木直史
- 学会等名
  電子情報通信学会ディペンダブルコンピューティング研究会
- 発表場所
  対馬市交流センター(長崎県対馬市)
- 年月日
  2013-03-14
- データソース
  KAKENHI-PROJECT-24300019
[学会発表] High-Level Synthesis for Nested Loop Kernels with Non-Uniform Dependencies2013
- 著者名/発表者名
  Akihiro Suda, Hideki Takase, Kazuyoshi Takagi, Naofumi Takagi
- 学会等名
  SASIMI2013
- 発表場所
  札幌市　ホテル札幌ガーデンパレス
- データソース
  KAKENHI-PROJECT-24300019
[学会発表] 剰余検査によるオンライン誤り検出可能な浮動小数点乗算器2013
- 著者名/発表者名
  山口大樹、鬼頭信貴、高木直史
- 学会等名
  情報処理学会　ＤＡシンポジウム
- 発表場所
  岐阜県下呂市　ホテル水明館
- データソース
  KAKENHI-PROJECT-24300019
[学会発表] 桁上げ生成二重化によるフォールドセキュアな並列プレフィクス加算器の構成法2012
- 著者名/発表者名
  鬼頭信貴、高木直史
- 学会等名
  電子情報通信学会ディペンダブルコンピューティング研究会
- 発表場所
  九州大学医学部百周年講堂(福岡市)
- 年月日
  2012-11-28
- データソース
  KAKENHI-PROJECT-24300019
[学会発表] Timing Optimization Methods for Superconducting SFQ Circuits2010
- 著者名/発表者名
  Kazuyoshi Takagi, Shota Takeshima, Motoki Sato, Masamitsu Tanaka, Naofumi Takagi
- 学会等名
  Superconducting SFQ VLSI Workshop (SSV 2010)
- 発表場所
  Yokohama National University.
- 年月日
  2010-01-12
- データソース
  KAKENHI-PROJECT-18080008
[学会発表] Timing Optimization Methods for Superconducting SFQ Circuits2010
- 著者名/発表者名
  Kazuyoshi Takagi, Shota Takeshima, Motoki Sato, Masamitsu Tanaka, Naofumi Takagi
- 学会等名
  Superconducting SFQ VLSI Workshop (SSV 2010)
- 発表場所
  横浜市
- 年月日
  2010-01-12
- データソース
  KAKENHI-PROJECT-18080008
[学会発表] A Verification Method for Pipeline Processing Behavior of Single-Flux-Quantum Circuits by Equivalence Checking of Timed Logic Formulae2010
- 著者名/発表者名
  Motoki Sato, Masamitsu Tanaka, Kazuyoshi Takagi, Naofumi Takagi
- 学会等名
  Superconducting SFQ VLSI Workshop (SSV 2010)
- 発表場所
  Yokohama National University
- 年月日
  2010-01-12
- データソース
  KAKENHI-PROJECT-18080008
[学会発表] A Verification Method for Pipeline Processing Behavior of Single-Flux-Quantum Circuits by Equivalence Checking of Timed Logic Formulae2010
- 著者名/発表者名
  Motoki Sato, Masamitsu Tanaka, Kazuyoshi Takagi, Naofumi Takagi
- 学会等名
  Superconducting SFQ VLSI Workshop (SSV 2010)
- 発表場所
  横浜市
- 年月日
  2010-01-12
- データソース
  KAKENHI-PROJECT-18080008
[学会発表] Verification Method of Pipeline Processing Behavior of SFQ Circuits2009
- 著者名/発表者名
  Motoki Sato, Masamitsu Tanaka, Kazuyoshi Takagi, Naofumi Takagi
- 学会等名
  Superconducting SFQ VLSI Workshop (SSV 2009)
- 発表場所
  福岡市
- 年月日
  2009-06-15
- データソース
  KAKENHI-PROJECT-18080008
[学会発表] SFQ回路のためのレイアウトを考慮したスキューのあるクロック木の構成法2009
- 著者名/発表者名
  伊藤祐喜、高木一義、高木直史
- 学会等名
  電子情報通信学会総合大会
- 発表場所
  愛媛大学
- 年月日
  2009-03-20
- データソース
  KAKENHI-PROJECT-18080008
[学会発表] 単一磁束量子回路のためのパイプライン検証手法2009
- 著者名/発表者名
  佐藤元紀、田中雅光、高木一義、高木直史
- 学会等名
  2009年電子情報通信学会エレクトロニクスソサイエティ大会
- 発表場所
  新潟市
- 年月日
  2009-09-18
- データソース
  KAKENHI-PROJECT-18080008
[学会発表] パイプライン動作を考慮した単一磁束量子回路のための論理設計検証手法2009
- 著者名/発表者名
  佐藤元紀、田中雅光、高木一義、高木直史
- 学会等名
  電子情報通信学会SCE研究会
- 発表場所
  東京都
- 年月日
  2009-10-20
- データソース
  KAKENHI-PROJECT-18080008
[学会発表] A Method for Layout-Driven Skewed Clock Tree Synthesis for SFQ Circuits2009
- 著者名/発表者名
  Kazuyoshi Takagi, Yuki Ito, Masamitsu Tanaka, Naofumi Takagi
- 学会等名
  Superconducting SFQ VLSI Workshop (SSV 2009)
- 発表場所
  福岡市
- 年月日
  2009-06-15
- データソース
  KAKENHI-PROJECT-18080008
[学会発表] 多層配線単三磁束量子回路のための自動配線手法2008
- 著者名/発表者名
  竹島将太、田中雅光、高木三義、高木直史
- 学会等名
  電子情報通信学会超伝導エレクトロニクス研究会
- 発表場所
  産業技術総合研究所
- 年月日
  2008-10-30
- データソース
  KAKENHI-PROJECT-18080008
[学会発表] Level-testability of multi-operand adders2008
- 著者名/発表者名
  Nobutaka Kito, Naofumi Takagi
- 学会等名
  17th Asia Test Symposium
- 発表場所
  京王プラザホテル札幌(札幌市)
- 年月日
  2008-11-26
- データソース
  KAKENHI-PROJECT-20300016
[学会発表] Test generation for multi-operand adders consisting of full adders2008
- 著者名/発表者名
  鬼頭信貴, 高木直史
- 学会等名
  電子情報通信学会ディペンダブルコンピューティング研究会
- 発表場所
  機械振興会館(東京都港区)
- 年月日
  2008-06-20
- データソース
  KAKENHI-PROJECT-20300016
[学会発表] Computer-Aided Design of Superconducting SFQ Digital Circuits2008
- 著者名/発表者名
  Kazuyoshi Takagi, Naofumi Takagi, Masamitsu Tanaka, Koji Obata, Yuki Ito
- 学会等名
  Superconducting SFQ VLSI Workshop (SSV 2008)
- 発表場所
  Yokohama National University
- 年月日
  2008-03-17
- データソース
  KAKENHI-PROJECT-18080008
[学会発表] 多層配線単一磁束量子回路のための自動配線手法2008
- 著者名/発表者名
  竹島将太、田中雅光、高木一義、高木直史
- 学会等名
  電子情報通信学会超伝導エレクトロニクス研究会
- 発表場所
  産業技術総合研究所
- 年月日
  2008-10-30
- データソース
  KAKENHI-PROJECT-18080008
[学会発表] 単一磁束量子回路による冗長2進表現を用いたシストリック開平器の設計2007
- 著者名/発表者名
  田中雅光、小畑幸嗣、高木一義、高木直史
- 学会等名
  電子情報通信学会エレクトロニクスソサイエティ大会
- 発表場所
  鳥取大学
- 年月日
  2007-09-11
- データソース
  KAKENHI-PROJECT-18080008
[学会発表] 配線遅延を考慮したハードウェアアルゴリズムの評価2007
- 著者名/発表者名
  長瀬哲也, 高木一義, 高木直史
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  広島大学(東広島市)
- 年月日
  2007-12-14
- データソース
  KAKENHI-PROJECT-16092210
[学会発表] シストリックアーキテクチャに基づく高スループットsfqビットシリアル浮動小数点乗算器2007
- 著者名/発表者名
  小畑幸嗣、古田卓也、高木一義、高木直史
- 学会等名
  電子情報通信学会エレクトロニクスソサイエティ大会
- 発表場所
  鳥取市
- 年月日
  2007-09-11
- データソース
  KAKENHI-PROJECT-18080008
[学会発表] シストリックアーキテクチャに基づく高スループットSFQビットシリアル浮動小数点乗算器2007
- 著者名/発表者名
  小畑幸嗣、古田卓也、高木一義、高木直史
- 学会等名
  電子情報通信学会エレクトロニクスソサイエティ大会
- 発表場所
  鳥取市
- 年月日
  2007-09-11
- データソース
  KAKENHI-PROJECT-18080008
[学会発表] ２つの浮動小数点積和演算器を用いた複素数乗算器
- 著者名/発表者名
  高田雄平、高木直史、高木一義
- 学会等名
  デザインガイア2014（電子情報通信学会コンピュータシステム研究会）
- 発表場所
  別府市　ビーコンプラザ（別府国際コンベンションセンター）
- 年月日
  2014-11-26 – 2014-11-28
- データソース
  KAKENHI-PROJECT-24300019
[学会発表] 部分二重化を用いたオンライン誤り検出可能な浮動小数点乗算器の設計と評価
- 著者名/発表者名
  鬼頭信貴、秋元一志、高木直史
- 学会等名
  ETNET2015（電子情報通信学会ディペンダブルコンピューティング研究会）
- 発表場所
  奄美市　奄美社会福祉協議会
- 年月日
  2015-03-06 – 2015-03-07
- データソース
  KAKENHI-PROJECT-24300019
[学会発表] ２つの浮動小数点倍精度加算器を用いた仮数部104ビット拡張倍精度加算器
- 著者名/発表者名
  矢高裕之、高木直史、高木一義
- 学会等名
  デザインガイア2014（電子情報通信学会コンピュータシステム研究会）
- 発表場所
  別府市　ビーコンプラザ（別府国際コンベンションセンター）
- 年月日
  2014-11-26 – 2014-11-28
- データソース
  KAKENHI-PROJECT-24300019

1. 荻野博幸 (40144323)

共同の研究課題数: 9件

共同の研究成果数: 0件
2. 矢島脩三 (20025901)

共同の研究課題数: 8件

共同の研究成果数: 0件
3. 平石裕実 (40093299)

共同の研究課題数: 8件

共同の研究成果数: 0件
4. 高木一義 (70273844)

共同の研究課題数: 7件

共同の研究成果数: 85件
5. 石浦菜岐佐 (60193265)

共同の研究課題数: 5件

共同の研究成果数: 0件
6. 武永康彦 (20236491)

共同の研究課題数: 4件

共同の研究成果数: 0件
7. 濱口清治 (80238055)

共同の研究課題数: 3件

共同の研究成果数: 0件
8. 岩間一雄 (50131272)

共同の研究課題数: 3件

共同の研究成果数: 0件
9. 中村一博 (90335076)

共同の研究課題数: 2件

共同の研究成果数: 0件
10. 川久保和雄 (10186067)

共同の研究課題数: 2件

共同の研究成果数: 0件
11. 安浦寛人 (80135540)

共同の研究課題数: 2件

共同の研究成果数: 0件
12. 安岡孝一 (20230211)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 藤巻朗 (20183931)

共同の研究課題数: 1件

共同の研究成果数: 1件
14. 牧瀬圭正 (60363321)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 山下太郎 (60567254)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 吉川信行 (70202398)

共同の研究課題数: 1件

共同の研究成果数: 0件
17. 西永望

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 鬼頭信貴

共同の研究課題数: 0件

共同の研究成果数: 4件

高木 直史 Takagi Naofumi

研究課題

研究成果

共同研究者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

浮動小数点関数計算のハードウェアアシストに関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

データ表現の工夫による高性能・高信頼浮動小数点演算器アレイに関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

テスト容易な演算回路の自動合成に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

ハードウェアアルゴリズムの性能評価に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

有限体上の諸演算のためのハードウェアアルゴリズムに関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

高機能演算回路のためのハードウェアアルゴリズムに関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

高速ディジタル信号処理のための複合算術演算回路に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

剰余系演算用高速アルゴリズムに関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

論理回路のレイアウト複雑さに関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

冗長表現を用いた高速演算回路の自動合成に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

高木直史 Takagi Naofumi