Personal memorandum for studying functional languages, theorem proving, and formal verification. But other topics might be included. Written in Japanese (Shift-JIS Encoding).
object P016 { def main(args:Array[String]) { val v2 = new BigInt(java.math.BigInteger.valueOf(2L)) val r = v2.pow(1000).toString.toCharArray.map{c => c-'0'}.foldLeft(0)(_+_) println(r) } }
1 comment:
This was a lovely blogg post
Post a Comment