内沢啓 Uchizawa Kei

研究者番号	90510248
その他のID
所属 (現在)	2025年度: 山形大学, 大学院理工学研究科, 准教授
所属 (過去の研究課題情報に基づく) *注記	2025年度: 山形大学, 大学院理工学研究科, 准教授 2016年度 – 2023年度: 山形大学, 大学院理工学研究科, 准教授 2012年度 – 2016年度: 山形大学, 理工学研究科, 准教授 2013年度: 山形大学, 工学部, 准教授 2012年度: 山形大学, 大学院・理工学研究科, 准教授 … もっと見る 2011年度: 東北大学, 情報科学研究科, 助教 2008年度 – 2010年度: 東北大学, 大学院・情報科学研究科, 助教 2009年度: 東北大, 情報科学研究科, 助教隠す
審査区分/研究分野	研究代表者小区分60010:情報学基礎論関連 / 情報学基礎 / 情報学基礎理論研究代表者以外情報学基礎 / 理工系
キーワード	研究代表者しきい値回路 / ニューラルネットワーク / 回路計算量 / 計算複雑さ / 回路計算量理論 / 情報基礎 / 計算量理論 / 計算理論 / 神経回路網 / 生体生命情報 … もっと見る / エネルギー効率化 / グラフ / 視覚探索 / 生体情報処理 / アルゴリズム / 計算の複雑さ / 特徴写像 / 深層学習 / ホップフィールドネットワーク / 離散力学系 / エネルギー計算量 / 機械学習 / マージン / 段数 / 線形決定木 / UP / NPI / 論理回路 / 脳 / 剰余関数 / トレードオフ / 生体生命情報学 … もっと見る研究代表者以外 VLSI設計 / グラフ描画 / 設計自動化 / 離散構造 / アルゴリズム理論 / 劣モジュラ最適化 / パターン数 / 論理回路 / 連続緩和 / 近似アルゴリズム / しきい値回路 / カーネル平均 / 木縮約パターン / 線形決定木 / Bradley-Terryモデル / QBFソルバ / 項木パターン / 計算の複雑さ / 形式グラフ体系 / パターン言語 / メトリカルタスクシステム問題 / 最長共通部分列 / 離散力学系 / オンライン意思決定 / 分布学習 / 計算理論 / オンライン予測 / 計算学習理論 / 3連結成分分解木 / 内部3連結グラフ / 格子凸描画 / グラフ彩色 / グラフ分割 / 擬多項式時間 / 辺容量 / 公平連結分割 / 部分k木 / 直並列グラフ / 全域配送林 / 描画 / 彩色 / 分割 / アルゴリズム / グラフ隠す

簡略表現の視点に基づいた定数段しきい値論理回路の計算能力の解明研究代表者
- 研究代表者
  
  内沢啓
- 研究期間 (年度)
  2025 – 2027
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  山形大学
回路計算量理論に基づく視覚探索を実現するニューラルネットワークの計算原理の解明研究代表者
- 研究代表者
  
  内沢啓
- 研究期間 (年度)
  2022 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  山形大学
パラメータの定まったニューラルネットワークの性質を調べるアルゴリズム基盤の構築研究代表者
- 研究代表者
  
  内沢啓
- 研究期間 (年度)
  2019 – 2021
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60010:情報学基礎論関連
- 研究機関
  山形大学
機械学習に貢献するしきい値回路の設計とその限界研究代表者
- 研究代表者
  
  内沢啓
- 研究期間 (年度)
  2016 – 2018
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎理論
- 研究機関
  山形大学
出力パターン数を計算量として捉えた，新しいしきい値回路解析技術の確立研究代表者
- 研究代表者
  
  内沢啓
- 研究期間 (年度)
  2013 – 2015
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎理論
- 研究機関
  山形大学
学習理論からの計算限界解明へのアプローチ
- 研究代表者
  
  瀧本英二
- 研究期間 (年度)
  2012 – 2016
- 研究種目
  
  新学術領域研究(研究領域提案型)
- 審査区分
  
  理工系
- 研究機関
  九州大学
生体情報処理を実現するエネルギー効率の高いしきい値回路の設計とその限界研究代表者
- 研究代表者
  
  内沢啓
- 研究期間 (年度)
  2011 – 2012
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  山形大学
   東北大学
グラフを分割，彩色，描画するアルゴリズムの効率化とそれらの応用
- 研究代表者
  
  西関隆夫
- 研究期間 (年度)
  2009 – 2013
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  関西学院大学
   東北大学
生体情報処理の視点に基づいたエネルギー効率の高いしきい値回路の設計とその限界研究代表者
- 研究代表者
  
  内沢啓
- 研究期間 (年度)
  2009 – 2010
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  東北大学
生体情報処理の視点に基づいたエネルギー効率の高いしきい値回路の設計とその限界研究代表者
- 研究代表者
  
  内沢啓
- 研究期間 (年度)
  2008 – 2009
- 研究種目
  
  若手研究(スタートアップ)
- 研究分野
  
  情報学基礎
- 研究機関
  東北大学
VLSI設計へのグラフ描画アルゴリズムの応用
- 研究代表者
  
  西関隆夫
- 研究期間 (年度)
  2007 – 2008
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  東北大学

