Friday, 7 June 2019

交換留学生

一ヶ月ぐらいインド人の学生が滞在してくれるそうです。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の方は置換公理は(仮定)一発だったんですが、冪集合側は難航してます。いや、いままで難航しなかったところなんてないんだけど。

No comments: