Menu Menu Monad の組み合わせ 今日の元ネタはここ。 http://www.slideshare.net/tanakh/monad-tutorial これと、 http://d.hatena.ne.jp/m-hiyama/20070507/1178496486 これ。 T1 という Monad を作ったのは良いが、これと、IO Monad は一緒に使えるのか。使うにはどうすれば良いのか? Monad M と Monad N があったとする。この合成 Monad MN は、どうすれば作れるのか? M : A -> A, N : A -> A の Functor なので、T = MN とすれば良さそうである。 ηm : 1->M μm : MM->M ηn : 1->N μn : NN->N これから、 μt : 1->T ηt : TT->T ができれば良い。ηt は、 ηt
Menu Menu Mac OS X? 漢なら、ターミナルでUTF-8で zsh + vi だろ? というか、プログラミングは、まだしも、サーバメンテでは必須。Terminal.app でもいいけど、xterm 使ってみよう。 X11.app OS のインストール時に忘れずに選択してください。忘れた? OS のメディアから、もう一度入れることができます。 uim uxterm に export XMODIFIERS='@im=uim' を入れます。 http://code.google.com/p/uim/ なのですが、Mac 用は http://code.google.com/p/macuim/ こちら。これを入れてからシステム環境設定側から設定します。 ~/.xinitrc ~/.xresources を使ってください。 uxterm xterm のutf-8用 shell scrip
Menu Menu まず、プロジェクトを Xcode4 で作ります。 File->New Project から、Command Line Tool そこで、Next としていきますが、 名前は、FileCopy (例です) Source local git repository for this project にチェックをいれます。 Project folder で git をチェック cd FileCopy して、git log | cat すると、すでに Initial Commit されます。 Remote repository をサーバ上に作る ここからは、サーバ上で操作します。 % ssh yomitan.ie.u-ryukyu.ac.jp % cd /net/home/git/teacher/kono % mkdir -p os/FileCopy % cd os/FileCo
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く