こんばんは、@kjunichiです。 この記事は、@kjunichiの2018年パーソナルアドベントカレンダーの2日目の記事です。 (adsbygoogle = window.adsbygoogle || []).push({}); 背景 とあるアドベントカレンダーの記事を書くためにJuliaでWebSocketを扱う方法を調べ…