法とコンピュータ 場所 慶大法学部（三田校舎教室） 期間 2004/4/12-2003/1/30 講師 吉野一
１ はじめに 自己紹介 講義目標 講義目次 教科書 吉野一『法律人工知能』創成社、2000年 参考書 吉野一『法論理学』成文堂、近刊
自己紹介 氏名： 吉野一（よしのはじめ） 所属： 明治学院大学法科大学院教授 専門： 法哲学、法情報学、法律と人工知能、 契約法 氏名： 吉野一（よしのはじめ） 所属： 明治学院大学法科大学院教授 専門： 法哲学、法情報学、法律と人工知能、 契約法 学歴： 慶應義塾大学法学部法律学科卒 同大学院法学研究科修士課程卒 同博士課程単位取得退学 研究： 論理法学、法律と人工知能
講義目標 法的知識の構造を把握し法的推論しシステムを構築する。 法分野におけるコンピュータ利用の基礎技術を習得 法的知識と法的推論の構造を把握する。 法的推論システムを構築する。
講義大目次 １ はじめに ２ コンピュータの基礎技術と応用 ３ 法的知識と法的推論の構造 ４ 法的推論のシステム化 ５ まとめ
２ コンピュータの技術と応用（１） コンピュータの基本概念 キーボード操作 ２ コンピュータの技術と応用（１） コンピュータの基本概念 キーボード操作 ワープロ（Word, etc.）､エディタ(mule, etc.) プレゼンテーション(Power Point) 表計算(Excel, etc.) インターネット Eメール、ＦＴＰ、telnet、 www ホームページ作成 データベース（Ａｃｃｅｓｓ，ｅｔｃ．） プログラミング言語（Prolog）
コンピュータの技術と応用（２） 法律業務ＯＡ支援 法律データベース ホームページ 法律判断支援 →法律人工知能 法的推論と法的知識構造の把握 文書作成、表計算、プレゼンテーション、スケジューリング、通信､ファイル管理 法律データベース ホームページ 法律判断支援 →法律人工知能 （法律エキスパートシステム・法的推論システム） 法的推論と法的知識構造の把握 法学教育支援 →法律人工知能
法律人工知能とは何か 法律人工知能・法律エキスパートシステムは、六法や判例集や教科書等の文書に記述された、あるいは文書化されていないが法律家が暗黙裏に頭の中に有している法的知識を登載していて、相談事案を入力すると、法的推論を行い、現在の法体系の下でいかなる法的判断がなされるべきかを、出力してくれるようなコンピュータ上のシステムである。法律エキスパートシステムが単なる法律データベースと違うのは、推論をし、判断をしてくれる点である。なお法的判断の結論を出力するばかりでなく、結論に至るまでの推論過程、その根拠、そして法体系自体を示してくれる。（図－１）
法律人工知能をいかに実現するか 法律判断システムとしての法律エキスパートシステムはどう実現していけばよいのであろうか。法律エキスパートシステムを構築する研究目的は表１に示すように、法的知識構造の解明と法律エキスパートシステムのソフトウェア構築の二つに大別できる。第１の研究目的はさらに法的知識の一般構造の解明と実定法の知識構造の解明の二つの項目に分かれる。第２の研究目的はさらに法律知識ベースとその他のソフトウェアを構築する項目とからなる。 法的知識構造の解明 法的知識の一般構造の解明 実定法の知識構造の解明 ソフトウェアの構築 法律知識ベースの構築 推論エンジン他の構築 表１ 法律エキスパートシステム構築の課題
法律人工知能の構成
法律人工知能をいかに実現するか 法律判断システムとしての法律エキスパートシステムはどう実現していけばよいのであろうか。法律エキスパートシステムを構築する研究目的は表１に示すように、法的知識構造の解明と法律エキスパートシステムのソフトウェア構築の二つに大別できる。第１の研究目的はさらに法的知識の一般構造の解明と実定法の知識構造の解明の二つの項目に分かれる。第２の研究目的はさらに法律知識ベースとその他のソフトウェアを構築する項目とからなる。 表１ 法律エキスパートシステム構築の課題 法的知識構造の解明 法的知識の一般構造の解明 実定法の知識構造の解明 ソフトウェアの構築 法律知識ベースの構築 推論エンジン他の構築
法律エキスパートシステムLES-５デモ Hajime Yoshino Online からアクセス http://www.meijigakuin.ac.jp/~yoshino/ 法律エキスパートシステムプロジェクト 法律エキスパートシステム
実習と宿題 キーボード練習 パワーポイントで自己紹介を作成 インターネット Eメール
参考例 法的推論の構造 筑波大学田中研究室の発表例 東京工業大学広田研究室の発表例 筑波大学田中研究室
次週 キーボード小テスト 自己紹介プレゼンテーション 法的知識分析の基礎理論としての論理法学 実習：ＦＴＰ，ｔｅｌｅｎｅｔ