• 検索結果がありません。

JAIST Repository: Towards Translation of Legal Sentences into Logical Forms

N/A
N/A
Protected

Academic year: 2021

シェア "JAIST Repository: Towards Translation of Legal Sentences into Logical Forms"

Copied!
15
0
0

読み込み中.... (全文を見る)

全文

(1)JAIST Repository https://dspace.jaist.ac.jp/. Title. Towards Translation of Legal Sentences into Logical Forms. Author(s). Nakamura, Makoto; Nobuoka, Shunsuke; Shimazu, Akira. Citation. Lecture Notes in Computer Science, 4914: 349-362. Issue Date. 2008. Type. Journal Article. Text version. author. URL. http://hdl.handle.net/10119/7879. Rights. This is the author-created version of Springer, Makoto Nakamura, Shunsuke Nobuoka, and Akira Shimazu, Lecture Notes in Computer Science, 4914, 2008, 349-362. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-540-78197-4_33. Description. Japan Advanced Institute of Science and Technology.

(2)     

(3)           

(4)       

(5)    

(6)         

(7)

(8) 

(9)                   !          

(10)   .           

(11) 

(12)    

(13)  

(14)                

(15)    "

(16)   

(17)

(18)   # 

(19) 

(20)  $ 

(21) # 

(22)  

(23)  % &      '

(24)   

(25)  (   

(26)     

(27) "       #   

(28)  '       % ) #   

(29)  

(30)  

(31)   

(32)     

(33) %  

(34) 

(35)  

(36)    *+,  

(37)  

(38)          

(39)  

(40)  "  "% )       

(41)   

(42) 

(43)  

(44)   

(45)    

(46) 

(47)   

(48)  

(49) - ./    

(50)    . /   '

(51)   

(52) 

(53)         %   .         

(54)             

(55)     

(56)        ! "# $ #   #    %     & 

(57) 

(58)  

(59)  & #    '    

(60)       #    . (

(61)      #              . (

(62)       

(63)               &   ! "# $ #   #     #   &   

(64) 

