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