真野 健 | 日本電信電話株式会社NTTコミュニケーション科学基礎研究所
スポンサーリンク
概要
関連著者
-
真野 健
NTTコミュニケーション科学基礎研究所
-
真野 健
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
河辺 義信
日本電信電話株式会社nttコミュニケーション科学基礎研究所
-
小暮 潔
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
櫻田 英樹
Nttコミュニケーション科学基礎研究所
-
櫻田 英樹
日本電信電話株式会社nttコミュニケーション科学基礎研究所
-
小暮 潔
日本電信電話株式会社 Nttコミュニケーション科学基礎研究所
-
小暮 潔
日本電信電話(株)基礎研究所
-
堀田 英一
日本電信電話株式会社NTT情報流通プラットフォーム研究所
-
塚田 恭章
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
堀田 英一
日本電信電話株式会社 Ntt情報流通プラットフォーム研究所
-
塚田 恭章
日本電信電話(株)nttコミュニケーション科学基礎研究所
-
河辺 義信
愛知工業大学情報科学部情報科学科
-
河辺 義信
愛知工業大学 情報科学部 情報科学科
著作論文
- コンピュータサイエンスシリーズ 15 離散数学, 牛島和夫(編著), 相利民, 朝廣雄一(著), コロナ社(2006-09), A5判, 定価(本体3,000円+税)
- π-計算の名前制限の名前生成による実装の正しさ
- 電子投票プロトコルに対する無証拠性の定理証明
- 匿名性・プライバシーの工学的定式化とその学際的応用
- 認知変数連結論 : 認知心理学を見つめ直す, 中島義明(著), コロナ社(2007-11), B6判, 定価(本体2,600円+税)
- 6. 匿名性とプライバシのためのフォーマルメソッド(Part III:新領域の開拓,フォーマルメソッドの新潮流)