[雑誌論文] Exponential Lower Bounds for Threshold Circuits of Sub-Linear Depth and Energy2023
- 著者名/発表者名
  Kei Uchizawa, Haruki Abe
- 雑誌名
  
  Proceedings of 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
  
  巻: -
- 査読あり
- データソース
  KAKENHI-PROJECT-22K11897
[雑誌論文] An O(n2)-Time Algorithm for Computing a Max-Min 3-Dispersion on a Point Set in Convex Position2022
- 著者名/発表者名
 KOBAYASHI Yasuaki、NAKANO Shin-ichi、UCHIZAWA Kei、UNO Takeaki、YAMAGUCHI Yutaro、YAMANAKA Katsuhisa
- 雑誌名
 
 IEICE Transactions on Information and Systems
 
 巻: E105.D 号: 3 ページ: 503-507
- DOI
 10.1587/transinf.2021FCP0013
- NAID
 130008165607
- ISSN
 0916-8532, 1745-1361
- 年月日
 2022-03-01
- 言語
 英語
- 査読あり
- データソース
 KAKENHI-PROJECT-19K11812, KAKENHI-PROJECT-22K11897, KAKENHI-PROJECT-20K19742, KAKENHI-PLANNED-20H05793, KAKENHI-PLANNED-20H05962
[雑誌論文] Synchronous Boolean Finite Dynamical Systems on Directed Graphs over XOR Functions2022
- 著者名/発表者名
  Ogihara M.、Uchizawa K.
- 雑誌名
  
  Theory of Computing Systems
  
  巻: 未定号: 3 ページ: 569-591
- DOI
  10.1007/s00224-022-10111-x
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22K11897
[雑誌論文] Synchronous Boolean Finite Dynamical Systems on Directed Graphs over XOR Functions2020
- 著者名/発表者名
  Mitsunori Ogihara, Kei Uchizawa
- 雑誌名
  
  Proceedings of 45th International Symposium on Mathematical Foundations of Computer Science
  
  巻: 170
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-19K11817
[雑誌論文] Size, Depth and Energy of Threshold Circuits Computing Parity Function2020
- 著者名/発表者名
  Kei Uchizawa
- 雑誌名
  
  Proceedings of 31st International Symposium on Algorithms and Computation
  
  巻: 181
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19K11817
[雑誌論文] Generalized predecessor existence problems for Boolean finite dynamical systems on directed graphs2019
- 著者名/発表者名
  Kawachi Akinori、Ogihara Mitsunori、Uchizawa Kei
- 雑誌名
  
  Theoretical Computer Science
  
  巻: 762 ページ: 25-40
- DOI
  10.1016/j.tcs.2018.08.026
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K12640, KAKENHI-PROJECT-16H01705, KAKENHI-PROJECT-16K00006
[雑誌論文] Computational Power of Threshold Circuits of Energy at most Two2018
- 著者名/発表者名
  MANIWA Hiroki、OKI Takayuki、SUZUKI Akira、UCHIZAWA Kei、ZHOU Xiao
- 雑誌名
  
  IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
  
  巻: E101.A 号: 9 ページ: 1431-1439
- DOI
  10.1587/transfun.E101.A.1431
- NAID
  130007479449
- ISSN
  0916-8508, 1745-1337
- 年月日
  2018-09-01
- 言語
  英語
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K12636, KAKENHI-PROJECT-18H04091, KAKENHI-PROJECT-16K00003, KAKENHI-PROJECT-16K00006
[雑誌論文] Computational complexity studies of synchronous Boolean finite dynamical systems on directed graphs2017
- 著者名/発表者名
  Mitsunori Ogihara, Kei Uchizawa
- 雑誌名
  
  Information and Computation
  
  巻: 256 ページ: 226-236
- DOI
  10.1016/j.ic.2017.07.008
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K00006
[雑誌論文] Computational Complexity Studies of Synchronous Boolean Finite Dynamical Systems on Directed Graphs2017
- 著者名/発表者名
  Mitsunori Ogihara, Kei Uchizawa
- 雑誌名
  
  Information and Computation
  
  巻: 印刷中
- 査読あり / 謝辞記載あり / 国際共著/国際学会である
- データソース
  KAKENHI-PLANNED-24106010
[雑誌論文] Hitori numbers2017
- 著者名/発表者名
  Akira Suzuki, Masashi Kiyomi, Yota Otachi, Kei Uchizawa, Takeaki Uno
- 雑誌名
  
  Journal of Information Processing
  
  巻: 印刷中
- NAID
  130005990920
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PLANNED-24106010
[雑誌論文] Generalized Predecessor Existence Problems for Boolean Finite Dynamical Systems2017
- 著者名/発表者名
  Akinori Kawachi, Mitsunori Ogihara, Kei Uchizawa
- 雑誌名
  
  Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)
  
  巻: 83
- DOI
  10.4230/LIPIcs.MFCS.2017.8
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K00006, KAKENHI-PROJECT-16H01705, KAKENHI-PROJECT-17H01695
[雑誌論文] Learning concepts and their unions from positive data with refinement operators2017
- 著者名/発表者名
  Seishi Ouchi, Tomohiko Okayama, Keisuke Otaki, Ryo Yoshinaka, Akihiro Yamamoto
