Ueno Laboratory, Faculty of Engineering, Niigata University
Recent Topics
: Student had a poster presentation in PPL 2025
A student in our laboratory had the following poster resentations at 27th Workshop on Programming and Programming Languages (PPL 2025):
- 唐渡 巴琉, 上野雄大: 関数に限定された継続の合成による限定継続の実現の試み
: A student had a presentation at IPSJ PRO
A graduate student in our laboratory had the following research presentation at 152th regular workshop of Special Interest Group on Programming, Information Processing Society of Japan:
- Atsushi Takeda, Katsuhiro Ueno: コマンドスクリプトの部分評価によるMakefileの自動生成
We don’t have any English title of this talk; the presentation was given only in Japanese.
: Presentation at IPSJ PRO
Katsuhiro had a talk entitled with the following at 151th regular workshop of Special Interest Group on Programming, Information Processing Society of Japan:
- Katsuhiro Ueno, Haru Karato: Functional Reactive Animation with Functions of Time
Introduction
Our major focus is on programming languages and programming techniques. For instance, we are exloring the foundations and frameworks of novel programming approaches, developing new programming language features, and realizing innovative programming environments. Based on these works, we promote the development of the SML# language and its compiler. See Research page for details.
In the education of undergraduate students, we respect their unalloyed interests and ideas, integrating them into information and computation systems without adhering the existing frameworks or faculty members’ interests. We believe that this policy allows us to approach the essense of software systems, programming, computation, and languages. See Curriculum and Publications for details on education and students’ activities, respectively. For faculty member’s academic activities, see faculty member’s page.
Please contact to Katsuhiro Ueno by email if you are interested in our group.
International individuals interested in joining our group must look at faculty member’s page and follow the instructions provided.