最近の研究発表・学位論文

当研究室メンバーによる主な研究発表の一覧です．各メンバーによる業績の詳細な一覧は各メンバーの個人のWebサイトをご参照下さい．

発表論文

• Akimasa Morihata，Kazuhiko Kakehi，Zhenjiang Hu，Masato Takeichi．Manipulating Accumulative Functions by Swapping Call-time and Return-time Computations，J. Funct. Program., 22(3), 2012.
• 篠埜 功, 大堀 淳. SML#へのC言語の埋め込み, コンピュータソフトウェア, 29(2), 2012.
• Akimasa Morihata, Calculatinal Developments of New Parallel Algorithms for Size-constrained Maximum-Sum Segment Problems, In Proc. FLOPS 2012, LNCS 7294, 2012.
• 森畑明昌．先読み付き正規表現の有限状態オートマトンへの変換，コンピュータソフトウェア 29(1), 2012.
• 上野雄大，大堀淳．多相レコード計算に基づく軽量な第一級オーバーロードの設計と実装，コンピュータソフトウェア，29(1)，pp.191-210，2012．
• Akimasa Morihata．Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism，In Proc. APLAS 2011, LNCS 7078, 2011．
• Akimasa Morihata and Kiminori Matsuzaki. Balanced trees inhabiting functional parallel programming. In Proc. ACM ICFP 2011, 2011.
• Katsuhiro Ueno, Atsushi Ohori, and Toshiaki Otomo. An efficient non-moving garbage collector for functional languages. In Proc. ACM ICFP 2011, 2011.
• Atsushi Ohori and Katsuhiro Ueno. Making standard ML a practical database programming language. In Proc. ACM ICFP 2011, 2011.
• Shin-Cheng Mu and Akimasa Morihata. Generalising and dualising the third list-homomorphism theorem: functional pearl. In Proc. ACM ICFP 2011.
• Akimasa Morihata, Kiminori Matsuzaki. A practical tree contraction algorithm for parallel skeletons on trees of unbounded degree. Procedia CS 4, 2011.
• 森畑明昌，松崎公紀，武市正人. 領域限定言語に基づく最適経路問合せ. 情報処理学会論文誌 プログラミング 4(2), 2011.
• Akimasa Morihata. A Short Cut to Optimal Sequences. New Generation Computing 29(1), 2011.
• Shin-Cheng Mu, Yu-Han Lyu, and Akimasa Morihata. Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning. In Proc. ACM Workshop on Generic Programming 2010, 2010.
• 上野雄大，大堀淳. SML#の外部関数インターフェース. コンピュータソフトウェア 27(2)，2010．
• Akimasa Morihata and Kiminori Matsuzaki. Automatic parallelization of recursive functions using quantifier elimination. In Proc. FLOPS 2010, LNCS 6009, 2010.
• 上野雄大，大堀淳. 制御フローの合流のための計算系. 情報処理学会 論文誌（トランザクション） プログラミング(PRO) 1(3)，2008．
• 上野雄大，大堀淳. 型代入を遅延する最適化型推論アルゴリズム. コンピュータソフトウェア 25(2)，2008．
• Atsushi Ohori. A Proof Theory for Machine Code. ACM TOPLAS 29(6), 2007.
• Tomoyuki Higuchi and Atsushi Ohori. A static type system for JVM access control. ACM TOPLAS 29(1), 2007.
• Atsushi Ohori and Isao Sasano. Lightweight fusion by fixed point promotion. In Proc. ACM POPL 2007, 2007.
• Yutaka Matsuno and Atsushi Ohori. A Type System Equivalent to Static Single Assignment. In Proc. ACM PPDP 2006, 2006.
• Huu-Duc Nguyen and Atsushi Ohori. Compiling ML Polymorphism with Explicit Layout Bitmap, In Proc. ACM PPDP 2006, 2006.
• Kwanghoon Choi and Atsushi Ohori. A Type Theory for Krivine-Style Evaluation and Compilation. In Proc. APLAS 2004, 2004.

学生による研究発表

