社内Java8勉強会 ラムダ式とストリームAPI

Posted 2014年3月25日 by いけぞえ & filed under 勉強会.

先週Java8がリリースされましたが、さっそく社内での開発でも使うことになりそうです。 というわけで、Java8の目玉機能であるラムダ式とストリームAPIについて、社内勉強会を開催しました。 普段の社内勉強会よりも参加者… Read more »

数学初心者のための「型システム入門」入門

Posted 2013年7月24日 by いけぞえ & filed under 本.

社内で「TaPLで殴りあう会」が開催されるというので、型システム入門(通称TaPL: Types and Programming Languages)を購入したものの、内容が難しくて序盤からまったくと言っていいほど読み進… Read more »