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