public:thesis
差分
このページの2つのバージョン間の差分を表示します。
| 両方とも前のリビジョン前のリビジョン次のリビジョン | 前のリビジョン | ||
| public:thesis [2014/02/21 14:41] – takano | public:thesis [2024/06/18 20:44] (現在) – [テーブル] 2023年度分を追加 20tsaitou | ||
|---|---|---|---|
| 行 1: | 行 1: | ||
| ====== 過去の学位論文 ====== | ====== 過去の学位論文 ====== | ||
| - | ^ 年度 ^ 学位 ^ 名前 ^ 題名 ^ | + | ^ 年度 |
| - | | 2012 | 修士 | アウィルメド ムンヘバト | JavaScript プログラムに対する漸進的な型システム | | + | | 2023 | 修士 |
| - | | ::: | ::: | 髙田 祥 | JavaScript仮想機械におけるQuickeningの効果 | | + | | ::: | ::: | 大塚 貴斗 |
| - | | ::: | ::: | 白田 靜哉 | XQuery からMacro Forest Transducers への変換とその応用 | | + | | ::: | ::: | 岡本 憲汰 |
| - | | ::: | ::: | 羽田野 大理 | 電力削減機構PowerNapのLinuxにおける実現に向けて | | + | | 2022 | 修士 |
| - | | ::: | ::: | 田代 克也 | Ruby on Rails におけるテストケースの自動生成 | | + | | ::: | ::: | 冨井 陸矢 |
| - | | ::: | 学士 | 柏崎 由貴菜 | 関数型プレゼンテーションシステムにおけるアニメーション機能の拡張 | | + | | ::: | ::: | 長安 尚之 |
| - | | ::: | ::: | 神原 貴行 | 携帯端末のための PDF 文書に対する穴埋め問題作成機能の実装 | | + | | ::: | 学士 |
| - | | ::: | ::: | 小林 哲 | クリティカルセクション毎の同期機構選択システム | | + | | ::: | ::: | 山本 武蔵 |
| - | | ::: | ::: | 反町 翔太 | 例からの関数の性質の導出 | | + | | 2021 | 修士 |
| - | | ::: | ::: | 高橋 一平 | Scala上のプログラム運算システム | | + | | ::: | ::: | 齋藤 匡 | 静的性と動的性を共存させたJavaScript処理系の最適化 |
| - | | ::: | ::: | 竹内 洋平 | カーネルレベルでアクセス制御を行う軽量なサンドボックスの実装 | | + | | ::: | ::: | 平澤 祐太 |
| - | | ::: | ::: | 谷村 明 | JavaScript処理系に対する外部関数インタフェースの実装 | | + | | ::: | ::: | 宮島 拓三 |
| - | | ::: | ::: | 釣石 一志 | ファイルシステムにおける時間帯によるアクセス制御機構の実装 | | + | | ::: | 学士 |
| - | | ::: | ::: | 大泉 良介 | プログラミング言語の基礎概念学習のための教育用言語の構築 | | + | | ::: | ::: | 大塚 貴斗 |
| - | | ::: | ::: | 中野 陽基 | Dalvik VMにおけるメモリ割り当て機構の実装 | | + | | ::: | ::: | 岡本 憲汰 |
| - | | ::: | ::: | 横川 裕太 | 特定の要素に注目して分割・結合が可能な関数型データ構造 | | + | | ::: | ::: | 高橋 裕司 |
| - | | 2011 | 修士 | 浅利 俊之 | 仮想マシンモニタによるサーバアプリケーションの異常検知 | | + | | ::: | ::: | 石井 琢満 |
| - | | ::: | ::: | 伊藤 優介 | ネットワークサーバにおけるスレッド型とイベント駆動型の比較 | | + | | 2020 | 学士 |
| - | | ::: | ::: | 加藤 瞬 | 部分コンパクションにおける対象領域選択法の改良 | | + | | ::: | ::: | 冨井 陸矢 |
| - | | ::: | 学士 | 新井 雄貴 | 実用的なファイルの圧縮・解凍ソフトウェア Lhaipl の開発 | | + | | ::: | ::: | 長安 尚之 |
| - | | ::: | ::: | 漆原 明博 | LLVM を用いた JavaScript 処理系の実装 | | + | | 2019 | 修士 |
| - | | ::: | ::: | 川辺 裕太 | C++の式テンプレートプログラム支援システムの開発 | | + | | ::: | ::: | 加藤 直斗 |
| - | | ::: | ::: | 塩田 雅人 | D言語上のメタプログラミングによるドメイン特化言語実装支援ライブラリの開発 | | + | | ::: | ::: | 西山 舜 | スタック機構を持つ木変換器の表現力 |
| - | | ::: | ::: | 宮岡 大騎 | UECFS におけるファイル配置の最適化 | | + | | ::: | ::: | 宮野 温 | 検証付き記号的モデル検査器の実装 |
| - | | ::: | ::: | 森川 和哉 | Index-Compactごみ集めの改良と評価 | | + | | ::: | 学士 |
| - | | ::: | ::: | 安枝 光 | SkeTo による並列プログラミング | | + | | ::: | ::: | 平澤 祐太 |
| - | | ::: | ::: | 安田 祥 | Web ブラウザにおける双方向グラフ構造変換の実現 | + | | 2018 | 修士 |
| - | | ::: | ::: | 橘田 頼之 | ごみ集め方式の違いによる組み込みシステムの消費電力の変化 | | + | | ::: | ::: | 大町 一仁 |
| - | | ::: | ::: | 栗秋 太一 | プログラミング言語OCaml のライブラリ関数の検索機構 | | + | | ::: | ::: | 阿部 和敬 |
| - | | 2010 | 修士 | 今村 悠 | Haskellによる拡張性の高いプレゼンテーション・システム | | + | | ::: | ::: | 小澤 祐也 |
| - | | ::: | ::: | 五味 真幹 | UECFS: SSD とHDD を併用して高速なファイルアクセスを実現するファイルシステム | | + | | ::: | ::: | 高橋 祐多 |
| - | | ::: | ::: | 佐藤 重幸 | Automatic Parallelization via Matrix Multiplication | | + | | ::: | 学士 |
| - | | ::: | ::: | 室井 雅仁 | プログラムの更新を可能とするCheckpoint/ | + | | ::: | ::: | 大林 健造 |
| - | | ::: | ::: | 山田 佑二 | アスペクト指向に基づく適切な同期機構の選択システム | | + | | ::: | ::: | 棚橋 健人 |
| - | | ::: | 学士 | アウィルメド ムンヘバト | 実行コンテキストに応じたパス名の動的変更機構| | + | | 2017 | 修士 |
| - | | ::: | ::: | 大和田 真広 | Cell Broadband Engine向けのDMA転送記述支援ライブラリ | | + | | ::: | ::: | 赤澤 亮弥 |
| - | | ::: | ::: | 髙田 祥 | ARM上で動作するJavaScript処理系の実装 | | + | | ::: | ::: | 徐 振宇 |
| - | | ::: | ::: | 白田 靜哉 | XQuery に対する静的型検査の実装 | | + | | ::: | ::: | 中川 涼太 |
| - | | ::: | ::: | 田代 克也 | キャッシュを利用したWeb 検索の候補語の取得 | | + | | ::: | ::: | 早川 恵太 |
| - | | 2009 | 修士 | 稲津 和磨 | サーバ/ | + | | ::: | ::: | 山田 伊織 |
| - | | ::: | ::: | 折戸 隆洋 | ウェブアプリケーションのソースコード隠蔽 | | + | | ::: | 学士 |
| - | | ::: | ::: | 小堀 純一 | マルチコア環境におけるRestartable Critical Sectionの実現 | | + | | ::: | ::: | 加藤 直斗 |
| - | | ::: | ::: | 永原 治 | Rubyにおける大規模アプリケーション向けごみ集めの実装と評価 | | + | | ::: | ::: | 近松 万由子 |
| - | | ::: | 学士 | 赤川 裕亮 | Webアプリケーションの記述支援システム | | + | | ::: | ::: | 西山 舜 | スタック構造の累積引数を持つ関数を融合するための木変換器合成 |
| - | | ::: | ::: | 浅利 俊之 | 仮想マシンモニタによるサンドボックスの実装 | | + | | ::: | ::: | 宮澤 修 | Ruby 処理系への Gradual Typing の実装 |
| - | | ::: | ::: | 伊藤 優介 | Rubyにおける文字列メモリの利用効率の改善 | | + | | ::: | ::: | 宮野 温 | 定理証明支援系Coqによる検証付きモデル検査器の実装 |
| - | | ::: | ::: | 加藤 瞬 | Haskellにおけるデータ構造プロファイル機構 | | + | | ::: | ::: | 矢野 こずえ |
| - | | ::: | ::: | 羽田野 大理 | JavaScriptから利用できるx86エミュレータの実装 | | + | | 2016 | 修士 |
| - | | ::: | ::: | 桐山 竜一 | 状態遷移図を使ったビデオゲームプログラム開発環境 | | + | | ::: | ::: | 北原 元気 |
| - | | 2008 | 修士 | 唐澤 雄気 | マルチコアCPU環境における効率のよい並列スケルトンの設計と実装 | | + | | ::: | ::: | 木下 大輔 |
| - | | ::: | ::: | 川ノ上 哲規 | Rubyにおけるメソッド実行委託 | | + | | ::: | 学士 |
| - | | ::: | ::: | 丹野 治門 | 並列スケルトンライブラリSkeToにおける可変長リストの実装と評価 | | + | | ::: | ::: | 駒村 春野 |
| - | | ::: | ::: | 辻 将利 | 並列環境を有効に利用するRubyのごみ集め | | + | | ::: | ::: | 谷 大輝 |
| - | | ::: | ::: | 根岸 純一 | Haskellプログラムの開発を支援するGHCiデバッガフロントエンド | | + | | ::: | ::: | 宮下 優希 |
| - | | ::: | 学士 | 今村 悠 | 関数型言語によるスライド記述 | | + | | ::: | ::: | 森田 浩平 |
| - | | ::: | ::: | 佐藤 重幸 | GPGPUのための最適化を行うスケルトン並列プログラミングフレームワーク | | + | | ::: | ::: | ラトル アモグ |
| - | | ::: | ::: | 室井 雅仁 | 実行コンテキストに応じた優先度の動的変更機構 | | + | | ::: | ::: | 阿部 和敬 |
| - | | ::: | ::: | 山田 佑二 | マルチコアCPUを考慮した並列スケルトンライブラリ | | + | | ::: | ::: | 小澤 祐也 |
| - | | ::: | ::: | 五味 真幹 | マルチコアCPU環境におけるカーネルレベルの資源管理 | | + | | ::: | ::: | 甲斐 宏味 |
| - | | ::: | ::: | 戸谷 渉 | Haskellを対象とした類似プログラム判定 | | + | | ::: | ::: | 神田 世奈 |
| - | | ::: | ::: | 佐々木 大輔 | 双方向変換を利用したWebサイト更新機構のフロントエンドの改良 | | + | | ::: | ::: | 北林 丈人 |
| + | | ::: | ::: | 高橋 祐多 | ||
| + | | 2015 | 博士 | ||
| + | | ::: | 修士 | ||
| + | | ::: | ::: | 小式澤 篤 | 高い表現力を持つ軽量マークアップ言語の設計と実装 | ||
| + | | ::: | ::: | 藤井 亮太 | ||
| + | | ::: | ::: | 山本 竜太郎 | ||
| + | | ::: | ::: | 渡邉 秀隆 | ||
| + | | ::: | 学士 | ||
| + | | ::: | ::: | 青山 航 | ファイル毎にフックを設定可能なシステム | ||
| + | | ::: | ::: | 赤澤 亮弥 | ||
| + | | ::: | ::: | 佐藤 洋佑 | ||
| + | | ::: | ::: | 山田 伊織 | ||
| + | | ::: | ::: | 櫻井 健二 | ||
| + | | ::: | ::: | 徐 振宇 | ||
| + | | ::: | ::: | 中川 涼太 | ||
| + | | ::: | ::: | 早川 恵太 | ||
| + | | 2014 | 博士 | ||
| + | | ::: | 修士 | ||
| + | | ::: | ::: | 柏崎 由貴菜 | ||
| + | | ::: | ::: | 小林 哲 | グラフ問題を効率的に解くためのハードウェアトランザクショナルメモリの利用 | ||
| + | | ::: | ::: | 反町 翔太 | ||
| + | | ::: | ::: | 谷村 明 | CとLuaを容易に連携するための言語LuCaの実装 | ||
| + | | ::: | ::: | 竹内 洋平 | ||
| + | | ::: | ::: | 中野 陽基 | ||
| + | | ::: | 学士 | ||
| + | | ::: | ::: | 丹治 将貴 | ||
| + | | ::: | ::: | 山内 崇通 | ||
| + | | ::: | ::: | 北原 元気 | ||
| + | | ::: | ::: | 木下 大輔 | ||
| + | | ::: | ::: | 蛭川 元貴 | ||
| + | | 2013 | 修士 | ||
| + | | ::: | ::: | 塩田 雅人 | ||
| + | | ::: | ::: | 橘田 頼之 | ||
| + | | ::: | ::: | 陳 粛 | OCamlによるJavaScriptコンパイラの実装 | ||
| + | | ::: | ::: | 宮岡 大騎 | ||
| + | | ::: | ::: | 森川 和哉 | ||
| + | | ::: | 学士 | ||
| + | | ::: | ::: | 小網 駿輔 | ||
| + | | ::: | ::: | 藤井 亮太 | ||
| + | | ::: | ::: | 山本 竜太郎 | ||
| + | | ::: | ::: | 馬場 庸平 | ||
| + | | ::: | ::: | 吉川 竜太 | ||
| + | | ::: | ::: | 渡邉 秀隆 | ||
| + | | ::: | ::: | 小式澤 篤 | ユーザーへストレスを与えないGCのスケジューリング | ||
| + | | ::: | ::: | 髙村 成道 | ||
| + | | 2012 | 修士 | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | 2011 | 修士 | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | 2010 | 修士 | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | 2009 | 修士 | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | 2008 | 修士 | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
| + | | ::: | ||
public/thesis.1392961282.txt.gz · 最終更新: 2018/08/18 17:39 (外部編集)