RT @Kunihiko_Fujita: 今年のノーベル経済学賞はRichard Thalerが受賞しました．受賞理由は行動経済学に関する貢献です．この行動経済学の理論を，情報セキュリティリスク環境下における人間の意思決定に応用した論文が，こちら↓になります（宣伝）．https…

すみません、それです！http://ci.nii.ac.jp/naid/110002762960　もっと新しい解説論文があるかもしれません。 RT: @metaphusika 太田さん岡本さんを検索してみましたが論文「クラス NP の新しい特徴づけ」(1994)のことでしょうか？

@データサイエンス(DS)を専門とする方へ 【会誌無料記事情報

暗号系の安全性検証 - 入門から計算機による証明まで https://t.co/r4oO916vTH 積読消化。確率的多項式時間チューリングマシン間のゲームとしての安全性の定式化、ゲームの書き換えによる安全性の証明、Coq風の検証ツールEasyCrypt https://t.co/JyIsQAcU7L による形式的検証など。これは面白い。

信学会の情報・システムソサイエティ誌の喜連川先生の巻頭言オープンになってた．NLPやAIの人にも是非読んでほしい 巻頭言 学会の役割：難しい評価をすること 喜連川 優 https://t.co/Mu8q4FbrDb