重箱の隅に残ったごはんつぶ、二粒目。昨日の話と同じ設定で、次は同値。 で が valid 証明は、地道にやればできると思いますよ。valid なら条件を満たすほうは とか とかして背理法を使うといいと思いますよ。

いつもの数分の一の時間で書けた気がする。驚きの早さ。

Scala をちょっと勉強中。こんなのが書けるそうです。 scala> val primes = List(2, 3, 5, 7) primes: List[Int] = List(2, 3, 5, 7) scala> primes(2) res2: Int = 5 scala> primes(3) res3: Int = 7 リストや配列へのアクセスが関数適用みたいな形で書ける…