- 雑誌名
  
  Annals of Mathematics and Artficial Intelligence
  
  巻: 79(1-3) 号: 1-3 ページ: 181-203
- DOI
  10.1007/s10472-015-9458-6
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PLANNED-24106010
[雑誌論文] Threshold Circuits Detecting Global Patterns in Two-dimensional Maps2016
- 著者名/発表者名
  Kei Uchizawa, Daiki Yashima, Xiao Zhou
- 雑誌名
  
  Journal of Graph Algorithms and Applications
  
  巻: 20 号: 1 ページ: 115-131
- DOI
  10.7155/jgaa.00387
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-25330005, KAKENHI-PROJECT-16K00006
[雑誌論文] Threshold circuits for global patterns in 2-dimensional maps2015
- 著者名/発表者名
  Kei Uchizawa, Daiki Yashima, Xiao Zhou
- 雑誌名
  
  Proc. 9th International Workshop on Algorithms and Computation (WALCOM 2015), Lecture Notes in Computer Science
  
  巻: 8973 ページ: 306-316
- DOI
  10.1007/978-3-319-15612-5_27
- ISBN
  9783319156118, 9783319156125
- 査読あり
- データソース
  KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-25330005
[雑誌論文] Swapping Labeled Tokens on Graphs2015
- 著者名/発表者名
  Katsuhisa Yamanaka, Erik D. Demaine, Takehiro Ito, Jun Kawahara, Masashi Kiyomi, Yoshio Okamoto, Toshiki Saitoh, Akira Suzuki, Kei Uchizawa, Takeaki Uno
- 雑誌名
  
  Theoretical Computer Science
  
  巻: 印刷中ページ: 81-94
- DOI
  10.1016/j.tcs.2015.01.052
- 査読あり / 謝辞記載あり / オープンアクセス
- データソース
  KAKENHI-PUBLICLY-25106504, KAKENHI-PROJECT-25330003, KAKENHI-PROJECT-26730001, KAKENHI-PLANNED-24106005, KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-24220003, KAKENHI-PROJECT-25330005, KAKENHI-PROJECT-24700008, KAKENHI-PROJECT-24700130, KAKENHI-PROJECT-15H03389
[雑誌論文] Competitive Diffusion on Weighted Graphs2015
- 著者名/発表者名
  Takehiro Ito, Yota Otachi, Toshiki Saitoh, Hisayuki Satoh, Akira Suzuki, Kei Uchizawa, Ryuhei Uehara, Katsuhisa Yamanaka, Xiao Zhou
- 雑誌名
  
  Proc. 14th International Symposium on Algorithms and Data Structures (WADS 2015), Lecture Notes in Computer Science
  
  巻: 9214 ページ: 422-433
- DOI
  10.1007/978-3-319-21840-3_35
- NAID
  120005850317
- ISBN
  9783319218397, 9783319218403
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-25330003, KAKENHI-PROJECT-25330005
[雑誌論文] Lower bounds for linear decision trees with bounded weights2015
- 著者名/発表者名
  Kei Uchizawa, Eiji Takimoto
- 雑誌名
  
  Proc. 41st International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2015), Lecture Notes in Computer Science
  
  巻: 8939 ページ: 412-422
- DOI
  10.1007/978-3-662-46078-8_34
- ISBN
  9783662460771, 9783662460788
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-23300003, KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-25240003, KAKENHI-PROJECT-25330005
[雑誌論文] Computational Complexity Studies of Synchronous Boolean Finite Dynamical Systems2015
- 著者名/発表者名
  Mitsunori Ogihara, Kei Uchizawa
- 雑誌名
  
  Proc. 12th Annual Conference on Theory and Applications of Models of Computation (TAMC 2015), Lecture Notes in Computer Science
  
  巻: 9076 ページ: 87-98
- DOI
  10.1007/978-3-319-17142-5_9
- ISBN
  9783319171418, 9783319171425
- 査読あり / 謝辞記載あり / 国際共著/国際学会である
- データソース
  KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-25330005
[雑誌論文] Generalized rainbow connectivity of graphs2014
- 著者名/発表者名
  Kei Uchizawa, Takanori Aoki, Takehiro Ito and Xiao Zhou
- 雑誌名
  
  Theoretical Computer Science (TCS)
  
  巻: 555 ページ: 35-42
- DOI
  10.1016/j.tcs.2014.01.007
- 査読あり
- データソース
  KAKENHI-PROJECT-23500001, KAKENHI-PLANNED-24106010, KAKENHI-PUBLICLY-25106504, KAKENHI-PROJECT-25330003, KAKENHI-PROJECT-25330005
[雑誌論文] Distribution Loss Minimization with Guaranteed Error Bound2014
- 著者名/発表者名
  Takeru Inoue, Keiji Takano, Takayuki Watanabe, Jun Kawahara, Ryo Yoshinaka, Akihiro Kishimoto, Koji Tsuda, Shin-ichi Minato, Yasuhiro Hayashi
- 雑誌名
  
  IEEE Transactions on Smart Grid
  
  巻: 5 (1) 号: 1 ページ: 102-111
- DOI
  10.1109/tsg.2013.2288976
- NAID
  120005895800
- 査読あり
- データソース
  KAKENHI-PLANNED-24106010
