第1回北陸公法判例研究会 2011年4月30日

更新日: 2011.04.30

第1回 2011年4月30日(土)13:30~ 石川四高記念文化交流館 第2多目的利用室
【研究報告】
西貝 吉晃(国立情報学研究所)
「PROLEG:要件事実論の論理プログラミングによる実装」

《参考文献》
Ken Satoh, Kento Asai, Takamune Kogawa, Masahiro Kubota, Megumi Nakamura, Yoshiaki Nishigai, Kei Shirakawa and Chiaki Takano, PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code, PROLOG Technology Fourth International Workshop on Juris-informatics (JURISIN 2010)
佐藤健, 浅井健人, 古川昂宗, 久保田理広, 中村恵, 西貝吉晃, 白川佳, 高野千明 「PROLEG:論理プログラミングをベースとした民事訴訟における要件事実論の実装」 人工知能学会第92回知識ベース研究会資料1-8頁(2011)
西貝吉晃, 古川昂宗, 佐藤健 「PROLEGを用いた判例法理の実装 ~転得者が存在する場合の背信的悪意者の法理の実装~」 人工知能学会第92回知識ベース研究会資料9 -16頁(2011)
古川昂宗, 西貝吉晃, 佐藤健 「著作権法の要件事実論のPROLEGによる実装」 人工知能学会第92回知識ベース研究会講演論文集17-22頁(2011)
佐藤健 「証明責任とその周辺概念の論理プログラミングによる定式化」 東京大学法科大学院ローレビュー第4巻46頁
(上記参考文献は http://research.nii.ac.jp/~ksatoh/juris-informatics-papers/ より入手可能です。)

【研究報告】
長内 祐樹(金沢大学)
「自治体に対する外部監査制度の法と仕組み(1) その歴史的沿革」

《参考文献》

W.A. Robson, The Law Relating to Local Government Audit (Sweet & Maxwell, Ltd, 1930)
H.Finer, English Local Government (Methuen & Co.Ltd, 1950)
W.O.Hart, Hart’s Introduction to the Law of Local Government&Administration (Butterworth,1962)

*詳細はこちらをご覧ください→PDFファイル

Copyright © School of Law,Kanazawa University. All Rights Reserved.