kb84tkhrのブログ

何を書こうか考え中です あ、あと組織とは関係ないってやつです 個人的なやつ

2017-10-12から1日間の記事一覧

失敗してみせる

これな 有料記事だけど見えるところだけでだいたいわかります(ウチは読売取ってるので紙で読んだ) 要は、大人が苦労してなにかをやりとげてるところをみた赤ちゃんのほうが簡単にやってるところを見た赤ちゃんよりも粘り強く行動するって話いかにもありそ…

ゲーデルの不完全性定理の証明のアレをRacketで書いてみる (17)

「10.8.4 変数・記号・論理式」の続き 定義22 "基本論理式"から組み上げた"論理式"の列である うーナントカ以下じゃなくてナントカ未満のパターンもあったか まあいいやとりあえず1引けばおんなじことだし (define (IsFormSeq x) (and (> (len x) 0) (∀ n ≦ …