public:thesis 過去の学位論文 年度 学位 名前 題名 2022 修士 安積 直道 ソフトウェアテストを評価するためのバグ入りアプリケーションの自動生成 冨井 陸矢 メタヒューリスティクスの適用を効率的に記述するドメイン特化言語 長安 尚之 複製に基づく永続化を行うシステムにおける不揮発性メモリ管理手法 学士 齊藤 百香 数値計算ライブラリIFNの数値表現の改良と合成演算の導入によるメモリ効率の改善 山本 武蔵 CPU使用率の向上を目指したDEADLINEスケジューラの拡張 2021 修士 小野澤 拓 組み込み機器向けJavaScript処理系に向けた空間効率の良いごみ集めの実現 齋藤 匡 静的性と動的性を共存させたJavaScript処理系の最適化 平澤 祐太 JavaScript 仮想機械を記述するための領域特化言語 宮島 拓三 ブロック型言語からテキスト型言語への移行を補