PPL2019 #jssst_ppl2019
開催日2019-03-06
オンライン
このエントリーをはてなブックマークに追加
管理者 profile iconyoshihiro503
セキココ人数 8人
関連ページ http://https://jssst-ppl.org/workshop/2019/
イベントの説明 プログラミングおよびプログラミング言語 ワークショップ 2019 の席を共有します
muratak @emptst
2019-03-07 16:00:01
九州工業大学大学院,情報工学府.論理と計算が好き.Interests: 関数型言語 / Coq / プログラム運算 / allegory / 代数データ型 / Curry-Howard対応 / 型 / 論理 / 計算可能性 / 形式言語
Kota Mizushima @kmizu
2019-03-07 15:58:37
東京のD社でプログラマやってます. 興味: 形式言語、構文解析など.本気ダイエット.Twitterでの発言は所属先の見解とは一切関係ありません.最近ゆるきゃん△にハマっています。技術とか全く関係ないことは @kmizu_hobby でつぶやいてます。
星にゃーん @takoeight0821
2019-03-07 15:54:17
星にゃーんです
κeen @blackenedgold
2019-03-07 15:53:18
それ、kappaだよ ⸜( ¯⌓¯ )⸝ 。 https://t.co/uHC2I4tPTh
おく @OKU_K
2019-03-07 15:52:29
熊本/京都/神奈川/Coq/SSReflect/
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
Kohei Suenaga @ksuenaga
2019-03-07 15:50:02
空気吸い放題かつトイレ行き放題の研究室で研究をしています.
閉じる

みんなのコメント

コメントする
開く