k0kubun
https://blog.hatena.ne.jp/k0kubun/
k0kubun's blog
https://k0kubun.hatenablog.com/
Go
卒研終わった 2/17に卒研発表をした。 何研究してたの モデル検査とfault injectionを行うためのモデリング言語Sandalのコンパイラの拡張を行った。 いろんな人に何研究してるのか聞かれたんだけど、そのたびに一言で説明できなくて困った。自分がモデル検査とfault injectionに関する理解がまだまだ浅いというのと、そうじゃなくても両方説明するのが難しいので、誰かに研究テーマ聞かれてもまともに説明できた試しがない。同じ学科の人に説明してもモデル検査を授業でやった人だけにしか伝わらなかった。実際にやってたことは既存の言語処理系の拡張なので、そう理解していただければと思う。 研…
190
<iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fk0kubun.hatenablog.com%2Fentry%2F2015%2F02%2F19%2F012927" title="卒研発表をした - k0kubun's blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe>
http://i.gyazo.com/7b05cb457aea976245edcc093bfc96cb.png
Hatena Blog
https://hatena.blog
2015-02-19 01:29:27
卒研発表をした
rich
https://k0kubun.hatenablog.com/entry/2015/02/19/012927
1.0
100%