結果

問題 No.998 Four Integers
ユーザー Common Lisp
提出日時 2024-10-30 21:33:24
言語 Common Lisp
(sbcl 2.6.9)
コンパイル:
sbclc _filename_
実行:
sbcl --script Main.fasl
結果
AC  
実行時間 9 ms / 1,000 ms
+ 852µs
コード長 287 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 858 ms
コンパイル使用メモリ 33,476 KB
実行使用メモリ 29,548 KB
最終ジャッジ日時 2026-11-12 02:48:19
合計ジャッジ時間 3,631 ms
ジャッジサーバーID
（参考情報） 		judge2_0 / judge3_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 25
権限があれば一括ダウンロードができます
コンパイルメッセージ
; compiling file "/home/judge/data/code/Main.lisp" (written 12 NOV 2026 02:48:15 AM):

; wrote /home/judge/data/code/Main.fasl
; compilation finished in 0:00:00.052

ソースコード

diff #
raw source code 

(defun main (&rest args)
  (declare (ignorable args))
  (let* ((x (sort (loop repeat 4 collect (read)) #'<)))
    (loop for (x1 x2) on x
          while x2
          when (/= (1+ x1) x2)
            do (format t "No~%")
               (return-from main))
    (format t "Yes~%")))

(main)
0