Shinnosuke Seki 研究室

主宰者：Shinnosuke Seki
電気通信大学

AI 要約（直近 5 年の研究成果）

この研究室は、計算機科学における形式言語と計算モデルの理論的性質を探究しています。特に、現実の生物現象をモデル化した計算システムと、その計算能力の制限条件に関する研究に取り組んでいます。 一つの研究テーマは、記号の書き換え回数が制限された形式言語処理システムの性質です。このようなシステムが受け入れることができる言語の種類、システム間の閉包性、および決定可能性といった基本的な性質を明らかにしています。もう一つのテーマは、RNA分子がDNA鋳型から合成されながら自己折り畳みする過程を数学的にモデル化したOritatami系の研究です。このモデルは理論上、任意の計算が可能な万能性を持つことが知られていますが、パラメータに制限を加えると計算能力が弱まります。研究室では、こうした制限条件下での折り畳み構造のサイズに関する上限と下限を新しいグラフ表現を用いて導出し、モデルの性質をより精密に理解しようとしています。 全体として、抽象的な計算理論と生物的なシステムの両面から、有限の資源条件下における計算の可能性と限界を探究する研究を展開しています。

※ AI（Claude）が、公開されている論文要旨から研究の問い・手法・主要な発見を事実情報として抽出・再構成して自動生成しています。誤りを含む可能性があるため、正確性は研究室公式情報でご確認ください。

外部リンク

関連研究室(8 件)

研究成果（9 件）

科研費（0 件）

まだデータがありません（KAKEN 取り込み後に表示）。

所属学会・役職（0 件）

まだデータがありません（学会データ連携後に表示）。