技術者/プログラマのためのラムダ計算、論理、圏 第3回に行ってきた 3月 21, 2009 report コンピュータ科学 セミナー/勉強会 +0 数学 report コンピュータ科学 セミナー/勉強会 数学