[雑誌論文] Swapping Labeled Tokens on Graphs2014
- 著者名/発表者名
  Katsuhisa Yamanaka, Erik D. Demaine, Takehiro Ito, Jun Kawahara, Masashi Kiyomi, Yoshio Okamoto, Toshiki Saitoh, Akira Suzuki, Kei Uchizawa, and Takeaki Uno
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 8496 ページ: 369-380
- DOI
  10.1007/978-3-319-07890-8_31
- ISBN
  9783319078892, 9783319078908
- 査読あり
- データソース
  KAKENHI-PLANNED-24106005, KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-24700008, KAKENHI-PROJECT-25330005
[雑誌論文] Lower Bounds for Threshold Circuits of Bounded Energy2014
- 著者名/発表者名
  Kei Uchizawa
- 雑誌名
  
  Interdisciplinary Information Sciences
  
  巻: 20 号: 1 ページ: 27-50
- DOI
  10.4036/iis.2014.27
- NAID
  130003391940
- ISSN
  1340-9050, 1347-6157
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PLANNED-24106010
[雑誌論文] Energy and fan-in of logic circuits computing symmetric Boolean functions2013
- 著者名/発表者名
  Akira Suzuki, Kei Uchizawa and Xiao Zhou
- 雑誌名
  
  Theoretical Computer Science (TCS)
  
  巻: 505 ページ: 74-80
- DOI
  10.1016/j.tcs.2012.11.039
- 査読あり
- データソース
  KAKENHI-PROJECT-12J03660, KAKENHI-PROJECT-23500001, KAKENHI-PROJECT-23700003, KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-25330005
[雑誌論文] Complexity of Counting Output Patterns of Logic Circuits2013
- 著者名/発表者名
  Kei Uchizawa, Zhenghong Wang, Hiroki Morizumi, Xiao Zhou
- 雑誌名
  
  Conferences in Research and Practice in Information Technology (CRPIT)
  
  巻: 141 ページ: 37-42
- NAID
  110009768648
- 査読あり
- データソース
  KAKENHI-PROJECT-23700003
[雑誌論文] Energy-Efficient Threshold Circuits Detecting Global Pattern in 1-Dimensional Arrays2013
- 著者名/発表者名
  Akira Suzuki, Kei Uchizawa and Xiao Zhou
- 雑誌名
  
  Springer, Lecture Notes in Computer Science
  
  巻: 7876 ページ: 248-259
- DOI
  10.1007/978-3-642-38236-9_23
- ISBN
  9783642382352, 9783642382369
- 査読あり
- データソース
  KAKENHI-PROJECT-23700003, KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-25330005
[雑誌論文] On the rainbow connectivity of graphs : complexity and FPT algorithms2013
- 著者名/発表者名
  Kei Uchizawa, Takanori Aoki, Takehiro Ito, Akira Suzuki and Xiao Zhou
- 雑誌名
  
  Algorithmica
  
  巻: 67, Issue2 号: 2 ページ: 161-179
- DOI
  10.1007/s00453-012-9689-4
- 査読あり
- データソース
  KAKENHI-PROJECT-23500001, KAKENHI-PROJECT-23700003, KAKENHI-PLANNED-24106010, KAKENHI-PROJECT-25330005
[雑誌論文] Energy-efficient threshold circuits computing MOD functions2013
- 著者名/発表者名
  Akira Suzuki, Kei Uchizawa and Xiao Zhou
- 雑誌名
  
  International Journal of Foundations of Computer Science (IJFCS)
  
  巻: 24 号: 01 ページ: 15-29
- DOI
  10.1142/s0129054113400029
- NAID
  110008676159
- 査読あり
- データソース
  KAKENHI-PROJECT-23500001, KAKENHI-PROJECT-23700003
[雑誌論文] Complexity of Counting Output Patterns of Logic Circuits2013
- 著者名/発表者名
  Kei Uchizawa
- 雑誌名
  
  Proc. 19th edition of Computing: the Australasian Theory Symposium
  
  巻: 141 ページ: 37-42
- NAID
  110009768648
- 査読あり
- データソース
  KAKENHI-PLANNED-24106010
[雑誌論文] Generalized Rainbow Connectivity of Graphs2013
- 著者名/発表者名
  Kei Uchizawa, Takanori Aoki, Takehiro Ito and Xiao Zhou
- 雑誌名
  
  Springer, Lecture Notes in Computer Science
  
  巻: 7748 ページ: 232-244
- DOI
  10.1007/978-3-642-36065-7_22
- ISBN
  9783642360640, 9783642360657
- 査読あり
- データソース
  KAKENHI-PROJECT-23700003, KAKENHI-PLANNED-24106010
[雑誌論文] Energy-Efficient Threshold Circuits for Comparison Functions2012
- 著者名/発表者名
  Kei Uchizawa and Xiao Zhou
- 雑誌名
  
  Interdisciplinary Information Sciences
  
  巻: 18 号: 2 ページ: 161-166
- DOI
  10.4036/iis.2012.161
- NAID
  130002531676
- ISSN
  1340-9050, 1347-6157
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-23500001, KAKENHI-PROJECT-23700003
[雑誌論文] Hitori Number2012
- 著者名/発表者名
  Akira Suzuki, Kei Uchizawa, Takeaki Uno
