Hyperproofにおける設計者間のインタラクションの形式化

抄録

本稿では，複数の設計者による設計について抽象設計論に基づき数学的に形式化された枠組みで捉え，その形式的な記述を行うことを目的とする．具体的には，Hyperproof呼ばれる推論プログラムを用いて単独および複数ユーザによる比較実験を行うことにより， 設計者間のインタラクションについて情報の流れの観点から分析を行う．そして，これを基に Hyperproof における設計者のインタラクションのモデルを与える．