muratak @emptst
2019-03-07 16:00:01
九州工業大学大学院，情報工学府．論理と計算が好き．Interests: 関数型言語 / Coq / プログラム運算 / allegory / 代数データ型 / Curry-Howard対応 / 型 / 論理 / 計算可能性 / 形式言語
PPL2019 #jssst_ppl2019
開催日2019-03-06
オンライン
| 管理者 |  yoshihiro503 |
|---|---|
| セキココ人数 | 8人 |
| 関連ページ | http://https://jssst-ppl.org/workshop/2019/ |
| イベントの説明 | プログラミングおよびプログラミング言語 ワークショップ 2019 の席を共有します |
Kota Mizushima @kmizu
2019-03-07 15:58:37
東京のD社でプログラマやってます． 興味： 形式言語、構文解析など．本気ダイエット．Twitterでの発言は所属先の見解とは一切関係ありません．最近ゆるきゃん△にハマっています。技術とか全く関係ないことは @kmizu_hobby でつぶやいてます。
Yuji Yamamoto: 山本悠滋 @igrep
2019-03-07 15:51:42
Japanese software developer. Loves Haskell, PreCure, and Pompom Purin! https://t.co/eJkbFqD83y https://t.co/AoyOOuEeW5
https://t.co/hIO2YYkhn8
Yoshihiro503 @yoshihiro503
2019-03-07 15:50:18
プログラムを証明してバグをなくす定理証明支援器の技術に興味があります。
形式検証グループをつくりました。niconicoの基盤システムであるDMCを証明しています。 Coq/OCaml/Haskell/SML#/Scala/F#/Haxe/トップSE
