Yesodによる日本語推論システムlightblueの開発環境の構築

本論文では，プログラミング言語HaskellのWebアプリケーションフレームワークYesodにて実装された，日本語自動推論システムlightblueの開発環境expressを提案する．本環境は，lightblueの推論フロー（統語・意味解析，型検査，および証明探索）に対話的な操作性を導入したものである．また，事前計算およびキャッシュ機構を取り入れることで，特定条件下での推論の検証を可能にし，対話的な試行錯誤に基づく開発作業の効率化に貢献する．