Sussman は SICP の他に SICM という古典力学の教科書も書いてたとは。 Structure and Interpretation of Classical Mechanics : wrong, rogue and log Gerald Jay Sussmanと、惑星物理学者のJack Wisdomが書いた古典力学の本である。MITの古典力学の講義の…

Amazon.co.jp： Java並行処理プログラミング ―その「基盤」と「最新API」を究める―: Brain Goetz, Joshua Bloch, Doug Lea: 本 何しろ、J2SE 5.0のjava.util.concurrent.* を開発した人が書いた本ですから… http://www.amazon.co.jp/dp/4797337206 こんな状…

DIって何の略かと思ったら、Divided bit lineのことだったか。 NOR型フラッシュメモリとは - 意味・解説 ： IT用語辞典 NOR型のこうした欠点を抑えた三菱電機のDiNOR型フラッシュメモリ(Divided bit line NOR)が注目されている。DiNOR型フラッシュメモリはセ…

Firefoxでもxpiを使わずに設定を追加する方法があった。 Firefoxの検索バーをカスタマイズする方法 検索プラグインの手動追加と一括複製Windows 2000/XPの場合、Firefoxに組み込まれたWindowsアカウント別の検索プラグイン（XML）は、 C:\Documents and Sett…

javascript:document.body.innerHTML=document.body.innerHTML.replace(/(<br>)+/gi,"$1");focus()ここのサイトをこんなかんじで読みたかったので。 祝｜ダルビッシュ有オフィシャルブログ「Thoughts of Yu」Powered by Ameba 同点になったときはどうなるかと思…

Wordにも表計算機能があると聞いたのでやってみた。 表の挿入 ツールバー→表の挿入→適当なセル数を選択 計算式の入力 罫線→計算式→適宜計算式を入力→OK =sum(left)のような例が出ているが、Excelのように、=a1+b1 や =sum(a1:c3) 等のセル参照も可能 ソース…

フラグを省略する(デフォルトはPREG_PATTERN_ORDER)と$rは以下のようになるので使いずらい。 preg_match_all('/(.)(.)/','abcd',$r) $r→[ ["ab","cd"], ["a","c"], ["b","d"] ]$rを以下のようにするにはPREG_SET_ORDERを指定する preg_match_all('/(.)(.)/',…

例えばアクセス時のURLが http://aaa/bbb.html?x=1&y=%CE%B1だったとして、 location.search.parseQuery()とすれば、 {x:"1",y:"α"}が返ってくる。 中でdecodeURIComponentをしてくれてるので、ちゃんとデコードされてる(ただし、UTF-8決めうち)。 なお、par…

CoqはOCamlで書かれているようだ。 To compile Coq, you need: * Objective Caml (3.07 ? version but 3.08.0). http://coq.inria.fr/distrib1-eng.html AgdaはHaskellで書かれているようだ。 Agda: Instruction(Mac) Q: Agda doesn't work suddenly. A: Did…

US配列はASCII配列とまで呼ばれるのになぜシフトキーの機能がASCIIと対応していないのか。 一方で、なぜJIS配列ではシフトキーの機能がASCIIと対応してるのか。 タイプライターペアリング（タイプライタ配列、US配列、米国配列、英語配列） 電動英文タイプラ…

「Haskell パーサ」で検索すると、Parsec等のHaskellでパーサをつくる話ばかり出てきて Haskellのようなパーサをつくる話はみつけられなかった。 「オフサイドルール パーサ」で検索したら、以下のページが見つけられた。 ざっくり説明すると，字句解析は要…

Lisp で匿名関数を lambda と書くのは以下のような由来らしい。 Russel と Whitehead の Principia Mathematica では束縛変数の上にキャレットを置く書き方をしていた Church がその記法を ^x(x+x) と変えた キャレットの下に何も無いのが変だと思ったので形…

非S式の構文にLispのマクロを導入した言語です。 ブロックはインデントによって表されます。 インスタンスベース・オブジェクト指向や継続といった概念が含まれています。 http://www.geocities.jp/takt0_h/cyan/index.html U-20プログラミング・コンテスト…

@ ABC DEF GHI JKL MNO PQRS TUV WXYZ 1のキーを無駄にしているからPQRSとか4文字無理矢理詰め込む場所が出てきてる。 ABC DEF GHI JKL MNO PQR STU VWX YZ_ こっちの方がすっきりしてよかったと思うのだが。なぜあんな変な配列になったんだろう？ 英字入力…

要旨： 「"call/cc" って難しいので、 継続のプリミティブは "return" ということにしよう。特に手続き型言語では」 実際、"first-class return" があれば first-class continuation でできることは全てできます。 Scheme, Ruby 等で継続を取り出すプリミテ…

body クラスの中の section クラスの中と指定すればいいらしい。 手順としては「管理」-「デザイン」で表示される画面の「スタイルシート」の欄に記述をすれば良いみたいです。 teble タグの位置は body クラスの中の section クラスの中の table タグなので…

＜table border＞となってないtableにとりあえず境界線をつける。 td,th{border: 1px solid black;} table{border-collapse: collapse;} borderをtable要素に指定した場合 表の大枠に境界線が付きます。borderをtd要素とth要素に指定した場合 各セルに境界線…

なんとなく、カリー化と演算子化に対応した言語で書きたくなったので。 hyper 0 a b = succ b hyper 1 a 0 = a hyper 2 a 0 = 0 hyper n a 0 = 1 hyper n a b = hyper (n-1) a $ hyper n a (b-1) inc = hyper 0 add = hyper 1 mul = hyper 2 pow = hyper 3 t…

挿入→フィールド→SaveDate 「yyyy年M月d日」と入力→OK 上記表題と同様の方法で「日付」の書式を選択 その状態で「日付」を右クリック→変更→書式→段落 配置を「右揃え」に変更

LaTeXでいう\title{}をやりたい。書式→スタイルと書式、で右にサブウインドウが出る。 一番下の表示:を「書式の一覧」から「すべてのスタイル」に変更する。 適用する書式の選択、から、「表題」を選択する。見出し1の状態からさらに Alt + Shift + ← を押す…

足し算、かけ算、べき乗はハイパー演算子(関数形式)では以下のように表される。 a + b = hyper1(a,b) a * b = hyper2(a,b) a ^ b = hyper3(a,b) ハイパー演算子 (hyper operator) は、加算、乗算、冪乗を一般化した演算のための演算子である。 http://ja.wik…

Apacheのモジュールを作るときのおぼえがき。 とはいえ、生成されたmod_hello.cのコメント部分をみればわかることだけど…。 テンプレート生成 apxsコマンドでテンプレートを生成する -g : テンプレート生成 -n 名前 : モジュール名指定 $ apxs -g -n helloカ…

この絵の雰囲気はmoonと似てるなと思ったが書いた人は同一人物というわけではなかった。moonのキャラクターデザインは倉島一幸 倉島一幸 - Wikipedia moon：キャラクターデザイン http://ja.wikipedia.org/wiki/%E5%80%89%E5%B3%B6%E4%B8%80%E5%B9%B8 倉島さ…

http://www.google.co.jp/transit?saddr=出発駅&daddr=到着駅&time=時間4桁&ttype=条件&output=mobilettype=dep:出発時刻 ttype=arr:到着時刻 ttype=last:最終電車