ユーザ用ツール

サイト用ツール


public:thesis

差分

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

この比較画面へのリンク

両方とも前のリビジョン前のリビジョン
次のリビジョン
前のリビジョン
public:thesis [2014/02/21 14:41] takanopublic:thesis [2023/04/26 18:17] (現在) – 2022年度学位論文を追加 21totsuka
行 1: 行 1:
 ====== 過去の学位論文 ====== ====== 過去の学位論文 ======
 ^ 年度 ^ 学位 ^ 名前 ^ 題名 ^ ^ 年度 ^ 学位 ^ 名前 ^ 題名 ^
 +| 2022 | 修士 | 安積 直道 | ソフトウェアテストを評価するためのバグ入りアプリケーションの自動生成 |
 +| :::  | ::: | 冨井 陸矢 | メタヒューリスティクスの適用を効率的に記述するドメイン特化言語 |
 +| :::  | ::: | 長安 尚之 | 複製に基づく永続化を行うシステムにおける不揮発性メモリ管理手法 |
 +| :::  | 学士 | 齊藤 百香 | 数値計算ライブラリIFNの数値表現の改良と合成演算の導入によるメモリ効率の改善 |
 +| :::  | ::: | 山本 武蔵 | CPU使用率の向上を目指したDEADLINEスケジューラの拡張 |
 +| 2021 | 修士 | 小野澤 拓 | 組み込み機器向けJavaScript処理系に向けた空間効率の良いごみ集めの実現 |
 +| :::  | ::: | 齋藤 匡 | 静的性と動的性を共存させたJavaScript処理系の最適化 |
 +| :::  | ::: | 平澤 祐太 | JavaScript 仮想機械を記述するための領域特化言語 |
 +| :::  | ::: | 宮島 拓三 | ブロック型言語からテキスト型言語への移行を補助するプログラミング学習環境 |
 +| :::  | 学士 | 小林 健吾 | 組み込み用JavaScript処理系におけるイベントループの実装 |
 +| :::  | ::: | 大塚 貴斗 | ゲストOSのカーネル内メモリへのアクセスを容易にするドメイン特化言語 |
 +| :::  | ::: | 岡本 憲汰 | 言語要素のモジュール化による関数言語処理系生成フレームワーク |
 +| :::  | ::: | 高橋 裕司 | JavaScript処理系における属性値参照の効率化 |
 +| :::  | ::: | 石井 琢満 | cgroupによるCPU使用率の動的制御 |
 +| 2020 | 学士 | 安積 直道 | バグ入りJavaアプリケーションの自動生成ツールの実装 |
 +| :::  | ::: | 冨井 陸矢 | JavaScriptコンパイラの最適化処理の改良 |
 +| :::  | ::: | 長安 尚之 | データ永続化機能を持つJava処理系のメモリアロケータの実装 |
 +| 2019 | 修士 | 浅見 祥喜 | 仮想マシン内部情報を簡潔かつ対話的に取得可能なシステム |
 +| :::  | ::: | 加藤 直斗 | 並列化技法を選択可能なグラフ処理系及び抽象化言語の実装 |
 +| :::  | ::: | 西山 舜 | スタック機構を持つ木変換器の表現力 |
 +| :::  | ::: | 宮野 温 | 検証付き記号的モデル検査器の実装 |
 +| :::  | 学士 | 小野澤 拓 | アプリケーションと実行環境に適応したカスタマイズが可能なJavaScript処理系 |
 +| :::  | ::: | 平澤 祐太 | JavaScript仮想機械における詳細な型解析に基づく型ディスパッチコードの最適化 |
 +| 2018 | 修士 | 秋葉 柊哉 | グラフ並列分散処理のための計算モデルを選択可能な領域特化言語の設計 | 
 +| :::  | ::: | 大町 一仁 | eJSを使った組込みシステム開発フレームワーク | 
 +| :::  | ::: | 阿部 和敬 | 高階木変換器を経由したマクロ木変換器の直接的融合 | 
 +| :::  | ::: | 小澤 祐也 | 余帰納的証明のためのガード条件の漸進的検査および自動化支援 | 
 +| :::  | ::: | 高橋 祐多 | ランク付き木から文字列への決定性ストリーム変換器の表現力 |
 +| :::  | 学士 | 小沼 晋 | プロセスに対するヘルスチェック機構を用いたRedox OS上でのシステムの安定化の実現|
 +| :::  | ::: | 大林 健造 | JavaScript仮想機械 (eJSVM) における対話的なプログラミング環境の実現 | 
 +| :::  | ::: | 棚橋 健人 | 数値や文字列に対するガードを含む累積引数付き再帰関数の融合 | 
 +| 2017 | 修士 | 青山 航 | ディレクトリ毎にジャーナリングモードを設定可能なファイルシステム |
 +| ::: | ::: | 赤澤 亮弥 | 言語仮想機械におけるカスタマイズ可能なごみ集めモジュールの実装 |
 +| ::: | ::: | 徐 振宇 | 監視対象システムを止めずにカーネル制御フロー改変ルートキットを検知するシステムの実現 |
 +| ::: | ::: | 中川 涼太 | 属性付き記号的木変換器の合成 |
 +| ::: | ::: | 早川 恵太 | 定理証明支援系Coq における証明木を操作可能なインタフェースの設計および実装 |
 +| ::: | ::: | 山田 伊織 | 定理証明支援系Coqにおける手続き的証明から宣言的証明への変換 |
 +| ::: | 学士 | 浅見 祥喜 | 仮想マシンモニタにおけるディスク入出力監視によるマルウェア検知 |
 +| ::: | ::: | 加藤 直斗 | Fregelコンパイラにおける不要な値送受信の削減 |
 +| ::: | ::: | 近松 万由子 | Haskellのビジュアルプログラミング環境の実装 |
 +| ::: | ::: | 西山 舜 | スタック構造の累積引数を持つ関数を融合するための木変換器合成 |
 +| ::: | ::: | 宮澤 修 | Ruby 処理系への Gradual Typing の実装 |
 +| ::: | ::: | 宮野 温 | 定理証明支援系Coqによる検証付きモデル検査器の実装 |
 +| ::: | ::: | 矢野 こずえ | eJSプロジェクトにおけるコンパイラの改良 |
 +| 2016 | 修士 | 丹治 将貴 | Rubyに対するGradual typingの導入 |
 +| ::: | ::: | 北原 元気 | 既存のコード資産を利用した制御構文補完機構 |
 +| ::: | ::: | 木下 大輔 | 部分的なプログラムの変更を考慮した証明支援 |
 +| ::: | 学士 | 秋葉 柊哉 | FregelコンパイラのPregel+への対応 |
 +| ::: | ::: | 駒村 春野 | グラフ処理アルゴリズムの Pregel による記述とデザインパターンの抽出 |
 +| ::: | ::: | 谷 大輝 | Linuxカーネルモジュール開発支援システムの検討 |
 +| ::: | ::: | 宮下 優希 | 関数型プログラミング風のシェルスクリプトの実装 |
 +| ::: | ::: | 森田 浩平 | Jikes RVM におけるメモリ割り付け機構の実装 |
 +| ::: | ::: | ラトル アモグ | 学習アルゴリズムの並列分散グラフフレームワークを使った実装|
 +| ::: | ::: | 阿部 和敬 | マクロ森トランスデューサの実用的な型検査器の実装 |
 +| ::: | ::: | 小澤 祐也 | 定理証明支援系 Coq のプログラムからのSQLクエリの抽出 |
 +| ::: | ::: | 甲斐 宏味 | Scala における Improving Sequences ライブラリの応用と改良 |
 +| ::: | ::: | 神田 世奈 | 導出システム学習ツールに対する視覚的インタフェースの実装 |
 +| ::: | ::: | 北林 丈人 | 軽量関数融合のOCamlにおける実装 |
 +| ::: | ::: | 高橋 祐多 | 木構造から文字列への関数の等価性判定の実装 |
 +| 2015 | 博士 | 高野 保真 | 遅延評価に基づく関数型言語におけるメモリ割当量の削減 |
 +| ::: | 修士 | 新井 椋也 | Pythonに対する契約を用いた仕様の記述システム |
 +| ::: | ::: | 小式澤 篤 | 高い表現力を持つ軽量マークアップ言語の設計と実装 |
 +| ::: | ::: | 藤井 亮太 | 変更履歴を利用したパッケージ管理のためのバージョン管理システム  |
 +| ::: | ::: | 山本 竜太郎 | 部品化を指向したWebアプリケーション開発の枠組みの設計と実装  |
 +| ::: | ::: | 渡邉 秀隆 | 特定の言語に偏向しないGrammatical Frameworkの実現 |
 +| ::: | 学士 | 小貫 翔 | Twitter上の画像転載の検出と検索サービスの作成 |
 +| ::: | ::: | 青山 航 | ファイル毎にフックを設定可能なシステム |
 +| ::: | ::: | 赤澤 亮弥 | 効率的な部分コンパクションの実装に向けて |
 +| ::: | ::: | 佐藤 洋佑 | LinuxカーネルにおけるI/O優先度操作機構の実現 |
 +| ::: | ::: | 山田 伊織 | 定理証明支援系CoqからのD言語プログラムの抽出 |
 +| ::: | ::: | 櫻井 健二 | OCaml におけるデバッグ出力機構の実装 |
 +| ::: | ::: | 徐 振宇 | ローダブル・カーネル・モジュールによるシステムコール拡張を容易にする領域特化言語 |
 +| ::: | ::: | 中川 涼太 | 属性文法合成による関数融合の実装 |
 +| ::: | ::: | 早川 恵太 | 定理証明支援系Coqにおける証明の視認性の向上 |
 +| 2014 | 博士 | 佐藤 重幸 | Structured Parallel Programming with Trees |
 +| ::: | 修士 | 大泉 良介 | 問題演習を目的としたOnline Python Tutorの拡張 |
 +| ::: | ::: | 柏崎 由貴菜 | Redmineへのチケットのグラフ表示機能の追加 |
 +| ::: | ::: | 小林 哲 | グラフ問題を効率的に解くためのハードウェアトランザクショナルメモリの利用 |
 +| ::: | ::: | 反町 翔太 | Pythonコーディング規約のためのソースコードフォーマットツールの実装 |
 +| ::: | ::: | 谷村 明 | CとLuaを容易に連携するための言語LuCaの実装 |
 +| ::: | ::: | 竹内 洋平 | Java仮想マシンの動作特性に注目したCPU周波数制御のPCへの適用 |
 +| ::: | ::: | 中野 陽基 | Android上のごみ集めにおける停止時間の削減 |
 +| ::: | 学士 | 宇治田 弥恵 | 電子書籍ファイルEPUBリーダReadiumの拡張 |
 +| ::: | ::: | 丹治 将貴 | LinuxカーネルにおけるI/O優先度操作によるCPU資源の有効活用 |
 +| ::: | ::: | 山内 崇通 | Improving Floating-point Numbers の実装 |
 +| ::: | ::: | 北原 元気 | 連想検索に基づくJavaのメソッドチェーン補完プラグインの実装 |
 +| ::: | ::: | 木下 大輔 | CoqにおけるMinCamlコンパイラの最適化器の実装と証明 |
 +| ::: | ::: | 蛭川 元貴 | Template Haskell のクオート式の改良 |
 +| 2013 | 修士 | 漆原 明博 | JavaScript 処理系における LLVM を用いた JIT の実装と評価 |
 +| ::: | ::: | 塩田 雅人 | ドメイン特化言語処理系実装支援ライブラリのメタプログラミングによる設計と実装 |
 +| ::: | ::: | 橘田 頼之 | Android上のごみ集めにおけるCPU周波数制御による消費電力の削減 |
 +| ::: | ::: | 陳 粛 | OCamlによるJavaScriptコンパイラの実装 | 
 +| ::: | ::: | 宮岡 大騎 | JNIにおけるアクセス制御違反を検出するツールの開発 |
 +| ::: | ::: | 森川 和哉 | マークコンパクトごみ集めにおけるAdaptive scanningの提案と実装 |
 +| ::: | 学士 | 新井 椋也 | 仮想マシンモニタと秘密分散法を用いた対障害性の高い分散バックアップシステム |
 +| ::: | ::: | 小網 駿輔 |共起情報に基づく校正支援システムの作成 |
 +| ::: | ::: | 藤井 亮太 | イベント駆動方式サーバのための並列JavaScript処理系の実装 |
 +| ::: | ::: | 山本 竜太郎 | ScalaにおけるImproving Sequenceライブラリの実装 |
 +| ::: | ::: | 馬場 庸平 | Haskellによる差分プログラミング |
 +| ::: | ::: | 吉川 竜太 | mrubyを用いたIPロードバランスソフトウェアの拡張 |
 +| ::: | ::: | 渡邉 秀隆 |定理証明支援系 Coq による型システムの健全性の証明の簡潔化 |
 +| ::: | ::: | 小式澤 篤 | ユーザーへストレスを与えないGCのスケジューリング |
 +| ::: | ::: | 髙村 成道 | 低優先度処理を指定可能なリアルタイム処理向け I/O スケジューラ |
 | 2012 | 修士 | アウィルメド ムンヘバト | JavaScript プログラムに対する漸進的な型システム | | 2012 | 修士 | アウィルメド ムンヘバト | JavaScript プログラムに対する漸進的な型システム |
 | ::: | ::: | 髙田 祥 | JavaScript仮想機械におけるQuickeningの効果 | | ::: | ::: | 髙田 祥 | JavaScript仮想機械におけるQuickeningの効果 |
行 62: 行 165:
 | ::: | ::: | 戸谷 渉 | Haskellを対象とした類似プログラム判定 | | ::: | ::: | 戸谷 渉 | Haskellを対象とした類似プログラム判定 |
 | ::: | ::: | 佐々木 大輔 | 双方向変換を利用したWebサイト更新機構のフロントエンドの改良 | | ::: | ::: | 佐々木 大輔 | 双方向変換を利用したWebサイト更新機構のフロントエンドの改良 |
- 
public/thesis.1392961282.txt.gz · 最終更新: 2018/08/18 17:39 (外部編集)