設定環境 ハードウェアはApple Magic Keyboard (US) + Mac。 elementary OS (0.4.1 Loki)はVMware Fusion上で動いていて、Fusionのキーボード設定はデフォルトからほぼいじっていない。 Macでは、Karabiner-Elementsで「コマンドキーを単体で押したときに、…

とりあえずaptでインストール Mac+Homebrewだとversion 26が簡単にインストールできるのに、こちらでは標準では24、レポジトリを追加しても25しかインストールできないみたい。Emacsを自前でビルド＆インストールするのはもうやりたくないし、Rubyほど最新版…

2018-08-08現在，elementary OS (0.4.1 Loki)に標準でインストールできるRubyは2.3なので、そっちはアンインストールして、rbenv経由でRuby 2.5.1をインストールした。 とりあえず直面したのはStructでkeyword_initを使いたいということだけだが、最新版の方…

High SierraでAPFSボリュームに対してTime Machineを使うと必ずローカルスナップショットが作られるらしい。 これまで使ったことはないが、あればあったで便利な時もあるかもしれない。 ただ、最近Time Machineバックアップが肥大化していたせいもあり、ロー…

ふと気づいたら、Mac*1のTime Machineのバックアップサイズが毎回2GB前後になっていた。つけっぱなしにしているだけで何も使わなくても同じ。バックグラウンドで変更されているファイルもあるだろうけど、1時間ごとに2GBも変更があるなんて、何かがおかしい…

これでいいのかな？ ストリームを使ったアパート問題のプログラムは以下のようになった．リスト版の決定性計算版よりはるかに遅いので，てっきり間違っていると考えたが，solveからはすぐに戻っているところをみると，動いているのかな？しかし，全解探索す…

実は動いているのかも 昨日，ストリームを使ったアパート問題のプログラムがすんなり動かないと書いたが，実は遅いだけで，正しく動いているのかも…．とりあえず，今日は順列生成のストリーム版について書いてみる．いや，本当は順列というより，置換と言う…

素直なプログラム 昨日Prologで書いたアパート問題をSchemeに翻訳してみる．最初はいちばん素直なプログラム．このRubyプログラムをほぼ忠実に翻訳したものだ．使用処理系はGauche． (use gauche.time) (use srfi-1) (load "./nd.scm") (define-syntax name-…

問題とRubyおよびHaskellのプログラム 何かを探していて偶然面白い問題を見つけた． Baker, Cooper, Fletcher, MillerとSmithは五階建てアパートの異なる階に住んでいる。Bakerは最上階に住むのではない。Cooperは最下階に住むのではない。Fletcherは最上階…