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