スマートシティアプリケーションの効率的実装を支援するデータ連携基盤の拡張（中橋）
2024年3月6日
背景 Society5.0を実現する社会の都市実装であるスマートシティ構想において，データ連携基盤ソフトウェアで構築される都市OSが重要な要素として位置づけられています． 都市OSは都市内の状況をデータとして集約し，デー […]
ソフトウェアアップサイクル実現のための既存資源活用手法に関する研究（寺川）
2024年3月5日
ソフトウェアの再利用 近年，日常生活や学術研究など様々な場面でソフトウェアの活用が進んでいます． ソフトウェアが使用され続けるためには，脆弱性に対する修正といったセキュリティの向上や，新規機能の追加といった変更を取り入れ […]
ゲーミフィケーションを活用したゼロカーボン運動推進のためのWebアプリケーション開発（長谷）
2024年3月5日
ゼロカーボンシティ 近年，ゼロカーボンシティ実現を表明する地方自治体が増加しています．ゼロカーボンシティとは，地方自治体単位でゼロカーボンの実現を目指すことです．ゼロカーボンとは企業や家庭からのCO2排出量 <= […]
ナーススケジューリング問題に対するペナルティ法の実験的評価（野中）
2023年4月19日
ナーススケジューリング問題とは 病院の病棟ナースの勤務表を作成する最適化問題のことをナーススケジューリング問題といいます。人の命に関わる現場で、看護の質を守りながら、ナースの健康状態をも考慮する勤務表作成は、責任が重く、 […]
頂点彩色問題に対するRLF法の改良（工藤）
2023年4月19日
頂点彩色問題とは 無向グラフG=(V, E)に対し，任意の隣接する二頂点が異なる色を持つように各頂点に色を割り当てることをGの彩色といい，色数kによるGの彩色をGのk-彩色といいます．また，Gに対して色数kで彩色すること […]