Kurume Institute of Technology · Department of Information Network Engineering · 准教授

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

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

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

• Official profile