kkatoのブログ

シルバーウィーク特別企画、Emacs haskell-modeをカスタマイズしてみる。

例えば、

fibonacci :: [Integer]

と入力したあとは、当然

fibonacci n =...

と続くわけで、その「fibonacci」の部分を省力化したいですよね。

普通のHaskell-modeでもTABを2回押せばできるんですが、以下はそれが面倒くさいというニッチなニーズ向け。

で、haskell-modeには手を入れず、.emacsだけでやってみた。以下そのコード

(defun haskell-newline ()
  ""
  (interactive)
  (let ((line-start) (line-end) (s) (ss))
      (setq line-end (point))
      (if  (= line-end (line-end-position))
	  (progn (save-excursion 
		   (re-search-backward "^" nil t)
		   (setq line-start (match-beginning 0)))
	   (setq s (buffer-substring line-start line-end))
	   (end-of-line)
	   (newline)
	   (if (string-match "^\\([_a-zA-Z][_a-zA-Z0-9']*\\) *::" s)
	       (progn (setq ss (substring s (match-beginning 1) (match-end 1)))
		      (insert ss " "))))
	(newline))))
(add-hook 'haskell-mode-hook 
	  (lambda () (local-set-key (kbd "RET") 'haskell-newline)))

これで、

hogehoge :: Integer -> Integer

と入力した後に[Enter]キーを押すと次の行に自動で

hogehoge 

と入ります。カーソルが行末ある状態から[Enter]を押したときだけ有効で、他は普通の改行と同じように動きます。

あと何をやっているかは、コードを読めば分かるでしょう。:-)

追記：
書き込んだ直後に気づいたのですが、型が複雑で複数行に分けて書きたいときとかにこれだと困りますね。他にもRETを乗っとると色々と不都合がありそう。

Cでコード書いていて、t型の変数を後でt*型（tへのポインタ型）に変更したくなることってよくありませんか？（あまりないですか、すみません）

例えばaをintの配列のつもりで使っていたのに、後で配列へのポインタに変更したくなったりすると、
a[i]=hoge;
というのを
(*a)[i]=hoge;
に書き換えなければいけません。

こういうのが大量にあっていやになるケースに出くわしたので、emacsのマクロ書いてみました。以下そのコード

(defun f ()
  "thisandthat."
  (interactive)
  (re-search-forward "[_a-zA-z]+" nil t)
  (setq s (buffer-substring (match-beginning 0) (match-end 0)))
  (delete-region (match-beginning 0) (match-end 0))
  (insert "(*") (insert s) (insert ")")
  (goto-char (+ (match-end 0) 3))
)

あとは何か適当なキーにバインドして、置き換えたい変数の直前にカーソルを持っていって実行すればいいです。

ちなみにemacsでまともなマクロ書いたのは初めてです。

The illustrated guide to a Ph.D

超久しぶりのブログですが、UbuntuでNISの設定をしたので、忘れないようにメモ。
ここ
http://www.tyzoh.jp/community/kkato/2009/03/31_140828.html
にも書いたのですが、情報不足だったと思うので、加筆してまとめ。

それにしてもNISの情報って少なくて苦労した。

●NIS(Network Information Service)とは何か
ログイン名とパスワードを複数のサーバ（ドメイン内）で使うための仕組み。主にLinuxなどのUNIX系OSで用いられている。
つまり同じログイン名とパスワードで複数のマシンにログインできるようになる。クラスタなんかを組むときは楽。

●簡単な仕組み
ログイン名・パスワードなどの情報を提供するのが「サーバ」で、それを利用するのが「クライアント」。サーバには2種類あって、すべての情報のもとになるのが「マスターサーバ」、マスターサーバの内容をバックアップしておくのが「スレーブサーバ」。スレーブサーバのおかげで、マスターサーバが死んでてもログインできる。

クライアントは必要に応じてサーバ（マスターまたはスレーブ）に問い合わせる。マスターは情報に変更があるとスレーブに通知する。

●Ubuntuでの設定の仕方
以下、3つのサーバで設定するものとし、サーバ名をubuntu1, ubuntu2, ubuntu3とする。
ubuntu1をマスターサーバとし、ubuntu2とubuntu3をスレーブサーバとする。
（実際にマシンの台数が少ないときは、マスター以外をすべてスレーブとしていいんじゃないかと思う。その方が頑健。）

1) まずは/etc/hostsをいじって、ubuntu1, ubuntu2, ubuntu3のアドレスを登録
2) nisをインストール
sudo aptitude install nis
3) クライアントの設定
yp.confに
ypserver ubuntu1
ypserver ubuntu2
ypserver ubuntu3
を加える。（これがクライアントが参照するサーバ）
/etc/nsswitchを編集して
passwd:         compat nis
group:          compat nis
shadow:         compat nis
とする。（こうしないと、ログイン時にnisの情報を見にいかない）

4) サーバの設定
マスターにするサーバ（ubuntu1）で
/usr/lib/yp/ypinit -m
スレーブにするサーバ（ubuntu2, ubuntu3）で、
/usr/lib/yp/ypinit -s ubuntu1
セキュリティが気になるんならypserv.securenetsを編集してアクセス元を制限できる。そのまま放っておいても動く。
5) 自動起動の設定
/etc/default/nisを開いて編集。
マスターでは
NISSERVER=master
スレーブでは
NISSERVER=slave
として、あと
NISMASTER=ubuntu1
と設定
6) cronの設定
/etc/cron.hourlyになにか書くといいらしい（よくわかってない

●ユーザを追加するとき
adduserをして
cd /var/yp
sudo make


●追記
2010/8/2
yp.confの設定が間違っていたので訂正しました。

http://developer.nvidia.com/object/cuda_3_0_downloads.html

今度は他のマシンをUbuntu 8.04→8.10にして、CUDA2.3をインストール。
でも、なぜかGPUを認識しないなと思っていたら、GPUの電源ケーブルが抜けていた。
これで1日くらいつぶれたかも。

そういえば、NVIDIAのCEOがこんなこと言ってたなあと思い出す。

Ubuntu上rubyで、twitterのタイムラインを取得しようと思ったのですが、ちょっとトラブったのでメモ。

まず当然の前提として
sudo aptitude install ruby ruby-dev ruby gems
は必要

あと、
gem install twitter
で、twitterライブラリをインストール
twitterやりたいだけなら必ずしも必要でないが、コマンドラインパスワード入力のためhighlineライブラリをインストール。gemじゃなくて、aptパッケージで見つけたので、
sudo aptitude install libhighline-ruby

でもこれでサンプルコードを実行しようとすると
no such file to load -- net/https
とエラーになる。どうしてかと思いきや、ググってここで解決策発見。

なので、追加で、
sudo aptitude install libopenssl-ruby

そして、サンプルコードがこれ

#!/usr/bin/ruby

require 'rubygems'
require 'twitter'
require 'highline'

id=HighLine.new.ask("ID: ")
pw=HighLine.new.ask("Password: "){|q| q.echo='*'}

PROXY_HOST="hogehoge"
PROXY_PORT="8080"
Twitter::HTTPAuth.http_proxy( PROXY_HOST, PROXY_PORT )
auth = Twitter::HTTPAuth.new(id,pw)
t=Twitter::Base.new(auth)

t.user_timeline{:public}.each do |l|
  puts l.text + " : " + l.user.name
end

最近どうぶつしょうぎが気になっていたのですが、このくらい単純だと多分完全解析されてるんだろうなと思いググってみたら、やっぱり。

http://media.itc.u-tokyo.ac.jp/ktanaka/dobutsushogi/

大晦日に初めて知って感動したこと：