論文
公開件数:87件
No. 種別 査読の有無 標題 単著・共著区分 著者 誌名 巻号頁 出版日 ISSN DOI URL
1 一般論文

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



2 一般論文

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



3 一般論文

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



4 一般論文

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

5 一般論文

Engineering multistate DNA molecules: a tunable thermal band-pass filter
共著
John Rose, Ken Komiya, Satoshi Kobayashi
Micro & Nano Letters
11, 595-601
2016



6 一般論文

Molecular computers for molecular robots as hybrid systems
共著
Masami Hagiya, Nathanael Aubert-Kato, Shaoyu Wang, Satoshi Kobayashi
Theoretical Computer Science
632, 4-20
2016



7 一般論文

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



8 一般論文

Enumeration Approach to Computing Chemical Equilibria

Satoshi Kobayashi
Theoretical Computer Science
499, 51-87
2013



9 一般論文

Molecular Robotics: A New Paradigm for Artifacts

S. Murata, A. Konagaya, S. Kobayashi, H. Saito, M. Hagiya
New Generation Computing
31, 27-45
2013



10 一般論文

On the properties of language classes defined by bounded reaction automata

Fumiya Okubo, Satoshi Kobayashi, Takashi Yokomori
Theoretical Computer Science
454, 206–221-
2012



11 一般論文

Reaction Automata

Fumiya Okubo, Satoshi Kobayashi, Takashi Yokomori
Theoretical Computer Science
429, 247-257
2012



12 一般論文

State and Threshold Sequence Minimization Algorithm of Linear Separation Automata

Yuji Numai, Yoshiaki Udagawa, Satoshi Kobayashi
IPSJ Transactions on Mathematical Modeling and Its Applications
3/ 3, 67-79
2010



13 一般論文

Necessary and Sufficient Conditions for Learning with Correction Queries

Cristina Tirnauca and Satoshi Kobayashi
Theoretical Computer Science
410, 5145-5157
2010



14 一般論文

Theory of Minimizing Linear Separation Automata

Yuji Numai, Yoshiaki Udagawa, Satoshi Kobayashi
IPSJ Transactions on Mathematical Modeling and Its Applications
Vol.3/ No.2, 83-91
2010/03



15 一般論文

Symmetric Enumeration Method: A New Approach to Computing Equilibria

Satoshi Kobayashi
Technical Report of Dept. of Computer Science,
University of Electro-Communications
CS08/ 01
2008/03



16 一般論文

Stochastic Regular Approximation of Tree Grammars and
Its Application to Faster ncRNA Family Annotation

Kazuya Ogasawara, Satoshi Kobayashi
IPSJ Transaction on Bioinformatics
48/ SIG17, 19-29
2007



17 一般論文

Probabilistic Inference in Test Tube and Its Application to Gene Expression Profiles
共著
Y. Sakakibara, T. Yokomori, S. Kobayashi, and A. Suyama
Formal Models, Languages And Applications (edited by Subramanian et al.)
304-319
2006



18 一般論文

A New Approach to Computing Equilibrium State of Combinatorial Chemical Reaction Systems

Satoshi Kobayashi
Technical Report of Dept. of Computer Science, Univ. of Electro Communications
CS06/ 01
2006/11



19 一般論文

A Grammatical Approach to the Alignment of Structure-Annotated Strings

Shinnosuke Seki, Satoshi Kobayashi
IEICE Trans. on Information Systems
E88-D/ 12, 2727-2737
2005/12



20 一般論文

DNA Sequence Design Using Templates

Masanori Arita, Satoshi Kobayashi
New Generation Computing
20, 263-277
2002



21 一般論文

Multiple splicing systems and the universal computability

Satoshi Kobayashi and Yasubumi Sakakibara
Theoretical Computer Science
264, 3-23
2001



22 一般論文

Concentration Prediction of Ligation Reaction Systems

Satoshi Kobayashi
Romanian Journal of Information Science and Technology
4, 101-109
2001



23 一般論文

Sticker Systems with Complex Structures

Yasubumi Sakakibara and Satoshi Kobayashi
Soft Computing
5, 114-120
2001



24 一般論文

Formal Properties of PA-Matching

S. Kobayashi, V. Mitrana, Gh. Paun and G. Rozenberg
Theoretical Computer Science
262, 117-131
2001



25 一般論文

On the Universality of Post and Splicing Systems

C. Ferretti, G. Mauri, Satoshi Kobayashi, and Takashi Yokomori
Theoretical Computer Science
231, 157-170
2000



26 一般論文

Horn Clause Computation with DNA Molecules

Satoshi Kobayashi
Journal of Combinatorial Optimization
3, 277-299
1999



27 一般論文

