2016-05-25から1日間の記事一覧
動機 ぼくはgopherなのでgorutine/channelを用いたプログラミングが好きだ。 ついでに非同期、並行プログラミングも好ましいもので、haskellやrustなんかの手法を知ってにやにやしている。 それらにともなって背景とされるhoareのCSPとその拡張のpi calclus…
動機 ぼくはgopherなのでgorutine/channelを用いたプログラミングが好きだ。 ついでに非同期、並行プログラミングも好ましいもので、haskellやrustなんかの手法を知ってにやにやしている。 それらにともなって背景とされるhoareのCSPとその拡張のpi calclus…