logical relationsとかfundamental theoremとかいう（S君曰く「いかがわしい」）名前についてTypesメーリングリストで質問したら、いろいろな人からいろいろな答えが。半分ぐらい個人メールだが。その「人」の研究のレベルと「答え」の内容のレベルがちゃん…

学生さんに読んでもらおうと思って定期購読を始めたら、のっけから「IT関連学会の憂鬱 遠ざかる産業界との“距離”」とかいう特集記事が。うかつにコメントすると危険なので(?)自粛しますが、細かいツッコミは入れないことにすれば、学会も企業も「もっとがん…