M1 の阿部です.先週,スウェーデンのヨーテボリで開催された ICFP 2014 と,その併設イベントである OCaml Workshop 2014,ML Family Workshop 2014 に参加しました.(写真は ICFP の会場とヨーテボリの街並み) 時差ボケで大変でしたが,興味深い発表を沢山見ることができました!東北大からは他に,O堀研のO堀先生やU野さんが参加・発表されていました.私は,自分の論文が OCaml Workshop に採択されたので,その発表のために参加していたのですが(発表自体は ML Workshop),体調不良のために発表は住井先生に代わってもらうことに・・・折角の機会だったのに,残念です.このままだと,私が自分の研究について語る機会がなくて悔しいので,この場を借りて簡単な研究紹介をしたいと思います!(ごめんなさい,内容は簡単ですが,長文です.) まえお