(65)     ! (  

(66)  

(67)   & 

(68)  # & "# $ #   #       

(69)   

(70) # 

(71) 

(72)  

(73)      # %   ! (

(74)    & 

(75)   #

(76)    &    ' ! (   # # %   # &  ! )  #       & 

(77)  # # &  * (

(78)       # #  

(79) +      & 

(80)    ,    & ! -      

(81)        

(82) 

(83)    # %   # &   

(84) 

(85)   

(86)  &    !.

(87) . &  #     #    ## %

(88)          & 

(89)   

(90)  & 

(91)   &    ##   # / ! 0 

(92)    &     ,  +    #  

(93)  

(94)   ##   #   

(95)  &     #   # &          # 1 !   &  # .    ! 2 3    & 

(96)  ! (

(97)  %  ,  # &  &  % & #   

(98) ,  ! 

(99) #

(100) 

(101)    # & 

(102)      

(103) #

(104) 

(105)  ) % .   

(106)            

(107) #

(108) 

(109)             # 

(110) 

(111) 

(112)  &     &   & # & ! "  

(113)  # 

(114)       ! "#   #  

(115)  # , 

(116)        

(117)   &   #  4 5 ! (

(118) 

(119) .

(120)      # 

(121)    &          .     #   ! 6 

(122)     & 

(123)   .      ,   & #     

(124)   %   # & ! (

(125)  &    

(126)  

(127)     ,  

(128) 

(129)     %! 0    

(130)     

(131)   & 

(132)       ,  

(133)        #   

(134)  ! (

(135)   #   ,      

(136)  #   % 

(137) #

(138) #       ! (

(139)   

(140)      

(141)   # # %    Æ &  

(142)   # 

(143)  ,  ! -    

(144)        

(145) 

(146)    %    # % 

(147)     

(148)  

(149)  

(150)  & ,  !  

(151)         # 

(152)     

(153)   & &  & # % 

(154) '           #

(155)         ! (

(156)  &      

(157)   .     

(158)    

(159)   +  ! (

(160)           

(161)   ,   7 !

(162)    (

(163)        & %   &  8    8  

(164) 

(165)      +    !

(166)       #    &      +! 9 # &   &   :      

(167) 

(168)               

(169) 

(170)

(171)    

(172)       ! 9

(173)          

(174) #

(175)      &      %    &  #   ! (

(176)       

(177)     

(178) ! 6 % ;

(179)   *  

(180)    ,   ! 9 

(181)     

(182)  ,     & ! < %  & 

(183)           

(184)        # &  * !  

(185)

(186)     

(187)    0

(188) 1   

(189)  2             "

(190)   

(191)    %.

(192)  

(193)   

(194)   #  # #   

(195)   ,   & 

(196)    (% " =77   11  /3   # //  >    & 

(197)    )  " =77    # /4  >           & ( ) &!   ?

(198)  < . ( @ =*4   57 >! ( #     

(199)   #     &   & #   #  # &     #     #   ! 0  

(200)  &      #    

(201)      

(202) 

(203)  

(204)  &  !        

(205)    

(206)    

(207) 

(208)  

(209) # &    ##   #    #  ! <    &   &     *! < 

(210)  

(211)    & 

(212)         %      /! 6          &      1!.

(213)      

(214)    .  

(215)        #     

(216)  &  #        # &   # #   # 

(217)    & # %!   !  %  # &  

(218) 

(219)   & @  # %   

(220)     #       

(221)  & #  !          . 9 # &   &   :     

(222) 

(223)   #,  &  & #      # 

(224) 

(225)           &            !  

(226)           %     

(227)       & 

(228) 

(229)   & 

(230)   & 

(231)   !               

(232) 

(233)

(234)    

(235)        

(236)    # 

(237) #

(238)      &      %    &  #   ! 0,     

(239)  & #       #        #      

(240)     &  ##  # %   

(241)  ,       @ ! : A  #   &

(242)     &  

(243)  

(244)    &     ! (

(245)  :   

(246)

(247)   %      )    !   #  

(248)    

(249)               

(250)           ! (

(251)   

(252)     

(253)         &   ! 6 %  )  A 

(254)   

(255)          

(256)            %     &  ' 

(257)  +    

(258)   

(259)  

(260)  

(261)  &  %      &   

(262)   %      & !     =>   =>        

(263)  & # &  =(   #  

(264)  >' @   ' =   #= >   =   >> =>.

(265) @     '. = #,  = >   =   >>. =>.    ! .           &   .       +,    

(266) 

(267) #   # #    7 / !    &        & 

(268)     

(269)   6#! ! (

(270)   .    & , 

(271)      8            

(272)   +       8       ! Law Provision (one sentence). Law Requisite Part. Subject. 

(273) . Condition. Law Effectuation Part. Object. detail. Provision.

(274) 

(275)    3 

(276)   4

(277) 

(278)  567. : #       

(279)      

(280)   ,  # #  

(281)        Æ     ! #  ! /    .  & 

(282)     &  @     ! : # 

(283)    #     &     

(284)     .  

(285)      & 

(286) #

(287)   &   

(288)  

(289) 

(290)   & &  &    ! 9  

(291)  +   &  

(292)    

(293)                 # & ! <    %   # &   & 17    &  *4  ,   & 

(294)    )  "   

(295)     & ( ) &!   ?

(296)  <   ( ) &!   &  4/   &  

(297)  

(298) 

(299)       & 

(300)  8     

(301)       

(302)   6#! ! $%     

(303)   (   

(304) 

(305) 

(306)  8   8      

(307)       

(308)      

(309) 

(310)     #  B&A  B

(311)  !A &     

(312)    & 

(313)    

(314)   

(315)       #   

(316)  8    

(317)       

(318)   .     

(319)    

(320)   +  ! (

(321)  8     

(322)  

(323)           & 

(324)  8  ! 6 

(325)   +   

(326)        

(327)     

(328)    &     

(329) 

(330)  

(331)   

(332)    # 

(333)      

(334)       

(335)    # 

(336) =>  

(337)  8     

(338)       #   

(339)    ! . 8

(340)  "2

(341) 

(342)    ' !+     

(343)          9 %  :  )    9 %.

(344) 

(345)  9

(346)

(347)    0 0 0 0. 

(348). 1. "2

(349) ;&"2

(350). ~は、/5 7 0 ~が、/5 

(351)  : 7 0 ~も、/5

(352) ; 7 0 &"2

(353) 0 .~に、/ 5(

(354)  : 7 0. 1. 1 .  1 . . "2

(355)  &"2

(356)  :

(357)  9

(358)  :

(359)  1 . 

(360)  

(361) 1 . 

(362) 

(363) 1 . 

(364) 

(365) 1 . 

(366)  

(367) 1 . 

(368) . ~するときは、/ ~については、/ ~においては、/ ~する場合には、/ ~により、/. "   

(369)    

(370)     

(371) 

(372)  # &  !  #   

(373)   .     

(374)   +        

(375)  #  =>  

(376)  # .  => !     & 

(377)  &       

(378)       

(379)  6#!              

(380)   

(381) ! & 

(382)   # 

(383)       # &    #      

(384)   

(385)  & # ' (

(386)   .     &  8         ' = 8>  =?  >  =)  > (

(387)   +     &  8         ' =?  >  =98>  =)  > (

(388)    

(389)   8     8  ' =?  >  =)  > (

(390)              #  

(391)  !   #    #  

(392)    27       

(393)    )  "  &  

(394)  * & 

(395)       

(396)     7    & 

(397)  . ! (

(398)  &   & 

(399)    

(400)  

(401)       # & 

(402) 

(403)   .   +  ! < &   

(404)  &  *7  & 1      # 

(405)    . !  @      

(406)   %     & % ,   

(407)   

(408)  +   & 

(409)    #  # 

(410)    ! )   

(411)  %     

(412)    & 

(413)     

(414) 

(415)     %     $ #

(416) ! (

(417)  &      #      

(418)   +  ! (

(419)      & 

(420)    # & 

(421)     

(422)  #      

(423) ,  ! < #   &   # %     # 

(424) % ,       #    !    # 

(425)     %  . "   #  . . )  

(426)  #  

(427)       

(428)   

(429)      

(430)  ./ 

(431)     3   ./  

(432) 

(433)  "  

(434)  $

(435)    % 

(436)        

(437)      

(438) %.

(439) 

(440) 

(441)       

(442)       ! 6 %. C  D #       #       , #   !    

(443)    #        

(444) %        &

(445)      & 

(446)          @  #      

(447)    &  &        &  %     

(448)    ! $ % &  '  ( .

(449)   . (

(450)              &       

(451) 

(452)    & .       / ! 6 % BA =又は>   B A = 若しくは> 

(453) & 

(454) 

(455)   .    $ #

(456)   B A

(457)  +        #   ! B A = 若しくは>     ,  #  

(458)  BA =又は>! (

(459)  &   

(460)  B   0  ?A 

(461)       ' ==

(462)   >   > =*> <  

(463)  8       #   

(464)   B A # ,  & 

(465)   #   ! -  

(466)   %        

(467)  & # # & ' ==  >   > =/> (

(468)          & 

(469)  

(470)           ! (

(471)   8   BA =及び>   B A =並びに>      $ #

(472)   B  A 

(473) 

(474)    B!A 6    

(475)    # & 

(476)         

(477) . 

(478)     

(479)  &   8   8   B A =その他の >    #  C 

(480)  D     

(481)   & 

(482)      

(483) !  %  

(484)   

(485)  & # %  ' 機関に係る. 申請、. 届出. その他の. 手続き等. =       >    

(486)      

(487)     

(488)   #  (

(489)       B A   B  A  

(490)   

(491)  B ,  !A (

(492)    

(493)  B   

(494) 

(495)   #  A 

(496)       & 

(497) & 

(498)  & # 

(499) ! < %  

(500)   &   %   &  8  

(501)  &  *4   !     &  1   &  8    8       

(502) ! ( # 

(503)  

(504)    & %         

(505) 

(506)   ,  & %  

(507) 

(508)   

(509)       ! ) % &  '  ( . %   (  * +. @ 

(510)     

(511)    & 

(512)   B  A   # &        

(513)       B A 

(514) 

(515)       .

(516)      ! (

(517)   &  

(518) 

(519)         

(520)  !

(521)   ! 1          .   #  

(522)      &   &    ! 6 % & 

(523)    %              

(524)  #  8     !  

(525)       ,  

(526) 

(527)      

(528) 

(529)  Æ%   ! 6 % B    A =>     

(530)  B  A = >    !  

(531)     

(532) 

(533)            &   &  /*7     7   !      B  0A %     7  ! < 

(534)  

(535)  %  

(536)  %  # 

(537) ! 6  

(538)    &    # 

(539)    & B  A  # & .  & 

(540)  %   & B  A   &      #  

(541)              

(542)   &' !  # &  &  %     &      #            

(543) !   E    ,  !         =申請書の提出 > C  &   &  D 申請書=>  提出= >  8=  >  & =>  = >  8=  > !          &   # &    &       #     !      =被保険者の氏名 > C

(544)   & 

(545)       D 被保険者=>  F =氏名=> >     =>  F = => > *!    

(546)    0       # &  &    #     &   

(547)     !     =二十歳未満の者 > C     

(548)  # &   D 者 =>  F =年齢=> >   = 7>   =>  F =#=> >   = 7> .   . -   %    &  &   

(549) 

(550) G   #  , #      ! (

(551)  & #   

(552)     &     ! <     #   #   &   ! !   #  

(553) #     #   #   ! !  # 

(554)       

(555)  

(556)       &     ! *! #   &     

(557) 

(558)   & %   !.

(559) /!  #   

(560)  &   %       %  ! 1!   #     

(561)   #   &    ! 2! #  #      ! < #   

(562)    ,                 

(563)         ! 3! 0 #  # &  &  

(564)  & #  & #          ! (

(565)      #

(566)       ! 9     

(567)   &  & 

(568)  # &  =    *   3> 

(569) 

(570)     

(571)  # #    

(572)   6#! ! (

(573)  

(574)  =  /  2>  & 

(575)    & ! < #  

(576)            #   &    ! .     . )     .  

(577)        @H  2   I) 3 

(578) 

(579)    @   

(580) #      @       ! 0

(581)       &  ##   # & @ !  @  

(582) ,   4    & 

(583)   &    #  ! $

(584)        #  

(585)       # &   .,        +  !  

(586)      

(587)     

(588)   &          

(589) 

(590)     9# ) =>   )  ! $     %  #    

(591)  #      

(592)   & 

(593)     & )  

(594) # = >!         &           # &     

(595)  &   %  ! <   

(596)  # %       

(597)  ,    &  &   %    

(598)  

(599)        &  ! <      &     

(600)     

(601)  %  ! )

(602)    % &. H #   &        

(603) &                  ! < #        

(604) 

(605)    

(606)    

(607)   #      ! <    &      %  #        

(608)     &  44    & *22     *  & !      & 13     #    

(609)    !  

(610)    . 

(611)      %  

(612)    &  &  

(613) & 

(614) 

(615)            

(616)   %  !   &    &   &   

(617) & 

(618) 

(619)   &       .

(620) 掛ける. -   5 7 5

(621)  

(622)  7. . 

(623)  0  5 71    0  5 71  ..0 5 71 </// . "2

(624)  0 5 71    0

(625)   5 71  ..02 

(626) 5 71 /.0

(627) 5 71 =////  5

(628)  

(629)  7. . 

(630)  0  5 71    0  5 71  ..0

(631)  5 71 /// . 

(632) 

(633)   0

(634) 5 71    0  5 71  ..0  5 71 / .0 

(635)  5 71 /// . "2

(636)  0 5 71    0

(637)   5 71  ..0

(638)  5 71 ////  5

(639)  

(640)

(641)  7. . 

(642)  0  5 71    0  5 71  ..0>"1 /.0 

(643)  5 71 /// . 

(644)  

(645)  0 5 71    0

(646)   5 71  ..0 5 71 /// . "2

(647)  0 5 71    0" 5 71  ..0 

(648) 5 71 ////. 

(649) . . 彼. が を. 人. コート. 上着. が 父. に. 母. 友達 を 電話. が. 椅子. 腰.      

(650)   

(651) %. を. に. 衣類. 人. 人. 物品. 人. 母. 物品. 身体. 

(652)       

(653)    

(654) .   :  8   : . 

(655).    #  &       & %     

(656)  & .    '  '            '           =1>  ' =         #  &    =

(657)      >  =

(658)      >    >  

(659)            % &   

(660)    &       ! <         & 

(661) ! < 

(662)   6#!   % & 

(663)      

(664) 

(665)    B A

(666)  

(667)   & ! <  

(668) &   &       #         &  &        ! "    

(669) 

(670)  &   6#!  

(671)  & #   B A  # ' C         彼が私に電話を掛ける D   # C-  !D 6  &      

(672)   &  

(673) 

(674)   

(675) 

(676)   &  & ! (

(677)  &  .

(678)   & 

(679)          

(680)     & 

(681)     ! <

(682)  

(683)         

(684)  

(685)    

(686) 

(687) 

(688) #

(689)     

(690)  & #  

(691) ! ! &     &   

(692)    & 

(693)    

(694)     &    1   

(695)   !1   

(696)  &      & 

(697)     B  A     ! ! &   & 

(698)   #   

(699)    & 

(700)  %     

(701)     &    1    ! *! H #  

(702)   & @  4     &    

(703) 

(704)   & 

(705)        %     

(706)   &        

(707)    

(708)   ! -   % 

(709)   

(710)  & *! "   

(711) 

(712)   & 

(713)          %     

(714)   ! (

(715)     

(716)       '     =   > F =2> ! J ! 

(717)   !   

(718)  

(719) &  &  

(720)     

(721)  

(722)   !  & .     

(723)  

(724) & 

(725)      & 

(726)  #        ! &   

(727)  

(728)   &    

(729)     &      # #     

(730)  

(731)       .    

(732)   &  %           

(733)  & # . '   =  > "   =3>  =   > F  " 

(734)   "      & .  &  !. 6 

(735)  %    

(736)   &   # /1!1   

(737)   # 4!/! (

(738)  &     .  

(739)    

(740)      &  & 

(741)    ! 0 

(742)    #     

(743)  %   & 

(744)   &           %  

(745)   &  &  

(746)   #  &   %! )$ '  (  % &. <    +      &  

(747)     

(748) ,     B  A  ! 6          & 

(749)     

(750)   

(751)    

(752)    

(753) & 

(754)      & 

(755)          #   &    ! 6 % &     & C-

(756)  

(757)   

(758)   

(759)   D 

(760)    

(761)  #  &    B 

(762)  A    

(763)  8 & 

(764)  

(765)    B

(766)  

(767)   !A 6  B  A    #    

(768)  

(769)  ,          &     ! $ 

(770) #

(771) 

(772)       .

(773)     

(774)          &  

(775)   

(776)     # &  

(777)     ! &      

(778)     & 

(779)      #      #      & #  ! -         

(780)  #    

(781)     ! (

(782)   

(783)   

(784)  :  &    &   ##  #  ,   ! ))    . < %    

(785)   

(786) 

(787)       & - 

(788)        #     #   

(789) 

(790)   & 2      7   ! 0 & 

(791)  Æ &  #    & #    

(792)  # &  &  &   #   

(793) 

(794)  

(795)         

(796) 

(797)                   ! 0        

(798)      &    # @        # &       %    

(799) 

(800)  ! <      

(801) 

(802)     &     

(803)   

(804)   & &  &       &  

(805)   &  ,   ! 6 %   

(806)  

(807)     & BA =が >      # ! <

(808)   

(809)  

(810)   

(811)   +    ,  #   

(812)   &      &  #   # !   .    34!2K   

(813)  

(814)      2!K! -   

(815)   % &   &! (

(816)  & # %     & - 

(817)      

(818) #  & 

(819)   ! ,  &    $ <

(820)  

(821)   #     &  ,  #  E

(822)           &  

(823)   #     

(824)     #  

(825) 

(826)   #       

(827) 

(828)   ! 9     

(829)  & # # &   

(830) 

(831) 

(832)   => &  

(833)      

(834)   .     

(835)   +,      

(836)  &        & #  

(837)   +  ' # = >  =   >   = > 

(838) # =  >   &   #  = >  9= =  >  =    > 

(839) # =   >   = > 

(840) # =    >     # =  > =4>  #  = >  # = > 

(841) # =    > 

(842) # =  >   = >   =  

(843) >   =

(844) >>       

(845)    - .広島市条例第 条 項 / 市長は、美化推進区域 を指定しようとするときは、 あらかじめ、当該区域に関係すると認められる 団体等およ . 13. び 行政機関の意見を聴くものとする。. 2.

(846) 

(847)   

(848) #      

(849)   &      & #  8    ! 0 

(850)   

(851)  B   &   # ,  A       @           ! <          &' ! (

(852)    

(853)   B  &   #  A 

(854)           8   ! -  B

(855) # =  >A 

(856)   B

(857) # =   >!A ! (

(858)    & B

(859) # =   >A 

(860)   B=    >!A *! (

(861)    & B #  = >A  #!  

(862)   B=   # =  >   #  =  >>!A /! (

(863)      8   & # 

(864)    B # = >!A 9  & 

(865)    B

(866) # =  >A 

(867)   B =  >!A 1! (

(868)    & 

(869)    B =

(870) >A 

(871)     

(872) B !A (

(873)    &    /  &  

(874)   & %  

(875)   &    ! (

(876)    & *   1    

(877)     

(878)           & 

(879)   ! 9 #  :  ,     &      ,  #     !  %  

(880)      & 

(881)  L B =  > 

(882) # =   >    = > A  

(883) 

(884) 

(885)  8 & 

(886)    B A  

(887)    B  A 

(888) 

(889)  #         ,   @ ! H # 

(890)        

(891)   & ! 9

(892)    

(893)     

(894) #

(895)      # &      %    &  #   !   #       

(896)     

(897)        &  

(898)     

(899)  #  & 

(900)    B #  A 

(901) 

(902)   #   & 

(903)   ! :        # &  & 

(904)   . #  & 

(905)   &   & 

参照

関連したドキュメント

Seiler, Gauge Theories as a Problem of Constructive Quantum Field Theory and Sta- tistical Mechanics, Lecture Notes in Physics, 159(1982) Springer

In 1989 John joined Laboratory for Foundations of Computer Science, University of Edinburgh, and started his career in computer science.. In Edinburgh John mostly focused

† Institute of Computer Science, Czech Academy of Sciences, Prague, and School of Business Administration, Anglo-American University, Prague, Czech

Arp´ad Varecza, college professor, and retired director of the Ny´ıregyh´aza Col- ´ lege’s Institute of Mathematics and Computer Science was an outstanding figure in the field

[Co] Coleman, R., On the Frobenius matrices of Fermat curves, \mathrm{p} ‐adic analysis, Springer. Lecture Notes in

Amount of Remuneration, etc. The Company does not pay to Directors who concurrently serve as Executive Officer the remuneration paid to Directors. Therefore, “Number of Persons”

4 Installation of high voltage power distribution board for emergency and permanent cables for reactor buildings - Install high voltage power distribution board for emergency