C言語で書くと、!P||Qと同じ ifで書くと、if P then Q の後ろに else 1 がついている、という感じか。 なぜ、Pが偽ならば、Qの真偽にかかわらず「PならばQ」が真なのか P Q PならばQ 例「この仕事が成功しなければ辞表を出す」 0 0 1 仕事が成功してかつ辞表…

いつの間にかトラベルキーボードの後継が出てた。 値段が下がって、しかも前のよりもキータッチがよさそう。 スライドパッドと一緒にパームレストもなくしてくれれば更によかったが。 製品番号 55Y9003 商品名 ThinkPad USB トラックポイントキーボード(英語…

俺Lispでcall/ccが動くようになったので、昔call/ccを使ってGauche上で作った俺Prologをこっちで動かしてみた。 repl> (?- (append X Y (a b c)) (write (x = X y = Y)) (fail)) (x = () y = (a b c)) (x = (a) y = (b c)) (x = (a b) y = (c)) (x = (a b c)…