日期：2013年7月26日（周五）
地点：东京工业大学 田町校区（田町CIC）5层 501・502室
http://www.cictokyo.jp/access.html
召集人：小林聪（电气通信大学）／小长谷明彦（东京工业大学）
免费参加，无资格限制（任何人均可参加）。

1:00–1:30　小林聪（电气通信大学）
讲题：「DNA逻辑电路的现状与课题」
讲演概要：迄今为止，已提出了多种利用核酸序列进行信息处理的构想。本讲演将综述有关DNA逻辑电路的既有研究及其所采用技术的现状，并明确在分子机器人中集成并使用这些电路时所面临的阻碍性问题。

1:30–2:10　横森贵（早稻田大学）
讲题：「化学反应系统的计算模型：关于反应自动机」
讲演概要：作为以化学反应系统建模为目的的形式体系，反应系统（Reaction System）已为人所知。该体系为研究生物细胞内化学反应系统所产生的各种现象及其功能性质提供了有趣的形式化框架。我们以反应系统为基础，提出了用于探究化学反应系统计算能力的计算模型——“反应自动机”（Reaction Automaton）。本报告将通过为反应自动机的计算空间引入复杂性概念，考察由此得到的若干空间复杂度类别；并通过分析其计算能力，阐明其与从有限自动机到图灵机等已知计算模型能力之间的关系。此外也将提及若干相关的有趣话题。

2:10–2:50　山内由纪子（九州大学）
讲题：「自治分散机器人群的图案形成」
讲演概要：由自治粒子群构成的系统的自组织现象，在自然界中广泛存在，例如生物群体的群体行为；同时在工程领域（如机器人群控制理论）也是重要课题。本讲演将介绍自治移动机器人群的分散控制理论。各个机器人具有匿名、无记忆、异步等特性，且不存在共同坐标系；机器人在自身坐标系中观测其他机器人的位置并计算移动目的地。为了阐明这种能力极弱的机器人群的自组织能力，研究者开展了机器人群可形成的图案以及图案形成算法的研究。本讲演将介绍异步性、无记忆性以及视野条件会对图案形成能力带来何种差异。

2:50–3:10　休息

3:10–3:50　井村顺一（东京工业大学）
讲题：「大规模复杂网络系统的控制」
讲演概要：本讲演将从可控性、鲁棒性、可辨识性等视角，介绍若干关于大规模复杂网络系统建模与控制的最新研究主题，并探讨分子机器人学的控制工程方法。

3:50–4:30　望月祐志（立教大学）
讲题：「片段分子轨道（FMO）计算的现状与未来」
讲演概要：片段分子轨道（FMO）法可充分利用并行处理，在实用时间内对蛋白质及水合聚集体系进行全量子论计算。由于FMO计算能够直接获得片段间相互作用能量，尤其在药物研发领域被广泛用于在药效团（pharmacophore）层面描绘配体与周边氨基酸残基之间的结合稳定化图像。同时，它也非常适合对DNA中的碱基配对与堆叠状态的稳定化进行定量评估。
本次报告将介绍我们自主开发的FMO计算程序 ABINIT-MP(X) 的功能，并展示若干前沿且具实证性的应用案例。此外还将谈及未来发展方向，例如对包括“京”等HPCI计算资源的有效利用，以及对纳米生物交叉领域边界问题的探索等。

4:30–5:00　小长谷明彦（东京工业大学）
讲题：「对分子机器人学理论・系统研究的期待」
讲演概要：分子机器人学是以生物化学与机器人学为背景的交叉领域研究，其理论与系统研究仍处于萌芽阶段。本讲演将从推动新学术领域「分子机器人学」的立场出发，阐述对分子机器人学理论・系统研究的期待，并提出作为讨论基础的“Grand Challenge（重大挑战）”草案。