Hello world!Hello world!!
はてなブログ | 無料ブログを作成しよう
来年も作りたい！ふきのとう料理を満喫した 2024年春の記録 春は自炊が楽しい季節 1年の中で最も自炊が楽しい季節は春だと思う。スーパーの棚にやわらかな色合いの野菜が並ぶと自然とこころが弾む。 中でもときめくのは山菜だ。早いと2月下旬ごろから並び始めるそれは、タラの芽、ふきのとうと続き、桜の頃にはうるい、ウド、こ…
UnixとしてのMac OS X
MacはUnixとして使うと便利 Macはシャレオツパソコンとして使うだけじゃもったいない。一応UnixなのでUnixとしても使える。 Unixコマンドが気持ちいい 「○×は使用中のため削除できません」とか警告が出るファイルも sudo rm -f <ファイル名> と打てば消せる。ストレスフリー。 10分後にシャットダウンさせるとかも楽ちん 出かけなきゃいけないけどまだDropboxの同期が終わってなくて電源落とせない、みたいなときは、 sudo shutdown -h +n とか打つとn分後にシャットダウンする。nのところに10を入れて実行すれば10分後にシャットダウンする。便利。 きっかけ GitやVim、サーバー環境構築などでTerminal.appを多用するようになった。 Git とにかく便利。プログラミングしてなくても、htmlやcssのバージョン管理もできる。『入門
計算モデルと論理とゲーデルの不完全性定理 - Gemmaの日記
ゲーデルの不完全性定理は、数学を扱う数学、つまりメタ数学を考えるが、それだと理解が難しい。しかし、証明(数学)＝プログラムという悟りを開くと、プログラムを扱うプログラム、つまりメタプログラムを考えればよくなり、それならコンパイラ等でなじみがあるので理解が優しくなる。 話の流れは以下。 1. プログラムとは何か 2. 証明とは何か 3. 証明＝プログラム , （ {、 { ヽ.ｰ､､ ＼､__ぃ._ゝ⌒ヾ iヾ）}､_ ﾝ_ｰ-_二ｰ-, 〉 {厶 _､ヽ _ ヽ._＞'´ ／ /,ィ／ / ハYﾍい ,. -- 〃⌒ r−-､ ィ´ 〃 ,ｲ/7' ,ｲイ/ 小ヽ 丶、 ,. ‐ '´ﾊ i ″｀ヽ、 、ヽ、 ／幺ィ {从{小込v' jｩ仏厶川ﾘ} YV, 小 Vj. |丶 ヽ ｀ ｰ-ミー--'_,辷三彡
東京大学理学部情報科学科のパンフレットがすごい
先日の「ぜひ押さえておきたいコンピューターサイエンスの教科書」というエントリでは、東京大学理学部情報科学科の講義で使われていた教科書を中心に紹介しました。では、実際の授業の様子はどうなのでしょうか？ タイミングの良いことに、情報科学科のカリキュラムのパンフレットがウェブで公開されています。 東京大学理学部 情報科学科 パンフレット かなりの力作で感動しました。なにせ今まで外向けの色気があまりにない学科だったので。。。 （苦笑） 理学部情報科学科と工学系の学科との一番の違いは、パンフレットにもありますが、コンピューターの原理や理論的背景も押さえ（ここが重要）かつ最先端の技術やモノも作り上げていくところでしょうか。そんな雰囲気を、カリキュラムや実際の講義・演習の様子、教授陣のメッセージなどから、感じ取ってもらえることと思います。 一点だけ補足。このパンフレットには普通の学科紹介でよく見かける卒
オーダーを極める思考法
プログラムの実行に掛かる時間を把握しておくのは、プログラミングを行う上で基本的な注意点です。今回は、計算量のオーダーについて学びながら、TopCoderのMedium問題を考えてみましょう。 プログラムの実行時間 業務としてプログラミングをされている方には釈迦に説法かもしれませんが、プログラムの実行に掛かる時間を把握しておくのは、プログラミングを行う上で基本的な注意点です。そしてこれは、TopCoderなどのコンテストでプログラムを組む際にもよく当てはまります。通常、こうしたことは感覚的に理解している方がほとんどだと思いますが、具体的にどれくらいのループを回すと何秒掛かる、といった基準を持っている人は少ないのではないでしょうか？ 非常に基本的なことですが、プログラムの実行時間に関して再確認しておきたいと思います。 TopCoderの制限に関して TopCoderでは、実行時間およびメモリ使
はるかＢＯＴの仕組み - について | まとめ
TwitterでReudyをベースにした人工無能、「はるか♡ＢＯＴ」を設置しています。 こういったbotを作るために、何をどうやっているのかと関心を持って頂いた人のために、内部で行っている処理をまとめました。 botを作る際の参考になれば幸いです。何か質問がありましたら@iPCMまで。 「はるか♡ＢＯＴ」本体 . Reudy(IRC版)をベースにしています。 取得部分はTwitterIrcGatewayにまかせています。 ReudyにはTwitter特有の文字コード変換、@返し処理などを追加しています。 投稿する部分から先はかなり特異なことをしています。 以下に処理図を貼り付けておきます。(クリックで拡大) 支援 . Twitter特有のフォロー、リムーブ処理を自動化しています。 Auto Follow返し . あなたをフォローしましたよという通知メールを監視しています。 フォロ
Web上の膨大な画像に基づく自動画像補完技術の威力 - A Successful Failure
画像内に映り込んだ所望のオブジェクトを排除し、違和感の無い画像を生成するシーン補完技術に関しては近年複数の研究成果が発表されている。しかし中でも2007年のSIGGRAPHにて米カーネギメロン大のJames HaysとAlexei A. Efrosが発表した手法*1はブレークスルーとなりうる画期的なものだ。 論より証拠、早速適用例を見てみよう。本エントリで利用する画像はPresentationからの引用である。元画像の中から邪魔なオブジェクト等の隠蔽すべき領域を指定すると、その領域が補完された画像が自動的に生成される。 アルゴリズム 効果は抜群だがアイデア自体は単純なものだ。Web上には莫大な数量の画像がアップされており、今や対象となる画像の類似画像を一瞬にして大量に検索することができる。そこで、検索された類似画像で隠蔽領域を完全に置き換えてしまうことで違和感の無い補完画像を生成するのだ。
エクセルでインベーダー作ってみた
とても面白い画像を見たので作ってみました。エクセルはこちらhttp://www1.axfc.net/uploader/He/so/216453※そういやオリジナルって敵減ると早くなるんでしたっけね。すいません、今思い出しました。
バイナリとテキストの本当の違い : 404 Blog Not Found
2009年04月09日00:15 カテゴリLightweight LanguagesCode バイナリとテキストの本当の違い うーむ、Wikipediaですら「見た目」の違いしか説明していない。 バイナリ - Wikipedia コンピュータが扱うすべてのデータはバイナリデータ（バイトの並び）であり、プレーンテキスト（または単にテキスト）もバイナリデータの一種ではあるが、通常バイナリとテキストは対比して用いられる。テキストとはデータの内容すべてを人間が読んで理解できる (human-readable) 表現形式を指し、バイナリとはそうでない表現形式を指すことが多い。 Binary file - Wikipedia, the free encyclopediaA binary file (.bin) is a computer file which may contain any type
わずか565バイトテトリスのプログラミング解説
「往年の名作「スーパーマリオブラザーズ」、あの濃い内容でわずか40キロバイト」に載っていたわずか565バイトのテトリス。文字数にして551文字。79文字*7行のプログラミングで、テトリスが動きます。 以下のソースコードをメモ帳に貼り付けて、htmlで保存すればテトリスが動きます。 <body onKeyDown=K=event.keyCode><script>X=[Z=[B=A=12]];h=e=K=t=P=0;function Y() {C=[d=K-38];c=0;for(i=4;i--*K;K-13?c+=!Z[h+p+d]:c-=!Z[h+(C[i]=p*A-Math.round(p/ A)*145)])p=B[i];!t|c+4?c-4?0:h+=d:B=C;for(f=K=i=0;i<4;f+=Z[A+p])X[p=h+B[i++]]=1 if(e=!e){if(f|B){fo
Cyanを設計した高校生、5カ月で5つの言語を習得
読者の皆さんは、「Cyan」（サイアン）という言語をご存じないかもしれない。Cyanは、Lispのマクロを持ち、Python風のインデントによってブロックを表すプログラミング言語。2008年の春、林拓人という1人の高校生によって設計された。 連載第1回の竹内郁雄氏が「開発」の天才、第2回の五十嵐悠紀氏が「発想」の天才とするならば、今回の林氏は「プログラミング言語」の天才だ。 林氏がプログラミング言語に初めて触れたのは中学3年の夏休み。そこから冬休みまでの5カ月間に、5つのプログラミング言語を習得した。その後もいくつかのプログラミング言語を学ぶ中、林氏の興味はWebサービスなどのものづくりには行かず、ひたすら言語自体へと向かっていった。 高校2年の春、自身でプログラミング言語Cyanを作り上げた。Cyanを設計した林氏は、「U-20プログラミング・コンテスト」（以下、U-20プロコン）で経済
開明堂 : 読んだ : アンドリュー・ハント, デビッド・トーマス『達人プログラマー』
なかなか手際よくプログラミングにおける要点や姿勢というべきものを広範に整理した好著。ちょうど自分なりのプログラミングに対する指針というか、次に何に着目して取り組むべきか――を得たかったところだったので、なかなかタイミングのよい本だった。個々の項目だけならば既に知っているものばかりなのだろうが、何よりも細かい説明が延々と続くわけではなく、要諦を押さえた密度の濃い点がよいと思う。個人的には、後は変数命名の指針などがあるとありがたかったが、そのくらいは自分で調べるべきなのだろう。 抄録 vii/ix/xii これまでプログラムの本の多くは言語設計者などによって書かれることが多く、プログラミング言語を使った作業全体までを視野に入れたものは少なかった。本書では、それを打破するための、パターン(解決策)のシステム(系)に則るプラグマティックな方法論を提示する。即ち、幅広いバックグラウンド(理論)と経験
島根県のホームページ管理システムがOSSとして無償公開，地元企業がRubyで開発：ITpro
島根県は2008年2月14日，同県の公式サイトで採用しているCMS(コンテンツ管理システム）をオープンソース・ソフトウエア（OSS)として無償公開した。自治体が開発したCMSをOSSとして公開するのは国内初と見られる。島根県に在住する技術者まつもとゆきひろ氏が開発したRubyで構築されており，同氏が在籍するネットワーク応用通信研究所が島根県の委託を受けて開発した。視覚障害者が利用しやすくするための機能を備えていることが特徴。 基盤ソフトウエアもオープン ソフトウエアの名称は「島根県CMS」。2006年から県の公式ホームページで稼動している実績がある（関連記事）。特徴は，パソコンに詳しくない職員でもコンテンツの投稿，編集が容易になるような管理画面を備えていることと，視覚障害者向けにアクセシビリティを向上させる機能を備えていること。 アクセシビリティ向上のための具体的な機能として，Webブラウ
今SEになる奴はアホ :【2ch】ニュー速クオリティ
1 天使見習い(愛知県) 2008/02/12(火) 11:48:13.92 ID:dvVZJHOZ0 ?PLT(13833) ポイント特典 特集 会社を辞めよ、シャバへ出よう： SEから女性シンガー転身、支援する秘密の集まりとは (1/5) 1月の記事で、読者が会社を辞めることに興味を持っていることが分かった。 そこで、最近の退職事情について調べてみた。SEから女性ミュージシャンへの転身、日本のSIを変えるための転職など人間ドラマの彩りは豊かだった。 2008年02月09日 00時00分 更新 1月19日の記事「会社の上手な辞め方、教えます」へのアクセス数の多さで、読者が会社を辞めることに興味を持っていることが分かった。そこで、最近の退職事情について調べてみた。 会社員は顧客や上司との関係などでストレスを抱えている。 サラリーマンの宿命だが、我慢の度合いが水準を超えた場合、それは人生の無
オープンソースに貢献する日本人エンジニアが少ない理由:Geekなぺーじ
Mozilla Japanの金井玄氏のブログで「Open source contributors in Asia」という記事が書かれていました。 アジア地域では、OSS(Open Source Software)を使う人が多いのに貢献が少ないのは文化的な要因が大きいのではないかと書かれています。 Linux FoundationのJim Zemlin氏とLinus Torvalds氏の対談の中でTorvalds氏が文化的側面が大きいのではないか、と述べている点に注目しています。 原文では、じゃあ文化的側面とは何だ？という事に関しては明確に書かれていない気がします。 原文は「アジア人」とひとくくりにされていますが、個人的には日本とその他のアジア地域で「文化的側面」が同じとはあまり感じられなかったので、とりあえず、「日本人」というカテゴリで思いつくだけ列挙してみる事にしてみました。 思いつきで
「真のゆとり教育」が生んだ18歳天才プログラマー ビジネス-最新ニュース:IT-PLUS
電通、三菱UFJ信託銀行など大手企業が相次ぎ参入を表明する「情報銀行」。ここに挑むベンチャー企業がDataSign（東京・渋谷）だ。同社の太田祐一社長は情報銀行という言葉が生まれる…続き 中部電力が「情報銀行」参入へ 電力データを活用 ［有料会員限定］ 「情報銀行」説明会に２００社 データ流通の枠組み始動
ニコニコ動画のAPIのメモ - picasの日記
http://www.nicovideo.jp/api/getflv/[動画IDかスレッドID] flv取得URL、コメントXML取得URLなどが得られます。getflv?v=[動画IDかスレッドID]でもアクセスできます。 [動画IDかスレッドID]は、http://www.nicovideo.jp/watch/sm...のsm...の部分、もしくはスレッドIDでもよいみたい。 参考にさせていただいたところ flvの取得 - poChiの日記 http://msg.nicovideo.jp/[数字]/api/ コメントなどが得られます。 POSTでほしいものを投げます。 [数字]というかアクセスURLそのものはhttp://www.nicovideo.jp/api/getflv?v=[動画IDかスレッドID]にアクセスして取得してください。 参考にさせていただいたところ コメントの取得
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
笑わないプログラマ - 【軍曹が】携帯電話開発の現状【語る】
sdi - Page: 論理 データベース論考 - logico-index