JAIST Repository > Education and Reseach Center for Trustworthy e-Society 2004-2016 > Conference Papers, Presentations >
法令実働化情報システムのアカウンタビリティ
法令対象ドメインの形式仕様と検証
社会制度のゴール指向分析
法令文書の言語解析
法令文書を対象とした論理推論技術