Homebrew計画 PSPSDKを使ったプログラムの実行にはFW1.50のカーネルが必要だけど、 PSP Slim(PSP-2000)ではコレが無理ぽ。 (余談。最新のPSPではサービスモードバッテリの作成が出来ないので注意。他は今のところ問題ない様子。) but, CFW作者チームの中の人…

PSPSDKがcygwinでもMinGW/MSysでもコンパイルできないので、 仕方なくパーティション50Gほど切ってDebian入れた。 33MBの最小構成のISOからインスコ。必要なものは必要になった時点でapt-getするってなんか素晴らしい。 入れたもの emacs firefox autoconf a…

＋＋＋＋＋＋＋＋ ＋＋＋＋＋＋＋＋ ＋＋＋＋＋＋＋＋ ＋＋＋＋＋＋＋＋ ＋＋＋＋＋＋＋＋ ＋＋＋＋＋＋＋＋ ＋＋＋○●＋＋＋ ⇒ ＋＋＋○●＋＋＋ ⇒ ＋＋＋●○＋＋＋ ＋＋＋●●◆＋＋ ＋＋＋＋＋＋＋＋ ＋＋＋＋＋＋＋＋ ＋＋＋＋＋＋＋＋ ＋＋＋＋＋＋＋＋ ＋＋＋…

CT U - 24.1 V0IP - 24.2 Rt.A - 24.51 - 0.1 - Rt.B - - A - 0.11

はい、お茶こぼしましたー。 ばらしましたー。 ティッシュで水気とって乾かしましたー。 動きましたー。若干タッチが変わったけど、そのうち慣れると思われる。 FKB8724は強い子。

電車の乗り換え駅が近いときとかスパンが短いゲームは重宝する。というわけで、Xi(体験版)が楽しい。 調子が良いときは3分間で3000点出るようになった。何故3分間かっていうと、体験版だから3分間しか遊べないから。 まぁ、それでも十分面白い。 現在の最高…

5人兄弟が年長順に並んでいます。 それぞれの背中には○か×のマークが書かれています。 自分の背中のマークは見えませんが、自分より前の兄弟の背中は見えます。 1〜5がそれぞれ上から何番目の息子さんか当てましょう。1. ○が二つあるな。 2. ×が二つ見える。…

現在の設定の確認 $ echo $LANG ja_JP.utf-8 変更 $ LANG = ja_JP.eucJP $ export LANG #bashrcに書けばログインしなおしてもOK

http://www.fukuske.com/brand/f-ing/popup/origin.htmlf*ingつったらアレだよ。 f**kingのことだよ。

キーボードの不要なキーに、 「現在選択しているワードをネットで検索する」って機能つけたら嬉しい気がする。 id:mzpは、「ファンクションキー遠い」とか言う人だから、 きっと[option]+なんとかにバインドしたがるんだろうなぁ。

現在ある暗号が安全たる理由は、それが解読不可能なことではなく、 「現実的な時間(コスト)内で」解読不可能なこと、である。 ということはだ、だいぶ未来になって計算機の能力が上がる(時間的コストが勝手にペイされる)と、 過去のメッセージをごにょごにょ…

不動点(fixpoint)について。 (適当メモなので信用しないように。)関数の不動点は、f(x)=xとなる点。 んでも、least fixpointとgreatest fixpointという単語がよく分からず調べてみた。 どうやら、両方とも論理学ヨリの単語らしい。 おぼろげながらに理解した…

http://www.masayashi.com/2008/01/20/556 http://www.robots.ox.ac.uk/~gk/index.html電脳化はまだかもしれないが、電脳メガネはそのうちできそうですな…。

いもづると読んだら、imモジュールだった件。

smlコードを読もうと思ったところ、xyzzyにsml-modeが無かった。 なので勉強がてらelisp(xyzzylisp?)を弄ってみた。 キーワードハイライトまでしか出来てない。xyzzy Lisp Programmingのページを参考にさせていただいた。 多謝。

自分の理解のための自分へのメモ。 間違ってたら自分の理解が間違っているということなので、あしからず。 π計算はCCSの拡張なのでCCSを説明する。 CCSとは、Calculus of Communicating Systemの略。 コミュニケーション(通信)システムを抽象化したもの。 な…

