public:thesis
差分
このページの2つのバージョン間の差分を表示します。
両方とも前のリビジョン前のリビジョン次のリビジョン | 前のリビジョン次のリビジョン両方とも次のリビジョン | ||
public:thesis [2018/04/27 01:50] – 2017年度卒の研究を追加 abe | public:thesis [2018/08/18 17:39] – 外部編集 127.0.0.1 | ||
---|---|---|---|
行 6: | 行 6: | ||
| ::: | ::: | 中川 涼太 | 属性付き記号的木変換器の合成 | | | ::: | ::: | 中川 涼太 | 属性付き記号的木変換器の合成 | | ||
| ::: | ::: | 早川 恵太 | 定理証明支援系Coq における証明木を操作可能なインタフェースの設計および実装 | | | ::: | ::: | 早川 恵太 | 定理証明支援系Coq における証明木を操作可能なインタフェースの設計および実装 | | ||
- | | ::: | ::: | 山田 伊織 | 定理証明支援系Coqにおける手続き的証明から可読性の高い宣言的証明への変換 | | + | | ::: | ::: | 山田 伊織 | 定理証明支援系Coqにおける手続き的証明から宣言的証明への変換 | |
- | | ::: | 学士 | 浅見 祥喜 | 仮想マシンにおけるディスク入出力監視によるマルウェア検知 | | + | | ::: | 学士 | 浅見 祥喜 | 仮想マシンモニタにおけるディスク入出力監視によるマルウェア検知 | |
| ::: | ::: | 加藤 直斗 | Fregelコンパイラにおける不要な値送受信の削減 | | | ::: | ::: | 加藤 直斗 | Fregelコンパイラにおける不要な値送受信の削減 | | ||
| ::: | ::: | 近松 万由子 | Haskellのビジュアルプログラミング環境の実装 | | | ::: | ::: | 近松 万由子 | Haskellのビジュアルプログラミング環境の実装 | |
public/thesis.txt · 最終更新: 2023/04/26 18:17 by 21totsuka