- すべて
- 画像・動画
自動更新
並べ替え:新着順
メニューを開く
#条文 形式による #論理プログラミング(で、かつ #代入 や #線形リスト 等による #記述 を許さないもの)が厳しくなっている、ということかねぇ。#手続き型言語 で書くべき内容を頑張って #カリー・ハワード同型対応 した #型 で表現しているような。 x.com/HiromitsuTakag…
Hiromitsu Takagi@HiromitsuTakagi
しかも、さらに「仮名加工情報データベース等」「匿名加工情報データベース等」「個人関連情報データベース等」があるんですよ。 x.com/Informationlaw…