遠藤さんのこと

遠藤さんの本は高くて買えなかったです。困ったな。

型システム入門 −プログラミング言語と型の理論−

抽象によるソフトウェア設計−Alloyではじめる形式手法−

後藤さんのこと

後藤さんのこと (想像力の文学)

レジの真ん前に置いてあったけど、手に取る人が少ない。しょうがないので目が合った人にいちいち説明してみたのだった。

中村さんのこと

@nari3のフッターが遅れて到着しましたので、咳の発表資料の改訂を行いました。

「非同期って同期を書くことじゃん。」

https://speakerdeck.com/m_seki/async-programming-is-all-about-programming-synchronously

緊張していて、そうまとめるのを忘れたけど、まつもとさんのキーノートの反対側を話そうと思ったんです。見た目、文法、ライブラリインターフェイス、シンタックスシュガーでどう表現しても根っこにあるのは大差がないので、まあ、キャッチフレーズに惑わされないように用心すると、いろいろ良いと思う。
なんてね。