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 

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

学外担当授業科目
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 
詳細表示...

論文
一般論文  有  Leak-free Million-fold DNA Amplification with Locked Nucleic Acid and Targeted Hybridization in One Pot  共著  K. Komiya, M. Komori, C. Noda, S. Kobayashi, T. Yoshimura and M. Yamamura  Organic & Biomolecular Chemistry  to appear  2019 
一般論文  有  Monotonically controlling right linear grammars with unknown behaviors to output a target string  共著  N. Kimoto, K. Komiya, K. Fujimoto, S. Kobayashi  Theoretical Computer Science  to appear  2019 
一般論文  有  DNA Computing Boosted by a Cationic Copolymer  共著  Naohiko Shimada, Ken Saito, Takafumi Miyata, Hiroki Sato, Satoshi Kobayashi, and Atsushi Maruyama  Advanced Functional Materials  28, 1707406-6pages  2018 
一般論文  有  Photochemical Acceleration of DNA Strand Displacement by Using Ultrafast DNA Photo-crosslinking  共著  Shigetaka Nakamura, Hirokazu Hashimoto, Satoshi Kobayashi, Kenzo Fujimoto  ChemBioChem  18/ 20, 1984-1989  2017/10/18  10.1002/cbic.201700430 
一般論文  有  Engineering multistate DNA molecules: a tunable thermal band-pass filter  共著  John Rose, Ken Komiya, Satoshi Kobayashi  Micro & Nano Letters  11, 595-601  2016 
詳細表示...

研究発表
学会口頭発表  反応システムの制御によるブール関数の計算  電子情報通信学会コンピューテーション研究会  無  矢光隆太郎、小宮健、藤本健造、小林聡  2018/10/26 
学会口頭発表  未知の振る舞いを持つ正則文法とその制御  電子情報通信学会コンピューテーション研究会  無  木元達哉、小宮健、藤本健造、小林 聡  2018/10/26 
学会口頭発表  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 
詳細表示...

受賞
"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 
詳細表示...

所属学協会
情報処理学会  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 
詳細表示...