本日は、萩谷昌己先生の東京大学最終講義が開催されます。（現地参加申し込みは、すでに締め切られてます。）僕にとっては、萩谷先生に1992年に証明チェッカーの件で研究相談を聞いてくださったのが最初でした。その後、理学部非常勤講師に御推薦下さり、今に至ります。ありがとうございました。 https://pic.twitter.com/mvIJp7bP1X
posted at 13:18:35
| Stats | Twitter歴 5,968日（2007/05/27より） |
ツイート数 33,389（5.5件/日） |
表示するツイート :