Android

最近ずっと考えている証明は一応完成した. 先生に説明して納得してもらえた. 次は原稿に書く.

ところで, GoogleのAndroidが面白そうだ. 時間さえあれば何か作って遊びたい所. タイミング的にMulticsのエミュレーターでも作ってみるかw