NII要件事実

ちょっと前の記事だけど、
ＡＩで精密裁判？　法論理との類似に注目　国立情報学研究所
（東京新聞 TOKYO WEB）
というのがあった。
ふーん、NIIでそんなことしてたのか。

んでこれをやってる佐藤さんは、
証明責任とその周辺概念の論理プログラミングによる定式化（PDF）
という記事を、
東京大学法科大学院ローレビューに書いている。

読んでみて、内容はよく理解できなかったんだけど（笑）、
新聞に書いてあるほど簡単には進まなそうだな、とは思った。
まぁ何年か経ってるので状況も変わってるだろうけど。

そもそも「要件事実」自体なんなのかよく理解してないしな。
D1-Law.comの「要件事実体系」というデータベースを
図書室で提供してるし、基本的なことくらいはわかっておかないとー