研究課題
基盤研究(B)
GUI/webアプリケーションにフォーカスを置き,その作成のための双方向変換に基づくプログラミングフレームワークの作成を目指す.より具体的にはModel-View-Updateパターンに基づくwebアプリケーションの双方向変換を応用した作成技術について研究する.Model-View-Updateパターンは関数プログラミングや双方向変換と相性がよいことが期待される.またプログラミングフレームワークの作成と並行し,双方向変換言語の埋め込み実装技術や,複製を含むような双方向変換の理論的基盤についても研究を行う.