- 雑誌名
  
  Springer, Lecture Notes in Computer Science
  
  巻: 7288 ページ: 334-345
- DOI
  10.1007/978-3-642-30347-0_33
- NAID
  130005990920
- ISBN
  9783642303463, 9783642303470
- 査読あり
- データソース
  KAKENHI-PROJECT-23700003
[雑誌論文] Energy-Efficient Threshold Circuits Computing Mod Functions2011
- 著者名/発表者名
 A.Suzuki, K.Uchizawa, X.Zhou
- 雑誌名
 
 Proceedings of the 17^<th> Computing : the Australasian Theory Symposium (CATS), CRIPT 119
 
 ページ: 105-110
- NAID
 110008676159
- 査読あり
- データソース
 KAKENHI-PROJECT-21700003
[雑誌論文] Bounds for Linear Decision trees via An Energy Complexity Argumant2011
- 雑誌名
  
  Springer, Lecture Notes in Computer Science
  
  巻: 6907 ページ: 568-579
- DOI
  10.1007/978-3-642-22993-0_51
- ISBN
  9783642229923, 9783642229930
- 査読あり
- データソース
  KAKENHI-PROJECT-23700003
[雑誌論文] Size-energy Tradeoffs of threshold circuits computing Mod functions2011
- 著者名/発表者名
  K.Uchizawa, E.Takimoto, T.Nishizeki
- 雑誌名
  
  Theoretical Computer Science Volume 412, issues 8-10
  
  ページ: 773-782
- 査読あり
- データソース
  KAKENHI-PROJECT-21700003
[雑誌論文] Energy and Fan-In of Threshold Circuits Computing Mod Functions2011
- 著者名/発表者名
  A. Suzuki, K. Uchizawa and X. Zhou
- 雑誌名
  
  Springer, Lecture Notes in Computer Science
  
  巻: 6648 ページ: 154-163
- DOI
  10.1007/978-3-642-20877-5_16
- ISBN
  9783642208768, 9783642208775
- 査読あり
- データソース
  KAKENHI-PROJECT-23700003
[雑誌論文] Size-energy tradsoffs of unate circuits computing symmetric Boolean functions2011
- 著者名/発表者名
  Kei Uchizawa, Eiji Takimoto, Takao Nishizeki
- 雑誌名
  
  Theoretical Computer Science
  
  巻: Vol.412(8-10) ページ: 773-782
- 査読あり
- データソース
  KAKENHI-PROJECT-21700003
[雑誌論文] Size-energy tradeoffs for unite circuits computing symmetric Boolean functions2011
- 著者名/発表者名
  T.Nishizeki, K.Uchizawa
- 雑誌名
  
  Theoretical Computer Science
  
  巻: 412 号: 8-10 ページ: 773-782
- DOI
  10.1016/j.tcs.2010.11.022
- 査読あり
- データソース
  KAKENHI-PROJECT-21500001
[雑誌論文] Size-energy tradeoffs for unate circuits computing symmetric Boolean functions2011
- 著者名/発表者名
  K.Uchizawa
- 雑誌名
  
  Theoretical Computer Science
  
  巻: 412 ページ: 773-782
- 査読あり
- データソース
  KAKENHI-PROJECT-21500001
[雑誌論文] On the Rainbow Connectivity of Graphs: Complexity and FPT Algorithms2011
- 著者名/発表者名
  K. Uchizawa, T. Aoki, T. Ito, A. Suzuki, and X. Zhou
- 雑誌名
  
  Springer, Lecture Notes in Computer Science
  
  巻: 6842 ページ: 86-97
- DOI
  10.1007/978-3-642-22685-4_8
- ISBN
  9783642226847, 9783642226854
- 査読あり
- データソース
  KAKENHI-PROJECT-23700003
[雑誌論文] Energy-Efficient Threshold Circuits Computing MOD Functions2011
- 著者名/発表者名
  Akira Suzuki, Kei Uchizawa, Xiao Zhou
- 雑誌名
  
  Proceedings of the 17th Computing : the Australasian Theory Symposium (CATS), CRIPT
  
  巻: 119 ページ: 105-110
- NAID
  110008676159
- 査読あり
- データソース
  KAKENHI-PROJECT-21700003
[雑誌論文] Size and energy of unate circuits computing symmetric Boolean functions2010
- 著者名/発表者名
  Kei Uchizawa, Eiji Takimoto, Takao Nishizeki
- 雑誌名
  
  Proceedings of the 13th Japan-Korea Joint Workshop on Algorithms and Computation
  
  ページ: 10-17
- 査読あり
- データソース
  KAKENHI-PROJECT-21700003
[雑誌論文] Energy and depth of threshold circuits2010
- 著者名/発表者名
  K.Uchizawa
- 雑誌名
  
  Theoretical Computer Science
  
  巻: 411 ページ: 3938-3946
- 査読あり
- データソース
  KAKENHI-PROJECT-21500001
[雑誌論文] 剰余関数を計算するエネルギー複雑度の小さいしきい値回路2010
- 著者名/発表者名
  鈴木顕, 内沢啓, 周暁
- 雑誌名
  
  電子情報通信学会技術研究報告,コンピュテーション
  
  巻: Vol.110, No.325 ページ: 7-14
- NAID
  110008676159
- データソース
  KAKENHI-PROJECT-21700003
