Kazutaka Matsuda 研究室

本研究室は、データ変換プログラムの設計と実装に関する基礎的な問題に取り組んでいます。特に、双方向性を持つプログラムの開発を中心に研究を進めています。双方向プログラムとは、あるデータ形式から別の形式への変換と、その逆方向の変換を同時に実現するもので、シリアライゼーション・デシリアライゼーション、パーサー・プリンター、ファイルの圧縮・展開など、日常的なソフトウェア開発で頻繁に現れる処理です。 研究室では、このような双方向処理を効率的にプログラミングする言語と手法の開発を行っています。具体的には、単方向の変換プログラムから双方向プログラムを自動合成する技術、部分的に反転可能な関数を扱う言語設計、複数の異なるビューを持つデータの更新整合性を保つレンズ理論の拡張など、複数のアプローチで問題解決を目指しています。これらの研究を通じて、プログラマが複雑な双方向処理をより簡潔に記述できる環境を実現することを目標としています。