差分

このページの2つのバージョン間の差分を表示します。

--- public:thesis [2024/06/18 20:44] – [テーブル] 2023年度分を追加 20tsaitou
+++ public:thesis [2025/09/30 17:59] (現在) – [テーブル] 2024年度を追記 20tsaitou
@@ 行 1: / 行 1: @@
 ====== 過去の学位論文 ======
-^ 年度  ^ 学位  ^ 名前                     ^ 題名                                                                                  ^
+^ 年度  ^ 学位  ^ 名前                     ^ 題名                                                                                              ^
-| 2023  | 修士  | 小林 健吾                | 組み込み機器向けJavaScript処理系におけるイベント駆動システムの設計と実機検証          |
+| 2024  | 修士  | 齊藤 百香                | メタプログラミングを用いた計算粒度と正確さの制御によるImproving Floating-Point Numbersの性能改善  |
-| :::   | :::   | 大塚 貴斗                | 静的型検査による安全なシステムソフトウェアの記述支援                                  |
+| :::   | :::   | 山本 武蔵                | ソフトリアルタイムシステムにおけるCPU使用率の向上を目指したDEADLINEスケジューラの拡張             |
-| :::   | :::   | 岡本 憲汰                | 関数プログラムの言語要素に依存したふるまいを比較可能な学習支援ツール                  |
+| :::   | :::   | 高橋 裕司                | AngelScriptとC++の連携記述を支援するC++ライブラリの設計と実装                                     |
-| 2022  | 修士  | 安積 直道                | ソフトウェアテストを評価するためのバグ入りアプリケーションの自動生成                  |
+| 2023  | 修士  | 小林 健吾                | 組み込み機器向けJavaScript処理系におけるイベント駆動システムの設計と実機検証                      |
-| :::   | :::   | 冨井 陸矢                | メタヒューリスティクスの適用を効率的に記述するドメイン特化言語                        |
+| :::   | :::   | 大塚 貴斗                | 静的型検査による安全なシステムソフトウェアの記述支援                                              |
-| :::   | :::   | 長安 尚之                | 複製に基づく永続化を行うシステムにおける不揮発性メモリ管理手法                        |
+| :::   | :::   | 岡本 憲汰                | 関数プログラムの言語要素に依存したふるまいを比較可能な学習支援ツール                              |
-| :::   | 学士  | 齊藤 百香                | 数値計算ライブラリIFNの数値表現の改良と合成演算の導入によるメモリ効率の改善           |
+| 2022  | 修士  | 安積 直道                | ソフトウェアテストを評価するためのバグ入りアプリケーションの自動生成                              |
-| :::   | :::   | 山本 武蔵                | CPU使用率の向上を目指したDEADLINEスケジューラの拡張                                   |
+| :::   | :::   | 冨井 陸矢                | メタヒューリスティクスの適用を効率的に記述するドメイン特化言語                                    |
-| 2021  | 修士  | 小野澤 拓                | 組み込み機器向けJavaScript処理系に向けた空間効率の良いごみ集めの実現                  |
+| :::   | :::   | 長安 尚之                | 複製に基づく永続化を行うシステムにおける不揮発性メモリ管理手法                                    |
-| :::   | :::   | 齋藤 匡                  | 静的性と動的性を共存させたJavaScript処理系の最適化                                    |
+| :::   | 学士  | 齊藤 百香                | 数値計算ライブラリIFNの数値表現の改良と合成演算の導入によるメモリ効率の改善                       |
-| :::   | :::   | 平澤 祐太                | JavaScript 仮想機械を記述するための領域特化言語                                       |
+| :::   | :::   | 山本 武蔵                | CPU使用率の向上を目指したDEADLINEスケジューラの拡張                                               |
-| :::   | :::   | 宮島 拓三                | ブロック型言語からテキスト型言語への移行を補助するプログラミング学習環境              |
+| 2021  | 修士  | 小野澤 拓                | 組み込み機器向けJavaScript処理系に向けた空間効率の良いごみ集めの実現                              |
-| :::   | 学士  | 小林 健吾                | 組み込み用JavaScript処理系におけるイベントループの実装                                |
+| :::   | :::   | 齋藤 匡                  | 静的性と動的性を共存させたJavaScript処理系の最適化                                                |
-| :::   | :::   | 大塚 貴斗                | ゲストOSのカーネル内メモリへのアクセスを容易にするドメイン特化言語                    |
+| :::   | :::   | 平澤 祐太                | JavaScript 仮想機械を記述するための領域特化言語                                                   |
-| :::   | :::   | 岡本 憲汰                | 言語要素のモジュール化による関数言語処理系生成フレームワーク                          |
+| :::   | :::   | 宮島 拓三                | ブロック型言語からテキスト型言語への移行を補助するプログラミング学習環境                          |
-| :::   | :::   | 高橋 裕司                | JavaScript処理系における属性値参照の効率化                                            |
+| :::   | 学士  | 小林 健吾                | 組み込み用JavaScript処理系におけるイベントループの実装                                            |
-| :::   | :::   | 石井 琢満                | cgroupによるCPU使用率の動的制御                                                       |
+| :::   | :::   | 大塚 貴斗                | ゲストOSのカーネル内メモリへのアクセスを容易にするドメイン特化言語                                |
-| 2020  | 学士  | 安積 直道                | バグ入りJavaアプリケーションの自動生成ツールの実装                                    |
+| :::   | :::   | 岡本 憲汰                | 言語要素のモジュール化による関数言語処理系生成フレームワーク                                      |
-| :::   | :::   | 冨井 陸矢                | JavaScriptコンパイラの最適化処理の改良                                                |
+| :::   | :::   | 高橋 裕司                | JavaScript処理系における属性値参照の効率化                                                        |
-| :::   | :::   | 長安 尚之                | データ永続化機能を持つJava処理系のメモリアロケータの実装                              |
+| :::   | :::   | 石井 琢満                | cgroupによるCPU使用率の動的制御                                                                   |
-| 2019  | 修士  | 浅見 祥喜                | 仮想マシン内部情報を簡潔かつ対話的に取得可能なシステム                                |
+| 2020  | 学士  | 安積 直道                | バグ入りJavaアプリケーションの自動生成ツールの実装                                                |
-| :::   | :::   | 加藤 直斗                | 並列化技法を選択可能なグラフ処理系及び抽象化言語の実装                                |
+| :::   | :::   | 冨井 陸矢                | JavaScriptコンパイラの最適化処理の改良                                                            |
-| :::   | :::   | 西山 舜                  | スタック機構を持つ木変換器の表現力                                                    |
+| :::   | :::   | 長安 尚之                | データ永続化機能を持つJava処理系のメモリアロケータの実装                                          |
-| :::   | :::   | 宮野 温                  | 検証付き記号的モデル検査器の実装                                                      |
+| 2019  | 修士  | 浅見 祥喜                | 仮想マシン内部情報を簡潔かつ対話的に取得可能なシステム                                            |
-| :::   | 学士  | 小野澤 拓                | アプリケーションと実行環境に適応したカスタマイズが可能なJavaScript処理系              |
+| :::   | :::   | 加藤 直斗                | 並列化技法を選択可能なグラフ処理系及び抽象化言語の実装                                            |
-| :::   | :::   | 平澤 祐太                | JavaScript仮想機械における詳細な型解析に基づく型ディスパッチコードの最適化            |
+| :::   | :::   | 西山 舜                  | スタック機構を持つ木変換器の表現力                                                                |
-| 2018  | 修士  | 秋葉 柊哉                | グラフ並列分散処理のための計算モデルを選択可能な領域特化言語の設計                    |
+| :::   | :::   | 宮野 温                  | 検証付き記号的モデル検査器の実装                                                                  |
-| :::   | :::   | 大町 一仁                | eJSを使った組込みシステム開発フレームワーク                                           |
+| :::   | 学士  | 小野澤 拓                | アプリケーションと実行環境に適応したカスタマイズが可能なJavaScript処理系                          |
-| :::   | :::   | 阿部 和敬                | 高階木変換器を経由したマクロ木変換器の直接的融合                                      |
+| :::   | :::   | 平澤 祐太                | JavaScript仮想機械における詳細な型解析に基づく型ディスパッチコードの最適化                        |
-| :::   | :::   | 小澤 祐也                | 余帰納的証明のためのガード条件の漸進的検査および自動化支援                            |
+| 2018  | 修士  | 秋葉 柊哉                | グラフ並列分散処理のための計算モデルを選択可能な領域特化言語の設計                                |
-| :::   | :::   | 高橋 祐多                | ランク付き木から文字列への決定性ストリーム変換器の表現力                              |
+| :::   | :::   | 大町 一仁                | eJSを使った組込みシステム開発フレームワーク                                                       |
-| :::   | 学士  | 小沼 晋                  | プロセスに対するヘルスチェック機構を用いたRedox OS上でのシステムの安定化の実現        |
+| :::   | :::   | 阿部 和敬                | 高階木変換器を経由したマクロ木変換器の直接的融合                                                  |
-| :::   | :::   | 大林 健造                | JavaScript仮想機械 (eJSVM) における対話的なプログラミング環境の実現                   |
+| :::   | :::   | 小澤 祐也                | 余帰納的証明のためのガード条件の漸進的検査および自動化支援                                        |
-| :::   | :::   | 棚橋 健人                | 数値や文字列に対するガードを含む累積引数付き再帰関数の融合                            |
+| :::   | :::   | 高橋 祐多                | ランク付き木から文字列への決定性ストリーム変換器の表現力                                          |
-| 2017  | 修士  | 青山 航                  | ディレクトリ毎にジャーナリングモードを設定可能なファイルシステム                      |
+| :::   | 学士  | 小沼 晋                  | プロセスに対するヘルスチェック機構を用いたRedox OS上でのシステムの安定化の実現                    |
-| :::   | :::   | 赤澤 亮弥                | 言語仮想機械におけるカスタマイズ可能なごみ集めモジュールの実装                        |
+| :::   | :::   | 大林 健造                | JavaScript仮想機械 (eJSVM) における対話的なプログラミング環境の実現                               |
-| :::   | :::   | 徐 振宇                  | 監視対象システムを止めずにカーネル制御フロー改変ルートキットを検知するシステムの実現  |
+| :::   | :::   | 棚橋 健人                | 数値や文字列に対するガードを含む累積引数付き再帰関数の融合                                        |
-| :::   | :::   | 中川 涼太                | 属性付き記号的木変換器の合成                                                          |
+| 2017  | 修士  | 青山 航                  | ディレクトリ毎にジャーナリングモードを設定可能なファイルシステム                                  |
-| :::   | :::   | 早川 恵太                | 定理証明支援系Coq における証明木を操作可能なインタフェースの設計および実装            |
+| :::   | :::   | 赤澤 亮弥                | 言語仮想機械におけるカスタマイズ可能なごみ集めモジュールの実装                                    |
-| :::   | :::   | 山田 伊織                | 定理証明支援系Coqにおける手続き的証明から宣言的証明への変換                           |
+| :::   | :::   | 徐 振宇                  | 監視対象システムを止めずにカーネル制御フロー改変ルートキットを検知するシステムの実現              |
-| :::   | 学士  | 浅見 祥喜                | 仮想マシンモニタにおけるディスク入出力監視によるマルウェア検知                        |
+| :::   | :::   | 中川 涼太                | 属性付き記号的木変換器の合成                                                                      |
-| :::   | :::   | 加藤 直斗                | Fregelコンパイラにおける不要な値送受信の削減                                          |
+| :::   | :::   | 早川 恵太                | 定理証明支援系Coq における証明木を操作可能なインタフェースの設計および実装                        |
-| :::   | :::   | 近松 万由子              | Haskellのビジュアルプログラミング環境の実装                                           |
+| :::   | :::   | 山田 伊織                | 定理証明支援系Coqにおける手続き的証明から宣言的証明への変換                                       |
-| :::   | :::   | 西山 舜                  | スタック構造の累積引数を持つ関数を融合するための木変換器合成                          |
+| :::   | 学士  | 浅見 祥喜                | 仮想マシンモニタにおけるディスク入出力監視によるマルウェア検知                                    |
-| :::   | :::   | 宮澤 修                  | Ruby 処理系への Gradual Typing の実装                                                 |
+| :::   | :::   | 加藤 直斗                | Fregelコンパイラにおける不要な値送受信の削減                                                      |
-| :::   | :::   | 宮野 温                  | 定理証明支援系Coqによる検証付きモデル検査器の実装                                     |
+| :::   | :::   | 近松 万由子              | Haskellのビジュアルプログラミング環境の実装                                                       |
-| :::   | :::   | 矢野 こずえ              | eJSプロジェクトにおけるコンパイラの改良                                               |
+| :::   | :::   | 西山 舜                  | スタック構造の累積引数を持つ関数を融合するための木変換器合成                                      |
-| 2016  | 修士  | 丹治 将貴                | Rubyに対するGradual typingの導入                                                      |
+| :::   | :::   | 宮澤 修                  | Ruby 処理系への Gradual Typing の実装                                                             |
-| :::   | :::   | 北原 元気                | 既存のコード資産を利用した制御構文補完機構                                            |
+| :::   | :::   | 宮野 温                  | 定理証明支援系Coqによる検証付きモデル検査器の実装                                                 |
-| :::   | :::   | 木下 大輔                | 部分的なプログラムの変更を考慮した証明支援                                            |
+| :::   | :::   | 矢野 こずえ              | eJSプロジェクトにおけるコンパイラの改良                                                           |
-| :::   | 学士  | 秋葉 柊哉                | FregelコンパイラのPregel+への対応                                                     |
+| 2016  | 修士  | 丹治 将貴                | Rubyに対するGradual typingの導入                                                                  |
-| :::   | :::   | 駒村 春野                | グラフ処理アルゴリズムの Pregel による記述とデザインパターンの抽出                    |
+| :::   | :::   | 北原 元気                | 既存のコード資産を利用した制御構文補完機構                                                        |
-| :::   | :::   | 谷 大輝                  | Linuxカーネルモジュール開発支援システムの検討                                         |
+| :::   | :::   | 木下 大輔                | 部分的なプログラムの変更を考慮した証明支援                                                        |
-| :::   | :::   | 宮下 優希                | 関数型プログラミング風のシェルスクリプトの実装                                        |
+| :::   | 学士  | 秋葉 柊哉                | FregelコンパイラのPregel+への対応                                                                 |
-| :::   | :::   | 森田 浩平                | Jikes RVM におけるメモリ割り付け機構の実装                                            |
+| :::   | :::   | 駒村 春野                | グラフ処理アルゴリズムの Pregel による記述とデザインパターンの抽出                                |
-| :::   | :::   | ラトル アモグ            | 学習アルゴリズムの並列分散グラフフレームワークを使った実装                            |
+| :::   | :::   | 谷 大輝                  | Linuxカーネルモジュール開発支援システムの検討                                                     |
-| :::   | :::   | 阿部 和敬                | マクロ森トランスデューサの実用的な型検査器の実装                                      |
+| :::   | :::   | 宮下 優希                | 関数型プログラミング風のシェルスクリプトの実装                                                    |
-| :::   | :::   | 小澤 祐也                | 定理証明支援系 Coq のプログラムからのSQLクエリの抽出                                  |
+| :::   | :::   | 森田 浩平                | Jikes RVM におけるメモリ割り付け機構の実装                                                        |
-| :::   | :::   | 甲斐 宏味                | Scala における Improving Sequences ライブラリの応用と改良                             |
+| :::   | :::   | ラトル アモグ            | 学習アルゴリズムの並列分散グラフフレームワークを使った実装                                        |
-| :::   | :::   | 神田 世奈                | 導出システム学習ツールに対する視覚的インタフェースの実装                              |
+| :::   | :::   | 阿部 和敬                | マクロ森トランスデューサの実用的な型検査器の実装                                                  |
-| :::   | :::   | 北林 丈人                | 軽量関数融合のOCamlにおける実装                                                       |
+| :::   | :::   | 小澤 祐也                | 定理証明支援系 Coq のプログラムからのSQLクエリの抽出                                              |
-| :::   | :::   | 高橋 祐多                | 木構造から文字列への関数の等価性判定の実装                                            |
+| :::   | :::   | 甲斐 宏味                | Scala における Improving Sequences ライブラリの応用と改良                                         |
-| 2015  | 博士  | 高野 保真                | 遅延評価に基づく関数型言語におけるメモリ割当量の削減                                  |
+| :::   | :::   | 神田 世奈                | 導出システム学習ツールに対する視覚的インタフェースの実装                                          |
-| :::   | 修士  | 新井 椋也                | Pythonに対する契約を用いた仕様の記述システム                                          |
+| :::   | :::   | 北林 丈人                | 軽量関数融合のOCamlにおける実装                                                                   |
-| :::   | :::   | 小式澤 篤                | 高い表現力を持つ軽量マークアップ言語の設計と実装                                      |
+| :::   | :::   | 高橋 祐多                | 木構造から文字列への関数の等価性判定の実装                                                        |
-| :::   | :::   | 藤井 亮太                | 変更履歴を利用したパッケージ管理のためのバージョン管理システム                        |
+| 2015  | 博士  | 高野 保真                | 遅延評価に基づく関数型言語におけるメモリ割当量の削減                                              |
-| :::   | :::   | 山本 竜太郎              | 部品化を指向したWebアプリケーション開発の枠組みの設計と実装                           |
+| :::   | 修士  | 新井 椋也                | Pythonに対する契約を用いた仕様の記述システム                                                      |
-| :::   | :::   | 渡邉 秀隆                | 特定の言語に偏向しないGrammatical Frameworkの実現                                     |
+| :::   | :::   | 小式澤 篤                | 高い表現力を持つ軽量マークアップ言語の設計と実装                                                  |
-| :::   | 学士  | 小貫 翔                  | Twitter上の画像転載の検出と検索サービスの作成                                         |
+| :::   | :::   | 藤井 亮太                | 変更履歴を利用したパッケージ管理のためのバージョン管理システム                                    |
-| :::   | :::   | 青山 航                  | ファイル毎にフックを設定可能なシステム                                                |
+| :::   | :::   | 山本 竜太郎              | 部品化を指向したWebアプリケーション開発の枠組みの設計と実装                                       |
-| :::   | :::   | 赤澤 亮弥                | 効率的な部分コンパクションの実装に向けて                                              |
+| :::   | :::   | 渡邉 秀隆                | 特定の言語に偏向しないGrammatical Frameworkの実現                                                 |
-| :::   | :::   | 佐藤 洋佑                | LinuxカーネルにおけるI/O優先度操作機構の実現                                          |
+| :::   | 学士  | 小貫 翔                  | Twitter上の画像転載の検出と検索サービスの作成                                                     |
-| :::   | :::   | 山田 伊織                | 定理証明支援系CoqからのD言語プログラムの抽出                                          |
+| :::   | :::   | 青山 航                  | ファイル毎にフックを設定可能なシステム                                                            |
-| :::   | :::   | 櫻井 健二                | OCaml におけるデバッグ出力機構の実装                                                  |
+| :::   | :::   | 赤澤 亮弥                | 効率的な部分コンパクションの実装に向けて                                                          |
-| :::   | :::   | 徐 振宇                  | ローダブル・カーネル・モジュールによるシステムコール拡張を容易にする領域特化言語      |
+| :::   | :::   | 佐藤 洋佑                | LinuxカーネルにおけるI/O優先度操作機構の実現                                                      |
-| :::   | :::   | 中川 涼太                | 属性文法合成による関数融合の実装                                                      |
+| :::   | :::   | 山田 伊織                | 定理証明支援系CoqからのD言語プログラムの抽出                                                      |
-| :::   | :::   | 早川 恵太                | 定理証明支援系Coqにおける証明の視認性の向上                                           |
+| :::   | :::   | 櫻井 健二                | OCaml におけるデバッグ出力機構の実装                                                              |
-| 2014  | 博士  | 佐藤 重幸                | Structured Parallel Programming with Trees                                            |
+| :::   | :::   | 徐 振宇                  | ローダブル・カーネル・モジュールによるシステムコール拡張を容易にする領域特化言語                  |
-| :::   | 修士  | 大泉 良介                | 問題演習を目的としたOnline Python Tutorの拡張                                         |
+| :::   | :::   | 中川 涼太                | 属性文法合成による関数融合の実装                                                                  |
-| :::   | :::   | 柏崎 由貴菜              | Redmineへのチケットのグラフ表示機能の追加                                             |
+| :::   | :::   | 早川 恵太                | 定理証明支援系Coqにおける証明の視認性の向上                                                       |
-| :::   | :::   | 小林 哲                  | グラフ問題を効率的に解くためのハードウェアトランザクショナルメモリの利用              |
+| 2014  | 博士  | 佐藤 重幸                | Structured Parallel Programming with Trees                                                        |
-| :::   | :::   | 反町 翔太                | Pythonコーディング規約のためのソースコードフォーマットツールの実装                    |
+| :::   | 修士  | 大泉 良介                | 問題演習を目的としたOnline Python Tutorの拡張                                                     |
-| :::   | :::   | 谷村 明                  | CとLuaを容易に連携するための言語LuCaの実装                                            |
+| :::   | :::   | 柏崎 由貴菜              | Redmineへのチケットのグラフ表示機能の追加                                                         |
-| :::   | :::   | 竹内 洋平                | Java仮想マシンの動作特性に注目したCPU周波数制御のPCへの適用                           |
+| :::   | :::   | 小林 哲                  | グラフ問題を効率的に解くためのハードウェアトランザクショナルメモリの利用                          |
-| :::   | :::   | 中野 陽基                | Android上のごみ集めにおける停止時間の削減                                             |
+| :::   | :::   | 反町 翔太                | Pythonコーディング規約のためのソースコードフォーマットツールの実装                                |
-| :::   | 学士  | 宇治田 弥恵              | 電子書籍ファイルEPUBリーダReadiumの拡張                                               |
+| :::   | :::   | 谷村 明                  | CとLuaを容易に連携するための言語LuCaの実装                                                        |
-| :::   | :::   | 丹治 将貴                | LinuxカーネルにおけるI/O優先度操作によるCPU資源の有効活用                             |
+| :::   | :::   | 竹内 洋平                | Java仮想マシンの動作特性に注目したCPU周波数制御のPCへの適用                                       |
-| :::   | :::   | 山内 崇通                | Improving Floating-point Numbers の実装                                               |
+| :::   | :::   | 中野 陽基                | Android上のごみ集めにおける停止時間の削減                                                         |
-| :::   | :::   | 北原 元気                | 連想検索に基づくJavaのメソッドチェーン補完プラグインの実装                            |
+| :::   | 学士  | 宇治田 弥恵              | 電子書籍ファイルEPUBリーダReadiumの拡張                                                           |
-| :::   | :::   | 木下 大輔                | CoqにおけるMinCamlコンパイラの最適化器の実装と証明                                    |
+| :::   | :::   | 丹治 将貴                | LinuxカーネルにおけるI/O優先度操作によるCPU資源の有効活用                                         |
-| :::   | :::   | 蛭川 元貴                | Template Haskell のクオート式の改良                                                   |
+| :::   | :::   | 山内 崇通                | Improving Floating-point Numbers の実装                                                           |
-| 2013  | 修士  | 漆原 明博                | JavaScript 処理系における LLVM を用いた JIT の実装と評価                              |
+| :::   | :::   | 北原 元気                | 連想検索に基づくJavaのメソッドチェーン補完プラグインの実装                                        |
-| :::   | :::   | 塩田 雅人                | ドメイン特化言語処理系実装支援ライブラリのメタプログラミングによる設計と実装          |
+| :::   | :::   | 木下 大輔                | CoqにおけるMinCamlコンパイラの最適化器の実装と証明                                                |
-| :::   | :::   | 橘田 頼之                | Android上のごみ集めにおけるCPU周波数制御による消費電力の削減                          |
+| :::   | :::   | 蛭川 元貴                | Template Haskell のクオート式の改良                                                               |
-| :::   | :::   | 陳 粛                    | OCamlによるJavaScriptコンパイラの実装                                                 |
+| 2013  | 修士  | 漆原 明博                | JavaScript 処理系における LLVM を用いた JIT の実装と評価                                          |
-| :::   | :::   | 宮岡 大騎                | JNIにおけるアクセス制御違反を検出するツールの開発                                     |
+| :::   | :::   | 塩田 雅人                | ドメイン特化言語処理系実装支援ライブラリのメタプログラミングによる設計と実装                      |
-| :::   | :::   | 森川 和哉                | マークコンパクトごみ集めにおけるAdaptive scanningの提案と実装                         |
+| :::   | :::   | 橘田 頼之                | Android上のごみ集めにおけるCPU周波数制御による消費電力の削減                                      |
-| :::   | 学士  | 新井 椋也                | 仮想マシンモニタと秘密分散法を用いた対障害性の高い分散バックアップシステム            |
+| :::   | :::   | 陳 粛                    | OCamlによるJavaScriptコンパイラの実装                                                             |
-| :::   | :::   | 小網 駿輔                | 共起情報に基づく校正支援システムの作成                                                |
+| :::   | :::   | 宮岡 大騎                | JNIにおけるアクセス制御違反を検出するツールの開発                                                 |
-| :::   | :::   | 藤井 亮太                | イベント駆動方式サーバのための並列JavaScript処理系の実装                              |
+| :::   | :::   | 森川 和哉                | マークコンパクトごみ集めにおけるAdaptive scanningの提案と実装                                     |
-| :::   | :::   | 山本 竜太郎              | ScalaにおけるImproving Sequenceライブラリの実装                                       |
+| :::   | 学士  | 新井 椋也                | 仮想マシンモニタと秘密分散法を用いた対障害性の高い分散バックアップシステム                        |
-| :::   | :::   | 馬場 庸平                | Haskellによる差分プログラミング                                                       |
+| :::   | :::   | 小網 駿輔                | 共起情報に基づく校正支援システムの作成                                                            |
-| :::   | :::   | 吉川 竜太                | mrubyを用いたIPロードバランスソフトウェアの拡張                                       |
+| :::   | :::   | 藤井 亮太                | イベント駆動方式サーバのための並列JavaScript処理系の実装                                          |
-| :::   | :::   | 渡邉 秀隆                | 定理証明支援系 Coq による型システムの健全性の証明の簡潔化                             |
+| :::   | :::   | 山本 竜太郎              | ScalaにおけるImproving Sequenceライブラリの実装                                                   |
-| :::   | :::   | 小式澤 篤                | ユーザーへストレスを与えないGCのスケジューリング                                      |
+| :::   | :::   | 馬場 庸平                | Haskellによる差分プログラミング                                                                   |
-| :::   | :::   | 髙村 成道                | 低優先度処理を指定可能なリアルタイム処理向け I/O スケジューラ                         |
+| :::   | :::   | 吉川 竜太                | mrubyを用いたIPロードバランスソフトウェアの拡張                                                   |
-| 2012  | 修士  | アウィルメド ムンヘバト  | JavaScript プログラムに対する漸進的な型システム                                       |
+| :::   | :::   | 渡邉 秀隆                | 定理証明支援系 Coq による型システムの健全性の証明の簡潔化                                         |
-| :::   | :::   | 髙田 祥                  | JavaScript仮想機械におけるQuickeningの効果                                            |
+| :::   | :::   | 小式澤 篤                | ユーザーへストレスを与えないGCのスケジューリング                                                  |
-| :::   | :::   | 白田 靜哉                | XQuery からMacro Forest Transducers への変換とその応用                                |
+| :::   | :::   | 髙村 成道                | 低優先度処理を指定可能なリアルタイム処理向け I/O スケジューラ                                     |
-| :::   | :::   | 羽田野 大理              | 電力削減機構PowerNapのLinuxにおける実現に向けて                                       |
+| 2012  | 修士  | アウィルメド ムンヘバト  | JavaScript プログラムに対する漸進的な型システム                                                   |
-| :::   | :::   | 田代 克也                | Ruby on Rails におけるテストケースの自動生成                                          |
+| :::   | :::   | 髙田 祥                  | JavaScript仮想機械におけるQuickeningの効果                                                        |
-| :::   | 学士  | 柏崎 由貴菜              | 関数型プレゼンテーションシステムにおけるアニメーション機能の拡張                      |
+| :::   | :::   | 白田 靜哉                | XQuery からMacro Forest Transducers への変換とその応用                                            |
-| :::   | :::   | 神原 貴行                | 携帯端末のための PDF 文書に対する穴埋め問題作成機能の実装                             |
+| :::   | :::   | 羽田野 大理              | 電力削減機構PowerNapのLinuxにおける実現に向けて                                                   |
-| :::   | :::   | 小林 哲                  | クリティカルセクション毎の同期機構選択システム                                        |
+| :::   | :::   | 田代 克也                | Ruby on Rails におけるテストケースの自動生成                                                      |
-| :::   | :::   | 反町 翔太                | 例からの関数の性質の導出                                                              |
+| :::   | 学士  | 柏崎 由貴菜              | 関数型プレゼンテーションシステムにおけるアニメーション機能の拡張                                  |
-| :::   | :::   | 高橋 一平                | Scala上のプログラム運算システム                                                       |
+| :::   | :::   | 神原 貴行                | 携帯端末のための PDF 文書に対する穴埋め問題作成機能の実装                                         |
-| :::   | :::   | 竹内 洋平                | カーネルレベルでアクセス制御を行う軽量なサンドボックスの実装                          |
+| :::   | :::   | 小林 哲                  | クリティカルセクション毎の同期機構選択システム                                                    |
-| :::   | :::   | 谷村 明                  | JavaScript処理系に対する外部関数インタフェースの実装                                  |
+| :::   | :::   | 反町 翔太                | 例からの関数の性質の導出                                                                          |
-| :::   | :::   | 釣石 一志                | ファイルシステムにおける時間帯によるアクセス制御機構の実装                            |
+| :::   | :::   | 高橋 一平                | Scala上のプログラム運算システム                                                                   |
-| :::   | :::   | 大泉 良介                | プログラミング言語の基礎概念学習のための教育用言語の構築                              |
+| :::   | :::   | 竹内 洋平                | カーネルレベルでアクセス制御を行う軽量なサンドボックスの実装                                      |
-| :::   | :::   | 中野 陽基                | Dalvik VMにおけるメモリ割り当て機構の実装                                             |
+| :::   | :::   | 谷村 明                  | JavaScript処理系に対する外部関数インタフェースの実装                                              |
-| :::   | :::   | 横川 裕太                | 特定の要素に注目して分割・結合が可能な関数型データ構造                                |
+| :::   | :::   | 釣石 一志                | ファイルシステムにおける時間帯によるアクセス制御機構の実装                                        |
-| 2011  | 修士  | 浅利 俊之                | 仮想マシンモニタによるサーバアプリケーションの異常検知                                |
+| :::   | :::   | 大泉 良介                | プログラミング言語の基礎概念学習のための教育用言語の構築                                          |
-| :::   | :::   | 伊藤 優介                | ネットワークサーバにおけるスレッド型とイベント駆動型の比較                            |
+| :::   | :::   | 中野 陽基                | Dalvik VMにおけるメモリ割り当て機構の実装                                                         |
-| :::   | :::   | 加藤 瞬                  | 部分コンパクションにおける対象領域選択法の改良                                        |
+| :::   | :::   | 横川 裕太                | 特定の要素に注目して分割・結合が可能な関数型データ構造                                            |
-| :::   | 学士  | 新井 雄貴                | 実用的なファイルの圧縮・解凍ソフトウェア Lhaipl の開発                                |
+| 2011  | 修士  | 浅利 俊之                | 仮想マシンモニタによるサーバアプリケーションの異常検知                                            |
-| :::   | :::   | 漆原 明博                | LLVM を用いた JavaScript 処理系の実装                                                 |
+| :::   | :::   | 伊藤 優介                | ネットワークサーバにおけるスレッド型とイベント駆動型の比較                                        |
-| :::   | :::   | 川辺 裕太                | C++の式テンプレートプログラム支援システムの開発                                       |
+| :::   | :::   | 加藤 瞬                  | 部分コンパクションにおける対象領域選択法の改良                                                    |
-| :::   | :::   | 塩田 雅人                | D言語上のメタプログラミングによるドメイン特化言語実装支援ライブラリの開発             |
+| :::   | 学士  | 新井 雄貴                | 実用的なファイルの圧縮・解凍ソフトウェア Lhaipl の開発                                            |
-| :::   | :::   | 宮岡 大騎                | UECFS におけるファイル配置の最適化                                                    |
+| :::   | :::   | 漆原 明博                | LLVM を用いた JavaScript 処理系の実装                                                             |
-| :::   | :::   | 森川 和哉                | Index-Compactごみ集めの改良と評価                                                     |
+| :::   | :::   | 川辺 裕太                | C++の式テンプレートプログラム支援システムの開発                                                   |
-| :::   | :::   | 安枝 光                  | SkeTo による並列プログラミング                                                        |
+| :::   | :::   | 塩田 雅人                | D言語上のメタプログラミングによるドメイン特化言語実装支援ライブラリの開発                         |
-| :::   | :::   | 安田 祥                  | Web ブラウザにおける双方向グラフ構造変換の実現                                        |
+| :::   | :::   | 宮岡 大騎                | UECFS におけるファイル配置の最適化                                                                |
-| :::   | :::   | 橘田 頼之                | ごみ集め方式の違いによる組み込みシステムの消費電力の変化                              |
+| :::   | :::   | 森川 和哉                | Index-Compactごみ集めの改良と評価                                                                 |
-| :::   | :::   | 栗秋 太一                | プログラミング言語OCaml のライブラリ関数の検索機構                                    |
+| :::   | :::   | 安枝 光                  | SkeTo による並列プログラミング                                                                    |
-| 2010  | 修士  | 今村 悠                  | Haskellによる拡張性の高いプレゼンテーション・システム                                 |
+| :::   | :::   | 安田 祥                  | Web ブラウザにおける双方向グラフ構造変換の実現                                                    |
-| :::   | :::   | 五味 真幹                | UECFS: SSD とHDD を併用して高速なファイルアクセスを実現するファイルシステム           |
+| :::   | :::   | 橘田 頼之                | ごみ集め方式の違いによる組み込みシステムの消費電力の変化                                          |
-| :::   | :::   | 佐藤 重幸                | Automatic Parallelization via Matrix Multiplication                                   |
+| :::   | :::   | 栗秋 太一                | プログラミング言語OCaml のライブラリ関数の検索機構                                                |
-| :::   | :::   | 室井 雅仁                | プログラムの更新を可能とするCheckpoint/Restart機構                                    |
+| 2010  | 修士  | 今村 悠                  | Haskellによる拡張性の高いプレゼンテーション・システム                                             |
-| :::   | :::   | 山田 佑二                | アスペクト指向に基づく適切な同期機構の選択システム                                    |
+| :::   | :::   | 五味 真幹                | UECFS: SSD とHDD を併用して高速なファイルアクセスを実現するファイルシステム                       |
-| :::   | 学士  | アウィルメド ムンヘバト  | 実行コンテキストに応じたパス名の動的変更機構                                          |
+| :::   | :::   | 佐藤 重幸                | Automatic Parallelization via Matrix Multiplication                                               |
-| :::   | :::   | 大和田 真広              | Cell Broadband Engine向けのDMA転送記述支援ライブラリ                                  |
+| :::   | :::   | 室井 雅仁                | プログラムの更新を可能とするCheckpoint/Restart機構                                                |
-| :::   | :::   | 髙田 祥                  | ARM上で動作するJavaScript処理系の実装                                                 |
+| :::   | :::   | 山田 佑二                | アスペクト指向に基づく適切な同期機構の選択システム                                                |
-| :::   | :::   | 白田 靜哉                | XQuery に対する静的型検査の実装                                                       |
+| :::   | 学士  | アウィルメド ムンヘバト  | 実行コンテキストに応じたパス名の動的変更機構                                                      |
-| :::   | :::   | 田代 克也                | キャッシュを利用したWeb 検索の候補語の取得                                            |
+| :::   | :::   | 大和田 真広              | Cell Broadband Engine向けのDMA転送記述支援ライブラリ                                              |
-| 2009  | 修士  | 稲津 和磨                | サーバ/クライアント自動分割を備えたWebフレームワークの設計と実装                      |
+| :::   | :::   | 髙田 祥                  | ARM上で動作するJavaScript処理系の実装                                                             |
-| :::   | :::   | 折戸 隆洋                | ウェブアプリケーションのソースコード隠蔽                                              |
+| :::   | :::   | 白田 靜哉                | XQuery に対する静的型検査の実装                                                                   |
-| :::   | :::   | 小堀 純一                | マルチコア環境におけるRestartable Critical Sectionの実現                              |
+| :::   | :::   | 田代 克也                | キャッシュを利用したWeb 検索の候補語の取得                                                        |
-| :::   | :::   | 永原 治                  | Rubyにおける大規模アプリケーション向けごみ集めの実装と評価                            |
+| 2009  | 修士  | 稲津 和磨                | サーバ/クライアント自動分割を備えたWebフレームワークの設計と実装                                  |
-| :::   | 学士  | 赤川 裕亮                | Webアプリケーションの記述支援システム                                                 |
+| :::   | :::   | 折戸 隆洋                | ウェブアプリケーションのソースコード隠蔽                                                          |
-| :::   | :::   | 浅利 俊之                | 仮想マシンモニタによるサンドボックスの実装                                            |
+| :::   | :::   | 小堀 純一                | マルチコア環境におけるRestartable Critical Sectionの実現                                          |
-| :::   | :::   | 伊藤 優介                | Rubyにおける文字列メモリの利用効率の改善                                              |
+| :::   | :::   | 永原 治                  | Rubyにおける大規模アプリケーション向けごみ集めの実装と評価                                        |
-| :::   | :::   | 加藤 瞬                  | Haskellにおけるデータ構造プロファイル機構                                             |
+| :::   | 学士  | 赤川 裕亮                | Webアプリケーションの記述支援システム                                                             |
-| :::   | :::   | 羽田野 大理              | JavaScriptから利用できるx86エミュレータの実装                                         |
+| :::   | :::   | 浅利 俊之                | 仮想マシンモニタによるサンドボックスの実装                                                        |
-| :::   | :::   | 桐山 竜一                | 状態遷移図を使ったビデオゲームプログラム開発環境                                      |
+| :::   | :::   | 伊藤 優介                | Rubyにおける文字列メモリの利用効率の改善                                                          |
-| 2008  | 修士  | 唐澤 雄気                | マルチコアCPU環境における効率のよい並列スケルトンの設計と実装                         |
+| :::   | :::   | 加藤 瞬                  | Haskellにおけるデータ構造プロファイル機構                                                         |
-| :::   | :::   | 川ノ上 哲規              | Rubyにおけるメソッド実行委託                                                          |
+| :::   | :::   | 羽田野 大理              | JavaScriptから利用できるx86エミュレータの実装                                                     |
-| :::   | :::   | 丹野 治門                | 並列スケルトンライブラリSkeToにおける可変長リストの実装と評価                         |
+| :::   | :::   | 桐山 竜一                | 状態遷移図を使ったビデオゲームプログラム開発環境                                                  |
-| :::   | :::   | 辻 将利                  | 並列環境を有効に利用するRubyのごみ集め                                                |
+| 2008  | 修士  | 唐澤 雄気                | マルチコアCPU環境における効率のよい並列スケルトンの設計と実装                                     |
-| :::   | :::   | 根岸 純一                | Haskellプログラムの開発を支援するGHCiデバッガフロントエンド                           |
+| :::   | :::   | 川ノ上 哲規              | Rubyにおけるメソッド実行委託                                                                      |
-| :::   | 学士  | 今村 悠                  | 関数型言語によるスライド記述                                                          |
+| :::   | :::   | 丹野 治門                | 並列スケルトンライブラリSkeToにおける可変長リストの実装と評価                                     |
-| :::   | :::   | 佐藤 重幸                | GPGPUのための最適化を行うスケルトン並列プログラミングフレームワーク                   |
+| :::   | :::   | 辻 将利                  | 並列環境を有効に利用するRubyのごみ集め                                                            |
-| :::   | :::   | 室井 雅仁                | 実行コンテキストに応じた優先度の動的変更機構                                          |
+| :::   | :::   | 根岸 純一                | Haskellプログラムの開発を支援するGHCiデバッガフロントエンド                                       |
-| :::   | :::   | 山田 佑二                | マルチコアCPUを考慮した並列スケルトンライブラリ                                       |
+| :::   | 学士  | 今村 悠                  | 関数型言語によるスライド記述                                                                      |
-| :::   | :::   | 五味 真幹                | マルチコアCPU環境におけるカーネルレベルの資源管理                                     |
+| :::   | :::   | 佐藤 重幸                | GPGPUのための最適化を行うスケルトン並列プログラミングフレームワーク                               |
-| :::   | :::   | 戸谷 渉                  | Haskellを対象とした類似プログラム判定                                                 |
+| :::   | :::   | 室井 雅仁                | 実行コンテキストに応じた優先度の動的変更機構                                                      |
-| :::   | :::   | 佐々木 大輔              | 双方向変換を利用したWebサイト更新機構のフロントエンドの改良                           |
+| :::   | :::   | 山田 佑二                | マルチコアCPUを考慮した並列スケルトンライブラリ                                                   |
+| :::   | :::   | 五味 真幹                | マルチコアCPU環境におけるカーネルレベルの資源管理                                                 |
+| :::   | :::   | 戸谷 渉                  | Haskellを対象とした類似プログラム判定                                                             |
+| :::   | :::   | 佐々木 大輔              | 双方向変換を利用したWebサイト更新機構のフロントエンドの改良                                       |