数理科学 2021年12月号に組合せ遷移のアルゴリズムという記事があるらしい。検索したら、以下のような分野があることを知る： 論理プログラミングから解集合プログラミングへ https://t.co/mTJM9D1M2J 解集合プログラミングに基づく組合せ遷移ソルバーの実装方式に関する考察 https://t.co/8zH9J2RLpa

RT @satorukanno: 最近、ニュース記事などで秘密計算っていうキーワードを目にしますよね？ 2018年の解説論文なので最新ではないですが、どのような方法で秘密計算を実現するのか？などの疑問は払拭できると思います！ --- 秘密計算の発展 ―データを隠しつつ計算する仕…

RT @KuniSuzaki: 【拡散希望】【解説記事】電子情報通信学会 基礎・境界ソサイエティ Fundamentals Reviewに書いた解説記事 Trusted Execution Environmentの実装とそれを支える技術 https://t.co/vgSIbT…

【PDF 注意】今日は、この記事を読んだ。基本的なことを知りたいと思うと、古い記事に当たることが多い： 論理・制約プログラミングと並行計算 https://t.co/So0Xcvr9mY

Alloy 処理系の処理の概要(4. 2 解析の方法)を読んだ。この方法をそのまま採用は出来ないが、参考にはなりそうだ： Alloy:自動解析可能なモデル規範形式仕様言語 https://t.co/bOsDrUPgyj

最近、ニュース記事などで秘密計算っていうキーワードを目にしますよね？ 2018年の解説論文なので最新ではないですが、どのような方法で秘密計算を実現するのか？などの疑問は払拭できると思います！ --- 秘密計算の発展 ―データを隠しつつ計算する仕組みとその発展― https://t.co/jzVNDuCs3F

【拡散希望】【解説記事】電子情報通信学会 基礎・境界ソサイエティ Fundamentals Reviewに書いた解説記事 Trusted Execution Environmentの実装とそれを支える技術 https://t.co/vgSIbTjWbW TEEに加えてRoot of Trust、Remote Attestationが必要なことを書いています。 一読して頂ければ幸いです。