中山 陽太郎 | 日本ユニシス株式会社

スポンサーリンク

概要

• 中山 陽太郎の詳細を見る
• 同名の論文著者
• 日本ユニシス株式会社の論文著者

日本ユニシス株式会社 | 論文

• 代数仕様統合開発のための枠組と実装
• 分散オブジェクトによる抽象ドキュメントの管理方法
• ネットワーク環境におけるインタラクティブな証明支援環境
• 等式論理系における制約解消による証明記述の枠組み
• 分散協調学習基盤と学習運営システムの開発

もっと見る

スポンサーリンク