2012年07月03日のツイート
@kururu_goedel: なんでfirefox for androidからfavstarに行くとモバイルサイトにいかないのだろう。
@kururu_goedel: Androidからonline home workを出題。Androidから大学のCMSにログインして学生にメール。
@kururu_goedel: プログラムとその挙動からコンパイラを自動生成！！？！！
@kururu_goedel: 課題 「下記に与えられた定理を満たすような公理系で、ZFCが無矛盾ならば無矛盾なものを作れ」ってこれ普通の無矛盾性証明だな。
@kururu_goedel: URL 課題「このプログラムをコンパイル出来て予想されたような挙動をするようなコンパイラを作れ。」
