卒研終わった 2/17に卒研発表をした。 何研究してたの モデル検査とfault injectionを行うためのモデリング言語Sandalのコンパイラの拡張を行った。 いろんな人に何研究してるのか聞かれたんだけど、そのたびに一言で説明できなくて困った。自分がモデル検査とfault injectionに関する理解がまだまだ浅いというのと、そうじゃなくても両方説明するのが難しいので、誰かに研究テーマ聞かれてもまともに説明できた試しがない。同じ学科の人に説明してもモデル検査を授業でやった人だけにしか伝わらなかった。実際にやってたことは既存の言語処理系の拡張なので、そう理解していただければと思う。 研究室所属をする際、将来知ってて役に立ちそうな分野の知見が深められるといいなあと考えていて、いくつか考えた分野の中でも最初に言語処理系のことを知っておくのがいいだろうと思ってそういう研究室を探していた。
![卒研発表をした - k0kubun's blog](https://cdn-ak-scissors.b.st-hatena.com/image/square/c8c81c8d4af47cda29970c4ca613811a5a7f5d32/height=288;version=1;width=512/http%3A%2F%2Fi.gyazo.com%2F7b05cb457aea976245edcc093bfc96cb.png)