高橋 和子 | 関西学院大学大学院理工学研究科

スポンサーリンク

概要

• 高橋 和子の詳細を見る
• 同名の論文著者
• 関西学院大学大学院理工学研究科の論文著者

関連著者

• 高橋 和子

  関西学院大学大学院理工学研究科

• 高橋 和子

  関西学院大学

• 高橋 和子

  関西学院大学理工学部

• 吉丸 始須雄

  関西学院大学大学院理工学研究科

• 高砂 智紀

  関西学院大学|現在,富士通テン株式会社

• 兼丸 陽司

  関西学院大学大学院理工学研究科

• 高砂 智紀

  関西学院大学|現在 富士通テン株式会社

• 高砂 智紀

  関西学院大学大学院理工学研究科

著作論文

• 車車間通信を用いた車線変更と脇道にともなう交通流の円滑化を図るモデルの提案と実装
• 帰納的アプローチに基づく理想的電子現金方式のモデル化および証明支援系Isabelle/HOLによる安全性の証明
• 電子現金の分割利用可能性の形式化と帰納的証明
• 車車間通信を用いた車線変更と脇道にともなう交通流の円滑化を図るモデルの提案と実装
• マルチエージェントの連鎖的交渉を用いたスケジュール作成と調整(スケジューリング,「Webインテリジェンス」及び一般)
• マルチエージェントの連鎖的交渉を用いたスケジュール作成と調整(スケジューリング,「Webインテリジェンス」及び一般)
• 動的議論システムの意味論的考察

スポンサーリンク