昨日、行ってきました。 こういう話(カリー・ハワード対応がどうとか)を聞く機会はあまりないので、とても楽しめました。 いよいよラムダというところで、時間切れに。→次回も参加します。 7 時までに帰る約束だったので、終わった後の食事会に行けず。→次…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。