804 followers
RT @yutakashino: （´-`）.｡oO( 法律の文章，難しすぎる…．なんか，法令工学 https://t.co/CxjgOW6YYm といって，法律文書をコンピュータで形式的検証をする分野もあるみたいですけれど，論理の検証はできるかもしれませんが，法令文って言葉の…
13,883 followers
（´-`）.｡oO( 法律の文章，難しすぎる…．なんか，法令工学 https://t.co/CxjgOW6YYm といって，法律文書をコンピュータで形式的検証をする分野もあるみたいですけれど，論理の検証はできるかもしれませんが，法令文って言葉の解釈が相当の部分を占めるのであまり役には立ちそうにない気が… )
969 followers
@kmizu 今日知ったんですが，紹介論文を見てる限り，法令を工学的に解析化してformalにすることで論理的な矛盾などを発見し，元の法令にフィードバックしたり，情報システムのデータ構造に応用するのが主な分野という印象を受けました．ついでに，読んだのはこれです https://t.co/tcprUCt9U3
223 followers
RT @sky_y: 今は深層学習に代表されるソフトなAIがレッドオーシャンを迎えている。だからこそ、古典的に思われる数理論理学が面白いと思う。現代は非古典論理（様相論理、直観論理）もあるし、法律への自然言語処理や論理学の応用もある（法令工学）。 https://t.co/a…