[雑誌論文] 対称関数を計算するユネイト回路のサイズとエネルギーのトレードオフ2010
- 著者名/発表者名
  内沢啓, 瀧本英二, 西関隆夫
- 雑誌名
  
  信学技報 109(391)
  
  ページ: 57-64
- NAID
  110008004174
- データソース
  KAKENHI-PROJECT-21700003
[雑誌論文] Size and energy of threshold circuits computing Mod functions2009
- 著者名/発表者名
  K.Uchizawa, E.Takimoto, T.Nishizeki
- 雑誌名
  
  Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, (MFCS) Springer LNCS 5734
  
  ページ: 724-735
- 査読あり
- データソース
  KAKENHI-PROJECT-21700003
[雑誌論文] Energy Complexity and Depth of Threshold Circuits2009
- 著者名/発表者名
  内沢啓, 西関隆夫, 瀧本英二
- 雑誌名
  
  Proceedings of the 17th International Symposium on Fundamentals of Computation Theory
  
  ページ: 335-345
- NAID
  110007227310
- 査読あり
- データソース
  KAKENHI-PROJECT-21700003
[雑誌論文] Size and Energy of Threshold Circuits Computing Mod Functions2009
- 著者名/発表者名
  内沢啓, 瀧本英二, 西関隆夫
- 雑誌名
  
  Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science
  
  ページ: 724-735
- 査読あり
- データソース
  KAKENHI-PROJECT-21700003
[雑誌論文] Energy complexity and depth of threshold circuits2009
- 著者名/発表者名
  K.Uchizawa, E.Takimoto
- 雑誌名
  
  Proceedings of the 17th International Symposium on Fundamentals of Computation Theory (FCT), Springer LNCS 5699
  
  ページ: 335-345
- NAID
  110007227310
- 査読あり
- データソース
  KAKENHI-PROJECT-21700003
[雑誌論文] プール剰余関数を計算するしきい値論理回路のサイズとエネルギー複雑度のトレードオフ2008
- 著者名/発表者名
  内沢啓, 瀧本英二, 西関隆夫
- 雑誌名
  
  信学技報 108, COMP2008-42
  
  ページ: 63-69
- データソース
  KAKENHI-PROJECT-20800005
[雑誌論文] Exponential lower bounds on the size of constant-depth threshold circuits with small energy complexity2008
- 著者名/発表者名
  Kei Uchizawa, Eiji Takimoto
- 雑誌名
  
  Theoretical Computer Science 407
  
  ページ: 474-487
- NAID
  110004851557
- 査読あり
- データソース
  KAKENHI-PROJECT-20800005
[雑誌論文] Energy and depth of threshold circuits
- 著者名/発表者名
  K.Uchizawa, T Nishizeki, E.Takimoto
- 雑誌名
  
  Theoretical Computer Science to appear
- 査読あり
- データソース
  KAKENHI-PROJECT-21700003
[学会発表] Synchronous Boolean Finite Dynamical Systems and Minimum Circuit Size Problem2016
- 著者名/発表者名
  Kei Uchizawa
- 学会等名
  情報処理学会アルゴリズム研究会
- 発表場所
  湯の原ホテル
- 年月日
  2016-01-14
- データソース
  KAKENHI-PROJECT-25330005
[学会発表] Synchronous Boolean Finite Dynamical Systems and Minimum Circuit Size Problem2016
- 著者名/発表者名
  Mitsunori Ogihara, Kei Uchizawa
- 学会等名
  情報処理学会アルゴリズム研究会
- 発表場所
  湯の原ホテル（宮城県・仙台市）
- 年月日
  2016-01-22
- データソース
  KAKENHI-PLANNED-24106010
[学会発表] Computational Complexity of Competitive Diffusion on (Un)weighted Graphs2015
- 著者名/発表者名
  Ito Takehiro, Otachi Yota, Saitoh Toshiki, Satoh Hisayuki, Suzuki Akira, Uchizawa Kei, Uehara Ryuhei, Yamanaka Katsuhisa, Zhou Xiao
- 学会等名
  情報処理学会アルゴリズム研究会
- 発表場所
  九大西新プラザ（福岡県・福岡市）
- 年月日
  2015-09-28
- データソース
  KAKENHI-PLANNED-24106010
[学会発表] Computational Complexity of Competitive Diffusion on (Un)weighted Graphs2015
- 著者名/発表者名
  Kei Uchizawa
- 学会等名
  情報処理学会アルゴリズム研究会
- 発表場所
  九大西新プラザ
- 年月日
  2015-09-21
- データソース
  KAKENHI-PROJECT-25330005
[学会発表] Computational Complexity Studies of Synchronous Boolean Finite Dynamical Systems2015
- 著者名/発表者名
  Ogihara Mitsunori, Kei Uchizawa
- 学会等名
  情報処理学会アルゴリズム研究会
- 発表場所
  定山渓ビューホテル（北海道・札幌市）
- 年月日
  2015-06-12
- データソース
  KAKENHI-PLANNED-24106010
[学会発表] Computational Complexity Studies of Synchronous Boolean Finite Dynamical Systems2015
- 著者名/発表者名
  Kei Uchizawa
- 学会等名
  情報処理学会アルゴリズム研究会
- 発表場所
  定山渓ビューホテル
