Sei Takahashi 研究室

本研究室では、都市交通システムの最適化と信頼性の確保に関する研究に取り組んでいます。特に交通信号制御の課題に注目し、信号の周期・時間配分・位相差などの制御パラメータを、遺伝的アルゴリズムを用いて最適化する方法を開発しています。交通シミュレーションで平均走行時間を評価しながら世代交代を繰り返すことで、計算時間を短縮し、実務的に有用な解を得ることを目指しています。 また、鉄道遅延の予測にも取り組んでいます。朝の時間帯における電車遅延は、突発的な大きな遅れだけでなく、小さな遅れが蓄積して拡大していくという特性があります。研究室では機械学習を用いて、駅における列車の停車時間データから、出発時の遅延時間を予測するモデルを構築しており、遅れの累積的な性質を考慮することで予測精度の向上を図っています。 さらに、安全性の論証構造を扱う研究も進めています。信頼性確保や安全実証に用いられるゴール構造化記法を対象に、複雑な主張をいかに論理的かつ構造的に解釈するかの標準的なパターンを提案し、実際の事例への適用可能性を検証しています。