はじめてのにき

2007-07-14

_ なむ…

http://www.atdot.net/~ko1/diary/200707.html#d13

i@um ~> touch .A・ ・ ・ ・
i@um ~> chmod 000 .A・ ・ ・ ・
i@um ~> sudo chown root .A・ ・ ・ ・

何度か書いてるけどこれは結構オススメ。

(00:15)

_ ↑

まっくから書いたからバックスラッシュがアレゲ現象が。

これでいいのかな \ \ \ \

(06:45)

_ コンパイル時

コンパイル時のコード変換っていうのは世にも珍しいことに基本的には副作用が無くていい、から純粋関数型でも問題はないわけだ。 C++ はたぶん純粋関数型なんだろうけど、 C++ はただ単に副作用が無いだけで、全く純粋型の型チェックによって強力なエラーチェック、みたいなことは全くしないので、純粋関数型のメリットは生かしてないようにおもう。

「C++ template と Java generics は sementics が全然違う ── C++ template には sementics は無い」みたいな話を聞いたことがある気がするけどまぁまさになんもやってないわけだと思う。

でも強力なエラーチェックが欲しいかというと C++ なんかを見てると別にあまり欲しくもない気がする。どうせコード変換のプロセスの後の、本当のコードのコンパイル時に強い型付けつきでエラーチェックされるから。

だからまぁ、 D なんか見てると、ファイル入力なんかもサポートしちゃったし、今後も副作用バリバリにしていっちゃってもいいんじゃないかなぁとおもう。

でもなんかコンパイル前に Haskell が走ってその後に普通のコンパイラが走る、っていうような言語を考えてみるのも面白いのかも。頭悪い子にはそれにメリットがあるのかはさっぱりわからないけど。

ってそれが Haskell と DanoMoi の関係なのかな。となると DanoMoi の方をもっと表に出した言語があれば好きになれそうな気がするのに。

http://www.kmonos.net/wlog/65.html#_1549060908

ふーむ。 DanoMoi の方を表に出さない理由はめんどくさいから、か。なるほどなぁ。プログラムってむずかしいね。

要約すると時差ボケきつい。気にしないけどな!

(07:46)

_ mhtml

http://d.hatena.ne.jp/yshl/20061006#1160140868

ってなにか知らないけどメモしておくと便利そう

(20:23)

_ w3m

これはすばらしいなー

http://d.hatena.ne.jp/yshl/20060511#1147371819

「このニュースは嘘ニュースです」とかが最初から見えてたりすると屈辱だ。

どうでもいいけど w3m に密かに足りないものは軽い強調ではないかな、と思う。アンダーラインよりちょっと弱いくらいの強調と、軽く弱くする感じの設定が欲しいんだよね。弱くするのはグレイあたりでいいとして、軽く強調に適した色が無いのが問題ではある。端末いじってあんまり使わない色を変えるのが早いかな。

あと端末の色調べる方法のメモ

i@um ~> ruby -e 'puts ".A・x1b[01;30m hoge ・x1b[0m"'

(20:35)

本日のツッコミ(全2件) [ツッコミを入れる]

_ wo [> コンパイル前に Haskell が走ってその後に普通のコンパイラが走るむしろコンパイラもいらなくて、アセンブ..]

_ shinh [あーそれはいいですね。前の部分でまともな型システム無くて後の部分で型チェックする(C++ や D)ってのがアリなら、..]

2007-07-13

_ バッドノウハウラブ

すばらしい検索キーだと思った

http://www.google.com/search?hl=ja&c2coff=1&client=opera&rls=ja&hs=A23&q=%22%E3%81%93%E3%81%AE%E4%BB%95%E6%A7%98%E3%82%92%E6%B1%BA%E3%82%81%E3%81%9F%22&btnG=%E6%A4%9C%E7%B4%A2&lr=

via http://natu.txt-nifty.com/natsutan/2007/06/post_3000.html

(00:10)

_ たいちょうわるい

(07:55)

_ golf.shinh.org いじり

やるかな。

任意スクリプト入力
あたらしい exec filter
記録見えないモード
投稿者ごとの記録一覧

あたりか。 2個めはなんか作りかけがあった気がするので Thinkpad 復活に依存している。 3個めはまぁすぐなんじゃないかな。 4個めは人狼詳細戦績とかもそうだけど僕そいうの見るの好きなので。

1個めは結構めんどくて、プロトコル定義をしないといけないし、普通に考えて既に作った問題の編集機能とセットなんじゃないかな。

まず問題投稿者の IP は問題に記録しておいて、同一 IP なら編集できるってことにする。これはまぁ普通にできそうな気がする。それ以外の認証とかはナシの方向で。まぁ Typekey でもいいけど。

