上野 雄大 (Katsuhiro Ueno)

• 博士（情報科学）
• 助教 (Assitant Professor) in Ohori Lab., Research Institute of Electrical Communication, Tohoku University.

Research Interest

Design and implementation of programming languages, functional programming, and software design.

Projects

• I am a resident developer of SML# Project.

Lectures

Lecture notes are available only for students and staffs of Tohoku University.

• 創造工学研修 「プログラミング言語開発の最前線体験　SML#コンパイラの最新機能に触れる」
  • 2011: Writing visualizer plugins for Windows Media Player in SML#
  • 2010: Web service mashup programming in SML#
  • 2009: Sound programming in SML#

Papers and Presentations

注意： 発表スライドはあくまで参考のために公開しているものであり，それ単独で有用な資料となることを意図していません．また，スライドは発表当時の聴衆の傾向や会場の雰囲気などに合わせて作成しているため，学術資料と見たときに不適切と思われるかもしれない表現やジョークが含まれていることがあることにご留意下さい．

Note: Presentation slides are available for your information, but every slide is not intended to be an useful material as itself. Since the slides are made just for audiences at the presentations, they may include some expressions or jokes which you might feel inappropriate as academic publications.

• 菊池大志, 上野雄大, 森畑明昌, 大堀淳. 型付き関数型言語からシェルスクリプトへの外部関数インタフェース（ポスター）. 第14回プログラミングおよびプログラミング言語ワークショップ（PPL2012）, 2012.
• 上野雄大, 大堀淳. ビットマップマーキングに基づくnon-moving GCの可能性. In: 日本ソフトウェア科学会第28回大会論文集, 6A-1, 2011.
• 大堀淳, 上野雄大. SML#：実用関数型言語としての完成に向けて. In: 日本ソフトウェア科学会第28回大会論文集, 4A-1, 2011.
• 菊池大志, 上野雄大, 森畑明昌, 大堀淳. シェルスクリプトを型付き関数型言語にインポートする機構の実現. 日本ソフトウェア科学会第28回大会（萌芽セッション）, 1B-1, 2011.
• Atsushi Ohori and Katsuhiro Ueno. Making Standard ML a Practical Database Programming Language. In ICFP '11, pp. 307–319, 2011. (Avaliable from ACM Digital Library)
• Katsuhiro Ueno, Atsushi Ohori, and Toshiaki Otomo. An Efficient Non-Moving Garbage Collector for Functional Languages. In ICFP '11, pp. 196–208, 2011. (Avaliable from ACM Digital Library) (slide)
• うえのかつひろ. SML#開発最前線. 函数プログラミングの集い 2011 in Tokyo, 2011. (slide)
• 大友聡顕, 上野雄大, 大堀淳. オブジェクトを移動させない，関数型言語に適したビットマップマーキングガベージコレクションの提案（ポスター）. 第13回プログラミングおよびプログラミング言語ワークショップ（PPL2011）, 2011.
• 齋藤啓太, 上野雄大, 大堀淳. コンパイラ内部機能を利用したプログラム開発環境の構築（ポスター）. 第13回プログラミングおよびプログラミング言語ワークショップ（PPL2011）, 2011.
• 松島勇介, 上野雄大, 森畑明昌, 大堀淳. 宣言的記述からの関数型言語によるゲームプログラムの導出. In 第13回プログラミングおよびプログラミング言語ワークショップ（PPL2011）論文集, pp. 193–207, 2011.
• 高橋和将, 森畑明昌, 上野雄大, 大堀淳. 生存区間を変数名とする中間表現の実装と，それに基づく最適化. In 第13回プログラミングおよびプログラミング言語ワークショップ（PPL2011）論文集, pp. 16–30, 2011.
• 上野雄大, 大堀淳. 多相レコード計算に基づく軽量な第一級オーバーロードの設計と実装. In: 日本ソフトウェア科学会第27回大会論文集, 6A-2, 2010.
• 齋藤啓太, Paul A. Reisert, 上野雄大, 大堀淳. SML#コンパイラと連携したEclipseプラグインの試作―コンパイラ内部機能のユーザへの提供に向けて―. 日本ソフトウェア科学会第27回大会（学生セッション）, 3C-2, 2010.
• 松島勇介, 森畑明昌, 上野雄大, 大堀淳. SML＃を用いた2Dアクションゲームの試作―関数型言語によるゲーム製作環境構築に向けて―. 日本ソフトウェア科学会第27回大会（学生セッション）, 3C-3, 2010.
• 高橋和将, 森畑明昌, 上野雄大, 大堀淳. 生存区間を変数名とする中間表現の提案. 日本ソフトウェア科学会第27回大会（学生セッション）, 3C-4, 2010.
• 上野雄大, 大堀淳. SML#の外部関数インターフェース. コンピュータソフトウェア, Vol. 27, No. 2, pp. 142–168, 2010. (Avaliable from J-STAGE)
• 上野雄大, 大堀淳. MLとC間の多相型外部関数インターフェース. In FIT2009: 第8回情報科学技術フォーラム講演論文集, pp. 317–318, 2009. (Available from CiNii)
• Atsushi Ohori, Katsuhiro Ueno. Interfacing with C Polymorphically. 6th Asian Workshop on Foundations of Software (AWFS2009), 2009.
• 上野雄大, 大堀淳. 制御フローの合流のための計算系. 情報処理学会 論文誌（トランザクション） プログラミング(PRO), Vol. 1, No. 3, pp. 19–33, 2008. (Available from IPSJ Digital Library)
• うえのかつひろ. ちょっと草植えときますね型言語Grass（ライトニングトーク）. Lightweight Language Future, 2008. (Slide is available from LL Future Web site. Video is available from ニコニコ動画.)
• 上野雄大, 大堀淳. 型代入を遅延する最適化型推論アルゴリズム. コンピュータソフトウェア, Vol. 25, No. 2, pp. 101–113, 2008. (Available from J-STAGE)
• 上野雄大, 大堀淳. 制御フローの合流のための計算系. 情報処理学会 第69回プログラミング研究会 (PRO-2008-1), 2008.
• 大堀淳, 上野雄大. SML#の実用的側面（飛び入り, デモセッション）. 第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007), 2007.
• 上野雄大, 大堀淳. 型代入を遅延する最適化型推論アルゴリズム. In 日本ソフトウェア科学会第22回大会論文集, 7A-3, 2005.
• 上野雄大. Standard MLer から見た ML 概要. Lightweight Language Day and Night, 2005.
• うえのかつひろ. スクラッチから作る Linux システム ～始動編～. 2001年10月度LILO Monthly Seminar, 2001.
• うえのかつひろ. スクラッチから作る Linux システム ～胎動編～. 2001年5月度LILO Monthly Seminar, 2001.

Awards

• 日本ソフトウェア科学会第27回大会 高橋奨励賞, 2011. （多相レコード計算に基づく軽量な第一級オーバーロードの設計と実装）

Contact

• PGP public key