![長文日記](https://cdn-ak-scissors.b.st-hatena.com/image/square/452bc46b293c68749f2459eaf34d23c429e46414/height=288;version=1;width=512/https%3A%2F%2Fimages-fe.ssl-images-amazon.com%2Fimages%2FI%2F41j86wF23xL._SL160_.jpg)
もうJavaもRubyも要らない?–JavaScriptオンリーの未来派WebアプリフレームワークMeteorがデビューという記事で知った、新しいフレームワークMeteor。 ちょっと気になったので、軽く触ってみました。すごすぎるフレームワークの登場です!! 正確に言うと、実行環境&フレームワーク&クラウドPaaS&パッケージマネージャーといったところでしょうか。Node.jsとHerokuとnpmが一緒になったようなもんだと思えば、イメージがわくと思いますが、実態はそれらを上回っています(パッケージ数はnpmの比じゃありませんが・・・使い勝手という意味で)。 インストール ターミナルをたちあげて、以下のコマンドを実行するだけ。 (行頭の$はターミナルであることを表してるだけで、コマンドの一部じゃありません) $ curl install.meteor.com | sh これで /usr/
A Logical Approach to Discrete Math (Texts & Monographs in Computer Science)この本で使われてる等式論理の記述スタイルは以降に挙げるプログラミング本の多くのものに近い。内容的にも最高の離散数学入門書だと思う。Category Theory (Oxford Logic Guides)(実は初版の方しか読んでないんだけど)それほど難しくなくてプログラミングに応用するには最低限これくらい知ってるべきだろうという内容もだいたい網羅してるし圏論の入門書では一番気に入ってる。Programming in Haskell肩ならし。Introduction Functional Programming (2nd Edition) (Prentice Hall Series in Computer Science)これで本格的に関数プ
8月中旬頃だったと思います。なんか体調悪いな、最近お酒飲んでもおいしくない、と思ってました。8月中旬、なじみの居酒屋さんにて。鯵のお刺身と日本酒のお冷や、どっちも好物なのにどちらも大変なまぐさい。さけくさい。とくに日本酒。赤ワインを一人で1本とか飲めるはずのわたくしが、なぜかたったの一合が進まない。のめない。。。まさか、まさか。 ということで、妊娠検査薬を試したところ、ばしっと判定窓にふっとい線が一本。hCGちょう出てます、という。 その後、坂を転がり落ちるようにつわりが始まり、貧血で頭が動かず、2ヶ月〜3ヶ月ほど、仕事が満足にできない状態となりました(会社は半休1回だけ取ったけど、なんだかんだ会社には行っていた)。食べづわりとして、「食べられる」ものがおにぎり、菓子パン、おもち、ヨーグルト、そしてなぜか海草スープ。このラインナップを、起きている間、ほぼ、3時間おきに食べないときもちがわる
https://public.me.com/yusuke1984/ja/発表資料はここにおいてますが、ustは途中で途切れちゃったみたいなので言いたかったこと纏めときますと、今回は結局プログラム「を」計算する話がしたかったのでした。関数プログラミングでは、宣言的に記述された関数の定義式が実行可能な仕様と呼べるほど分かりやすくなることがあります。しかしながらそのプログラムは現実の問題解決で用いるのに十分なほど高速ではないかもしれません。ところで参照透過性が保たれていると、プログラムを形成する式を、それと等しい値を持つ式と置き換えて行くことができます。そこで、まず関数型言語を用いて簡潔で明澄な問題の記述を行い、そこから、その関数型言語上で既に証明されている定理を用いて、式変形によって効率的な実装を導き出すと言う手法が考えられます。Pearls of Functional Algorithm D
backtickさんのコードをみて初めて知ったけど、PHPの変数展開(ダブルクォテーション中の波括弧、文字列中の置換とかなんとか)は意外と複雑。 $hoge = 'fuga'; echo "$hoge" ; #fuga が出力される echo "${hoge}"; #fuga が出力される echo "${'hoge'}"; #fuga が出力される・・・ echo "${"hoge"}"; #fuga が出力される(parse errorじゃないのか!) ついでに関数も展開できるらしい $f = 'str_repeat'; echo "{$f('abc ',3)}"; #abc abc abc が出力される echo "{$f('abc ', 1 + strlen("aa"))}"; #abc abc abc が出力される どうやら関数の引数はワンライナー書き放題っぽい。しかし、単にダブ
動物Condensation onto the Skin as a Means for Water Gain by Tree Frogs in Tropical Australia | American Society of Naturalists Australian Frogs Do the Dew - ScienceNOW 森林や草原に住むグリーンツリーフロッグLitoria caerulea、成体で体長10センチくらいだそうだ。そこそこ大きいな。乾季の夜でも平気で木の洞から出てきてシロアリのアリ塚なんかを探す。カエルだから乾くと死ぬ。それに北オーストラリアは寒い!13℃!そんなところに出て行って大丈夫かカエル! 実は、寒い外から暖かい木の洞へピヨーンと移動することによって自分の体で結露を起こさせて水を得ていることが今回の研究でわかったのだ。これで乾季でも大丈夫。そういえば砂漠に、体
C++ | 00:14最近C++界隈の新興宗教として「const教」と呼ばれる団体が暗躍してきています。そこで今回は新参Cプラーがこの宗教にのめりこんでいく様子を順を追って解説したいと思います。まずは「const教」とは無縁の無垢なCプラーのソースコードを見てみましょう。 #include #define DEFAULT_VALUE 0 class Hoge { public: Hoge(); ~Hoge(); void setValue(int value); int value(); private: int value_; }; bool isDefaultValue(Hoge &hoge); int main() { Hoge hoge; int input_value; std::cin >> input_value; int set_value; if (input_valu
たとえば以下のように A というサーバーをログインしなければ到達できない B というサーバーがあったとき local --> hostA --> hostB 二回に分けて入力するのが面倒くさい。 local$ ssh user@hostA # Aにログイン成功 hostA$ ssh user@hostB # やっとBに到達。面倒!! hostB$ そんなときに、以下の構文を思い出すことだろう。 ssh user@host リモートで実行したいコマンド リモートで実行したいコマンドで "ssh user@hostB" ってやったらいいんじゃないかと 思いつきでやってしまうと、以下のようにエラーになる。 $ ssh user@hostA "ssh user@hostB" Pseudo-terminal will not be allocated because stdin is not a t
「情報系の学生がやっておくべき10000のこと」というタイトルの記事があったので、何事かと思いました。10000 things all ICS students should do before graduating | Tagide10000個もあるのか…とびっくりしましたが、よく読むと2進数で書かれていて、16個という意味でした。内容もとても良いことを言っていると思うので、簡単に紹介してみます。 0000 – 自分のドメインを買う 0001 – Apacheをインストールして設定をいじる(複数ドメイン対応とか) 0010 – WordPressをインストールしてブログを書く。文章スキルも大事。 0011 – 自分のウェブサイトを運営する 0100 – LAMPでウェブアプリを書く。少なくとも1つ、できればPHPとPythonで。 0101 – 自分のサーバー(物理orクラウド)を持つ
Twitterで@zelchmixijp先生のつぶやきから言語処理学会の2008年までの学会誌が公開されているのに気づきました。自然言語処理の最先端の研究を論文のPDFという形で読むことができます。閲覧は年別か、キーワード検索を行なうことができます。The error occurred in this web page. 私は最近の論文や興味のある分野の論文についてはだいたい知っていたのですが、1994年の創刊号から時系列順にまとまっているので、初期の論文がどんな感じだったかとか、90年代後半の研究動向について知ることができます。昔の論文を読むと、業界では有名な先生方の若い頃の仕事を垣間見ることができたりして、面白いです。 というわけで、いくつか紹介していきたいと思います。なおPDFにリンクを張っているので、ブラウザで開く場合はPDFを非常に高速に表示できるChrome 8以降をおすすめし
最近Agdaを触る機会があったのだが、Agdaこそ未来のプログラミング言語ではないかという気がしてきた。ここでは行列の転置をする関数を定義することで、Agdaでのプログラミングがどんなものか紹介したい。その前に一言:Agdaは定理証明系として紹介されることが多い。これはAgdaにとって不幸なことだ。確かにAgdaの型システムは強力なので、例のカリーハワード同型により、型を命題、プログラムを証明とみなすことができる。ただし、私の印象ではAgda上は数学の証明をしやすいようにはそんなにはできていない。Agdaで証明するには、ある型をもつ定数なり関数を定義することになるわけだが、定義した関数がその型を持っているかことを型チェッカに説得するために、型チェッカの詳しい挙動について理解していなければならない。むしろ、Agdaは依存型をもつプログラミング言語と思った方がよいと思う。依存型とはなにかは例を
というわけでHadoop Conference Japanに参加しました。Hadoop Conference Japan 2011会場は豊洲のNTTデータ本社で、初めて来たのですが駅前の広場が楽天のある品川シーサイドと全く同じでびっくりしました。 『Hadoop on クラウド / Amazon Elastic MapReduceの真価』(Amazon Web Services, Jeff Barr) Introduction AWS: 2002-Twitter: @jeffbarr What is Big Data Doesn't refer just to volume Big Data Tool EMR Overview Hadoop Hosting Framework Launch and monitor job flows: Web, CUI, REST Upload data
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く