趣味でHaskell、Agdaのプログラム書いてます。最近はCommonLispを勉強し始めました。
専門書などの難しい文書を楽に読める技術(Syntax Highlighting for Natural Language)を実現するため、Haskellで電子文書リーダーを開発中。
(関数型玩具製作所: https://polymony.net)
終了
11/09(土)
10:0020:00
東京都
170 / 185 人