型チェックと型推論 - 檜山正幸のキマイラ飼育記 (はてなBlog)
「ソフトウェアの意味論は何のため／誰のために必要か」において、意味論（モデル）は精神衛生上の理由で必要だ、みたいなことを書きました。そればっかり強調すると、また変に誤解されかねないので、技術的／実用的な観点からの意味論の必要性についても敷衍＜ふえん＞しておきます。 意味論と対＜つい＞になる言葉は構文論です。構文の議論をちゃんとやろうとすると、意味論が必要です。以下、Catyについて話しますが、Catyでは型システムの役割が大きいので、型システムの構文論／意味論を話題とします。 内容： 型チェックがなぜ必要か 型推論と静的な型チェック 型宣言を書く動機付け 型推論演繹系と意味論 実行時チェックを併用するわけ 型チェックがなぜ必要か Catyでは、到るところで型チェックを行います。「どうして型チェックをするのか」というと、まず第一の理由は、人間の間違い（ミス）とそれに起因するトラブルを少なくす
3秒でカッコいいロゴが作れる「Supalogo」を使ってみた
テキストを入力して1クリックするだけで、カッコいいロゴが作れるWebサービス「Supalogo」。フォントは24種類から選べて、知らないフォントを試してみるだけでも楽しい。 実際に利用してみると分かるが、このサービス、とにかくシンプルでなかなか使い勝手がいい。トップページにあるのは、入力フォームとGENERATEボタン、OPTIONSボタンだけ。「とりあえず作ってみたい」というときは、ロゴにしたいテキストをフォームに入力し、GENERATEボタンをクリックするだけだ。3秒でロゴを作ることができる。 細かい設定をしたい場合は、OPTIONSボタンをクリックしてみよう。設定できるのは、フォントの種類、フォントサイズ、アウトラインサイズ、アウトラインカラー、グラデーション／テキスト／光沢部分のカラー、透過PNGにするかどうか。各種カラーは、HTMLの色指定のほか、カラーパレットも用意している。
GyaO！のUUがニコ動超え YouTubeに次ぐ2位に
ネットレイティングスが10月27日に発表したインターネット利用動向調査によると、今年9月に「GyaO」と「Yahoo！動画」を統合してスタートした動画サイト「GyaO！」の9月のユニークユーザー（UU）が1190万3000人と、800万7000人のニコニコ動画を抜き、YouTube（2248万人）に次ぐ動画サイト2位になった。 「統合前のGyaOとYahoo！動画はユーザーの重複率が高くなく、予想通りの結果」（同社の鈴木成典シニアアナリスト）という。 GyaO！のユーザー1人当たりの月間平均訪問回数や平均利用時間は、YouTubeやニコ動より下だ。平均訪問回数はYouTubeの6.3回、ニコ動の6.4回に対し、GyaO！は3.6回。利用時間は、YouTubeは1時間38分、ニコ動は1時間42分、GyaO！は20分だった。 YouTubeやニコ動は、ユーザーからの投稿も受け付けているが、Gy
ボストン・ダイナミクスが二足歩行ロボットのプロトタイプを公表、で、日本の有人宇宙活動の議論はどうなる？ - 松浦晋也のL/D
あのビッグドッグのボストン・ダイナミクスが、2足歩行ロボット「PETMAN」のプロトタイプを公開した。まだ実験用のベルトの上だが 実に立派に二本の脚で歩いている。しかも明らかに、アシモなど日本の二足歩行ロボットよりも外乱に強い。 知らない人のためにリンクしておくと、ビッグドッグというのはこの4足歩行ロボットだ。 「来るんじゃないかな」という漠然とした予感はあったが、こんなに早いとは思っていなかった。この調子だと、上半身がついたPETMANが来日して、アシモに先んじて徳島の阿波踊りに飛び入り参加する日も遠くなさそうだ。 で、日本では、『第１段階（平成３２年（２０２０年）頃）として科学探査拠点構築 に向けた準備として、我が国の得意とするロボット技術をいかして、二足歩行ロボット等による高度な無人探査の実現を目指す。』という一文が、日本の宇宙開発の基本となる「宇宙基本計画」に入っているのだが… ど
SEって、ヒゲの伸ばし方が汚いよね？｜【Tech総研】
無精ヒゲだらけのSEの職場。ワイルドを演出したヒゲというよりは、単に剃ってないだけのだけかも……。ヒゲを剃る暇もないほど忙しいのか、ヒゲを生やすのが好きなのか？きたみりゅうじがぶった切ります。 SEさんの職場に散見される、無精ヒゲを生やした御方たち。しゃれたヒゲ？いやいや。ワイルドなヒゲ？いえいえ。ただ生えるに任せた、まさしく「無精ヒゲ」というにふさわしい、単に剃ってないだけのヒゲ面姿。 「身だしなみは社会人の基本のはずなのに、まぁなんて人の道を外れた人たちなのかしら」「ひょっとしてしゃれっ気のつもり？ヒゲは伸ばせばいいってもんじゃないのですわよ」ともすればそんなことも言われかねない貧相なヒゲ姿。 なのに、なんで剃らないの？剃る暇もないほど忙しい？それとも実はやっぱりそのヒゲが気に入ってるから？ はてさて、それは以降の物語をご覧あれ。 先日、久しぶりに古巣の連中と飲む機会がありました。行く
青いバラを風呂に浮かべて
先週のランキング7位には、世界初の青いバラ「SUNTORY blue rose APPLAUSE」に関する記事が入った。 青いバラの開発は、オーストラリアのバイオベンチャー企業とサントリーが共同で1990年から進めてきたもので、自ら青い色素を持つバラは世界で初めて。20年近い年月をかけて開発されたこのバラの花言葉は「夢 かなう」とかなりロマンチックだ。 女子の夢といえば、偶然出くわしたイケメン実業家に年の数だけ包んだバラの花束をもらうことと相場は決まっている。そして、それをでっかい風呂に浮かべて「うふふ～」とか言いながらうっとりするのだ（映画の見過ぎ）。 そんな夢を「夢 かなう」このバラで試すとしたらいくらかかるのか。記者は非常に気になった。赤いバラを年の数だけ、なんていうのはよく聞く（映画とかで）話だが、青いバラなんて特別っぽいじゃないか！ 記者は23歳。このバラの価格は2000～300
「無垢で子どもらしい」クリプトンの新VOCALOID登場――「Project if...」が始まった
クリプトン・フューチャー・メディアがVOCALOIDの新しいシリーズを準備している。「Project if...」と呼ばれる「実験的な展開」だ。 同社は大ヒットとなったCV（キャラクター・ボーカロイド）シリーズの「初音ミク」「鏡音リン・レン」「巡音ルカ」をリリース。現在は「ミクAppend」という初音ミクの声の表情を拡張したもの、産業技術総合研究所のヒューマノイドロボット「HRP-4C」向けに特別提供した「CV-4Cβ」、若い男性声優が演じる「CVシリーズにつながりのある」VOCALOIDの3種類を開発表明しているが、「Project if...」はそのどれとも違う（クリプトンの「新しい男性VOCALOID」を聴いてきたよ（オルタナティブ・ブログ））。 この「Project if...」は、これまでで最も異色といっていい。そもそも成人男女による歌声ではないのだ。公式ブログで明らかにされた新
「入門 GIT」が神本である件。 git 利用者だけでなくすべての開発者が読むべき本 - KAYAC engineers' blog
ども。自分のサイトを復旧させるのが面倒なため会社のブログに本のレビューまで乗せようという魂胆の村瀬です。 週末に「入門GIT」を読んだのですがこの本は git ユーザーはもちろんのことその他すべての開発者が必読の本だなぁと感じたので紹介しておきます。 この本です。 この本は現在の git の開発者でありメンテナーである濱野氏によって書かれた git の入門本です。 ただの入門本にあらず しかし入門本だから最初はよくあるようなチュートリアルのような記事からはじまるのだろうと思っていると最初から面食らいます。 最初に書かれているのは git がどのようにデータを記録し、どのように履歴をたどれるようになっているかというまさに git 自体の基本が書かれているのです。 僕個人は二年近く git を使用してきているため自分の知識の確認のような感じで読み進められましたが、初めての方はすこしむずかしいか
Apacheの設定を変更し、単一IPアドレス上で複数のSSLサイトを運用する - builder by ZDNet Japan
Apacheのバージョン2.2.12以降では、SNI（Server Name Indication）という、SSLプロトコルに対する拡張機能がサポートされているため、名前ベースのHTTPサイトを設定する場合と同じように名前ベースのHTTPSサイトを設定することが可能になっている。本記事では、Apacheのこの機能について紹介する。 Apache Webサーバがバージョンアップし、成熟していくに伴い、新機能の追加やバグの修正が行われてきている。そして、バージョン2.2.12で追加された機能のうち、最も重要なものはおそらく、単一IPアドレス上で複数のSSLサイトを運用できるようにするという、長らく持ち望まれていた機能だろう。 これまでは、特定のIPアドレスに対してSSL対応のWebサイトを割り当てた場合、そのサイト1つしかSSL対応のWebサイトを運用することができなかった。つまり、IPアドレ
「感覚遮断」で幻覚出現：情報源の判断エラー説 | WIRED VISION
前の記事 米メディアがだまされた「商工会議所の記者会見」(動画) 「感覚遮断」で幻覚出現：情報源の判断エラー説 2009年10月26日 Hadley Leggett Image: daveknapik/Flickr 実際にはそこにない色や物体が見えるようになるのに、幻覚剤は必要ない。感覚をほぼ遮断した環境にほんの15分間ほど身を置くだけで、精神的に正常な人の多くが幻覚を見る可能性があるという研究結果が発表された。 研究では、健康な被験者19人を、光と音を完全に排除した感覚遮断室に15分間入れた。その結果、通常なら脳に絶えず押し寄せている感覚情報を絶たれた被験者の多くが、幻覚や妄想、抑うつ感を経験したと訴えた。 この実験結果は、脳が自らの経験していることの出所を正しく認識できない場合、幻覚症状が現われるという仮説を裏付けるものだ。このような概念は、研究者の間で「ソース・モニタリングの誤り」と
外国人が日本に来たら絶対に体験しておくべきことトップ10
実は日本はかなり変わった文化の国であるため、海外の人が日本に来るとイロイロと物珍しく映るようになっているわけですが、その中でも特に「日本に来たらこれだけはやっておけ！」というのがあるようです。海外の人を出迎える時に参考にすればよい体験をしてもらえるようになるかも。 というわけで、海外の人が日本に来た時にすべきだという10個の体験を見てみましょう。 詳細は以下から。 Top 10: Things You Should Do In Japan - AskMen.com 第10位：日本語を話してみる（話そうとしてがんばってみる） 確かに英語だと世界中のいろいろなところで使われていますが、日本語はあまり使われていないのに加えて、ひらがな・カタカナ・漢字の3種類を組み合わせているので、貴重な体験になるのかも。 第9位：相撲（スモウレスリング）を見に行く 上半身裸の巨漢たちが激しくぶつかり合い、日本の
Hudson 萌化計画 - cactusman日誌
まだまだですが、とりあえず。 この秘書の子はCecilia（セシリア）って名前に決めています。 lynxさんに描いていただきました。 http://eclucifer.net/ 感謝。 どういう形にしていくのかはまだ未定ですが、チャック・ノリスやBruce Schneierのようなむさいおっさんが幅をきかせているので、どうにかしないといけません。 もちろん、hud子さんやhud美さんもいますので、その辺とどういう位置づけにするのかも考えないといけませんね。
「私たちに何が必要かを考えてほしい」 生活保護毎月２４万・携帯代２万５千円の佐藤さん : 痛いニュース(ﾉ∀`)
「私たちに何が必要かを考えてほしい」 生活保護毎月２４万・携帯代２万５千円の佐藤さん 1 名前：出世ウホφ ★：2009/10/25(日) 22:00:14 ID:???0 ■「受ける側に何が必要かを考えてほしい」 「とにかくうれしいです」。金沢市の佐藤洋子さん（４５）＝仮名＝は、年内の母子加算復活が決まり、安心した表情を見せた。毎月、生活保護費など約二十四万円で暮らす。育ち盛りの小中学生の娘三人との四人家族で、五万円弱の食費は増える一方だ。支給日前の夕食は、具がモヤシだけのお好み焼きやふりかけご飯でしのぐこともある。「ごめん、もうお金ないから」「いいよ」。素直に納得してくれる娘たちには感謝している。 節約できるのは洋服代ぐらい。今年四月に中学校に入学した次女（１２）には、体操服を一枚しか買ってやれなかった。「これでもう一枚買えます」 母子加算の復活に伴い、代替措置の「ひとり親世帯就労促進
Javaでデバッガがブレークポイントで止まらない - Yamashiro0217の日記
「Javaでデバッガがブレークポイントで止まらない」現象に僕の周りでハマってる人が割といました。まぁ、Eclipse以外でもそうだと思うのですが、とりあえずEclipse環境で。 で、twitterなどで教えてもらったのですが、 sun の jdk の 1.6.0_14 〜 15 で デバッグの問題 Java ™ Virtual Machine Tool Interface (JVM TI) のブレークポイントは、並列スカベンジガベージコレクタ (-XX:+UseParallelGC) または並列圧縮ガベージコレクタ (-XX:+UseParallelOldGC) が使用されている場合のみ信頼できます。 というリリースノートが。 http://java.sun.com/javase/ja/6/webnotes/6u15.html というわけで、デバッガ起動時にこのオプションを付けてあげれば
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
『「税金をもっと上げて」、ドイツ人富裕者グループが財産税の再導入を求める』へのコメント
PETMAN Prototype
IBM Developer