内沢　啓（うちざわ　けい）

[English]

MAIL: uchizawa [ at ] ecei.tohoku.ac.jp
居室: 電子情報システム・応物系2号館 402号室
内線: 7163

研究テーマ


発表論文

学術誌

[5] Energy-Efficient Threshold Circuits Computing Mod Functions,
A. Suzuki, K. Uchizawa, and X. Zhou
International Journal of Foudations of Computer Science:
to appear.


[4] Size-Energy Tradeoffs of Unate Circuits Computing Symmetric Boolean Functions [Link to ScienceDirect],
K. Uchizawa, E. Takimoto and T. Nishizeki
Theoretical Computer Science 412(8-10):
773-782, 2011.


[3] Energy and Depth of Threshold Circuits [Link to ScienceDirect],
K. Uchizawa, T. Nishizeki and E. Takimoto,
Theoretical Computer Science 411(44-46):
pp. 3938-3946, 2010.


[2] Exponential Lower Bounds on the Size of Constant-Depth Threshold Circuits with Small Energy Complexity [Link to ScienceDirect],
K. Uchizawa and E. Takimoto,
Theoretical Computer Science 407(1-3):
pp. 474-487, 2008.


[1] On the Computational Power of Threshold Circuits with Sparse Activity (Link to MIT Press),
K. Uchizawa, R. Douglas, and W. Maass,
Neural Computation 18(12):
pp. 2994-3008, 2006.

査読付き国際会議

[9] Lower Bounds for Linear Decision trees via An Energy Complexity Argumant [submitted version (PDF)]
K. Uchizawa and E. Takimoto
Proceedings of the 36th International Symposiums on Mathematical Foundations of Computer Science (MFCS),
Springer LNCS 6907, pp. 568-579, 2011.


[8] On the Rainbow Connectivity of Graphs: Complexity and FPT Algorithms [submitted version (PDF)]
K. Uchizawa, T. Aoki, T. Ito, A. Suzuki, and X. Zhou
Proceedings of the 17th Annual International Computing and Combinatorics Conference (COCOON),
Springer LNCS 6842, pp. 86-97, 2011.


[7] Energy and Fan-in of Threshold Circuits Computing Mod Functions [submitted version (PDF)]
A. Suzuki, K. Uchizawa and X. Zhou
Proceedings of the 8th Annual Conference on Theory and Applications of Models of Computation (TAMC),
Springer LNCS 6648, pp. 154-163, 2011.


[6] Energy-Efficient Threshold Circuits Computing Mod Functions [submitted version (PDF)]
A. Suzuki, K. Uchizawa and X. Zhou
Proceedings of the 17th Computing: the Australasian Theory Symposium (CATS),
CRIPT, 119, 105-110, 2011.


[5] Size and Energy of Unate Circuits Computing Symmetric Boolean Functions [submitted version (PDF)]
K. Uchizawa, E. Takimoto and T. Nishizeki
Proceedings of the 13th Japan-Korea Joint Workshop on Algorithms and Computation (WAAC),
pp. 10-17, 2010.


[4] Energy Complexity and Depth of Threshold Circuits [submitted version (PDF)]
K. Uchizawa, T. Nishizeki and E. Takimoto
Proceedings of the 17th International Symposium on Fundamentals of Computation Theory (FCT),
Springer LNCS 5699, pp. 335-345, 2009.


[3] Size and Energy of Threshold Circuits Computing Mod Functions [submitted version (PDF)]
K. Uchizawa, E. Takimoto and T. Nishizeki
Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science (MFCS),
Springer LNCS 5734, pp. 724-735, 2009.


[2] An Exponential Lower Bound on the Size of Constant-Depth Threshold Circuits with Small Energy Complexity,
K. Uchizawa and E. Takimoto,
Proceedings of the 22nd IEEE Conference on Computational Complexity (CCC):
pp. 169-178, 2007.


[1] Energy Complexity and Entropy of Threshold Circuits,
K. Uchizawa, R. Douglas, and W. Maass,
Proceedings of the 33rd International Colloquium on Automata, Languages and Programming (ICALP):
Springer LNCS 4051, pp. 631-642, 2006.

学会・シンポジウム等

[8] 剰余関数を計算するエネルギー複雑度の小さいしきい値回路,
鈴木　顕，内沢　啓，周　暁
電子情報通信学会技術研究報告，コンピュテーション Vol.110, No.325:
pp. 7−14, 2010.


[7] 対称関数を計算するユネイト回路のサイズとエネルギーのトレードオフ,
内沢　啓，瀧本　英二，西関　隆夫
電子情報通信学会技術研究報告，コンピュテーション Vol.109, No.391:
pp. 10−17, 2010.


[6] しきい値論理回路のエネルギー複雑度と段数について,
内沢　啓，西関　隆夫，瀧本　英二
電子情報通信学会技術研究報告，コンピュテーション Vol.109, No.9:
pp. 21−28, 2009.


[5] ブール剰余関数を計算するしきい値論理回路のサイズとエネルギー複雑度のトレードオフ,
内沢　啓，瀧本　英二，西関　隆夫
電子情報通信学会技術研究報告，コンピュテーション Vol.108, No.237:
pp. 63−69, 2008.


[4] しきい値回路のパターン数について,
内沢　啓，瀧本　英二,
冬のLAシンポジウム予稿集:
pp. 23-1−23-4, 2008.


[3] エネルギー計算量に制限のある定数段しきい値論理回路の下界に関する研究,
内沢　啓，瀧本　英二
電子情報通信学会技術研究報告，コンピュテーション Vol.106, No.289:
pp. 71-76, 2006.


[2] An energy complexity measure for threshold circuits that is motivated by biological data,
内沢　啓，Wolggang Maass,
冬のLAシンポジウム予稿集:
pp. 16-1−16-10, 2005.


[1] Energy Complexity of Threshold Circuits,
内沢　啓，Wolggang Maass,
電子情報通信学会技術研究報告, コンピュテーション Vol.04, No.743:
pp. 48-57, 2004.

受賞


学歴

1999年4月 - 2003年3月
東北大学 工学部 情報工学科
|
2003年4月 - 2005年3月
東北大学 情報科学研究科 情報基礎科学専攻 博士課程前期2年の課程 修士（情報科学）取得
指導教員：丸岡　章，瀧本　英二，天野　一幸
|
2004年2月から2004年7月まで，オーストリア，グラーツ工科大学に研究生として留学
受入教員：Wolfgang Maass
|
2005年4月 - 2008年3月
東北大学 情報科学研究科 情報基礎科学専攻 博士課程後期3年の課程 博士（情報科学）取得
指導教員(2005.4 - 2006.3)：丸岡　章，瀧本　英二，天野　一幸
指導教員(2006.4 - 2008.3)：西関　隆夫，瀧本　英二

職歴

2008年4月 - 現在
東北大学 大学院情報科学研究科 助教
東北大学 工学部 兼担

担当授業

2008-2010年度 第3セメスター
プログラミング演習Ａ
最終更新日: 2011年19月115日

なかのひと