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