- 年月日
  2015-06-05
- データソース
  KAKENHI-PROJECT-25330005
[学会発表] Lower bounds for linear decision trees with bounded weights2014
- 著者名/発表者名
  Kei Uchizawa
- 学会等名
  ELC Workshop on Learning Theory and Complexity collocated with the 12th International Conference on Grammatical Inference (ICGI 2014)
- 発表場所
  京都大学（京都府京都市）
- 年月日
  2014-09-16
- データソース
  KAKENHI-PLANNED-24106010
[学会発表] 関数P^n_D を計算するしきい値回路2013
- 著者名/発表者名
  八島大樹, 内沢啓, 周暁
- 学会等名
  LA シンポジウム, 2012
- データソース
  KAKENHI-PROJECT-23700003
[学会発表] 関数PnDを計算するしきい値回路2013
- 著者名/発表者名
  八島　大樹，内沢　啓，周　暁
- 学会等名
  冬のLAシンポジウム 2012
- 発表場所
  京都大学
- データソース
  KAKENHI-PROJECT-23700003
[学会発表] Energy-efficient threshold circuits detecting global pattern in 1-dimentional arrays2013
- 著者名/発表者名
  Akira Suzuki, Kei Uchizawa, Xiao Zhou
- 学会等名
  LA Symposium 2012
- データソース
  KAKENHI-PROJECT-23700003
[学会発表] Energy-efficient threshold circuits detecting global pattern in 1-dimentional arrays2013
- 著者名/発表者名
  Akira Suzuki, Kei Uchizawa, Xiao Zhou
- 学会等名
  冬のLAシンポジウム 2012
- 発表場所
  京都大学
- データソース
  KAKENHI-PROJECT-23700003
[学会発表] Computational complexity of counting output patterns of logic circuits2013
- 著者名/発表者名
  内沢　啓
- 学会等名
  コンピュータサイエンス研究会
- 発表場所
  東北大学
- 招待講演
- データソース
  KAKENHI-PROJECT-23700003
[学会発表] 多人数通信ゲームとしきい値回路の複雑度2011
- 著者名/発表者名
  北原綾香, 内沢啓, 周暁
- 学会等名
  第10回先端的ネットワーク&コンピューティングテクノロジーワークショップ/ITRC情報流通基盤分科会ワークショップ
- 発表場所
  東北大学
- 年月日
  2011-03-18
- データソース
  KAKENHI-PROJECT-21700003
[学会発表] Energy and Fan-in of Threshold Circuits Computing Mod Functions2011
- 著者名/発表者名
  鈴木顕, 内沢啓, 周暁
- 学会等名
  第10回先端的ネットワーク&コンピューティングテクノロジーワークショップ/ITRC情報流通基盤分科会ワークショップ
- 発表場所
  東北大学
- 年月日
  2011-03-18
- データソース
  KAKENHI-PROJECT-21700003
[学会発表] Lower Bounds for Linear Decision Trees via An Energy Complexity Argument2011
- 著者名/発表者名
  内沢　啓
- 学会等名
  電子情報通信学会，情報・システムソサイエティ，コンピュテーション研究会
- 発表場所
  函館市中央図書館
- データソース
  KAKENHI-PROJECT-23700003
[学会発表] Lower Bounds for Linear Decision Trees via An Energy Complexity Argument2011
- 著者名/発表者名
  Kei Uchizawa and Eiji Takimoto
- 学会等名
  電子情報通信学会,情報・システムソサイエティ,コンピュテーション研究会
- 発表場所
  函館市立図書館
- 年月日
  2011-09-06
- データソース
  KAKENHI-PROJECT-23700003
[学会発表] 剰余関数を計算するエネルギー複雑度の小さいしきい値回路2010
- 著者名/発表者名
  鈴木顕, 内沢啓, 周暁
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  九州工業大学Kyutechプラザ
- 年月日
  2010-12-03
- データソース
  KAKENHI-PROJECT-21700003
[学会発表] Size and energy of unate circuits computing symmetric Boolean functions2010
- 著者名/発表者名
 K.Uchizawa, E.Takimoto, T. Nishizeki
- 学会等名
 Proceedings of the 13^<th> Japan-Korea Joint Workshop on Algorithms and Computation (WAAC)
- 発表場所
 金沢文化ホール
- 年月日
 2010-06-23
- データソース
 KAKENHI-PROJECT-21700003
[学会発表] 生体情報処理の視点に基づいたエネルギー効率の高いしきい値回路の設計2010
- 著者名/発表者名
  内沢啓
- 学会等名
  情報数物研究会
- 発表場所
  東北大学大学院情報科学研究科
- 年月日
  2010-06-04
- データソース
  KAKENHI-PROJECT-21700003
[学会発表] 生体情報処理の視点に基づいたエネルギー効率の高いしきい値回路の設計2010
- 著者名/発表者名
  内沢啓
- 学会等名
  情報数物研究会
- 発表場所
  東北大学
- 年月日
  2010-06-04
- データソース
  KAKENHI-PROJECT-21700003
[学会発表] 対称関数を計算するユネイト回路のサイズとエネルギーのトレードオフ2010
- 著者名/発表者名
  内沢啓, 瀧本英二, 西関隆夫
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  九州大学西新プラザ
- 年月日
  2010-01-25
