サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
WWDC24
harg.hatenadiary.org
計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座) をSchemeで - [・ _ゝ・]日記を書くはやみずさん 原始帰納関数って? 原始帰納関数とは、3つの基本関数 零関数 サクセッサー関数 射影関数 と、関数合成および原始帰納法により構成される関数のこと。 をSchemeで (define (zero) 0) (define (succ x) (+ x 1)) (define (p n i) (lambda xs (ref xs (- i 1)))) 射影関数は (p n i) によって得られる。nは飾りです。 関数合成 関数が原始帰納関数であるとき、次のように定義される関数もまた原始帰納関数。 をSchemeで (define (combine-functions f . gs) (lambda xs (apply f (map (lambda (g) (apply g
今日大学で、C#の本を持ってる人がいたことからC#の話になり、最近のC#はクロージャが使えるらしいよ*1、というところから長ば強引に「クロージャを知りたいならSchemeが一番」とSchemeの宣伝に持っていった。そこで説明するときにとっさに"自由変数"と"束縛変数"という言葉が出てきたんだけど、この2つの言葉が理解できていれば、クロージャの理解はわりと一瞬でできるんじゃないだろうか。 自由変数と束縛変数。この2つの概念を陽に初めて扱ったのは大学1年夏学期*2の記号論理学だった。記号論理学の中でも、自然演繹のsyntaxだったので、意味を一切考えずに記号をルール通りに扱うだけでいろんな結論が得られるよね、というやつだった。そのルールを守る上で、*3自由変数と束縛変数を明確に区別する必要があった。 自由変数と束縛変数というと難しく聞こえるかもしれないが、この2つは実にありふれた概念で、高校数
via http://openswitch.org/journal/a-beautiful-dock-for-ubuntu 自分はあまり使うことのないDockだけど、世の中にはDock大好きな人も数多くいると思うのでご紹介。Avant Window Navigatorというソフトをインストールすると、小綺麗なDockが手に入るということで試してみた。 Avant Window Navigator Look&Feel ※音が出ます インストール 基本的にhttp://awn.wetpaint.com/page/Ubuntu+Feisty+Repositoryを日本語にしただけなので、英語の読める人はそっちを読んだほうがよさげ。Feisty Fawnの人向けなので、Edgy Eftの人はこっちを参照 まず、ターミナルを開いて、次のコマンドを実行。 gksudo gedit /etc/apt/s
http://elliottback.com/wp/archives/2007/05/03/dreamhost-sucks-at-hosting/ DreamHostでひどい目にあった人たちのブログへのリンクと、DreamHostがいかに酷いかをつらつらと述べたエントリ。これを読んでると確かに酷いなぁ。 いくつかピックアップ 1台のサーバーに1200ユーザー(俺のサーバーは1548ユーザーいるぜ ヘヘン 1人の契約で数ユーザー作っている可能性もある*1ので、実際に使っている人数はもうちょい少なめ? かなりの頻度でサーバーがダウン 停電時用の発電機が動作しなかったときもあるらしい :( 97日のお試し期間中に解約したら、払い戻しできることになっているが、「解約で払い戻しが受けられるなら、サイトを別のサーバーに移すので、その確認の連絡がほしい」とメールしたらアカウントを解約された 全部読むのは
さっきdiggのフィードをチェックしたら、どれもこれも 09-F9-11-02-9D-74-E3-5B-D8-41-56-C5-63-56-88-C0 という16進の数字に関するイカレた記事ばかり。なんなんだ、と思って調べてみたら、事の顛末について書いてある記事を発見。 なんとなくまとめると 数ヶ月前にHD-DVDのコピープロテクションを破るキー(09-F9-11-02-9D-74-E3-5B-D8-41-56-C5-63-56-88-C0)が発見される 4/30 にこのキーに関する記事がdiggに投稿されるも、何故か削除される 翌日再び投稿され、このキーに関する記事が爆発的に広まる(Diggが記事を何も言わず削除したことに対する反発?) Diggの運営側がブログで削除の件について説明するも、事態を収拾できず 挙句の果てには、Tシャツを作る人まで出てくる始末。 Digg自体が炎上してるとは
作業しながら書いていく。 emacs-rails emacs-railsを http://rubyforge.org/projects/emacs-rails/ からダウンロード。~/site-lisp/に*.elファイルをコピー。.emacsに ;;; ;;; Rails emacs ;;; (require 'rails) を追加。さらに、ruby-mode用のファイルを $ cd /cygdrive/c/ruby/doc/ruby/ruby-1.8.4/misc $ cp *.el /cygdrive/c/Meadow/site-lisp で~/site-lispにコピー。 .emacsをリロードしたら、snippet.elが足りないと怒られる。調べる。 snippet.el - http://www.kazmier.com/computer/snippet.el find-recu
RewriteCondって、RewriteCond以降最初に出てくるRewriteRule以降には適応されないんすね。考えてみれば当たり前だけど。いくつかのRewriteRuleとかRewriteCondをまとめてブロックにできれば.htaccessの見通しがよくなるんだけどなぁ。普通はそんなに複雑なrewriteの使い方はしないから困ることは少ないと思うけど。 RewriteBase /www/ RewriteCond %{REQUEST_FILENAME} !-f RewriteCond %{REQUEST_FILENAME} !-d RewriteRule . /www/index.php [L] というルールが設定されているとき、/www/というアドレスへのリクエストは、/www/というファイルかディレクトリが無い場合は、/www/index.php/が読み込まれる。 ここで、/w
つい最近までTextDrive最強じゃね?と思っていたら、もっと凄いホスティングサービスがあった。それがDreamHost | Web Hosting For Your Purpose。 とりあえず、一番安いプランでTextDriveと比較してみよう。 DreamHost TextDrive 料金/month $9.95 $15 扱えるドメイン数 無制限 5 ディスク容量 200GB 5GB 転送量上限/month 1TB 5GB MySQLデータベース数 無制限 5 DreamHostの太っ腹サービス 1年契約なら、初期費用無料 使い始めてから97日以内なら、契約解除時に返金可能 DreamHostユーザーの作ったクーポンを契約時に使えば、最大$97(1万円以上)割引 ドメインを1つ無料で登録可能 一番安いプランの年間契約($119.4/year)に、$97割引クーポン使用の場合、初期費
計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)を遅々としたペースで読み進めていて、これSchemeでやったらどうなるんだろうね、と思って始める。このエントリをインデックスにしていくよ。 原始帰納関数〜3つの関数と1つの手続きから広がる世界 - [・ _ゝ・]日記を書くはやみずさん 計算論をすこしずつ読んでるよ - [・ _ゝ・]日記を書くはやみずさん ※ non-Scheme
id:pinkmac のリクエストにお答えして、既に取得済みのドメインをDreamHostで運用するまでの流れを、使用感と共に書いてみる。 DreamHostと契約する SIGN UP NOWのリンクをクリックして、必要な事項を入力してsubmit。1つハマったのが、契約時に運用するドメインを指定しない場合、dreamhosters.comのサブドメインを自動で割り当てられる。そのサブドメインのフォームには、デフォルト値で"mycoolsubdomain.dreamhosters.com"とあるんだけど、これのmycoolsubdomainの部分だけを好きなサブドメイン名に書き換えないといけないっぽい*1。そこだけが分かりにくかった。 submitすると、クレカの番号を入力してお金を払えば終了。DreamHostからメールが届いて、しばらく待てばアカウントが有効になる。たしか30分くらい待
まずはSynaptic でEmacsをインストール。関係しそうなパッケージ(anthy-elとか)もインストール。Ubuntu楽チン。 現在の .emacs ( Gaucheに関する設定除く (require 'un-define) ;; UTF-8 and Japanese Setting (set-language-environment 'Japanese) (set-terminal-coding-system 'utf-8) (setq file-name-coding-system 'utf-8) (set-clipboard-coding-system 'utf-8) (setq default-buffer-file-coding-system 'utf-8) (prefer-coding-system 'utf-8) (set-default-coding-systems
前のエントリが長くなったので、仕切りなおし。 前回までのまとめ はやみず CSSで、部分的に共通なスタイルを持つ要素があるときに、いちいち繰り返し書くのが面倒だ! はやみず いくつかのスタイルをカプセル化(抽象化)して、オブジェクト指向のクラスの継承みたいに適用できたら、便利だ! 観客 それ、共通部分は複数のセレクタでスタイル定義して、非共通部分は個別にスタイル定義すればよくね? はやみず それで問題解決できるね。ありがとうエロい人。 はやみず あれ?ちょっと待てよ。複数セレクタで解決はできるけど、やっぱり抽象化できたほうがよくね?←今ここ セレクタが複数指定できる件の追記(前のエントリからコピペ) セレクタが複数指定できることで、一応の解決策は見つかった。しかし、あとから実践してみると、この方法だとなんかやりにくい。↑に「多分慣れの問題」と書いたけど、 名前重要 という言葉がふと浮かんで
CSSは、あまりにプリミティブすぎる、という話。 既存の問題点 (俺が知らないだけかもしれないけど)CSSは、基本的にHTMLタグの名前、クラス、擬似クラス等のセレクタ*1等で対象を指定して、その中にプリミティブなスタイルの指定を書き並べていく*2、というスタイル。 これって、ものすごく不便じゃない?少なくとも、反復作業が大嫌いなプログラマにとっては苦痛が生じる場面が多々ある。 例えば、ページを左右に2分割するようなレイアウトを考えてみる。右側が背景白、文字色黒で、左側が背景黒、文字色白にすることになった。その他のデザイン的な要素については、左右共に同じとする。このとき、スタイルシートはこんな感じになると思う。 div#page_right { width: 50%; float: right; background-color: white; color: black; (ここから共通部
Greif(http://tech.no.land.to/greif/index.php) はてブのお勧めエントリを教えてくれる。ちょっと使ってみたが 学習させるのに別のリンクを押すのは面倒 Suggestされた記事の精度があまりよくない 似たようなサービスKikker(http://ryogrid.myhome.cx:1234/)との比較 Kikker Greif 精度*1 それなりに良い 悪い デザイン どうみてもはt(ry 良い。スクリーンショットを使うというアイディアはいいと思う 学習方法 エントリを見る(エントリへのリンクをクリックする) エントリへのリンクとは別に、興味ある、興味ないというリンクがある RSS ある ない ページ表示までの時間 遅い 普通 SS UIと、ページ表示までの時間以外はKikkerのほうが使いやすい。しかし、KikkerはRSSでしか読まないので、この
を作った。ソースは自分から人に見せたがるほど綺麗なものでもないので、ここには書かない。 GSVN-dumpは、「ゴスヴンダンプ」と読むべきかもしれません。ジーエスヴイエヌだと言いにくいし。 GSVN-dump動作の流れ gsvn dump --gmail とかユーザーがコマンドを叩く svnadmin dump -r0:HEAD > gsvndump.yyyymmddHHMMDD が実行される gzip -9 gsvndump.yyyymmddHHMMDD が実行される gsvndump.yyyymmddHHMMDD.gzのファイルサイズが大きすぎたら、splitで分割 メールに添付して、@gmail.comに送る こうやって見ると、既存のツールをただ使っているだけであることがわかる。 GSVN-dumpのファイルが送られてきた図 分割されたファイルは、1つのスレッドとしてGmailが勝手
このページを最初にブックマークしてみませんか?
『[・ _ゝ・]日記を書くはやみずさん』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く