ファンクション倶楽部でいただいた質問/指摘とそれに対する私の回答と感想をまとめました。 Arrowをプログラミングできるグラフィカルなエディタが作れないか? 何かできそうですよね。"Arrowで書くと証明がしやすい"ということとグラフィカルなエディタが作…

http://www.slideshare.net/nskj77/arrow-presentation-706164 ファンクション倶楽部で話してきました。スライドをSlideShareにupしました。イベントでいただいた指摘とそのほか若干の修正をしてあります。 ustで視聴していただいた方ありがとうございました…