- データソース
  KAKENHI-PROJECT-21700003
[学会発表] Size and energy of unate circuits computing symmetric Boolean functions2010
- 著者名/発表者名
  K.Uchizawa
- 学会等名
  WAAC 2010
- 発表場所
  金沢市文化ホール
- 年月日
  2010-07-23
- データソース
  KAKENHI-PROJECT-21500001
[学会発表] Size-Energy Tradeoff of Unate Circuits Computing MOD Functions2009
- 著者名/発表者名
  Kei Uchizawa
- 学会等名
  National Tsing Hua Univ.-Tohoku Univ.Bilateral Workshop
- 発表場所
  National Tsing Hua University(台湾)
- 年月日
  2009-12-28
- データソース
  KAKENHI-PROJECT-21700003
[学会発表] しきい値論理回路のエネルギー複雑度と段数について2009
- 著者名/発表者名
  内沢啓, 西関隆夫, 瀧本英二
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  京都大学
- 年月日
  2009-04-17
- データソース
  KAKENHI-PROJECT-21700003
[学会発表] Size and energy of threshold circuits computing mod functions2009
- 著者名/発表者名
  K.Uchizawa, T.Nishizeki, E.Takimoto
- 学会等名
  MFCS 2009
- 発表場所
  Novy Smokoveg, High Tatras (スロバキア)
- 年月日
  2009-08-28
- データソース
  KAKENHI-PROJECT-21500001
[学会発表] Energy complexity and depth of threshold circuits2009
- 著者名/発表者名
  K.Uchizawa, T.Nishizeki, E.Takimoto
- 学会等名
  FCT 2009
- 発表場所
  ブロツワフ工科大学(ポーランド)
- 年月日
  2009-09-02
- データソース
  KAKENHI-PROJECT-21500001
[学会発表] プール剰余関数を計算するしきい値論理回路のサイズとエネルギー複雑度のトレードオフ2008
- 著者名/発表者名
  内沢啓, 瀧本英二, 西関隆夫
- 学会等名
  電子情報通信学会, コンピュテーション研究会
- 発表場所
  仙台
- 年月日
  2008-10-10
- データソース
  KAKENHI-PROJECT-20800005
[学会発表] A Sufficient Condition for Learning Unbounded Unions of Languages with Refinement Opeators
- 著者名/発表者名
  Tomohiko Okayama, Ryo Yoshinaka, Keisuke Otaki, Akihiro Yamamoto:
- 学会等名
  International Symposium on Artificial Intelligence and Mathematics (ISAIM 2014)
- 発表場所
  Embassy Suites Fort Lauderdale, Florida, USA
- データソース
  KAKENHI-PLANNED-24106010
[学会発表] Computational complexity of counting output patterns of logic circuits
- 著者名/発表者名
  Kei Uchizawa, Zhenghong Wang, Hiroki Morizumi, Xiao Zhou
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  小樽商科大学
- データソース
  KAKENHI-PLANNED-24106010

1. 周暁 (10272022)

共同の研究課題数: 3件

共同の研究成果数: 3件
2. 伊藤健洋 (40431548)

共同の研究課題数: 3件

共同の研究成果数: 1件
3. 西関隆夫 (80005545)

共同の研究課題数: 2件

共同の研究成果数: 3件
4. 瀧本英二 (50236395)

共同の研究課題数: 1件

共同の研究成果数: 1件
5. 篠原歩 (00226151)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 正代隆義 (50226304)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 畑埜晃平 (60404026)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 吉仲亮 (80466424)

共同の研究課題数: 1件

共同の研究成果数: 3件
9. 津田宏治

共同の研究課題数: 1件

共同の研究成果数: 1件
10. CUTURI Marco

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 岡本吉央

共同の研究課題数: 0件

共同の研究成果数: 1件
12. 河内亮周

共同の研究課題数: 0件

共同の研究成果数: 1件

内沢 啓 Uchizawa Kei

研究課題

研究成果

共同研究者

簡略表現の視点に基づいた定数段しきい値論理回路の計算能力の解明研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

回路計算量理論に基づく視覚探索を実現するニューラルネットワークの計算原理の解明研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

パラメータの定まったニューラルネットワークの性質を調べるアルゴリズム基盤の構築研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

機械学習に貢献するしきい値回路の設計とその限界研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

出力パターン数を計算量として捉えた，新しいしきい値回路解析技術の確立研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

学習理論からの計算限界解明へのアプローチ

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

生体情報処理を実現するエネルギー効率の高いしきい値回路の設計とその限界研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

グラフを分割，彩色，描画するアルゴリズムの効率化とそれらの応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

生体情報処理の視点に基づいたエネルギー効率の高いしきい値回路の設計とその限界研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

生体情報処理の視点に基づいたエネルギー効率の高いしきい値回路の設計とその限界研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

VLSI設計へのグラフ描画アルゴリズムの応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Exponential Lower Bounds for Threshold Circuits of Sub-Linear Depth and Energy2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] An <i>O</i>(<i>n</i><sup>2</sup>)-Time Algorithm for Computing a Max-Min 3-Dispersion on a Point Set in Convex Position2022

著者名/発表者名

雑誌名

DOI

NAID

ISSN

内沢啓 Uchizawa Kei