結果
| 問題 | No.1432 Not Xor |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2021-03-19 21:47:07 |
| 言語 | Common Lisp (sbcl 2.6.3) |
| 結果 |
RE
|
| 実行時間 | - |
| コード長 | 85 bytes |
| 記録 | |
| コンパイル時間 | 934 ms |
| コンパイル使用メモリ | 28,416 KB |
| 実行使用メモリ | 24,960 KB |
| 最終ジャッジ日時 | 2026-05-13 08:18:37 |
| 合計ジャッジ時間 | 1,808 ms |
|
ジャッジサーバーID (参考情報) |
judge1_1 / judge3_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | RE * 1 |
| other | RE * 7 |
コンパイルメッセージ
; compiling file "/home/judge/data/code/Main.lisp" (written 13 MAY 2026 08:18:33 AM): ; file: /home/judge/data/code/Main.lisp ; in: FORMAT "~a~%" ; (FORMAT "~a~%" (NXOR (READ) (READ))) ; ; caught WARNING: ; Literal string as destination in FORMAT: ; (FORMAT "~a~%" (NXOR (READ) (READ))) ; ; caught WARNING: ; Literal string as destination in FORMAT: ; (FORMAT "~a~%" (NXOR (READ) (READ))) ; ; note: deleting unreachable code ; ; caught WARNING: ; Derived type of (COMMON-LISP-USER::NXOR (READ) (READ)) is ; (VALUES INTEGER &OPTIONAL), ; conflicting with its asserted type ; (OR STRING FUNCTION). ; See also: ; The SBCL Manual, Node "Handling of Types" ; ; compilation unit finished ; caught 3 WARNING conditions ; printed 1 note ; wrote /home/judge/data/code/Main.fasl ; compilation finished in 0:00:00.043
ソースコード
(defun nxor (x y) (+ (logior x y) (logand x y))) (format "~a~%" (nxor (read) (read)))