あけた。 つまり卒論まであと幾らもないという。 とりあえず去年はちょっとダレ過ぎたのでもうちょっとちゃんとしよう、俺。 免許も取らないといけないし。ともあれ、皆さん今年もよろしう。

並行プロセス計算モデルで、Pi計算というのがあります。*1 lambda計算のような無闇やたらに抽象的な記述ですが、一応チューリング完全です。とりあえず、pure Lispの5つ組が実現できればチューリング完全なのは示せるよね。5つ組とは、car/cdr/cons/atom/eq…

MSの資料リムーバブルメディアに4G以上のファイルを作りたいときは注意('A`)

http://www.microsoft.com/japan/msdn/vstudio/express/ Visual Studio 2008 Express Edition 日本語版の提供が開始されました。 らしい。何が変わったかを暇を見て確かめたい。

FLASHゲーでの話。 最初に、長めのプログレスバーが表示される。良くあるロードだ。ひたすら待つ。 (FLASHのクセに気の利いた画面も出ない、真っ暗なロード画面。) お、ロード終わった。 なんか表示されたぞ。 (FLASHらしいベクターグラフィクスな画面…だが…

マクロ使おうと思ったけど縮まないしいいや的な。 t108o6 /:999 l8 >deg- gab- l16 bbbrbr b4g8< l4 e.e-.e. l16 >rgab<cd l4 e.e-f8e. rr16>g16< l4 d.d-.d. l16 >rgab<cd l4 d.>g<f8e. rr16>g16< l4 g.g.g. g8a16r8g16 l4 f.f.f. f8g16r8f16 l4 e. l8>ab<f l16eee8.>b< c4. :/; t108o5 /:999 l8 rd-c >b</f></f8e.></cd></cd>

Windowsにもあるんだ。知らなかった。 なのでメモ。 http://homepage1.nifty.com/emk/symlink.html

ファイルごとさよならだ！ 英語だと読む気にならないしね。

気晴らしに、タイピングゲーム(?)のスコア。 やればやるほどスコアが落ちてゆく不思議。

昨日体温が38.4度を記録。 今日は熱は下がったけど、腹痛かったり頭痛かったりで超だるい。 みんなも気をつけるんだ。

$init=t100; $base1=b-<fb-<d>b-f> g<dgb-gd> <cgb-<f>b-f> f<f<ce-c>a>; $base2=e-b-<b-gb-g> f<cafaf> b-<fb-fb-f> g<gbgbg> <cgb-gb-g> f<cacac> /: b-<fb-fb-f> :/; $base3=/:e-b-<b-gb-g>:/ /:d<fb-fb-f>:/ </:cgb-gb-g:/> b-<fb-fb-f> a-<fa-fa-f>; $base4=/:e-b-<b-gb-g>:/ db-<b-fb-f> g<gbgbg> <cg<c>g<c>g> f</c></cg<c></gbgbg></b-fb-f></b-gb-g></fa-fa-f></fb-fb-f>

@2V15O5L12r1r1/:99r1r1/:df<d3>df<d3e4fefec>a3a6d6fg/a2a6d6fge2:/a3a6d2r1.:/; @3V5O4L6raarb3r<cc>rb3/:99raarb3r<cc>rb3/:raarb3r<cc>rb3raara3raa/ra3:/rb3r<cc>rb3:/; @3v5O4L6rffr12e12g3raar12e12g3/:99rffr12e12g3raar12e12g3/:rffr12e12g3raar12e12g3rffrf3rff/re3:/r12e12g3raar</cc></cc></cc></cc></d3e4fefec></d3>…

http://satoshi.blogs.com/life/2007/11/post-3.htmlラジオは歴史的には 鉱石ラジオ→真空管ラジオ→トランジスタラジオ と進化してきた。(ゲルマニウムラジオというのも有るらしいが、トランジスタの登場で霞んでしまったらしい) 次はナノチューブラジオ(カー…

いやぁ、進まないもんだ。結構ギリギリなんだけどな('д`)