TOP > 新着情報 > 情報処理学会第88回全国大会より情報処理学会第88回全国大会学生奨励賞を受賞しました。(情報システム学専攻 田辺 竣也 M1)

情報処理学会第88回全国大会より情報処理学会第88回全国大会学生奨励賞を受賞しました。(情報システム学専攻 田辺 竣也 M1)

  1. 受賞日：2026-03-08
  2. 受賞名：情報処理学会第88回全国大会学生奨励賞
  3. 主催団体：情報処理学会第88回全国大会
  4. 受賞者の氏名、所属、職名（学年）：
    田辺 竣也 (情報システム学専攻 M1)
  5. 受賞対象となった研究のテーマ：
    アージェントロケーションを持つUppaal記述から論理制約付き項書き換え系への変換について
  6. 受賞概要：
    時間オートマトンに基づく状態変異機械を記述したUppaal記述のうち，アージェントロケーションを含むUppaal記述から論理制約付き項書き換え系（LCTRS）への変換を発表し，情報処理学会第88回全国大会学生奨励賞を受賞した．
  7. URL：
    https://www.ipsj.or.jp/award/taikaigakusei.html

PAGE TOP