Tree Adjoining Grammars for RNA Structure Prediction

Yasuo Uemura, Aki Hasegawa, Satoshi Kobayashi and Takashi Yokomori
Theoretical Computer Science
210, 277-303
1999



28 一般論文

Learning Local Languages and Their Application to DNA Sequence Analysis

Takashi Yokomori and Satoshi Kobayashi
IEEE Trans. on Pattern Analysis and Machine Intelligence
20/ 10, 1067-1079
1998



29 一般論文

Learning Approximately Regular Languages with Reversible Languages

Satoshi Kobayashi, Takashi Yokomori
Theoretical Computer Science
174, 251-257
1997



30 一般論文

Families of Noncounting Languages and their Learnability from Positive Data

Satoshi Kobayashi, Takashi Yokomori
International Journal of Foundation of Computer Science
7/ 4, 309-327
1996



31 一般論文

Identifying Strategies Using Decision Lists from Trace Information

Satoshi Kobayashi
IEICE Trans. on Inf. and Syst.
E78-D/ 5, 545-552
1995



32 一般論文

木パターン上の決定リストの学習とその推論制御への応用

小林聡,大須賀節雄,堀浩一
人工知能学会誌
8/ 6, 810-818
1993



33 一般論文

Algorithms for Finding the Largest Subtree whose Copies Cover All the Leaves

Tatsuya Akutsu, Satoshi Kobayashi, Koichi Hori, Setsuo Ohsuga
IEICE Trans. on Inf. and Syst.
E76-D/ 6, 707-710
1993



34 一般論文

情報保存的な問題領域におけるトレースからの問題分割戦略の獲得

小林聡,大須賀節雄,堀浩一
人工知能学会誌
7/ 6, 1009-1017
1992



35 一般論文

トレースを利用した戦略の獲得と知識の分類手法

小林聡,大須賀節雄,堀浩一,山内平行
電子情報通信学会論文誌
J74-D-II, 1043-1051
1991



36 招待論文

Enumeration Approach to the Analysis of Interacting
Nucleic Acid Strands

Satoshi Kobayashi and Takaya Kawakami
in Biomolecular Information Processing --- From Logic Systems to Smart Sensors and Actulators
225-244
2012



37 招待論文

Applying Symmetric Enumeration Method to One-Dimensional Assembly of Rotatable Tiles

Satoshi Kobayashi
Algorithmic Bioprocesses, Natural Computing Series
159-183
2009



38 国際会議プロシーディングス等

Analog DNA Computing Devices Toward the Control of Molecular Robots
共著
Satoshi Kobayashi, Kazuya Yanagibashi, Ken Komiya, Kenzo Fujimoto and Masami Hagiya
Proc. of Workshop on Self-organization in Swarm of Robotics
CD-ROM
2014/10/06



39 国際会議プロシーディングス等

DNA Domino Toppling: Speeding Up DNA Logic Circuits by Localizing Reaction -- Simulation Study --
共著
Satoshi Kobayashi, Ryohei Nagaswa
Proceedings of 19th International Conference on DNA Computing and Molecular Programming
44-
2013/09/24



40 国際会議プロシーディングス等

Enumeration Approach to the Computational Analysis of
High-Dimensional Monomolecular Chemical Master Equation

Satoshi Kobayashi
Proc. of 17th International Conference on DNA Computing and Molecular Programming, Abstracts of Talks and Posters
52-
2011/09



41 国際会議プロシーディングス等

Enumeration Approach to the Analysis of Interacting
Nucleic Acid Strands

Takaya Kawakami, Satoshi Kobayashi
Proc. of 17th International Conference on DNA Computing and Molecular Programming, Abstracts of Talks and Posters
47-
2011/09



42 国際会議プロシーディングス等

DNA Logic Circuits with a DNA Polymerase and a Nicking Enzyme

Ryo Hirose, Satoshi Kobayashi, Ken Komiya
Proc. of The 2011 International Conference on Parallel and Distributed Processing Techniques and Applications
713-719
2011/07



43 国際会議プロシーディングス等

Efficient and Approximate Simulation Algorithm of
Kinetic Folding of an RNA Molecule

Takumi Tanigawa, Satoshi Kobayashi
Proc. of The 2011 International Conference on Parallel and Distributed Processing Techniques and Applications
706-712
2011/07



44 国際会議プロシーディングス等

Efficient State Minimization Algorithm of Linear Separation Automata

Yuji Numai, Satoshi Kobayashi
Proc. of PDPTA 2010
633-639
2010/07



45 国際会議プロシーディングス等

Exact and Efficient Equilibrium State Analysis of Interacting RNA Molecules

Satoshi Kobayashi
Proc. of 6th Asia Paciffic Bioinformatics Conference
P93-
2008



