MMatsunaka @mana613 そういえば、理系向けの教養科目の「法学」を担当すると、質疑の8割程度は、「一義的で機械的に当てはめが可能な形でルールを書き切る」ことの不可能性を実に色々な形で説明することになる（授業なので別に悪い話でもなんでもない）。面白いことに、文系向けではこの手の質問はグッと減る。 2022-11-15 00:11:02 MMatsunaka @mana613 文脈上うまくいけば、「一義的で機械的に当てはめが可能な形でルールを書き切る」必要条件（の一部かもしれない）として、1)起きうる事情全てを予見できること、2)曖昧さを排しつつ現実を記述できる言語を開発することを挙げて、これにこだわると凄まじい前提を置くことになるよという話をする。 2022-11-15 00:13:38 MMatsunaka @mana613 もちろん、個別に予測が成り立ちやすく、言語でうま