New日・英、英・日の契約書の作成をしています。社内規程、各種の契約約款についての対訳集の作成もしています。demandで開催します。ご希望・ご照会等は、電子メールでおよせいただければ幸いです。日記帳2023年5月29日(月)ここ2・3週間は、医療機器がらみの仕事をしている。EU関連もあれば、国内のものもある。その他、治験関連のものもある。波が激しくて、とまどっている。(self-explanatory)」なシステムの構築可能性について検討した。「相互に関連するステップ」は、グラフ理論の有向グラフによって表現でき、出発点から、契約の終了点までの経路が、ハミルトン・パスになるという定式化(行列の積)が利用できることも確認した。幸いに、Pythonのライブラリには、有向グラフを実現できるものがあることも紹介した。ようなものを範型にして、フレームワークを構築し、その上で、様々な動産売買契約書のデータを補充していけば、動産売買契約書を生成する、説明可能なリーガルテック・サービスが実現できる。今回は、その続きであるが、その前に、リーガルテック・サービスについて、3つの段階というか、3つのモジュールを措定する必要があること、簡単に確認してみたい。第1のモジュールは、契約書作成(法律家のいう「起案」)モジュールであり、所望の契約書を作成してくれるか、契約書作成を補助してくれるものである。第2のモジュールは、契約の履行過程を管理してくれるモジュールである。契約書は、あらゆる事態に備えて、網羅的な条文を備えることが効率的、あるいは実際的でないこともあり、契約の履行過程で、例えば「納入先の倉庫の住所を、売主に通知しなさい」とかのガイダンスを生成するモジュールである。Resolution)モジュールとなる。これについては、後に検討する。今回は、動産売買契約における第2のモジュールを検討する。(n.2).)とある。あると述べられている。Theory)」を参照すれば分かる。Form)」によって表現される。組み込むことによって表現できる。と通常のベクトルの差で表現でき、他の要素であっても、この「差」の生ずる要素については、「情報義務」が発生すると定式化できよう。生成するシステムが準備できていると仮定すると、さらに、Emukitとか、Githubのdecision-making-under-uncertaintyの中のライブラリをさらに利用することになると思われる。もとづく分析も紹介しているが、未完のままとなっている。https://lnkd.in/gh5KnddM最近、CISGにおける「協力義務」とか「情報義務」に関する研究を行われている研究者が現れ、さらに研究を進められているとのことであるが、注目していきたい。