久留米工業大学 · 情報ネットワーク工学科 · 准教授

研究キーワードゼロ知識証明・分散コンピューティング・制約充足問題・オブジェクト指向知識表現・幾何推論・プログラミング教育

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 制約に基づくオブジェクト指向知織表現システム
• 分散する証明推論エンジンのWEB上での結合について
• Living with ZK-an approach towards communication with analogue messages
• ネットワーク雑記帳ZKの応用とZKスクリプトの公開・収集環境

• 公式プロフィール