研究室の学び
コンピュータに与える命令の集まりであるプログラムについて、理論的に厳密に考える方法を学ぶことができます。具体的には、プログラム自体をデータと扱ってプログラムを操作することによりプログラムをより効率よく動かす方法や、プログラムを表現する独自の方法（言語）を設計する方法も学ぶことができます。
社会との接点
プログラムやデータは頻繁に変更される一方で、それらが使われるシステムは互いに連携していることが多いため、変更を正しく伝播させることは大変重要です。例えばクラウドとパソコンで同時に保管している住所録データなど、別々に保管しているデータをどこから更新しても正しく反映させなければなりません。
本研究室の研究テーマのひとつである双方向変換は、このような関連づけられた情報の間の整合性を保つしくみで
あり、変更の伝播の取り扱いに大いに期待されています。例えば、ソフトウェアの開発工程で下流から上流への変更の伝播を可能にすることにより、工程を再利用して別のシステムを開発したときに、上流にあった問題がふたたび露見してしまうことを防ぐこともできます。
本研究室では、双方向変換を記述するプログラム言語を中心に、プログラムが常に正しく効率的に動けることを言
語の設計段階で保証したいと考えています。社会で重要な役割を果たしている情報システムの基盤となるソフトウェアの構築にもそのような考え方を採り入れることにより、堅牢で振る舞いの明快な基盤ソフトウェアシステムを構築することを目指しています。
主な研究テーマ
- 双方向変換（データ同期機構）のWebシステム等への応用
- 双方向変換の原理、言語設計と実装、ソフトウェア工学への適用
- 双方向変換のプログラミング支援、効率化
- 特定応用（Webアプリケーション、プログラミング学習など）向け言語・ライブラリの設計と実装
- その他、堅牢なソフトウェアシステムの構築につながる研究
© Hosei University