ゲーデル、エッシャー、バッハですが、古い版だったら神戸の図書館に置いてありました。早速インターネット経由で予約。最寄りの図書館に届けてくれて、届いたらメールで連絡がもらえます。すごく便利。ゲーデル、エッシャー、バッハ―あるいは不思議の環 20…

今朝は6:30に起きて家族で墓参りに行ってきました。 僕の小・中学校の同級生が住職をやっているのですが、久しぶりに会いました。中学生の時に埋めたタイムカプセルを3、4年後に開くそうです(もうじき20年かー)。

Arrowを写経 - 趣味的にっきでArrowの写経をしてみました。次は実際に簡単なプログラムで使ってみよう。ということで、wcコマンドを実装してみました(意図的に無理矢理使っているような気もします)。 入力の文字列を単語数、行数、バイト数の3つのパイプに分…