• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

高木 一義  Takagi Kazuyoshi

ORCIDORCID連携する *注記
研究者番号 70273844
その他のID
外部サイト
所属 (現在) 2025年度: 三重大学, 工学研究科, 教授
所属 (過去の研究課題情報に基づく) *注記 2025年度: 三重大学, 工学研究科, 教授
2019年度 – 2020年度: 三重大学, 工学研究科, 教授
2012年度 – 2018年度: 京都大学, 情報学研究科, 准教授
2014年度: 京都大学, 大学院情報学研究科, 准教授
2007年度 – 2010年度: 名古屋大学, 大学院・情報科学研究科, 准教授 … もっと見る
2008年度: 名古屋大学, 大学院情報学研究科, 准教授
2006年度: 名古屋大学, 大学院情報科学研究科, 助教授
2004年度 – 2005年度: 名古屋大学, 大学院・情報科学研究科, 講師
2003年度: 名古屋大学, 情報科学研究科, 講師
1999年度 – 2002年度: 名古屋大学, 工学研究科, 講師
1999年度 – 2001年度: 名古屋大学, 大学院・工学研究科, 講師
1995年度 – 1998年度: 奈良先端科学技術大学院大学, 情報科学研究科, 助手 隠す
審査区分/研究分野
研究代表者
小区分60040:計算機システム関連 / 計算機システム / 計算機システム・ネットワーク / 理工系 / 情報学基礎 / 計算機科学
研究代表者以外
計算機科学 / 計算機システム・ネットワーク / 計算機システム / 理工系
キーワード
研究代表者
論理回路 / 超伝導単一磁束量子デバイス / 論理関数 / 超伝導単一磁束量子回路 / 設計自動化 / 計算モデル / 分岐プログラム / 決定グラフ / パルス論理 / タイミング解析 … もっと見る / 論理回路設計 / 集積回路のテスト / 信頼性 / LSI設計技術 / タイミング故障 / テストパタン生成 / レイアウト設計 / タイミング設計 / 単一磁束量子論理回路 / タイミング検証 / クロック配信 / 論理設計支援 / 局在電磁波配線 / 単一磁束量子回路 / 超伝導論理回路 / 超電導論理回路 / 論理合成 / 関数分解 / グラフ配置問題 / LSIレイアウト … もっと見る
研究代表者以外
VLSI / 算術演算回路 / ハードウェアアルゴリズム / ソフトウェア協調設計 / ハードウェア / OBDD / hardware algorithm / High Level Synthesis / 論理合成 / FPGA / 高位合成 / 汎用コプロセッサ / Pocエディタ / 細胞プログラミング / 正弦・余弦関数計算 / 指数・対数関数計算 / FPGA / 逆三角関数 / 浮動小数点演算 / 関数計算 / 計算機システム / cryptosystem / modular reduction / integer Division / modular arithmetic / finite field arithmetic / 暗号化・復号 / 有限体上の除算 / 剰余系除算 / 乗算剰余算 / 暗号処理 / 剰余計算 / 整数除算 / 剰余系演算 / 有限体上の演算 / Quantum Computing / Timing Verification / Dynamical Re-construction / Re-configurability / Environmental Adaptability / 量子計算 / ハードウェアのタイミング検証 / 知識ベース / 能動形プログラム / 環境適用 / 量子アルゴリズム / アクティブソフトウェア / タイミング検証 / 動的変更機構 / 再構成可能性 / 環境適応 / modular division / division in GF (2^m) / powering / cube rooting / Euclidean norm computation / arithmetic circuit / 乗算 / 加算木 / 加算 / 三角関数計算 / 復号 / 符号化 / コンピュータグラフィクス / ノルム計算 / 剰余除算 / GF(2^m)上の除算 / べき乗算 / 立方根計算 / ユークリッドノルム計算 / ハート・ウェアアルゴリズム / 算術演算 / C compiler / General Purpose Co-processor / Field Programmable Gate Array (FPGA) / Hardware Accelerator / Reconfigurable System / Software Co-operation / Software Codesign / Hardware / コプロセッサ / エミュレーション / コデザイン / 並列化コンパイラ / ハードウェア記述言語 / 汎用コブロセッサ / Cコンパイラ / ハードウェアアクセラレータ / 再構成可能システム / ソフトウェア協調動作 / ソフトウェアコデザイン / (2)算術演算回路 / オンライン誤り検出 / 演算器アレイ / テスト容易化設計 / 加算器 / 乗算器 / VLSIのテスト / 計算複雑さ / 組合せ回路 / アルゴリズム / 再構成可能プロセッサ / 動的結合機構 / 能動関数 / 能動形計算モデル / 発展するソフトウェア構成法 / 手指動作記述文 / 前条件・後条件 / パターン細胞 / 発展的ソフトウェア構成法 隠す
  • 研究課題

    (17件)
  • 研究成果

    (121件)
  • 共同研究者

    (9人)
  •  超伝導単一磁束量子論理回路の動作タイミング最適化に関する研究研究代表者

    • 研究代表者
      高木 一義
    • 研究期間 (年度)
      2025 – 2027
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60040:計算機システム関連
    • 研究機関
      三重大学
  •  超伝導単一磁束量子回路のテスト手法および高信頼化に関する研究研究代表者

    • 研究代表者
      高木 一義
    • 研究期間 (年度)
      2018 – 2020
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60040:計算機システム関連
    • 研究機関
      三重大学
      京都大学
  •  浮動小数点関数計算のハードウェアアシストに関する研究

    • 研究代表者
      高木 直史
    • 研究期間 (年度)
      2016 – 2019
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機システム
    • 研究機関
      京都大学
  •  超伝導デバイスを用いた論理回路のレイアウト設計手法に関する研究研究代表者

    • 研究代表者
      高木 一義
    • 研究期間 (年度)
      2015 – 2017
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機システム
    • 研究機関
      京都大学
  •  データ表現の工夫による高性能・高信頼浮動小数点演算器アレイに関する研究

    • 研究代表者
      高木 直史
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      京都大学
  •  先端デバイスを用いた論理回路の高信頼化タイミング設計手法の研究研究代表者

    • 研究代表者
      高木 一義
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      京都大学
  •  テスト容易な演算回路の自動合成に関する研究

    • 研究代表者
      高木 直史
    • 研究期間 (年度)
      2008 – 2010
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      名古屋大学
  •  局在電磁波配線を用いた単一磁束量子論理回路の設計および設計支援に関する研究研究代表者

    • 研究代表者
      高木 一義
    • 研究期間 (年度)
      2006 – 2009
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      名古屋大学
  •  次世代集積回路設計のための決定グラフによる論理関数表現に関する研究研究代表者

    • 研究代表者
      高木 一義
    • 研究期間 (年度)
      2005 – 2007
    • 研究種目
      若手研究(B)
    • 研究分野
      情報学基礎
    • 研究機関
      名古屋大学
  •  ハードウェアアルゴリズムの性能評価に関する研究

    • 研究代表者
      高木 直史
    • 研究期間 (年度)
      2004 – 2007
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      名古屋大学
  •  有限体上の諸演算のためのハードウェアアルゴリズムに関する研究

    • 研究代表者
      高木 直史
    • 研究期間 (年度)
      2002 – 2004
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      名古屋大学
  •  種々の決定グラフを用いた論理関数表現とその回路合成への応用に関する研究研究代表者

    • 研究代表者
      高木 一義
    • 研究期間 (年度)
      2000 – 2001
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      名古屋大学
  •  環境適応型のハードウェアとソフトウェアの構成手法に関する研究

    • 研究代表者
      渡邉 勝正
    • 研究期間 (年度)
      1999 – 2001
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      奈良先端科学技術大学院大学
  •  高機能演算回路のためのハードウェアアルゴリズムに関する研究

    • 研究代表者
      高木 直史
    • 研究期間 (年度)
      1998 – 2000
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      名古屋大学
  •  コンテンフに適応する発展的ソフトウェアの構成法

    • 研究代表者
      渡邉 勝正
    • 研究期間 (年度)
      1997
    • 研究種目
      重点領域研究
    • 研究機関
      奈良先端科学技術大学院大学
  •  コンテンツに適応する発展的ソフトウェアの構成法

    • 研究代表者
      渡邉 勝正
    • 研究期間 (年度)
      1997 – 1998
    • 研究種目
      特定領域研究(A)
    • 研究機関
      奈良先端科学技術大学院大学
  •  内部構造が可変な汎用コプロセッサシステムおよびその最適化コンパイラに関する研究

    • 研究代表者
      渡邊 勝正 (渡邉 勝正)
    • 研究期間 (年度)
      1995 – 1997
    • 研究種目
      基盤研究(B)
    • 研究分野
      計算機科学
    • 研究機関
      奈良先端科学技術大学院大学

