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