河辺 義信 | 愛知工業大学 情報科学部 情報科学科
スポンサーリンク
概要
関連著者
-
河辺 義信
愛知工業大学 情報科学部 情報科学科
-
河辺 義信
愛知工業大学情報科学部情報科学科
-
河辺 義信
日本電信電話株式会社nttコミュニケーション科学基礎研究所
-
前田 彩
愛知工業大学情報科学部情報科学科
-
黒野 恵人
愛知工業大学 情報科学部 情報科学科
-
真野 健
NTTコミュニケーション科学基礎研究所
-
櫻田 英樹
Nttコミュニケーション科学基礎研究所
-
櫻田 英樹
日本電信電話株式会社nttコミュニケーション科学基礎研究所
-
真野 健
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
塚田 恭章
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
塚田 恭章
日本電信電話(株)nttコミュニケーション科学基礎研究所
-
黒野 恵人
愛知工業大学情報科学部情報科学科
著作論文
- 電子投票プロトコルに対する無証拠性の定理証明
- コンシェルジュサーバを持つ電話システムの形式的検証
- AT-1-2 Larch Proverによる論理パズルの解法(AT-1.システム数理における様々なツールの紹介,チュートリアルセッション,ソサイエティ企画)
- コンシェルジュサーバを持つ電話システムの形式的検証