Uchizawa Kei 内沢啓

… Alternative Names

UCHIZAWA Kei 内沢啓

Less

Researcher Number	90510248
Other IDs
Affiliation (Current)	2025: 山形大学, 大学院理工学研究科, 准教授
Affiliation (based on the past Project Information) *help	2025: 山形大学, 大学院理工学研究科, 准教授 2016 – 2023: 山形大学, 大学院理工学研究科, 准教授 2012 – 2016: 山形大学, 理工学研究科, 准教授 2013: 山形大学, 工学部, 准教授 2012: 山形大学, 大学院・理工学研究科, 准教授 … More 2011: 東北大学, 情報科学研究科, 助教 2008 – 2010: Tohoku University, 大学院・情報科学研究科, 助教 2009: 東北大, 情報科学研究科, 助教 Less
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related / Fundamental theory of informatics / Theory of informatics Except Principal Investigator Fundamental theory of informatics / Science and Engineering
Keywords	Principal Investigator しきい値回路 / ニューラルネットワーク / 回路計算量 / 計算複雑さ / 回路計算量理論 / 情報基礎 / 計算理論 / 神経回路網 / 生体生命情報 / エネルギー効率化 … More / 視覚探索 / 生体情報処理 / アルゴリズム / 計算の複雑さ / 特徴写像 / 計算量理論 / 深層学習 / ホップフィールドネットワーク / 離散力学系 / エネルギー計算量 / 機械学習 / マージン / 段数 / 線形決定木 / UP / NPI / 論理回路 / 脳 / 剰余関数 / トレードオフ / 生体生命情報学 … More Except Principal Investigator VLSI設計 / グラフ描画 / 設計自動化 / 離散構造 / アルゴリズム理論 / 劣モジュラ最適化 / パターン数 / 論理回路 / 連続緩和 / 近似アルゴリズム / しきい値回路 / カーネル平均 / 木縮約パターン / 線形決定木 / Bradley-Terryモデル / QBFソルバ / 項木パターン / 計算の複雑さ / 形式グラフ体系 / パターン言語 / メトリカルタスクシステム問題 / 最長共通部分列 / 離散力学系 / オンライン意思決定 / 分布学習 / 計算理論 / オンライン予測 / 計算学習理論 / 3連結成分分解木 / 内部3連結グラフ / 格子凸描画 / グラフ彩色 / グラフ分割 / 擬多項式時間 / 辺容量 / 公平連結分割 / 部分k木 / 直並列グラフ / 全域配送林 / 描画 / 彩色 / 分割 / アルゴリズム / グラフ Less

簡略表現の視点に基づいた定数段しきい値論理回路の計算能力の解明Principal Investigator
- Principal Investigator
  
  内沢啓
- Project Period (FY)
  2025 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Yamagata University
回路計算量理論に基づく視覚探索を実現するニューラルネットワークの計算原理の解明Principal Investigator
- Principal Investigator
  
  内沢啓
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Yamagata University
Foundation of algorithm designs for artificial neural networksPrincipal Investigator
- Principal Investigator
  
  Uchizawa Kei
- Project Period (FY)
  2019 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Yamagata University
Limitation of Threshold Circuits designed for Machine LearningPrincipal Investigator
- Principal Investigator
  
  Uchizawa Kei
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Yamagata University
Exploring the computational power of threshold circuits with the limited number of output patternsPrincipal Investigator
- Principal Investigator
  
  Kei Uchizawa
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Yamagata University
Approach from learning theory toward understanding the limitations of computation
- Principal Investigator
  
  Takimoto Eiji
- Project Period (FY)
  2012 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
- Review Section
  
  Science and Engineering
- Research Institution
  Kyushu University
Energy-Efficient Threshold Circuits for Biological Information Processing, and its LimitationsPrincipal Investigator
- Principal Investigator
  
  UCHIZAWA Kei
- Project Period (FY)
  2011 – 2012
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Yamagata University
  Tohoku University
Efficient Algorithms for Partitionings, Colorings and Drawings of Graphs and their Applications
- Principal Investigator
  
  NISHIZEKI Takao
- Project Period (FY)
  2009 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kwansei Gakuin University
  Tohoku University
Design of Energy-Efficient Threshold Circuits Based on Biological Information Processing, and its limitationPrincipal Investigator
- Principal Investigator
  
  UCHIZAWA Kei
- Project Period (FY)
  2009 – 2010
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tohoku University
生体情報処理の視点に基づいたエネルギー効率の高いしきい値回路の設計とその限界Principal Investigator
- Principal Investigator
  
  内沢啓
- Project Period (FY)
  2008 – 2009
- Research Category
  
  Grant-in-Aid for Young Scientists (Start-up)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tohoku University
Graph Drawing Algorithms and Applications to VLSI Designs
- Principal Investigator
  
  NISHIZEKI Takao
- Project Period (FY)
  2007 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tohoku University

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

1. XIAO Zhou (10272022)

# of Collaborated Projects: 3 results

# of Collaborated Products: 3 results
2. ITO Takehiro (40431548)

# of Collaborated Projects: 3 results

# of Collaborated Products: 1 results
3. NISHIZEKI Takao (80005545)

# of Collaborated Projects: 2 results

# of Collaborated Products: 3 results
4. Takimoto Eiji (50236395)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
5. 篠原歩 (00226151)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 正代隆義 (50226304)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 畑埜晃平 (60404026)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 吉仲亮 (80466424)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
9. TSUDA Koji

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
10. CUTURI Marco

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. 岡本吉央

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
12. 河内亮周

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Uchizawa Kei 内沢 啓

UCHIZAWA Kei 内沢 啓

Research Projects

Research Products

Co-Researchers

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Foundation of algorithm designs for artificial neural networksPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Limitation of Threshold Circuits designed for Machine LearningPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Exploring the computational power of threshold circuits with the limited number of output patternsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Approach from learning theory toward understanding the limitations of computation

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Energy-Efficient Threshold Circuits for Biological Information Processing, and its LimitationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Efficient Algorithms for Partitionings, Colorings and Drawings of Graphs and their Applications

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Design of Energy-Efficient Threshold Circuits Based on Biological Information Processing, and its limitationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Graph Drawing Algorithms and Applications to VLSI Designs

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Exponential Lower Bounds for Threshold Circuits of Sub-Linear Depth and Energy2023

Author(s)

Journal Title

Data Source

[Journal Article] 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

Author(s)

Journal Title

DOI

NAID

Uchizawa Kei 内沢啓

UCHIZAWA Kei 内沢啓