伊藤 賢世

"All Concepts are Kan Extensions. "

圏論が好きであり、研究レベルの知識を基礎に実用を俯瞰することが現在の人生目標であります。そのための手段として、関数型プログラミングや形式検証に興味があります。特にScalaは、私がプログラミングやIT、計算機科学に親しむきっかけとなった言語であり、それによるシステム開発の実務において合理的思考を巡らせる体験はたいへん刺激的であります。