日本語推論システムlightblueの開発環境構築に向けて

本論文では，HaskellのWebアプリケーションフレームワークYesodを用いて，日本語推論システムlightblueによる文の解析結果や推論結果を可視化する文法開発環境expressの改良を行った．特に，型検査証明図や推論証明図を可視化し，解析結果や推論結果の構造を直感的に理解可能とした．また，ユーザが証明図を操作できる機能を実装し，解析プロセスを詳細に検討できるようにした．加えて，証明が失敗した場合には，その情報をユーザに明示することで，エラーの特定とデバッグ作業を効率化した．本論文では，expressのシステム概要と実装についての詳細や，実使用に向けた今後の課題を示す．