English

電気通信大学  大学院情報理工学研究科、情報理工学域  情報･ネットワーク工学専攻、Ⅰ類 （情報系）

准教授  関　新之助  セキ　シンノスケ  Shinnosuke SEKI  個人ウェブサイトはこちら

■ 経歴 University of Western Ontario  Department of Computer Science  Postdoctoral Researcher  2010/09/01-2011/04/30  京都大学  薬学研究科  博士研究員  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-現在    ■ 学歴 電気通信大学  情報工学専攻  博士前期  2006/03/31  卒業  ウェスタンオンタリオ大学  Department of Computer Science  博士  2010/08/31  卒業    ■ 学位 博士（理学）  University of Western Ontario  2010/10/29    ■ 学内担当授業科目 2021  大学院技術英語  前期  大学院(IE)  博士前期課程  2021  情報領域演習第2  前期  学部(昼間)  詳細表示...   ■ 学外担当授業科目 2014  組合せ論  アールト大学  詳細表示...   ■ 現在の専門分野 情報学基礎理論  ナノマイクロシステム  計算科学    ■ 研究キーワード 自己組織化理論    ■ 現在の研究課題 DNAパターン自己組織化システムの最適化  2012/09/01-現在    ■ 著書 著書  Special issue of International Journal of Foundations of Computer Science (IJFCS) devoted to Developments in Language Theory 2018  Shinnosuke Seki  World Scientific  2020/09  著書  Proceedings of the 18th International Conference on Unconventional Computation and Natural Computation (UCNC2019, Tokyo, Japan, June 3-7, 2019)  Springer  2019  著書  Proceedings of the 22nd International Conference on Developments in Language Theory (DLT2018, Tokyo, Japan, September 10-14, 2018)  Springer  2018/08/06  著書（辞書・辞典）  Encyclopedia of Algorithms  Shinnosuke Seki  Springer  2016  著書  自然計算についてのハンドブック  Lila Kari, Shinnosuke Seki, Petr Sosik  Springer  1073-1127  2012  詳細表示...   ■ 論文 一般論文  有  Square network on a word  共著  Szilard Zsolt Fazekas and Shinnosuke Seki  Theoretical Computer Science  Not assigned yet  2021  一般論文  有  Linear bounds on the size of the conformations in greedy deterministic oritatami  共著  Szilard Zsolt Fazekas, Hwee Kim, Ryuichi Matsuoka, Reoto Morita, and Shinnosuke Seki  International Journal of Foundations of Computer Science  32/ 5, 575-596  2021  一般論文  有  Counting infinitely by oritatami co-transcriptional folding  共著  Kohei Maruyama and Shinnosuke Seki  Natural Computing  20/ 2, 329-340  2021  10.1007/s11047-021-09842-6  一般論文  有  A general architecture of oritatami systems for simulating arbitrary finite automata  共著  Yo-Sub Han, Hwee Kim, Yusei Masuda, and Shinnosuke Seki  Theoretical Computer Science  870/ 16, 29-52  2021  一般論文  有  Renewal of the major fields of New Generation Computing Vol. 38  共著  Masayuki Numao, Yutaka Matsuo, and Shinnosuke Seki  New Generation Computing  38/ 1, 1-3  2020  詳細表示...   ■ 研究発表 学会口頭発表  Simple intrinsic simulation of cellular automata in oritatami molecular folding model  14th Latin American Symposium on Theoretical Informatics (LATIN 2020)  LNCS 12118  有  Daria Pchelina  2021/01/05  学会口頭発表  Les oritatamis tracent des dessins indécidables  Journées SDA2 2020: Systèmes Dynamiques, Automates et Algorithmes  N/A/ N/A  有  Nicolas Schabanel  2020/12/04  学会口頭発表  Counting infinitely by oritatami co-transcriptional folding  SOFSEM2020: 46th International Conference on Current Trends in Theory and Practice of Informatics  LNCS 12011  有  Kohei Maruyama  2020/01/20  学会口頭発表  A general architecture of oritatami systems for simulating arbitrary finite automata  CIAA2019: 24th International Conference on Implementation and Application of Automata  LNCS 11601  有  Shinnosuke Seki  2019/07/22  学会口頭発表  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  有  Kohei Maruyama, Reoto Morita  2019/04/13  詳細表示...   ■ 受賞 LA/EATCS Best Presentation Award  2018/02/07  CIAA 2016 Best Paper Award (Sheng Yu Award)  2016/07/21  詳細表示...   ■ 研究員受入れ 国内  客員研究員  Finland  Aalto University  派遣元  2017-2017  国外  客員研究員  Republic of Korea  Yonsei University  派遣元  2015-現在  詳細表示...   ■ 科学研究費助成事業 文字列の辞書式順序の組合せ論とその応用  基盤研究(B)一般  2020/04/01-2024/03/31  共転写性フォールディングの本質的計算完全性  基盤研究(C)一般  2020/04/01-2023/03/31  万能折り畳みシステムの小型化とその限界  2018/06/29-2020/03/31  共転写性フォールディングによる自己組織化システムの実際的設計と最適化  若手研究(A)  2016/04/01-2018/03/31  共転写性フォールディングの数理モデル化とチューリング完全性  研究活動スタート支援  2015/04/01-2016/03/31  詳細表示...   ■ 外部資金 国際会議UCNC2019への助成  その他助成金  立石科学技術振興財団  2018/09/25-2019/06/07  国際会議DLT2018への助成  その他助成金  情報通信研究機構  Support for the 22nd International Conference on Developments in Language Theory (DLT 2018)  2018/04/01-現在  国際会議DLT2018への助成  奨学寄附金  （株）久保田情報技研  国際会議DLT2018開催支援寄付金  2017-現在  国際会議DLT2018への助成  その他助成金  電気通信普及財団  シンポジウム・セミナー　振興普及援助  2017/09/01-現在  機関選抜のため、研究テーマはなし  その他助成金  科学技術振興機構  2015/08/06-2017/03/31  詳細表示...   ■ 共同・受託研究実績 Self-assembly of computational mechanisms by cotranscriptional folding  2017-現在  共同研究  国際共同研究  詳細表示...   ■ 会議・研究会等 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  22nd International Conference on Descriptional Complexity of Formal Systems (DCFS 2020)  Program Committee member  2020/08/24  詳細表示...   ■ 委員会・審議会等 New Generation Computing  Area Editor  2019/09/01-現在  Springer Natural Computing Book-Series  Advisory Board  2018/04/26-現在  情報処理学会アルゴリズム研究会  専門委員  2018/04/01-現在  Steering Committee of International Conference on Developments in Language Theory (DLT)  関　新之助  2017/08/07-現在  情報処理学会論文誌「数理モデル化と応用」編集委員会  関　新之助  2014/10/01-現在  詳細表示...   ■ マスコミ取材 新聞  日刊工業新聞  「分子機械、実験・理論研究進む‐1本のひもで計算可能に」というタイトルで、私が提唱したRNAの共転写性フォールディングによる計算の数理モデル「折り畳みシステム」が取り上げられた。  2015/08/11  詳細表示...   ■ 学内委員会等 2021年度大学院時間割作成WG  I専攻とりまとめ  2020/11-現在  詳細表示...