って[tex: *1]の特別な場合じゃん、ということに気がついた。あたりまえ。 *1:A \vee B) \rightarrow C) \leftrightarrow ((A \rightarrow C) \wedge (B \rightarrow C

前にやったとき途中で面倒になって放置していたんですが、今日やってみたらすぐ解けました。Lisp 使ったけど。連分数周りはよく分からない。展開していくとき √n の係数が必ず 1 になっているような気がするんですけど、証明できなかったし。

"now" とか "town" とかの "ow" の発音って、辞書では [aʊ] とか [ɑʊ] とかになってるんですが、実際に聞くと [æʊ] に聞こえます。以前 BBC のニュースを聞いてた時期があったんですが、そのときにも確か同じことを思いました。そういうものでしょうか。