2010-06-08から1日間の記事一覧

2010年06月08日のツイート

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

"Algebra and Substructural Logics - take 4" (AsubL4) 初日

logic 研究集会

window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fjs.paren…

AsubL4 初日

7時起床、大浴場で入浴し、スタバで朝食後、野町駅へ。駅で参加者のみなさんと合流、JAISTへ向かう。9時20分よりAsubL4開催。終了後、金沢に戻り夕食に行く。