この記事は 学生エンジニア Advent Calendar 2015 21日目の記事です． この間このカレンダーを落とさないために今日の分のネタを投下してしまったので今日はおそらく一部の界隈にしか受け入れられないであろうお話をします (かなしい)． Agenda agda2-mode …

この記事は 学生エンジニア Advent Calendar 2015 17日目の記事です． こんにちは． 一昨日引越しして荷解きと収納が嫌になったので普段は書かないブログを積極的に書いていこうと思います． 今日は Google の Nearby Messages API についてです． developer…

この記事はクラシック曲 Advent Calendar 2015 8日目の記事です． 5歳の頃から高校までピアノを弾いていました．クラシックはショパンのノクターンから入り，今回紹介するラフマニノフの鐘が，おそらく最後の発表会で弾いたクラシック曲です．浅田真央選手が…

この記事は 好きなクリスマスソング Advent Calendar 2015 の4日目の記事です． 毎年12月に入ると必ず聴くアルバムがあります． タイトルにもなっている，Les Frères の Noël de Quatre-Mains です． amzn.to Les Frères は横須賀出身のジャズピアニストで，…

今日 (もう昨日だけど) 大学の授業で CPS というプログラミングスタイルの話を聞きました．これを読んでいる人はきっと CPS が 'Continuation-Passing Style (継続渡し形式)' のことで，それがどのようなスタイルのプログラミング手法なのかも分かっていて，…

2月1日〜23日まで，株式会社リクルートホールディングス （以下，リクルートさん）の冬インターンに参加してきました． http://recruit-jinji.jp/winter-internship2015 実は去年の夏に，リクルートさんとクックパッドさんが共同開催した Joint!! という5日…