46 国際会議プロシーディングス等

A Software Tool for Analyzing Combinatorial Hybridization Reaction Systems

Satoshi Kobayashi
Proc. of 14th International Meeting on DNA Based Computing
to appear-
2008/06



47 国際会議プロシーディングス等

A New Approach to Computing Equilibrium State of Combinatorial Hybridization Reaction Systems

Satoshi Kobayashi
Proc. of Workshop on Computing and
Communications from Biological Systems: Theory and Applications
CD-ROM, paper2376-
2007



48 国際会議プロシーディングス等

Stochastically Approximating Tree Grammars by Regular Grammars and Its Application to Faster ncRNA Family Annotation

Kazuya Ogasawara, Satoshi Kobayashi
1st International Conference on Language and Automata Theory and Applications
461-472
2007



49 国際会議プロシーディングス等

A Characterization of Language Classes Learnable with Correction Queries

Cristina Tirnauca, Satoshi Kobayashi
Proc. of TAMC'2007
398-407
2007



50 国際会議プロシーディングス等

Stochastically Approximating Tree Grammars by Regular Grammars and Its Application to Faster ncRNA Family Annotation

Kazuya Ogasawara, Satoshi Kobayashi
Proc. of LATA' 2007
461-472
2007



51 国際会議プロシーディングス等

Efficient Algorithms for Testing Structure Freeness of Finite Set of Biomolecular Sequences

Atsushi Kijima and Satoshi Kobayashi
Preliminary Proceedings of 11th International Meeting on DNA Computing
278-288
2005



52 国際会議プロシーディングス等

Efficient Learning of k-reversible Context Free Grammars from Positive Structural Examples

Shinnosuke Seki, Satoshi Kobayashi
Lecture Notes in Artificial Intelligence, Springer-Verlag
3264, 285-287
2004



53 国際会議プロシーディングス等

Evaluating Biomolecular Sequences Using Hydrogen Bond Network Graph

Kazuya Nagatsu, Atsushi Kijima, Satoshi Kobayashi
Preliminary Proceedings of 10th International Meeging on DNA Based Computers
441-
2004



54 国際会議プロシーディングス等

Testing Structure Freeness of Regular Sets of Biomolecular Sequences

Satoshi Kobayashi
Preliminary Proceedings of 10th International Meeting on DNA Based Computers
395-404
2004



55 国際会議プロシーディングス等

An Algorithm for Testing Structure Freeness of Biomolecular Sequences

Satoshi Kobayashi, Takashi Yokomori, Yasubumi Sakakibara

266-277
2003



56 国際会議プロシーディングス等

Extracting Globally Structure Free Sequences by Local Structure Freeness

Satoshi Kobayashi, Tomohiro Kondo, Kohei Okuda, Etsuji Tomita
Preliminary Proc. of 9th International Meeting on DNA Based Computer
206-
2003



57 国際会議プロシーディングス等

A Magic Pot : Self-assembly computation revisited

Takashi Yokomori, Yasubumi Sakakibara, Satoshi Kobayashi

418-429
2002



58 国際会議プロシーディングス等

On Template Method for DNA Sequence Design

Satoshi Kobayashi, Tomohiro Kondo, Kohei Okuda, Masanori Arita
8th International Meeting on DNA Computers
LNCS 2568, 205-214
2002



59 国際会議プロシーディングス等

Horn Clause Computation by Self Assembly of DNA Molecules

H. Uejima, M. Hagiya, and S. Kobayashi
Proc. of 7th International Meeting on DNA Based Computers
63-74
2001



60 国際会議プロシーディングス等

Approximate Identification and Finite Elasticity

S. Kobayashi, Y. Sakakibara, T. Yokomori

277-286
2001



61 国際会議プロシーディングス等

Iterated Transductions and Efficient Learning from Positive Data:A Unifying View

S. Kobayashi
in Proc. of ICGI 2000, LNAI 1891
157-170
2000



62 国際会議プロシーディングス等

Concentration Prediction of Pattern Reaction Systems

S. Kobayashi
Pre-Proc. of Workshop on Multiset Processing, CDMTS Research Report Series(Univ. of Auckland)
140, 112-123
2000/08



63 国際会議プロシーディングス等

Locality, Reversibility, and Beyond: Learning Languages from Positive Data

Tom Head, Satoshi Kobayashi and Takashi Yokomori
Proc. of 9th International Workshop on Algorithmic Learning Theory, Lecture Notes in Artificial Intelligence 1501, Springer-Verlag
191-204
1998



64 国際会議プロシーディングス等

Identifiability of Subspaces and Homomorphic Images of Reversible Languages

Satoshi Kobayashi, Takashi Yokomori
Proc. of 8th Workshop on Algorithmic Learning Theory
48-61
1997



