0504
フリップドットディスプレイのWeb UIを触っていて思い出したのだが、どうも家のネットワークはVLANとWiFi APまわりに問題があって、WiFi同士のVLAN間接続で片方がVLAN 10であるようなケースでTCPが通らなくなっている。これ何なんだろう？VLAN10を特別扱いするような設定はないはずなのだが。有線だと繋がるのでAPの問題っぽいが、その前段のスイッチのせいということも考えられる。
これで何が困るかというと、自宅内ネットワークのWiFi接続端末（今回の場合だとRasPi）がサービスを公開したとき、スマホからではアクセスできなくなってしまう。仕方がないので有線で繋がっているサーバーにリバースプロキシさせることにした。まあ副産物的にhttps対応にもなるので、これはこれでいいが、原因のわからない問題があるのは落ち着きが悪い。身の丈に合わないネットワークを自宅に構築した報い……。
Seizaの開発はぼちぼち進めているが、結局コンテンツを用意しないとやっぱり何をやってもダメなので難しい。今日はモナドについて復習というか学び直してまとめていた。「自己関手の圏におけるモノイド対象」という表現は、まあ実際（たぶん）そうなのだけど、もっと普通にモナドの定義をみたほうが、プログラミングでのモナドとの対応が見やすい気がするなと思った。いやそんなことないのか？