言語L1, L2, L3 があり、L1-> L2 と L2-> L3 の間が翻訳可能であっても、L1 -> L3 の間の翻訳が不可能な例を考えよう、という話。以下の例は、今年の前半、読書会のときに思いついた（本当に思いつきなんですが）。IG氏の原稿を読んでいる際にふと思い出した…

朝から雨、寒い一日。起床は8時半。出勤して書類整理、また今後の方針について考える。おかげで実際の進展はあまりなし。 19時半に退所、雨は上がっていた。21時半に帰宅、夕食はすき焼き風卵とじ鍋。