id:succeedに煽られてやってみたところ、 Scanner.nextDoubleが恐ろしく遅いとしか思えない結果になった。 http://acm.pku.edu.cn/JudgeOnline/problemstatus?problem_id=1981&language=2&orderby=timeBufferedReaderを使ったこと以外何の変哲もないコードだ…

fun (nnnp : ¬¬¬P) -> fun (p : P) -> nnnp (fun (np : ¬P) -> np p)