第1回北陸公法判例研究会 2011年4月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ファイル | |