http://it.nikkei.co.jp/internet/news/index.aspx?n=MMITba002016062006 先日研究室の先輩に教わった。てっきり、某授業のあとの先生との雑談で、「やっぱり、国産のクローラほしいよねぇ。T 先生とか K 先生にいったらどうにかなりますかねぇ。あはははは…

あれですよ。人混みって嫌いなんですよ。満員電車とかも。何が楽しくて、人混みに巻き込まれないといけないのかと。今のバイト先のオフィスが水道橋にあるんですよね。今日は調子がよかったんで、 21:00 くらいまでやんややんやと働いてたわけです。で、ふだ…

なんというか、プログラムの正しさを証明しようとすると、その証明の正しさを証明して欲しくなる。人手で証明すると間違えるんですよね。まぁ、はまったわけです。てか、プリントが間違ってる・・・。どこまで自動化できるのか。定理証明は最近流行ってるら…