すべて 2020 2019 2018 2017 2016 2015 2014 2013 2012 2010 2009 2008 2007 2006 2005 2004 2003 2002 その他

すべて 雑誌論文 学会発表 産業財産権

  • [雑誌論文] 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
  • [雑誌論文] Splitter-Aware Multi-Terminal Routing with Length Matching Constraint for RSFQ Circuits2020

    • 著者名/発表者名
      M. Kou, P.-Y. Cheng, J. Zeng, T.-Y. Ho, K. Takagi, H. Yao
    • 雑誌名

      IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems

      巻: (early access) 号: 11 ページ: 1-14

    • DOI

      10.1109/tcad.2020.3042159

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11213
  • [雑誌論文] Logic simulation tool for RSFQ circuits accepting arrivals of multiple pulses in a clock period2020

    • 著者名/発表者名
      Kito Nobutaka、Udatsu Shohei、Takagi Kazuyoshi
    • 雑誌名

      Journal of Physics: Conference Series

      巻: 1590 号: 1 ページ: 012041-012041

    • DOI

      10.1088/1742-6596/1590/1/012041

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-19K11888, 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
  • [雑誌論文] A Fast Wire-Routing Method and an Automatic Layout Tool for RSFQ Digital Circuits Considering Wire-Length Matching2018

    • 著者名/発表者名
      Kito Nobutaka、Takagi Kazuyoshi、Takagi Naofumi
    • 雑誌名

      IEEE Transactions on Applied Superconductivity

      巻: 28 号: 4 ページ: 1-5

    • DOI

      10.1109/tasc.2018.2793203

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15K00075, KAKENHI-PROJECT-16K16029
  • [雑誌論文] 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
  • [雑誌論文] Logic Synthesis Method for Dual-Rail RSFQ Digital Circuits Using Root-Shared Binary Decision Diagrams2007

    • 著者名/発表者名
      K.Obata, K.Takagi, N.Takagi
    • 雑誌名

      IEICE Trans. Fundamentals Vol. E90-A,No. 1

      ページ: 257-266

    • データソース
      KAKENHI-PROJECT-17700010
  • [雑誌論文] 配線層数の乗算器の回路面積への影響について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
  • [雑誌論文] 部分順序付き1回読み分岐プログラムのサイズの下界2006

    • 著者名/発表者名
      篠原信仁, 高木一義, 高木直史
    • 雑誌名

      電子情報通信学会技術研究報告コンピュテーション研究会 COMP2006-41

      ページ: 1-8

    • NAID

      110006163293

    • データソース
      KAKENHI-PROJECT-17700010
  • [雑誌論文] A transduction-based Framework to Synthesize RSFQ Circuits2006

    • 著者名/発表者名
      S.Yamashita, K.Tanaka, H.Takada, K.Obata, K.Takagi
    • 雑誌名

      Proceedings of the Asia and South Pacific Design Automation Conference 2006

      ページ: 266-272

    • NAID

      110004082734

    • データソース
      KAKENHI-PROJECT-17700010
  • [雑誌論文] 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
  • [雑誌論文] 部分順序付き1回読み分岐プログラム2005

    • 著者名/発表者名
      篠原信仁, 高木一義, 高木直史
    • 雑誌名

      2005年度夏のLAシンポジウム

    • データソース
      KAKENHI-PROJECT-17700010
  • [雑誌論文] 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
  • [学会発表] Static Timing Analysis of an RSFQ Circuit Considering Timing Jitter2020

    • 著者名/発表者名
      S. Nakamura, K. Takagi, N. Kito, N. Takagi
    • 学会等名
      33nd International Symposium on Superconductivity (ISS2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11213
  • [学会発表] A Routing Method with Wire Length Matching for RSFQ Logic Circuits using Thin PTLs2020

    • 著者名/発表者名
      K. Kitamura, K. Takagi, N. Takagi
    • 学会等名
      13th Superconducting SFQ VLSI Workshop (SSV 2020)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11213
  • [学会発表] IEEE754 binary64における指数関数の丸め困難ケースについて2020

    • 著者名/発表者名
      高木直史、高木一義
    • 学会等名
      2020年電子情報通信学会総合大会
    • データソース
      KAKENHI-PROJECT-16H02795
  • [学会発表] 逆正弦の高基数CORDICアルゴリズムのFPGA上での実現2020

    • 著者名/発表者名
      松岡裕志、高木直史、高木一義
    • 学会等名
      電子情報通信学会VLSI設計技術研究会(2020-01)
    • データソース
      KAKENHI-PROJECT-16H02795
  • [学会発表] 逆正弦・逆余弦計算の高基数CORDICアルゴリズム2019

    • 著者名/発表者名
      松岡裕志、高木直史
    • 学会等名
      電子情報通信学会VLSI設計技術研究会(2019-11)
    • データソース
      KAKENHI-PROJECT-16H02795
  • [学会発表] Logic Simulation Tool for RSFQ Circuits Accepting Arrivals of Multiple Pulses in a Clock Period2019

    • 著者名/発表者名
      N. Kito, S. Udatsu, K. Takagi
    • 学会等名
      32nd International Symposium on Superconductivity (ISS2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11213
  • [学会発表] Test Pattern Generation for Timing Faults in Rapid Single-Flux-Quantum Circuits2019

    • 著者名/発表者名
      K. Takagi, M. Ono, N. Kito, N.Takagi
    • 学会等名
      22nd Workshop on Synthesis And System Integration Mixed Information technologies (SASIMI 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11213
  • [学会発表] A Global Routing Method with Wire Length Budgeting for PTL Routing of SFQ Logic Circuits2019

    • 著者名/発表者名
      K. Kitamura, K. Takagi, N. Takagi
    • 学会等名
      32nd International Symposium on Superconductivity (ISS2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11213
  • [学会発表] A Global Routing Method with Wire Length Budgeting for SFQ Logic Circuits2019

    • 著者名/発表者名
      K. Kitamura, K. Takagi, and N. Takagi
    • 学会等名
      12th Superconducting SFQ VLSI Workshop (SSV 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11213
  • [学会発表] Placement and Routing Methods Based on Mixed Wiring of JTLs and PTLs for RSFQ Circuits2019

    • 著者名/発表者名
      T. Dejima, K. Takagi, N. Takagi
    • 学会等名
      International Superconducting Electronics Conference (ISEC 2019)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11213
  • [学会発表] Multi-terminal routing with length-matching for rapid single flux quantum circuits2018

    • 著者名/発表者名
      Pei-Yi Cheng, Kazuyoshi Takagi, and Tsung-Yi Ho
    • 学会等名
      International Conference on Computer-Aided Design (ICCAD2018)
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K11213
  • [学会発表] 大規模SFQ論理回路のパルス到着タイミングを最適化する配置手法2018

    • 著者名/発表者名
      北村圭、高木一義、高木直史
    • 学会等名
      電子情報通信学会2018年ソサイエティ大会
    • データソース
      KAKENHI-PROJECT-18K11213
  • [学会発表] 倍精度浮動小数点正弦・余弦関数のFPGA向き計算法2018

    • 著者名/発表者名
      豊島悠紀夫、高木直史
    • 学会等名
      電子情報通信学会  コンピュータシステム研究会
    • データソース
      KAKENHI-PROJECT-16H02795
  • [学会発表] 超伝導単一磁束量子(SFQ)回路設計のためのタイミング制約を考慮した自動配置アルゴリズム2018

    • 著者名/発表者名
      出島貴史、高木直史、高木一義
    • 学会等名
      DAシンポジウム2018
    • データソース
      KAKENHI-PROJECT-18K11213
  • [学会発表] SFQディジタル集積回路の設計自動化2018

    • 著者名/発表者名
      高木一義
    • 学会等名
      日本学術振興会超伝導エレクトロニクス第146委員会 通信・情報処理分科会第16回研究会
    • 招待講演
    • データソース
      KAKENHI-PROJECT-18K11213
  • [学会発表] 大規模SFQ論理回路の配線修正によるタイミング最適化2018

    • 著者名/発表者名
      北村圭、高木一義、高木直史
    • 学会等名
      2018年電子情報通信学会総合大会
    • データソース
      KAKENHI-PROJECT-15K00075
  • [学会発表] 配線長マッチングを考慮した自動配置によるRSFQ回路のレイアウト面積削減2017

    • 著者名/発表者名
      鬼頭信貴, 高木一義, 高木直史
    • 学会等名
      2017年電子情報通信学会総合大会
    • 発表場所
      名城大学
    • データソース
      KAKENHI-PROJECT-15K00075
  • [学会発表] A fast wire-routing method and an automatic layout tool for RSFQ digital circuits considering wire-length matching2017

    • 著者名/発表者名
      N. Kito, K. Takagi, N. Takagi
    • 学会等名
      13th European Conference on Applied Superconductivity (EUCAS 2017)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00075
  • [学会発表] 倍精度浮動小数点対数関数のFPGA向き計算法2017

    • 著者名/発表者名
      藤原康史、高木一義、高木直史
    • 学会等名
      電子情報通信学会コンピュータシステム研究会
    • 発表場所
      具志川農村環境改善センター(沖縄県島尻郡久米島町)
    • 年月日
      2017-03-09
    • データソース
      KAKENHI-PROJECT-16H02795
  • [学会発表] 高基数STL法を用いたFPGA向き指数関数計算法2017

    • 著者名/発表者名
      藤原康史、高木一義、高木直史
    • 学会等名
      電子情報通信学会  リコンフィギャラブルシステム研究会
    • データソース
      KAKENHI-PROJECT-16H02795
  • [学会発表] 高基数STL法を用いたFPGA向き対数関数計算法2017

    • 著者名/発表者名
      藤原康史、高木一義、高木直史
    • 学会等名
      情報処理学会 DAシンポジウム
    • データソース
      KAKENHI-PROJECT-16H02795
  • [学会発表] Development of CAD Tools for SFQ Logic Circuits and Design of Data Path Circuits for SFQ Bit-slice Processors2017

    • 著者名/発表者名
      N.Takagi, K.Takagi, and N.Kito
    • 学会等名
      10th Superconducting SFQ VLSI Workshop (SSV2017)
    • 発表場所
      Nagoya University
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00075
  • [学会発表] Extension of a Logic Simulation System for Simulation -Based Verification of RSFQ Logic Circuits2016

    • 著者名/発表者名
      N.Kito, G.Matsumoto, K.Takagi, N.Takagi
    • 学会等名
      9th Superconducting SFQ VLSI Workshop (SSV2016)
    • 発表場所
      Yokohama National University
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00075
  • [学会発表] Fast Length-Matching Routing for Rapid Single Flux Quantum Circuits2016

    • 著者名/発表者名
      N.Kito, K.Takagi, N.Takagi
    • 学会等名
      20th Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI 2016)
    • 発表場所
      Kyoto Research Park
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15K00075
  • [学会発表] 3入力多数決ゲートを用いた5変数論理関数の最小段数回路2015

    • 著者名/発表者名
      守家大雄、高木一義、高木直史
    • 学会等名
      2014年冬のLAシンポジウム
    • 発表場所
      京都大学 吉田キャンパス北部構内 数理解析研究所、京都府京都市
    • 年月日
      2015-01-28
    • データソース
      KAKENHI-PROJECT-24500061
  • [学会発表] 単一磁束量子回路のパルス到着タイミングを最適化する配置配線手法2015

    • 著者名/発表者名
      西村翔、高木一義、高木直史
    • 学会等名
      電子情報通信学会総合大会
    • 発表場所
      立命館大学 びわこ・くさつキャンパス、滋賀県草津市
    • 年月日
      2015-03-11
    • データソース
      KAKENHI-PROJECT-24500061
  • [学会発表] Minimum Depth Logic Circuits for Five-Variable Logic Functions Using Three-Input Majority Gates2014

    • 著者名/発表者名
      M.Moriya, K.Takagi, N.Takagi
    • 学会等名
      Superconducting SFQ VLSI Workshop (SSV 2014)
    • 発表場所
      National Institute of Information and Communications Technology (NICT), Kobe, Japan
    • 年月日
      2014-12-01
    • データソース
      KAKENHI-PROJECT-24500061
  • [学会発表] プログラマブルSoCのためのシステム設計環境におけるフロントエンドの実装と事例評価2014

    • 著者名/発表者名
      東遼平、高瀬英希、高木一義、高木直史
    • 学会等名
      ETNET2014
    • 発表場所
      沖縄県石垣市  ICT文化ホール
    • データソース
      KAKENHI-PROJECT-24300019
  • [学会発表] 部分二重化を用いた微小誤りを許容するオンライン誤り検出可能な浮動小数点乗算器2014

    • 著者名/発表者名
      鬼頭信貴、秋元一志、高木直史
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会
    • 発表場所
      東京都港区 機械振興会館
    • 年月日
      2014-06-20
    • データソース
      KAKENHI-PROJECT-24300019
  • [学会発表] プログラマブルSoCのためのシステム設計環境の検討とSW-HWインタフェース生成手法の実装2014

    • 著者名/発表者名
      東遼平、高瀬英希、高木一義、高木直史
    • 学会等名
      情報処理学会システムLSI設計技術研究会
    • 発表場所
      横浜市 慶応義塾大学日吉キャンパス
    • データソース
      KAKENHI-PROJECT-24300019
  • [学会発表] 行列多項式 I+A+A^2+…+A^{N-1} の計算における乗算回数について2014

    • 著者名/発表者名
      松本耕太郎、高木直史、高木一義
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      豊橋市 豊橋技術科学大学
    • 年月日
      2014-09-02
    • データソース
      KAKENHI-PROJECT-24300019
  • [学会発表] Automatic Placement and Routing of a Pipelined Module in an RSFQ Logic Circuit with Timing Constraints2014

    • 著者名/発表者名
      S.Nishimura, K.Takagi, N.Takagi
    • 学会等名
      Superconducting SFQ VLSI Workshop for Young Scientists (SSV2014-YS)
    • 発表場所
      Nagoya University
    • データソース
      KAKENHI-PROJECT-24500061
  • [学会発表] 組込みマルチコアシステムにおけるタスク割付およびスクラッチパッドメモリ割当の同時最適化2013

    • 著者名/発表者名
      松本耕太朗、高瀬英希、高木一義、高木直史
    • 学会等名
      情報処理学会 DAシンポジウム
    • 発表場所
      岐阜県下呂市 ホテル水明館
    • データソース
      KAKENHI-PROJECT-24300019
  • [学会発表] 組込みシステム向けDVFSアルゴリズムのリアルタイムOSへの実装および比較評価2013

    • 著者名/発表者名
      岩田淳、高瀬英希、高木一義、高木直史
    • 学会等名
      第12回情報科学技術フォーラム
    • 発表場所
      鳥取市 鳥取大学
    • データソース
      KAKENHI-PROJECT-24300019
  • [学会発表] IEEE754標準丸めに対応した斜辺計算のためのVLSIアルゴリズム2013

    • 著者名/発表者名
      矢高裕之、高木直史
    • 学会等名
      デザインガイア2013
    • 発表場所
      鹿児島市 鹿児島県文化センター
    • データソース
      KAKENHI-PROJECT-24300019
  • [学会発表] 高位合成における非一様依存性を持つ入れ子ループ向けのバッファ構成法2013

    • 著者名/発表者名
      須田瑛太、高瀬英希、高木一義、高木直史
    • 学会等名
      デザインガイア2013
    • 発表場所
      鹿児島市 鹿児島県文化センター
    • データソース
      KAKENHI-PROJECT-24300019
  • [学会発表] 桁上げビットの二重化によるセルフチェッキング桁上げ先見加算器2013

    • 著者名/発表者名
      三苫晃弘、鬼頭信貴、高木直史
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会
    • 発表場所
      対馬市交流センター(長崎県対馬市)
    • 年月日
      2013-03-14
    • データソース
      KAKENHI-PROJECT-24300019
  • [学会発表] 浮動小数点演算器アレイの構成のための評価環境2013

    • 著者名/発表者名
      伊藤勇也、高木一義、高木直史, 他
    • 学会等名
      電子情報通信学会コンピュータシステム研究会
    • 発表場所
      対馬市交流センター(長崎県対馬市)
    • 年月日
      2013-03-14
    • データソース
      KAKENHI-PROJECT-24300019
  • [学会発表] 剰余符号を用いたオンライン誤り検出可能な浮動小数点乗算器2013

    • 著者名/発表者名
      山口大樹、鬼頭信貴、高木直史
    • 学会等名
      第69回FTC研究会
    • 発表場所
      山口市 かんぽの宿湯田
    • データソース
      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

    • 著者名/発表者名
      山口大樹、鬼頭信貴、高木直史
    • 学会等名
      情報処理学会 DAシンポジウム
    • 発表場所
      岐阜県下呂市 ホテル水明館
    • データソース
      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
  • [学会発表] Computer-Aided Design of Superconducting SFQ Digital Circuits2008

    • 著者名/発表者名
      K. Takagi, N. Takagi, M. Tanaka, K. Obata, Y. Ito
    • 学会等名
      Superconducting SFQ VLSI Workshop (SSV 2008)
    • 発表場所
      Yokohama National University, Yokohama, Japan
    • 年月日
      2008-03-17
    • データソース
      KAKENHI-PROJECT-17700010
  • [学会発表] 多層配線単三磁束量子回路のための自動配線手法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
  • [学会発表] 2つの浮動小数点積和演算器を用いた複素数乗算器

    • 著者名/発表者名
      高田雄平、高木直史、高木一義
    • 学会等名
      デザインガイア2014(電子情報通信学会コンピュータシステム研究会)
    • 発表場所
      別府市 ビーコンプラザ(別府国際コンベンションセンター)
    • 年月日
      2014-11-26 – 2014-11-28
    • データソース
      KAKENHI-PROJECT-24300019
  • [学会発表] 部分二重化を用いたオンライン誤り検出可能な浮動小数点乗算器の設計と評価

    • 著者名/発表者名
      鬼頭信貴、秋元一志、高木直史
    • 学会等名
      ETNET2015(電子情報通信学会ディペンダブルコンピューティング研究会)
    • 発表場所
      奄美市 奄美社会福祉協議会
    • 年月日
      2015-03-06 – 2015-03-07
    • データソース
      KAKENHI-PROJECT-24300019
  • [学会発表] 2つの浮動小数点倍精度加算器を用いた仮数部104ビット拡張倍精度加算器

    • 著者名/発表者名
      矢高裕之、高木直史、高木一義
    • 学会等名
      デザインガイア2014(電子情報通信学会コンピュータシステム研究会)
    • 発表場所
      別府市 ビーコンプラザ(別府国際コンベンションセンター)
    • 年月日
      2014-11-26 – 2014-11-28
    • データソース
      KAKENHI-PROJECT-24300019
  • [学会発表] 単一磁束量子回路向けの論理ゲート配置手法

    • 著者名/発表者名
      西村翔, 高木一義, 高木直史
    • 学会等名
      2013年電子情報通信学会総合大会
    • 発表場所
      岐阜大学
    • データソース
      KAKENHI-PROJECT-24500061
  • 1.  高木 直史 (10171422)
    共同の研究課題数: 7件
    共同の研究成果数: 87件
  • 2.  渡邉 勝正 (60026078)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 3.  木村 晋二 (20183303)
    共同の研究課題数: 4件
    共同の研究成果数: 0件
  • 4.  國島 丈生 (20263436)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 5.  中村 一博 (90335076)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 6.  堀山 貴史 (60314530)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  中西 正樹 (40324967)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  西永 望
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  鬼頭 信貴
    共同の研究課題数: 0件
    共同の研究成果数: 1件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi