2018-02-28

プログラミング教育はコンピュータを動かすためだけじゃない

education programming

プログラミング覚えて億万長者になろうとか
Scratchで勉強しても役に立たないからちゃんとした言語でやろうとか
そういうの聞くとそういうものかなあなんか違うなあ、と感じます

自分が思い浮かぶのはこれ
こういう考え方でプログラミング教育をしてくれないかなあ、と

2018-02-27

定理証明手習い (50) 反例じゃなくて証明

littleprover

っていう話はここまで変形しないと言えないもの？

(if (atom x)
  't
  (if (atom (car x))
    't
    (< (size (cons (car (car x)) (cons (cdr (car x)) (cdr x))))
       (size (cons (cons (car (car x)) (cdr (car x))) (cdr x))))))

反例なら上に上げた主張の時点でもう言えてたと思うけど

2018-02-26

定理証明手習い (49) align

littleprover

alignか
それだ見覚えあったのは
確かそのときも全関数であることの証明だった

2018-02-25

定理証明手習い (48) rotate

littleprover

ついに10章
（といってもラスボスは付録Cにいると思われる）

rotate
なんかこの動きは見たことがある
全体的に言えばrotateしてる感じはあるけど
ミクロに言うと何がどうなっているのかな
コンスの数は4

2018-02-24

『ちょっとしたことでうまくいく発達障害の人が上手に働くための本』

mind

先日マシュマロで紹介した『ちょっとしたことでうまくいく発達障害の人が上手に働くための本』が翔泳社さんですね。あと『実用Common Lisp』はすごく勉強になりました。#マシュマロを投げ合おう https://t.co/lFQLu8QvFo pic.twitter.com/Z5ZqWOGCKM
— 読書猿『問題解決大全』4刷、『アイデア大全』8刷 (@kurubushi_rm) 2018年2月17日