Masanori Ogino 𓀁 reblogged at 4 years ago
Masanori Ogino 𓀁 reblogged at 4 years ago
Masanori Ogino 𓀁 reblogged at 4 years ago
一成 happiness_kazunari@pawoo.net
今はこんなかんじ
いちおうBLと言いつつボケとツッコミの漫才コンビっぽいウチノコー
Masanori Ogino 𓀁 reblogged at 4 years ago
Masanori Ogino 𓀁 omasanori@mstdn.maud.io
Lawsky, Sarah B., A Logic for Statutes (December 14, 2017). Florida Tax Review, Forthcoming, Northwestern Public Law Research Paper No. 17-28, Available at SSRN: https://ssrn.com/abstract=3088206 or http://dx.doi.org/10.2139/ssrn.3088206
Masanori Ogino 𓀁 reblogged at 4 years ago
Re🔞👩❤️👩 Re_Gatchaman@pawoo.net
キャラデザ うさぎっぽいの https://pawoo.net/media/RYx9MJ_smcewTR1axtM
Masanori Ogino 𓀁 omasanori@mstdn.maud.io
"The Catala language is special because its logical structure mimics the logical structure of the law. Indeed, the core concept of "definition-under-conditions" that builds on default logic has been formalized by Professor of Law Sarah Lawsky in her article A Logic for Statutes." ふむ？
Masanori Ogino 𓀁 omasanori@mstdn.maud.io
Catala
https://catala-lang.org/
"Catala is a domain-specific programming language designed for deriving correct-by-construction implementations from legislative texts."
法律の条文に対応する機械可読なコードを記述するプロジェクトは他にもあった気がするけれど、INRIAがやっているというのは期待値が高い。
Masanori Ogino 𓀁 reblogged at 4 years ago
Masanori Ogino 𓀁 reblogged at 4 years ago
Masanori Ogino 𓀁 reblogged at 4 years ago
Masanori Ogino 𓀁 reblogged at 4 years ago
柊木 蓮@お仕事募集中 hiiragimokuren@pawoo.net
Masanori Ogino 𓀁 reblogged at 4 years ago
Masanori Ogino 𓀁 omasanori@mstdn.maud.io
"A new function 'w32-set-ime-open-status' can now be used to disable and enable the MS-Windows native Input Method Editor (IME) at run time. A companion function 'w32-get-ime-open-status' returns the current IME activation status." ！！
Masanori Ogino 𓀁 reblogged at 4 years ago
写鰤亭珍宝 🔞 shabuchin@pawoo.net
ライト博士「ロールや、これを着たまえ」
ロールちゃん「博士、なんですか？これ」
ライト博士「メイド服というものだ」
ロールちゃん「わぁ～可愛い！ロックにも自慢しちゃお💕 」