某N君に出した問題を掲載する。「関数」と「写像」は（ここでは）完全に同義語、特に区別はしない。 ラムダ記法 写像 f:X→Y を、 λx∈X.( … :Y) の形に書く。「…」の部分に、写像の働きを表す式が入る。集合の直積〈direct product〉は、普通の掛け算記号'×'…

定義することが信用できない、あるいは定義により何かが確定するとは思えない、のは、対話状況への不安とでもいうべき心理があるのではないか。例えば、「偶数とは2で割り切れる数」と言ったときの「数」が、「3だって2で割って1.5だよ」と言われるんじゃな…

一年ほど前に今井絵理子氏の「批判なき政治」って発言があったけど、このときの「批判」は、どうも悪口／クレーム／誹謗中傷／野次／冒涜 といった意味だったようだ。悪意をもって人を貶めるような言動が「批判」てことだったのだろう。となると、本来の「批…