65 国際会議プロシーディングス等

On the Power of Circular Splicing Systems and DNA Computability

Takashi Yokomori, Satoshi Kobayashi, Claudio Ferretti
Proc. of IEEE Conference on Evolutionary Computation
219-224
1997



66 国際会議プロシーディングス等

DNA Implementation of Simple Horn Clause Computation

Satoshi Kobayashi, Takashi Yokomori, Gen-ichi Sampei, Kiyoshi Mizobushi
Proc. of IEEE Conference on Evolutionary Computation
213-217
1997



67 国際会議プロシーディングス等

DNA Splicing Systems and Post Systems

Claudio Ferretti, Satoshi Kobayashi
Proc. of Pacific Symp. on Biocomputing
288-299
1996



68 国際会議プロシーディングス等

Grammatically Modeling and Predicting RNA Secondary Structures

Yasuo Uemura, Aki Hasegawa, Satoshi Kobayashi, Takashi Yokomori
Proc. of 6th Genome Informatics Workshop
67-76
1995



69 国際会議プロシーディングス等

On Approximately Identifying Concept Classes in the Limit

Satoshi Kobayashi, Takashi Yokomori
Proc. of 6th Workshop on Algorithmic Learning Theory
298-312
1995



70 国際会議プロシーディングス等

Approximately Learning Regular Languages with respect to Reversible Languages, A Rough Set Based Analysis

Satoshi Kobayashi, Takashi Yokomori
Proc. of 2nd Annual Joint Conference on Information Sciences
91-94
1995



71 国際会議プロシーディングス等

DNA Evolutionary Linguistics and RNA Structure Modeling

Takashi Yokomori, Satoshi Kobayashi
Proc. of IEEE Symp. on Intelligence in Neural and Biological Systems
38-45
1995



72 国際会議プロシーディングス等

Modeling RNA Secondary Structures Using Tree Grammars

Satoshi Kobayashi, Takashi Yokomori

29-38
1994



73 国際会議プロシーディングス等

Inductive Learning of Regular Sets from Examples: A Rough Set Approach

Takashi Yokomori, Satoshi Kobayashi
Proc. of 3rd International Workshop on Rough Sets and Soft Computing
570-577
1994



74 国際会議プロシーディングス等

An Extended Rough Set Theory Toward Approximate Learning of Formal Languages

Satoshi Kobayashi, Takashi Yokomori
Proc. of 3rd International Workshop on Rough Sets and Soft Computing
482-489
1994



75 国際会議プロシーディングス等

Learning Concatenations of Locally Testable Languages from Positive Data

Satoshi Kobayashi, Takashi Yokomori
Proc. of 5th Workshop on Alogrithmic Learning Theory
407-422
1994



76 国際会議プロシーディングス等

Learning Local Languages and Its Application to Protein alpha-chain Identification

Takashi Yokomori, Nobuyuki Ishida, Satoshi Kobayashi

113-122
1994



77 国際会議プロシーディングス等

A Similarity Measure for DNA Sequence Analysis Based on Locality

Takashi Yokomori, Satoshi Kobayashi
Proc. of Genome Informatics Workshop
283-292
1993



78 国際会議プロシーディングス等

Learning Strategies Using Decision Lists

Satoshi Kobayashi
Proc. of 4th Workshop on Algorithmic Learning Theory
370-383
1993



79 国際会議プロシーディングス等

Learning Decision Lists over Tree Patterns and Its Application

Satoshi Kobayashi, Setsuo Ohsuga, Koichi Hori
Proc. of International Joint Conference on Artificial Intelligence
995-1000
1993



80 解説

分子コンピュータ設計のための計算モデル
単著
小林 聡
計測と制御
58/ 4, 241-246
2019



81 解説

DNA コンピューティングのための配列設計

小林聡
情報処理
45/ 2, 164-169
2003



82 解説

分子計算の理論モデル

小林 聡,榊原康文,横森 貴
数理科学,サイエンス社
445(7月号), 8-14
2000



83 解説

形式言語の帰納的学習

榊原康文, 小林聡
人工知能学会論文誌
14, 21-29
1999



84 解説

分子コンピュータ --- その理論と実験

小林 聡, 榊原 康文, 陶山 明, 横森 貴
Computer Today
89, 4-13
1999



85 解説

計算論的言語理論と DNA 計算

横森貴,小林聡
情報処理
37/ 10, 929-934
1996



86 解説

ラフ集合理論とその応用

中村昭,津本周作,田中博,小林聡
人工知能学会誌
11/ 2, 35-41
1996



87 解説

ラフ集合と意思決定

横森貴,小林聡
数理科学
375, 76-83
1994