public:thesis
文書の過去の版を表示しています。
過去の学位論文
年度 | 学位 | 名前 | 題名 |
---|---|---|---|
2013 | 修士 | 漆原 明博 | JavaScript 処理系における LLVM を用いた JIT の実装と評価 |
塩田 雅人 | ドメイン特化言語処理系実装支援ライブラリのメタプログラミングによる設計と実装 | ||
橘田 頼之 | Android上のごみ集めにおけるCPU周波数制御による消費電力の削減 | ||
陳 粛 | OCamlによるJavaScriptコンパイラの実装 | ||
宮岡 大騎 | JNIにおけるアクセス制御違反を検出するツールの開発 | ||
森川 和哉 | マークコンパクトごみ集めにおけるAdaptive scanningの提案と実装 | ||
学士 | 新井 椋也 | 仮想マシンモニタと秘密分散法を用いた対障害性の高い分散バックアップシステム | |
小網 駿輔 | 共起情報に基づく校正支援システムの作成 | ||
藤井 亮太 | イベント駆動方式サーバのための並列JavaScript処理系の実装 | ||
山本 竜太郎 | ScalaにおけるImproving Sequenceライブラリの実装 | ||
馬場 庸平 | Haskellによる差分プログラミング | ||
吉川 竜太 | mrubyを用いたIPロードバランスソフトウェアの拡張 | ||
渡邉 秀隆 | 定理証明支援系 Coq による型システムの健全性の証明の簡潔化 | ||
小式澤 篤 | ユーザーへストレスを与えないGCのスケジューリング | ||
髙村 成道 | 低優先度処理を指定可能なリアルタイム処理向け I/O スケジューラ | ||
2012 | 修士 | アウィルメド ムンヘバト | JavaScript プログラムに対する漸進的な型システム |
髙田 祥 | JavaScript仮想機械におけるQuickeningの効果 | ||
白田 靜哉 | XQuery からMacro Forest Transducers への変換とその応用 | ||
羽田野 大理 | 電力削減機構PowerNapのLinuxにおける実現に向けて | ||
田代 克也 | Ruby on Rails におけるテストケースの自動生成 | ||
学士 | 柏崎 由貴菜 | 関数型プレゼンテーションシステムにおけるアニメーション機能の拡張 | |
神原 貴行 | 携帯端末のための PDF 文書に対する穴埋め問題作成機能の実装 | ||
小林 哲 | クリティカルセクション毎の同期機構選択システム | ||
反町 翔太 | 例からの関数の性質の導出 | ||
高橋 一平 | Scala上のプログラム運算システム | ||
竹内 洋平 | カーネルレベルでアクセス制御を行う軽量なサンドボックスの実装 | ||
谷村 明 | JavaScript処理系に対する外部関数インタフェースの実装 | ||
釣石 一志 | ファイルシステムにおける時間帯によるアクセス制御機構の実装 | ||
大泉 良介 | プログラミング言語の基礎概念学習のための教育用言語の構築 | ||
中野 陽基 | Dalvik VMにおけるメモリ割り当て機構の実装 | ||
横川 裕太 | 特定の要素に注目して分割・結合が可能な関数型データ構造 | ||
2011 | 修士 | 浅利 俊之 | 仮想マシンモニタによるサーバアプリケーションの異常検知 |
伊藤 優介 | ネットワークサーバにおけるスレッド型とイベント駆動型の比較 | ||
加藤 瞬 | 部分コンパクションにおける対象領域選択法の改良 | ||
学士 | 新井 雄貴 | 実用的なファイルの圧縮・解凍ソフトウェア Lhaipl の開発 | |
漆原 明博 | LLVM を用いた JavaScript 処理系の実装 | ||
川辺 裕太 | C++の式テンプレートプログラム支援システムの開発 | ||
塩田 雅人 | D言語上のメタプログラミングによるドメイン特化言語実装支援ライブラリの開発 | ||
宮岡 大騎 | UECFS におけるファイル配置の最適化 | ||
森川 和哉 | Index-Compactごみ集めの改良と評価 | ||
安枝 光 | SkeTo による並列プログラミング | ||
安田 祥 | Web ブラウザにおける双方向グラフ構造変換の実現 | ||
橘田 頼之 | ごみ集め方式の違いによる組み込みシステムの消費電力の変化 | ||
栗秋 太一 | プログラミング言語OCaml のライブラリ関数の検索機構 | ||
2010 | 修士 | 今村 悠 | Haskellによる拡張性の高いプレゼンテーション・システム |
五味 真幹 | UECFS: SSD とHDD を併用して高速なファイルアクセスを実現するファイルシステム | ||
佐藤 重幸 | Automatic Parallelization via Matrix Multiplication | ||
室井 雅仁 | プログラムの更新を可能とするCheckpoint/Restart機構 | ||
山田 佑二 | アスペクト指向に基づく適切な同期機構の選択システム | ||
学士 | アウィルメド ムンヘバト | 実行コンテキストに応じたパス名の動的変更機構 | |
大和田 真広 | Cell Broadband Engine向けのDMA転送記述支援ライブラリ | ||
髙田 祥 | ARM上で動作するJavaScript処理系の実装 | ||
白田 靜哉 | XQuery に対する静的型検査の実装 | ||
田代 克也 | キャッシュを利用したWeb 検索の候補語の取得 | ||
2009 | 修士 | 稲津 和磨 | サーバ/クライアント自動分割を備えたWebフレームワークの設計と実装 |
折戸 隆洋 | ウェブアプリケーションのソースコード隠蔽 | ||
小堀 純一 | マルチコア環境におけるRestartable Critical Sectionの実現 | ||
永原 治 | Rubyにおける大規模アプリケーション向けごみ集めの実装と評価 | ||
学士 | 赤川 裕亮 | Webアプリケーションの記述支援システム | |
浅利 俊之 | 仮想マシンモニタによるサンドボックスの実装 | ||
伊藤 優介 | Rubyにおける文字列メモリの利用効率の改善 | ||
加藤 瞬 | Haskellにおけるデータ構造プロファイル機構 | ||
羽田野 大理 | JavaScriptから利用できるx86エミュレータの実装 | ||
桐山 竜一 | 状態遷移図を使ったビデオゲームプログラム開発環境 | ||
2008 | 修士 | 唐澤 雄気 | マルチコアCPU環境における効率のよい並列スケルトンの設計と実装 |
川ノ上 哲規 | Rubyにおけるメソッド実行委託 | ||
丹野 治門 | 並列スケルトンライブラリSkeToにおける可変長リストの実装と評価 | ||
辻 将利 | 並列環境を有効に利用するRubyのごみ集め | ||
根岸 純一 | Haskellプログラムの開発を支援するGHCiデバッガフロントエンド | ||
学士 | 今村 悠 | 関数型言語によるスライド記述 | |
佐藤 重幸 | GPGPUのための最適化を行うスケルトン並列プログラミングフレームワーク | ||
室井 雅仁 | 実行コンテキストに応じた優先度の動的変更機構 | ||
山田 佑二 | マルチコアCPUを考慮した並列スケルトンライブラリ | ||
五味 真幹 | マルチコアCPU環境におけるカーネルレベルの資源管理 | ||
戸谷 渉 | Haskellを対象とした類似プログラム判定 | ||
佐々木 大輔 | 双方向変換を利用したWebサイト更新機構のフロントエンドの改良 |
public/thesis.1400724425.txt.gz · 最終更新: 2018/08/18 17:39 (外部編集)