このアカウントは、notestockで公開設定になっていません。

この内容で結びの言葉が「イーロン・マスクは状況により謝罪できる人物だと分かる点で、テスラ株主にとっては明るいニュースといえるかもしれません。」なのこわくなってきたね

https://www.techno-edge.net/article/2023/03/09/987.html

皆よく知らないだけでテスラの株主にとって最近これより明るいニュースがなかった可能性もあるから京言葉じゃないかもしれない

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

Catala 0.8.0 🎉
https://github.com/CatalaLang/catala/releases/tag/0.8.0

Catalaは法律に機械可読な注釈をつけてアルゴリズムを抽出するためのDSLで、いくつかの国や地域の税法や刑法に注釈をつける試みがある。
Catalaは“A Logic for Statutes”（法令の論理）という論文で形式化された法律の条文に適した論理体系に基づいている点がCoqなどの定理証明支援系と少し異なるところ。

唐突に思い出したけれど、Coqの名前を変えるかもしれないとかいう件はどうなったんだろうか。