スポンサーリンク
愛知工業大学 情報科学部 情報科学科 | 論文
- 商店街活性化のための情報視覚化の試み
- 複雑形状の再構築とコンピュータグラフィックス実制作への応用 : 複雑形状の復元精度±0.5mmの実現
- 電子投票プロトコルに対する無証拠性の定理証明
- コンシェルジュサーバを持つ電話システムの形式的検証
- AT-1-2 Larch Proverによる論理パズルの解法(AT-1.システム数理における様々なツールの紹介,チュートリアルセッション,ソサイエティ企画)
- コンシェルジュサーバを持つ電話システムの形式的検証