プロトコルは標準入力からソースコード受け取って標準出力にランダム生成したテスト input/output を吐かせる、ってのが一番ラクかな。ただテスト input/output の区切り文字を定めないといけないのは既に少しめんどい。ゴルフの今までの問題を見ると空行が入力の最中に入るものは無い気がするので一番わかりやすくてラクなのは最初の空行で区切る、って感じかな。ただこれだと複数の解答を許容するってのはできない。

だとすると、解答 output が "WILL BE VERIFIED BY THIS SCRIPT" とかそんな感じだとプログラム実行結果を、

./prog | ./verifier -v > ok_or_failed

とかいう形式で再度確認するとかそいう仕様かなーと思う。

わりとめんどいな。とりあえず体調悪いしなぁ…

(11:21)

本日のツッコミ(全2件) [ツッコミを入れる]

_ niha [記録一覧はなんでないのかなあと思ってたんですが、まあここまでみんなやると思ってなかったとかでしょうか。ところで兼..]

_ shinh [ロ～ドマップ的には、軽く公開してみて問題無さげかチェック→うまくいきそうなら一旦止めて作り込む、という流れの予定だっ..]

2007-07-12

_ うーんねむいなあ

ねむいとしか言えない感じだ。

だいたいまとめると

ゼルダクリアした
終わってみるとぶっちゃけ面白くなかったかな
中盤はなるほど DS をよく使ってるなーとは思った
がまぁ終わってみると面白くない。というか攻略サイトをちょっと見てガッカリした
ガッカリした理由はクリアした段階で特にやりこみ要素的なことも無いみたいだから
ていうか砂時計 1-2 分くらいの消費で最下層まで潜った意味ねーとかそいう感じ
てっきり何階まで潜れるか競争とかあるもんだとばかり

ゼルダのことしか書いてない。

時差ボケ
w3m ちょっといじった (cookie関係いじり中)
sevilwm いじりたい (他windowとの接触とタイトル表示オプション)
最近ゴルフまともにやってないなー
プレゼン資料とか
家の環境が色々ダメ
ネットワークがダメ
まくぶくの Firefox がダメ
自転車パクられた
Thinkpad の様子がおかしい (Firefox が全く起動しない)
Thinkpad で作ったものをもうちょっとなんとか
Y をなんとか
まくぶくから VPN
ゴロ寝
ゴルフ場の色々 (Pike(危険!), 評価プログラム, strace)

そんなもんか。

あーだるいなー。

人生先生は精神と時の部屋に閉じこめられてるらしい

(05:57)

_ SVN リポジトリの復帰

だいじな仕事が残ってた。

(05:59)

_ w3m いじり

とりあえず動いた。

名前つきパイプってうまく使えたことないなーと思ってから UNIX domain socket で。

(11:59)

_ そういえば

Unix domain socket って telnet -u /tmp/socket とかで普通に通信できるということを知った。

telnet はえらい

(12:15)

_ プレイ

そういえば読み終わってたのだけど、あまり面白くなかった。

だいたい僕は SF 読んでて無理なところのゴマかせてなさが気に入らないようだ。

あとがきにマイクルクライトンはゴマかしがうまいとか書いてあったのだけど、うまいとは思えないなー

(23:19)

[ツッコミを入れる]

2007-07-09

_ 時差BOKE

かなり疲れてたはずなのにまぁ起きるよなーというタイミングで見事に起きた。

(04:13)

_ iTerm

とりあえずビルドしたら文字化け消えた。つまりこれってデグレさせただけという

(04:49)

[ツッコミを入れる]

2007-07-08

_ なんてこった!

http://www.math.sansu.org/u/diary/?date=20070707#p01

OCaml はちゅ～りんぐこんぷり～とじゃなかったのか!! Brainf*ck にすら表現力が負けてるじゃないか!!!

(00:05)

_ ところで

その .pop(0) ってすごいキモくないですかという。

http://www.kmonos.net/wlog/75.html#_0049070707

(00:29)

_ 帰った

ふー

(18:02)

_ うーん

iTerm がアップデートしろとか言ってたのを無意識に yes と答えてしまった… 文字化けまくり人生に突入してしまった…

(23:09)

_ ゴルフ場

一応復活はさせた。

けど DNS の設定間違えたのでまだアクセスはできぬー 121.1.133.104 をじかうちすれば触れる。

まあなんにせよ死亡原因は熱暴走ぽい上に帰ってきてちょっと触ってたら既に一度固まったので結構やばい状況かも。まぁ明日以降深く考えようとおもう

(23:25)

本日のツッコミ(全3件) [ツッコミを入れる]

_ k.inaba [えー.shift()が仮にあっても1バイト長いですし…という話ではなくて、shiftとpopのどっちが前でどっちが後..]

