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

在学生の方へ
教職員の方へ 