まず最初にPCからadbで接続できるようにする必要があり、これがかなり面倒。 以下のサイトの通りにやればokだった。 http://moon.ap.teacup.com/shelter9/177.html しかし以下の点が違ったりしていた。 android sdkを導入したら、 c:\Program Files\Android\…

とりあえず手元にとってたメモを写してみる。 全体のまとめとかプレゼンの詳細とかは他の人のまとめみてください。

Haspに興味はあるものの、日本語のドキュメントなどないので、とりあえずチュートリアルだけ翻訳してみた。 http://legacy.e.tir.jp/wiliki?%cb%dd%cc%f5%3a%c3%eb%b5%d9%a4%df%a4%cb%bb%cf%a4%e1%a4%ebHasp Kyoto.Lispでプレゼンした。 http://legacy.e.tir…

突然思い付いたのでやってみた。 Prelude> :t (,) (,) :: a -> b -> (a, b) Prelude> (,) 1 2 (1,2)うわ、やっぱりだ！ しかし冷静に考えると、これだと「(1, 2, 3)」がうまく機能しないように思える。 (「( (1, 2), 3)」か「(1, (2, 3) )」になってしまうよ…

この手があるという事を憶えておくと、httpdの動作確認する時に結構便利。 env.cgi以外にも色々なコマンド実行に使える。 #!/bin/sh echo Content-Type: text/plain echo env|sort

T/O。詳細は以下に書いた。 http://e.tir.jp/wiliki?vim%3avimirc.vim

dmesgに、以下のような内容が複数回残っていた。 [784267.341132] ata1.00: exception Emask 0x0 SAct 0x0 SErr 0x0 action 0x6 frozen [784267.341136] ata1.00: failed command: WRITE DMA [784267.341142] ata1.00: cmd ca/00:68:b8:6a:41/00:00:00:00:00…

通勤をはじめた。 睡眠時間が減り、非常によろしくない。 通勤時間に、積んでいたGEBを読み始めた。超おもろい。

自分が過去に書いた、古いメモを整理していたら、表題の文章が見付かった。 まあまあ面白かったので、貼っておく。

これを読んだ。 http://togetter.com/li/120897 「この元発言者は甘い/甘えている」というのは自分もそう思うが、それは置いておく。 問題なのは、誰も「数学を勉強する意味」に具体的に答えていない事。絶望した！ (「それ自身は役に立たないけど、考える力…

超めんどい。 iTunesで曲を購入する iTunes終了 iTurnsFree起動 iTunes起動 新しいプレイリストを作成し、そこに、さっき買った曲を入れる(複数ok) プレイリストを右クリックし、「プレイリストからディスクを作成」を選択 「ディスクフォーマット」に「オー…

perlのgotoはlexical scopeではなくdynamic scopeだという事を知った。 具体的にはどういう事かというと、こういう事ができるという事。 sub goto_label { goto LABEL } { print 1; goto_label(); print 2; LABEL: print 3; } { print 4; goto_label(); prin…

T/O。 あるプロジェクトの資産を引き継いで、それとは無関係な別のプロジェクトを始める時に、自分のリポジトリからforkしたいのに、自分のリポジトリからは、自分自身ではforkボタンが出ない。 それか、別リポジトリ間でのrebaseとかでもいいけど。 追記: t…

ここに置いてます。自由に使ってもらってok。 http://sakura.tir.jp/jwhois.cgi ソースコード http://sakura.tir.jp/jwhois.txt リポジトリ https://github.com/ayamada/copy-of-svn.tir.jp/blob/master/nekoie/misc/jwhois.cgi 概要: ぐぐれ。 要は、ドメイ…

昔のPCの古いデータを整理していたら、イーガンの長編を一通り読み終わったぐらいに書いたテキストが見付かった。 読んでみたら、まあまあ面白かったので、整形追記して貼っておく。 ネタバレ全開なので、順列都市を未読の人は読まない方が吉。未読だと、読…

まえおき: zshのhg/gitのサブコマンド補完は便利だ そんなのないという人は要zshバージョンアップ zshは更に、hg/gitのブランチ名表示機能(と、おまけで現在のステータス表示機能)も標準でついてる 詳しいやりかたはぐぐる事。自分は標準でついてるのを知ら…

一応張っとく。 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1129711481 http://d.hatena.ne.jp/KeisukeNakano/20061008/1160288593

スタックはFILOの性質を持つので、単方向リンクリストで実装すべき。 そうすれば、(スタックに保存される情報がimmutableであるという前提ならば)スタック自体もimmutableになるので、call/cc(もしくは類似の用途)の為にスタックを非破壊的かつ低コストで保…

これ。 http://d.hatena.ne.jp/camlspotter/20100710/1278752186 unlambdaとかlazy k(というかコンビネータ論理)を思い出した。 以下は答えそのものじゃないけど、思考手順が書いてあるので見たくない人はみない事。

熟練したLisperは括弧を意識しないという。 では何を意識しているのか？ それは、ソースコードのS式をreadした後の内部表現(以下、これを「S式の内部表現」と呼ぶ)である！逆に言うならば、脳内にある「S式の内部表現」をwrite(もしくはpretty-print)したも…

この前考えた内容を箇条書きにしてみた。先に用語だけ定義しておく。 以下で出てくる「マップ」とは、list等への写像関数の事じゃなく、hash-tableのような、「keyとvalueの組を複数個(0個も含む)持つテーブル」の事。具体的にはClojureのマップ。 Lispの内…

Clojureおぼえがきを書き始めた。 http://e.tir.jp/wiliki?Clojure とりあえずGAEが動くところまでできたので公開してみる。

ClojureのREPLをいじりながら、プログラミングClojureを最後まで読んだ。 Clojureは本気だ。すごかった。本腰を入れて使ってみようと思う。 とりあえず会社のみんなにも読んでもらう為に貸し出した。 とりあえずリモートサーバにjreをインストールした。 あ…

詳細は以下に書いた。 http://e.tir.jp/wiliki?LFE

SFマガジンに載ってたCrystal Nightsを読んだ。 SFマガジン自体はまだ読み途中。 Crystal Nightsなかなか面白かったが、最後のオチは、真女神転生Strange Journeyのある場面を連想してしまった(制作順的にはCrystal Nightsの方が先だけど、自分がプレイした/…

今回の要約: 実は、自然言語はプログラミング言語的な面も持っていた。 長いので要点だけ。 最初に考えていた事: 自然言語はプログラミング言語とは違い、チューリング完全ではない イーガンのTAP言語と自然言語の比較 TAP言語には「スキャン」と「プレイ」…

サンレッドがまたネット配信をやっている。 前回は見逃したので、今回は全部見たいところ。

結論: これは微妙すぎる。見た目に騙されてはいけない。しかし携帯ssh端末としてはなかなか。

なんか最近スパムコメントが多いので、はてなユーザのみコメント可能な設定にした。

T-01Aを買った。 新しい番号は、古い番号からハイフンを抜いた数字に「947718337」を足した番号です。 いつのまにか、さくらのレンタル領域にインストールしていたwiliki類が動かなくなっていた。 gauche自体は動くようなので調べたところ、wilikiのdbmとし…