_ shinh [その気持ちもわからなくもないのですが、 push と pop は対応して欲しいと思うのと私の中で stack > q..]

_ ｋｊｇｆｆ [HYのNAOのぴあのの楽譜を無料でダウンロードしたいんですけど教えてください ]

2007-07-07

_ 油売り

def f(a,b,c)
  l=[a,b,c]
  *q=[[a,0,0],[]]
  m={}
  until q.empty?
    s,h=q.shift
    next if m[s]
    m[s]=1
    3.times{|f|
      3.times{|t|
        x=s.dup
        x[t]+=y=[s[f],l[t]-x[t]].min
        x[f]-=y
        q.push([x,n=h+[[f,t]]])
        if x.all?{|v|v<1||v==a*0.5}
          n.each do |f,t|
            puts %w(a b c)[f]+'=>'+%w(a b c)[t]
          end
          return
        end
      }
    }
  end
end
f(10,7,3)

こんなもんか。ムダな計算しまくるけどメモアイズしてるからオッケー方針。

(01:34)

_ 油

http://karetta.jp/article/blog/ll-spirit/033840

なんか一瞬答え違うなーと思ったけど、一応 return 外すと同じ答え出てたからたぶん OK だろう。

(01:35)

_ む

http://alohakun.blog7.fc2.com/blog-entry-776.html

ここの syd_syd さんに同意だな。

結局皆さんが気にしてるのは～からどの辺が「筋が良い」のか？

のあたり。

何がしたいか、っていう What はたぶんそれなりに想像がつくというか割とプログラム書きの妄想の一つだと思うんだけど、 How がよくわからないという。

という質問に対して返答が基本的にふたたび What なのでよくわからなくなるんだな。「できたプログラムの正しさが全て保証されるという点がブレイクスルーです」とかそいう。で How を知りたければ論文読むしか無いらしいのだけど、それは残念なことで僕は文章読んでもコード書かないとさっぱりわからない人間らしいので。

(01:56)

_ これ面白いかも

http://ja.doukaku.org/13/

アルファベットくらいだと甘いと思うので、 alnum の重複無しかつバイナリ無しくらいだとどんなもんだろうな。まぁ記号ゴルフよりは簡単なので解けるのは間違いない。

(15:49)

_ 明日で出所だお

嬉しいなあ。別に不快なことは特に無かったしみんな親切だったんだけど、反抗期にはキツい国だったなぁ。

(15:54)

_ まとめ

初のフルタイム労働はまぁどうだったかなーと思い出してみる。

まぁ職場としては間違いなくいいんだろうな。行く時間とか(俺は)適当だし帰る時間とかも(俺は)適当だし (俺は)なんか斑鳩やってたりしたし。結局クリアできんかったというか最後の方やってねえ。

で作業内容自体はまぁ(俺が)思ってたより俺ちゃんと働くなーっていうかまぁそれなりにはやったような気が(俺は)した。一応(俺は)今日で区切りをつけた気になってるし。ただ内容自体は間違いなく Quine 書いたりゴルフしたりしてる方がはるかに面白いんだよな。まぁそんなもん元々期待してない。

あと飯とかボールとかスペースシップとかそのへんはまぁ、どうでもいいや。待遇は間違いなく豚に真珠的な感じとしか。

まぁそんなことよりやはり技術的な環境というか。回りの人間が普通に話がわかる以上のエンジニヤばっかってのは嬉しいことだよなぁというのと、あと次点は社内インフラに触れられることかなぁと。

話がわかるエンジニヤと仕事できるのがどのくらい良いことかっていうと、つまり具体的に言うと不条理な要求があんまり来ないわけで。あとちゃんとわかってる人に評価されるってのは嬉しいことだよね、とかそういう。

気に喰わんのはアメリカぽいとかアメリカにあるとかデカいとか。

(16:19)

_ んなことより帰る準備した方がいいんじゃないかなーと

思った。

服が無くなったり電話なくなったりとか相当色々どっか行ってるんだよな。どこ行ったんだホント

(16:20)

本日のツッコミ(全2件) [ツッコミを入れる]

_ あろは [ようするに，僕もそっちにはそれほど深く関わってないのでよくわからない，という．要領を得ない解答しかできなくてすいませ..]

_ shinh [あー、うーん。またしてもこう少なくとも僕には What をおっしゃってるように見えるので理解するのは諦めようかなと思..]

2007-07-06

_ このくらいなら

http://alohakun.blog7.fc2.com/blog-entry-777.html

GNU 拡張に頼らなくても。

#include <stdio.h>
int add1(int x) {puts("use function def");return x + 1;}
#define add1(x) ((puts("use macro def") * 0) + (x) + 1)

int main() {
    printf("%d\n", add1(9));
    printf("%d\n", (add1)(9));
}

だからどうした

(03:28)