言語処理系勉強会

発表してきました。CbCの話とAgda で Automatonを記述するいつもの話。なんか発表する人が足りない的な話だったので、
ちょうど東京にいるから。

なんか、CbC が検索に引っかからない的な話が。いや、githubかbitbucketかどっちかに上げた気がするんだが...

COBOLの話とかもあったんですが、

　　発表の後の雑談の方が面白い説〜

割とプロシンと重なってない感じが面白かったかも。プロシンの宣伝もするべきだったか。

https://connpass.com/event/104863/