ユーザ用ツール

サイト用ツール


public:thesis

差分

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

この比較画面へのリンク

両方とも前のリビジョン前のリビジョン
次のリビジョン
前のリビジョン
public:thesis [2018/04/29 12:44] asamipublic:thesis [2022/06/17 18:27] (現在) iwasaki
行 1: 行 1:
 ====== 過去の学位論文 ====== ====== 過去の学位論文 ======
 ^ 年度 ^ 学位 ^ 名前 ^ 題名 ^ ^ 年度 ^ 学位 ^ 名前 ^ 題名 ^
 +| 2021 | 修士 | 小野澤 拓 | 組み込み機器向けJavaScript処理系に向けた空間効率の良いごみ集めの実現 |
 +| :::  | ::: | 齋藤 匡 | 静的性と動的性を共存させたJavaScript処理系の最適化 |
 +| :::  | ::: | 平澤 祐太 | JavaScript 仮想機械を記述するための領域特化言語 |
 +| :::  | ::: | 宮島 拓三 | ブロック型言語からテキスト型言語への移行を補助するプログラミング学習環境 |
 +| :::  | 学士 | 小林 健吾 | 組み込み用JavaScript処理系におけるイベントループの実装 |
 +| :::  | ::: | 大塚 貴斗 | ゲストOSのカーネル内メモリへのアクセスを容易にするドメイン特化言語 |
 +| :::  | ::: | 岡本 憲汰 | 言語要素のモジュール化による関数言語処理系生成フレームワーク |
 +| :::  | ::: | 高橋 裕司 | JavaScript処理系における属性値参照の効率化 |
 +| :::  | ::: | 石井 琢満 | cgroupによるCPU使用率の動的制御 |
 +| 2020 | 学士 | 安積 直道 | バグ入りJavaアプリケーションの自動生成ツールの実装 |
 +| :::  | ::: | 冨井 陸矢 | JavaScriptコンパイラの最適化処理の改良 |
 +| :::  | ::: | 長安 尚之 | データ永続化機能を持つJava処理系のメモリアロケータの実装 |
 +| 2019 | 修士 | 浅見 祥喜 | 仮想マシン内部情報を簡潔かつ対話的に取得可能なシステム |
 +| :::  | ::: | 加藤 直斗 | 並列化技法を選択可能なグラフ処理系及び抽象化言語の実装 |
 +| :::  | ::: | 西山 舜 | スタック機構を持つ木変換器の表現力 |
 +| :::  | ::: | 宮野 温 | 検証付き記号的モデル検査器の実装 |
 +| :::  | 学士 | 小野澤 拓 | アプリケーションと実行環境に適応したカスタマイズが可能なJavaScript処理系 |
 +| :::  | ::: | 平澤 祐太 | JavaScript仮想機械における詳細な型解析に基づく型ディスパッチコードの最適化 |
 +| 2018 | 修士 | 秋葉 柊哉 | グラフ並列分散処理のための計算モデルを選択可能な領域特化言語の設計 | 
 +| :::  | ::: | 大町 一仁 | eJSを使った組込みシステム開発フレームワーク | 
 +| :::  | ::: | 阿部 和敬 | 高階木変換器を経由したマクロ木変換器の直接的融合 | 
 +| :::  | ::: | 小澤 祐也 | 余帰納的証明のためのガード条件の漸進的検査および自動化支援 | 
 +| :::  | ::: | 高橋 祐多 | ランク付き木から文字列への決定性ストリーム変換器の表現力 |
 +| :::  | 学士 | 小沼 晋 | プロセスに対するヘルスチェック機構を用いたRedox OS上でのシステムの安定化の実現|
 +| :::  | ::: | 大林 健造 | JavaScript仮想機械 (eJSVM) における対話的なプログラミング環境の実現 | 
 +| :::  | ::: | 棚橋 健人 | 数値や文字列に対するガードを含む累積引数付き再帰関数の融合 | 
 | 2017 | 修士 | 青山 航 | ディレクトリ毎にジャーナリングモードを設定可能なファイルシステム | | 2017 | 修士 | 青山 航 | ディレクトリ毎にジャーナリングモードを設定可能なファイルシステム |
 | ::: | ::: | 赤澤 亮弥 | 言語仮想機械におけるカスタマイズ可能なごみ集めモジュールの実装 | | ::: | ::: | 赤澤 亮弥 | 言語仮想機械におけるカスタマイズ可能なごみ集めモジュールの実装 |
行 6: 行 32:
 | ::: | ::: | 中川 涼太 | 属性付き記号的木変換器の合成 | | ::: | ::: | 中川 涼太 | 属性付き記号的木変換器の合成 |
 | ::: | ::: | 早川 恵太 | 定理証明支援系Coq における証明木を操作可能なインタフェースの設計および実装 | | ::: | ::: | 早川 恵太 | 定理証明支援系Coq における証明木を操作可能なインタフェースの設計および実装 |
-| ::: | ::: | 山田 伊織 | 定理証明支援系Coqにおける手続き的証明から可読性の高い宣言的証明への変換 |+| ::: | ::: | 山田 伊織 | 定理証明支援系Coqにおける手続き的証明から宣言的証明への変換 |
 | ::: | 学士 | 浅見 祥喜 | 仮想マシンモニタにおけるディスク入出力監視によるマルウェア検知 | | ::: | 学士 | 浅見 祥喜 | 仮想マシンモニタにおけるディスク入出力監視によるマルウェア検知 |
 | ::: | ::: | 加藤 直斗 | Fregelコンパイラにおける不要な値送受信の削減 | | ::: | ::: | 加藤 直斗 | Fregelコンパイラにおける不要な値送受信の削減 |
public/thesis.1524973464.txt.gz · 最終更新: 2018/08/18 17:39 (外部編集)