public:thesis
差分
このページの2つのバージョン間の差分を表示します。
| 両方とも前のリビジョン前のリビジョン | 次のリビジョン両方とも次のリビジョン | ||
| public:thesis [2019/03/07 11:00] – ozawa | public:thesis [2020/05/03 22:06] – 19honozawa | ||
|---|---|---|---|
| 行 1: | 行 1: | ||
| ====== 過去の学位論文 ====== | ====== 過去の学位論文 ====== | ||
| ^ 年度 ^ 学位 ^ 名前 ^ 題名 ^ | ^ 年度 ^ 学位 ^ 名前 ^ 題名 ^ | ||
| + | | 2019 | 修士 | 浅見 祥喜 | 仮想マシン内部情報を簡潔かつ対話的に取得可能なシステム | | ||
| + | | ::: | ::: | 加藤 直斗 | 並列化技法を選択可能なグラフ処理系及び抽象化言語の実装 | | ||
| + | | ::: | ::: | 西山 舜 | スタック機構を持つ木変換器の表現力 | | ||
| + | | ::: | ::: | 宮野 温 | 検証付き記号的モデル検査器の実装 | | ||
| + | | ::: | 学士 | 小野澤 拓 | アプリケーションと実行環境に適応したカスタマイズが可能なJavaScript処理系 | | ||
| + | | ::: | ::: | 平澤 祐太 | JavaScript仮想機械における詳細な型解析に基づく型ディスパッチコードの最適化 | | ||
| | 2018 | 修士 | 秋葉 柊哉 | グラフ並列分散処理のための計算モデルを選択可能な領域特化言語の設計 | | | 2018 | 修士 | 秋葉 柊哉 | グラフ並列分散処理のための計算モデルを選択可能な領域特化言語の設計 | | ||
| | ::: | ::: | 大町 一仁 | eJSを使った組込みシステム開発フレームワーク | | | ::: | ::: | 大町 一仁 | eJSを使った組込みシステム開発フレームワーク | | ||
public/thesis.txt · 最終更新: 2023/04/26 18:17 by 21totsuka