いいねぇ。非常に良い。これはものすごく，「証明がはかどる」気がしてきた。 この実験により，ChatGPTを使って「厳密な数学の議論」ができる可能性が拓けた。 例えば， Write the proof of the Meyer-Vietris sequence in Coq's code. とやると，以下のコー…

保護者会の役員決めでひと悶着あった。そこで感じた，PTA役員になる人が少ない理由を挙げておく。 何の説明もなく「役員になっていただけますか」と言われる。内容が分からないのでお断りするとキレる。 「やることは役員になったあとに説明する」の一点張り…

バイリンガルが「日本語を話すときと，英語を話すときで性格が変わる」という話がどうにも理解できず，ChatGPTにきいてみた。 Some people say that bilinguals change their personalities when they speak Japanese and when they speak English. Can you …