交換留学生

一ヶ月ぐらいインド人の学生が滞在してくれるそうです。OSに興味があると。

　　OS、そんなに人気ないし、劇的な進歩もないよ

と言ったら別な分野があればみたいな。いや、そうじゃなくて、そういう賃貸した分野が意外に次の発展があったりするもの。

で、彼女の Mac Book Air にいろいろ入れていくんですが...

　　TreeVNC
　　Mercurial
　　zsh
　　slideshow (markdown から html)
　　Docker
　　
Docker 上には、xv6arm をdebugするための gcc cross compiler / qemu-system-arm / gdb for arm

Docker は一発なんだけど、それまでがな。

Pro3 な学生とか、うちの学生とかにいろいろやってもらうんですが...

　　お前ら、英語ぐらいちゃんと話せるようにしておけ!

ってところです。何人かは頑張ってました。

ZFの方は置換公理は(仮定)一発だったんですが、冪集合側は難航してます。いや、いままで難航しなかったところなんてないんだけど。