English
電気通信大学 
大学院情報理工学研究科、情報理工学域 
情報・ネットワーク工学専攻、Ⅰ類 (情報系) 

教授 
小林 聡 
コバヤシ サトシ 
SATOSHI KOBAYASHI 

1965年生まれ  

経歴
電気通信大学情報工学科  助手  1993/04-1998/03 
東京電機大学情報科学科  講師  1998/04-1999/09 
東京電機大学情報科学科  助教授  1999/10-2000/09 
電気通信大学情報工学科  助教授  2000/10-現在 
電気通信大学情報工学科  教授  2007/10/01-現在 

学歴
東京大学  工学部  航空学科  1988/03  卒業 
東京大学  工学系研究科  航空学専攻  修士  1990/03  修了 
東京大学  工学系研究科  航空学専攻  博士  1993/03  修了 

学位
博士(工学)  東京大学  1993/03 

学内担当授業科目
2017  情報通信工学専攻基礎  前期  大学院(IE)  博士前期課程 
2017  情報・ネットワーク工学専攻基礎  前期  大学院(IE)  博士前期課程 
2017  アルゴリズム論第二  後期  学部(昼間)  専門科目 
2017  コンピュータサイエンス実験第二  後期  学部(昼間)  専門科目 
2017  応用アルゴリズム論  後期  大学院(IE)  博士前期課程  専門科目 
詳細表示...

学外担当授業科目
2001  アルゴリズム論 I  東京電機大学理工学部 
2001  アルゴリズム論 II  東京電機大学理工学部 
2002  応用数学特論 II  早稲田大学教育学部 
2004  情報数学  早稲田大学理工学部 
2005  情報数学  早稲田大学理工学部 
詳細表示...

海外教育研究活動
International PhD School in Formal Languages and Applications (Rovira i Virgili University) の協力教員として  2006/04-2007/03  スペイン 
International PhD School in Formal Languages and Applications (Rovira i Virgili University) の協力教員として  2005/04-2006/03  Spain 
International PhD School in Formal Languages and Applications (Rovira i Virgili University) の協力教員として  2004/09-2005/03  Spain 
詳細表示...

現在の専門分野
情報学基礎理論 
生命・健康・医療情報学 

現在の研究課題
形式言語の学習理論  文法推論 帰納推論 形式言語 
学習理論の生物学的配列解析への応用  学習理論 遺伝子配列解析 
分子計算の理論  DNA 計算 分子計算 

著書
著書  自然計算へのいざない  近代科学社  2015/11/30 
著書  DNA Computing and Molecular Programming, 20th International Conference  Springer Verlag  2014/09/22 
著書  応用:情報数学  横森貴、小林聡  サイエンス社  1-59  2011/06 
著書  基礎:情報数学  横森貴、小林聡  サイエンス社  107-147  2008/03 
著書  Recent Advances in Formal Languages and Applications  J. Brzozowski, J. Gruska, T. Head, D. Pixton, L. Ilie, J. Kari, S. Kobayashi, H.-J. Kreowski, R. Klempien-Hinrichs, S. Kuske, M. Ogihara, F. Otto, H. Petersen, S. Wintner, H.-C. Yen  Springer-Verlag  209-228  2006 
詳細表示...

論文
一般論文  有  Engineering multistate DNA molecules: a tunable thermal band-pass filter  共著  John Rose, Ken Komiya, Satoshi Kobayashi  Micro & Nano Letters  11, 595-601  2016 
一般論文  有  Molecular computers for molecular robots as hybrid systems  共著  Masami Hagiya, Nathanael Aubert-Kato, Shaoyu Wang, Satoshi Kobayashi  Theoretical Computer Science  632, 4-20  2016 
一般論文  有  Molecular Robots with Sensors and Intelligence  共著  Masami Hagiya, Akihiko Konagaya, Satoshi Kobayashi, Hirohide Saito, Satoshi Murata  Accounts of Chemical Research  47/ 6, 1681-1690  2014/06/06 
一般論文  有  Enumeration Approach to Computing Chemical Equilibria  Satoshi Kobayashi  Theoretical Computer Science  499, 51-87  2013 
一般論文  有  Molecular Robotics: A New Paradigm for Artifacts  S. Murata, A. Konagaya, S. Kobayashi, H. Saito, M. Hagiya  New Generation Computing  31, 27-45  2013 
詳細表示...

研究発表
学会口頭発表  Toward Efficient Computation of Chemical Equilibria of Interacting Nucleic Acid Strands Including Pseudoknots  Chem-Bio Informatics Society(CBI) Annual Meeting 2015  P5-26  有  Mizuki Yokoshima, Satoshi Kobayashi  2015/10/28 
学会口頭発表  Toward Design and Analysis of Analog Computing Chemical Reaction Circuits  Chem-Bio Informatics Society(CBI) Annual Meeting 2015  P5-27  有  Daiki Matsuwaki, Satoshi Kobayashi  2015/10/28 
学会口頭発表  Reaction Graphs Controlled by External Signals  CBI 学会全国大会  有  Youji Hasegawa, Satoshi Kobayashi  2014/10/28 
学会口頭発表  On Time Responsive DNA Analog Computing Devices  有  Satoshi Kobayashi, Kazuya Yanagibashi  2014/10/28 
学会口頭発表  鎖置換反応ダイナミクスを利用したアナログコンピュータの構築に向けて  分子ロボティクス研究会  無  小林聡  2014/05/09 
詳細表示...

受賞
"40th Anniversary of Theoretical Computer Science – Top Cited Articles: 1975-2014"  2015/07 
情報処理学会数理モデル化と問題解決研究会「功績賞」  2014/09/25 
船井情報科学振興賞  2003/03/21 
NGC (New Generation Computing) Distinguished Paper Award  2002/05/30 
詳細表示...

所属学協会
計測自動制御学会  2010/02-現在 
電子情報通信学会  1995-現在 
情報処理学会  1991-現在 
人工知能学会  1988-現在 
詳細表示...

会議・研究会等
International Conference on DNA Computing and Molecular Programming  Steering Committee Member  2016 
International Conference on DNA Computing and Molecular Programming  Steering Committee Member  2015 
20th International Conference on DNA Computing and Molecular Programming  Program Committee Chair  2014 
International Conference on DNA Computing and Molecular Programming  Steering Committee Member  2014 
19th International Conference on DNA Computing and Molecular Programming  Program Committee Member  2013 
詳細表示...