新潟大学工学部 上野研究室
最近の出来事
: PPL 2024で大学院生1名が発表しました
当研究室の大学院生が第26回プログラミングおよびプログラミング言語ワークショップ PPL 2024で以下の登壇発表を行いました。
- 佐藤季樹, 上野雄大: 型別名を保存する型推論アルゴリズム
: 日本ソフトウェア科学会第40回大会優秀発表賞を受賞しました
上野が日本ソフトウェア科学会第40回大会優秀発表賞を受賞しました．
本賞は，日本ソフトウェア科学会第40回大会にて，聴衆から多くの支持を集めた登壇発表を行った発表者に授与されます．
コンピュータソフトウェア誌に受賞研究紹介が掲載される予定です．
: 日本ソフトウェア科学会大会にて発表しました
日本ソフトウェア科学会第40回大会にて，上野が以下のタイトルで発表しました．
- 上野 雄大: Minissg: 小さく軽量で規約のない静的Webサイトジェネレータ
研究室概要
プログラミング言語やプログラミング技術について研究しています．例えば，新しいプログラミングの枠組みの構築や，新しいプログラミング言語の設計・開発，およびそれらを基礎とした次世代のプログラミング環境の実現に向けた研究などに取り組んでいます．また，次世代の関数型言語SML#の開発を推進しています．詳しくは研究内容のページをご覧ください．
学部の卒業研究では，既存の枠組みや教員の専門領域に固執せず，学生各自の純粋な興味や自由な発想を知能情報システムの中に位置付け，ソフトウェアシステム，プログラミング，計算，言語などの本質に迫る試みを行っています．教育方針について詳しくは学生教育のページを，これまでの学生の歩みについては研究発表のページをそれぞれご覧ください．
当研究室の研究内容や教育方針などに興味をお持ちの方は，上野にメールでご連絡の上，研究室にお越しください．年次・所属・時期を問わず歓迎いたします．
目次
多くのページは準備中です．今のところ以下のページは内容があります．