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

自然言語推論(NaturalLanguageInference;NLI)は自然言語処理における重要なタスクである．NLIには大規模言語モデル(LLM)によるアプローチと，理論言語学に基づく計算言語学的アプローチが存在する．前者のアプローチでは，推論の対象になる範囲が急速に拡大しているが，LLMがその推論過程を説明することは難しく，また生成AIによる説明が正しいという保証はない．一方で，後者の計算言語学的なアプローチに基づく自動推論では，推論結果を出力するだけでなく，その推論の妥当性を保証する証明図を出力することができるため，説明性において利点がある．計算言語学に基づく自動推論システムとして，ccg2lambda[1]やlightblue[2]があげられる．lightblueは，意味の理論に依存型意味論(DependentTypeSemantics;DTS)[3]を採用している．lightblueに依存型理論(DependentTypeTheory;DTT)[4]の定理自動証明器wani[5,6]を接続することで，照応や前提束縛などを含む複雑な言語現象の解析を実現している．近年，lightblueを用いて構築された日本語CCGツリーバンクの言語学的妥当性の評価[7,8]や，日本語テストセットにおけるlightblueの推論結果の評価およびエラー分析[9]など，lightblueの性能を向上させる研究が進められている．その中において，現在次のような課題が生じている．•解析結果や推論結果の可視化が行われていないため，結果の詳細な把握が困難であること•エラーの発生箇所や原因の特定を行うための機能がないため，開発効率が低いことこれらの課題により，既存の可視化環境では，解析結果を実装のデバッグや理論の見直しに十分活用することができない．そこで，本論文では日本語推論システムlightblueの開発環境であるexpress[10]の改良に取り組む．特に，解析結果の視認性を上げ，開発効率を向上させるようなユーザインタフェースを提案し，開発環境の課題解決を目指す．