コンテンツへスキップ

Chiilabo Note

  • /series
    • /print
    • /scheduled
    • /recorded
    • /dev
  • /app
  • /root

check-type

【Common Lisp】log x² と 2 log x は同じ関数か?(定義域とデバッグ)

2026-04-042026-04-04 by chiilabo
#Common Lisp(62) #マクロ(15) #defun(11) #型宣言(10) #declare(9)
カテゴリー 記事 タグ assert、check-type、Common Lisp、declare、defun、log、my-defun、コンパイラ、セーフティレベル、バグ、マクロ、写像、処理系、型宣言、型指定子、定義域、定義域外、実数、対応規則、対数関数、式変形、引数、数学、暗黙の前提、未定義動作、終域、複素数、設計、関数、高校数学

Common Lispのassertと契約による設計

2026-03-222026-03-19 by chiilabo
#Common Lisp(62) #REPL(16) #slime(13) #エラーメッセージ(11) #リーダーマクロ(5)
カテゴリー 記事 タグ *features*、ASDF、assert、Bertrand Meyer、check-type、cl-contracts、Common Lisp、Design by Contract、development環境、Eiffel、invariant、postcondition、precondition、REPL、simple-error、slime、インタフェース仕様、エラーメッセージ、コンディションシステム、デバッガ、バグ切り分け、フィーチャーフラグ、リーダーマクロ、リスタート、不変条件、中間条件、事前条件、事後条件、型検査、契約による設計
© 2026 Chiilabo Note • Built with GeneratePress