新潟大学工学部 上野研究室

最近の出来事

これより前の出来事

研究室概要

プログラミング言語やプログラミング技術について研究しています.例えば,新しいプログラミングの枠組みの構築や,新しいプログラミング言語の設計・開発,およびそれらを基礎とした次世代のプログラミング環境の実現に向けた研究などに取り組んでいます.また,次世代の関数型言語SML#の開発を推進しています.詳しくは研究内容のページをご覧ください.

学部の卒業研究では,既存の枠組みや教員の専門領域に固執せず,学生各自の純粋な興味や自由な発想を知能情報システムの中に位置付け,ソフトウェアシステム,プログラミング,計算,言語などの本質に迫る試みを行っています.教育方針について詳しくは学生教育のページを,これまでの学生の歩みについては研究発表のページをそれぞれご覧ください.

当研究室の研究内容や教育方針などに興味をお持ちの方は,上野にメールでご連絡の上,研究室にお越しください.年次・所属・時期を問わず歓迎いたします.

目次

多くのページは準備中です.今のところ以下のページは内容があります.