• 朝井雄大, 上野雄大, 森畑明昌, 大堀淳. Cとの連携機能を持つ関数型言語におけるプロファイラの試作. 第15回プログラミングおよびプログラミング言語ワークショップ, 2013.
• 藤井貴啓, 上野雄大, 森畑明昌, 大堀淳. SML#のデータベース連携機能を活用したウェブアプリケーション構築技術. 第15回プログラミングおよびプログラミング言語ワークショップ, 2013.
• 小石真人, 森畑明昌, 大堀淳. 二次元最大重み和問題のプログラム変換に基づく解法. 第15回プログラミングおよびプログラミング言語ワークショップ, 2013.
• 相澤 遥也, 徳田 亮平, 森畑明昌, 大堀淳. ヘッダーファイルからSML#へのC関数の自動インポート. 第15回プログラミングおよびプログラミング言語ワークショップ (ポスター・デモセッション), 2013.
• 深澤 優鷹, 上野 雄大, 森畑 明昌, 大堀 淳. Rubyの操作的意味論の形式的定義に向けて. 第15回プログラミングおよびプログラミング言語ワークショップ (ポスターセッション), 2013.
• 斎藤 皓, 上野 雄大, 森畑 明昌, 大堀 淳. SML#のSQL統合へのgroup byの導入. 第15回プログラミングおよびプログラミング言語ワークショップ (ポスターセッション), 2013.
• 藤井貴啓，上野雄大，大堀淳．SML#を用いたWebアプリケーションの試作 - 関数型言語によるWebとデータベースのシームレスな連携に向けて，日本ソフトウェア科学会第29回大会（デモ・ポスターセッション），法政大学，2012年8月23日．
• 小石真人，森畑明昌，大堀淳．二次元最大重み和問題の解法のプログラム変換を用いた導出，日本ソフトウェア科学会第29回大会（萌芽セッション），法政大学，2012年8月22日．
• 菊池大志，上野雄大，森畑明昌，大堀淳，型付き関数型言語からシェルスクリプトへの外部関数インターフェース，第14回プログラミングおよびプログラミング言語ワークショップ（ポスター・デモ発表）， 2012年.
• 菊池 大志，上野 雄大，森畑 明昌，大堀 淳，シェルスクリプトを型付き関数型言語へインポートする機構の実現，日本ソフトウェア科学会第28回大会，2011年.
• 松島勇介，上野雄大，森畑明昌，大堀淳，宣言的記述からの関数型言語によるゲームプログラムの導出，第13回プログラミングおよびプログラミング言語ワークショップ, 2011年.（発表賞受賞）
• 高橋和将，森畑明昌，上野雄大，大堀淳，生存区間を変数名とする中間表現の実装と，それに基づく最適化，第13回プログラミングおよびプログラミング言語ワークショップ, 2011年.
• 大友 聡顕，上野 雄大，大堀 淳，オブジェクトを移動させない，関数型言語に適したビットマップマーキングガベージコレクションの提案，第13回プログラミングおよびプログラミング言語ワークショップ（ポスター発表），2011年.
• 齋藤 啓太，上野 雄大，大堀 淳，コンパイラ内部機能を利用したプログラム開発環境の構築，第13回プログラミングおよびプログラミング言語ワークショップ（ポスター・デモ発表），2011年.
• 齋藤 啓太，Paul A. Reisert，上野 雄大，大堀 淳，SML#コンパイラと連携したEclipseプラグインの試作 - コンパイラ内部機能のユーザへの提供に向けて -，日本ソフトウェア科学会第27回大会，2010年．（学生奨励賞（学生セッション部門）受賞）
• 松島 勇介，森畑 明昌，上野 雄大，大堀 淳，SML＃を用いた2Dアクションゲームの試作 - 関数型言語によるゲーム製作環境構築に向けて -，日本ソフトウェア科学会第27回大会，2010年．
• 高橋 和将，森畑 明昌，上野 雄大，大堀 淳，生存区間を変数名とする中間表現の提案，日本ソフトウェア科学会第27回大会，2010．
• 山本雅洋，大堀淳，変数の生存区間解析のためのSATソルバを用いた型推論アルゴリズム，第11回プログラミングおよびプログラミング言語ワークショップ (PPL2009)，2009年．

大堀研に配属された学生による学位論文の一覧です．

学部卒業論文

• 斎藤 皓，SML#のSQL拡張機能への集約関数の導入に関する研究，卒業論文，2012年．
• 深澤 優鷹，型付き関数型言語とRubyの連携に関する研究，卒業論文，2012年．
• 朝井 雄大，オブジェクトを移動しないマルチスレッド対応メモリー管理機構の研究，卒業論文，2011年．
• 佐藤 浩之，データベースと統合された言語におけるデータベース切り替え機構の研究，卒業論文，2011年．
• 菊池大志，関数型言語への正規表現パターンの導入方式の研究，卒業論文，2010年．
• 槻木澤光紘，関数型言語に適したIPv6ソケットインタフェイスの設計と試作，卒業論文，2010年.
• 齋藤啓太，バックトラックを用いた柔軟で効率的な構文解析方式の研究，卒業論文，2009年．
• 大友聡顕，並列実行可能な仮想機械の研究，卒業論文，2009年．
• 遠藤弘基，SML#評価器によるSML#コンパイラ機能のスクリプティング環境の構築，卒業論文，2008年．
• 松島勇介，SML#評価器によるSML#プログラムへのコンパイル時評価式の導入，卒業論文，2008年．
• 大橋翼，SML#におけるグラフィカルユーザインタフェイスの実現，卒業論文，2007年．
• 山本雅洋，SML#における外部ライブラリインタフェイス自動生成方式，卒業論文，2007年．

修士論文

• 菊池大志，シェルスクリプトと型付き関数型言語の連携に関する研究，修士論文，2012年．
• 大友聡顕，オブジェクトを移動させない新しいGC方式の研究，修士論文，2011年．
• 齋藤啓太，コンパイラ内部機能を利用したプログラム開発環境の構築，修士論文，2011年．
• 高橋和将，生存区間を変数名とする中間表現の提案，修士論文，2011年．
• 松島勇介，関数型言語におけるゲームプログラミング環境の開発，修士論文，2011年．
• 遠藤弘基，関数型言語とデータベースの相互運用のための型付きデータベース接続の実現，修士論文，2010年．
• 山本雅洋，SATソルバを用いたコード最適化の研究，修士論文，2009年．
• 劉榴，SML#へのC言語の埋め込みに関する研究，修士論文，2009年．

博士論文

• 上野雄大，相互運用性を実現する関数型言語の型主導コンパイル方式の研究，博士論文，2009年．