日本語

The University of Electro-Communications  Graduate School of Informatics and Engineering, School of Informatics and Engineering  "Department of Computer and Network Engineering, Cluster I （Informatics and Computer Engineering)"

Associate Professor  Shinnosuke SEKI  Personal website

■ Career University of Western Ontario  Department of Computer Science  Postdoctoral Researcher  2010/09/01-2011/04/30  Kyoto University  薬学研究科  博士研究員  2011/05/01-2012/02/15  Aalto University  Department of Information and Computer Science  Postdoctoral Researcher  2012/02/16-2013/08/31  Academy of Finland  Postdoctoral Researcher, Principal Investigator  2013/09/01-2015/03/31  Ecole Normale Superieure de Lyon  Invited Professor  2018/09/01-Present    ■ Academic background The University of Electro-Communications  情報工学専攻  Master's program  2006/03/31  Graduated  The University of Western Ontario  Department of Computer Science  Doctoral program  2010/08/31  Graduated    ■ Academic degrees Ph.D. (Computer Science)  University of Western Ontario  2010/10/29    ■ Classes responsible within the university 2021  大学院技術英語  Spring semester  Graduate, IE  Master's program  2021  情報領域演習第2  Spring semester  Undergraduate, daytime  2021  形式言語理論  Fall semester  Undergraduate, daytime  2021  情報領域演習第一  Fall semester  Undergraduate, daytime  2021  MICS実験第二  Fall semester  Undergraduate, daytime  View details...   ■ Classes responsible in other universities 2014  Combinatorics  Aalto University  View details...   ■ Education and research activities in foreign countries Invited Professor at Ecole Normale Superieure de Lyon (ENS Lyon)  2019/04-Present  France  View details...   ■ Current research areas Theory of informatics  Nano/Microsystems  Computational science    ■ Research keywords Theory of self-assembly    ■ Current research subjects Optimization of DNA pattern self-assembly systems  2012/09/01-Present    ■ Published books Book  Special issue of International Journal of Foundations of Computer Science (IJFCS) devoted to Developments in Language Theory 2018  Shinnosuke Seki  World Scientific  2020/09  Book  Proceedings of the 18th International Conference on Unconventional Computation and Natural Computation (UCNC2019, Tokyo, Japan, June 3-7, 2019)  Springer  2019  Book  Proceedings of the 22nd International Conference on Developments in Language Theory (DLT2018, Tokyo, Japan, September 10-14, 2018)  Springer  2018/08/06  Book, dictionary  Encyclopedia of Algorithms  Shinnosuke Seki  Springer  2016  Book  Handbook of Natural Computing  Lila Kari, Shinnosuke Seki, Petr Sosik  Springer  1073-1127  2012  View details...   ■ Published papers Paper  Yes  Linear bounds on the size of the conformations in greedy deterministic oritatami  Joint  Szilard Zsolt Fazekas, Hwee Kim, Ryuichi Matsuoka, Reoto Morita, and Shinnosuke Seki  International Journal of Foundations of Computer Science  32/ 5, 575-596  2021  Paper  Yes  Counting infinitely by oritatami co-transcriptional folding  Joint  Kohei Maruyama and Shinnosuke Seki  Natural Computing  20/ 2, 329-340  2021  10.1007/s11047-021-09842-6  Paper  Yes  A general architecture of oritatami systems for simulating arbitrary finite automata  Joint  Yo-Sub Han, Hwee Kim, Yusei Masuda, and Shinnosuke Seki  Theoretical Computer Science  870/ 16, 29-52  2021  Paper  Yes  Square network on a word  Joint  Szilard Zsolt Fazekas and Shinnosuke Seki  Theoretical Computer Science  894/ 26, 121-134  2021/11  Paper  Yes  Renewal of the major fields of New Generation Computing Vol. 38  Joint  Masayuki Numao, Yutaka Matsuo, and Shinnosuke Seki  New Generation Computing  38/ 1, 1-3  2020  View details...   ■ Research presentations Oral presentation for an academic conference  Simple intrinsic simulation of cellular automata in oritatami molecular folding model  14th Latin American Symposium on Theoretical Informatics (LATIN 2020)  LNCS 12118  Yes  Daria Pchelina  2021/01/05  Oral presentation for an academic conference  Les oritatamis tracent des dessins indécidables  Journées SDA2 2020: Systèmes Dynamiques, Automates et Algorithmes  N/A/ N/A  Yes  Nicolas Schabanel  2020/12/04  Oral presentation for an academic conference  Counting infinitely by oritatami co-transcriptional folding  SOFSEM2020: 46th International Conference on Current Trends in Theory and Practice of Informatics  LNCS 12011  Yes  Kohei Maruyama  2020/01/20  Oral presentation for an academic conference  A general architecture of oritatami systems for simulating arbitrary finite automata  CIAA2019: 24th International Conference on Implementation and Application of Automata  LNCS 11601  Yes  Shinnosuke Seki  2019/07/22  Oral presentation for an academic conference  On the power of oritatami cotranscriptional folding with unary bead sequence  TAMC2019: 15th Annual Conference on Theory and Applications of Models of Computation  LNCS 11436  Yes  Kohei Maruyama, Reoto Morita  2019/04/13  View details...   ■ Awards LA/EATCS Best Presentation Award  2018/02/07  CIAA 2016 Best Paper Award (Sheng Yu Award)  2016/07/21  View details...   ■ Researcher accepted Domestic  Visiting researcher  Finland  Aalto University  Dispatching organization  2017-2017  Overseas  Visiting researcher  Republic of Korea  Yonsei University  Dispatching organization  2015-Present  View details...   ■ Grants-in-aid for scientific research 文字列の辞書式順序の組合せ論とその応用  "Scientific research (B), general"  2020/04/01-2024/03/31  共転写性フォールディングの本質的計算完全性  "Scientific research (C), general"  2020/04/01-2023/03/31  万能折り畳みシステムの小型化とその限界  2018/06/29-2020/03/31  共転写性フォールディングによる自己組織化システムの実際的設計と最適化  Young scientists (A)  2016/04/01-2018/03/31  共転写性フォールディングの数理モデル化とチューリング完全性  Research activity start-up  2015/04/01-2016/03/31  View details...   ■ External fund 国際会議UCNC2019への助成  Other grants  Tateishi Science and Technology Foundation  2018/09/25-2019/06/07  国際会議DLT2018への助成  Other grants  National Institute of Information and Communications Technology (NICT)  Support for the 22nd International Conference on Developments in Language Theory (DLT 2018)  2018/04/01-Present  国際会議DLT2018への助成  Donations for research  （株）久保田情報技研  国際会議DLT2018開催支援寄付金  2017-Present  国際会議DLT2018への助成  Other grants  The Telecommunications Advancement Foundation  シンポジウム・セミナー　振興普及援助  2017/09/01-Present  機関選抜のため、研究テーマはなし  Other grants  Japan Science and Technology Agency  2015/08/06-2017/03/31  View details...   ■ Past records of joint or funded research Self-assembly of computational mechanisms by cotranscriptional folding  2017-Present  Joint research  International joint research  View details...   ■ Involvement in conference and research meetings 27th International Conference on Implementation and Applications of Automata (CIAA 2022)  Program Committee Member  2022  26th International Conference on Implementation and Applications of Automata (CIAA 2021)  Program Committee member  2021  25th International Conference on Developments in Language Theory (DLT 2021)  Organizing Committee member  2021/08/16  25th International Conference on Developments in Language Theory (DLT 2021)  Program Committee member  2021/08/16  25th International Conference on Implementation and Applications of Automata (CIAA 2020)  Program Committee member  2020/09/08  View details...   ■ Committee or council involvement Steering Committee of the International Conference on Unconventional Computation and Natural Computation (UCNC)  Shinnosuke Seki  2021/10/18-Present  New Generation Computing Editorial Board  Shinnosuke Seki  2019/09/01-Present  Springer Natural Computing Book-Series Advisory Board  Shinnosuke Seki  2018/04/26-Present  情報処理学会アルゴリズム研究会  関　新之助  2018/04/01-Present  Steering Committee of International Conference on Developments in Language Theory (DLT)  Shinnosuke Seki  2017/08/07-Present  View details...   ■ Media coverage Newspaper  日刊工業新聞  「分子機械、実験・理論研究進む‐1本のひもで計算可能に」というタイトルで、私が提唱したRNAの共転写性フォールディングによる計算の数理モデル「折り畳みシステム」が取り上げられた。  2015/08/11  View details...   ■ Committee activity in the University 2021年度大学院時間割作成WG  I専攻とりまとめ  2020/11-Present  View details...