
muratak @emptst
2019-03-07 16:00:01
九州工業大学大学院,情報工学府.論理と計算が好き.Interests: 関数型言語 / Coq / プログラム運算 / allegory / 代数データ型 / Curry-Howard対応 / 型 / 論理 / 計算可能性 / 形式言語
管理者 | ![]() |
---|---|
セキココ人数 | 8人 |
関連ページ | http://https://jssst-ppl.org/workshop/2019/ |
イベントの説明 | プログラミングおよびプログラミング言語 ワークショップ 2019 の席を共有します |