日本ソフトウェア科学会 プログラミング論研究会よりPPL 2026 学生ポスター賞を受賞しました。(情報システム学専攻 田中良尚 M1)

  1. 受賞日:2026-03-12
  2. 受賞名:PPL 2026 学生ポスター賞
  3. 主催団体:日本ソフトウェア科学会 プログラミング論研究会
  4. 受賞者の氏名、所属、職名(学年):
    田中良尚 (情報システム学専攻 M1)
  5. 連名者:
    井上裕介(情報システム学専攻 助教)
  6. 受賞対象となった研究のテーマ:
    ω-正規言語のzero-one性に対する代数的アプローチ
  7. 受賞概要:
    第28回プログラミングおよびプログラミング言語ワークショップ(於 香川県高松市)において、「 ω-正規言語のzero-one性に対する代数的アプローチ」のタイトルでポスター発表を行った。これはアルファベット上のランダムなω-語が、ω-正規言語に含まれる確率について考察したものであり、システム検証への応用が期待される。本発表が聴衆の支持を得たため、学生ポスター賞が授与された。
  8. URL:
    https://jssst-ppl.org/workshop/2026/index.html

PAGE TOP