最高のプログラミング言語（または私は如何にして心配するのを止めてコードを愛するようになったか） | POSTD
常に世界のどこかで誰かが、この世で一番のプログラミング言語は何かというトピックで投稿し、忘れ去られた言語のすばらしい一面や、新しい言語の有用性を主張しています。どうやら、その順番が私に回ってきたのかもしれません。そろそろ私も、プログラミング言語についての自分の考えを皆さんにお伝えしようと思います。 始めに少し言い訳をさせてください。30以上の言語で開発した経験があり、他の人が書いた多くのコードと悪戦苦闘をしてきた開発者でもない限り、「自分の意見には客観性がある」とはとても言えないと思います。そんなわけで、このトピックを取り上げる他の多くの人と同じように、私の意見も偏っています。多くの言語に精通した開発者がこの話題自体を不毛だと感じるのは、このせいかもしれませんね。 要約: すばらしい言語 早速、このブログ限定ということで、私が考える”すばらしい言語”を発表しましょう。 アセンブリ言語： マ
名鉄百貨店の巨大人形「ナナちゃん」の顎が外れて地面を突き抜ける 2013年を超える長さ - はてなニュース
名鉄百貨店（名古屋市中村区）メンズ館のエントランス前に設置されている巨大人形「ナナちゃん」の顎が、驚きのあまり外れてしまいました。理由は、クリアランスセールの安さにびっくりしたため。ナナちゃんは2013年のセール時にも顎を外していましたが、2014年は昨年よりも衝撃だったのか、顎は地面を貫いて地下1階まで到達しています。 ▽ http://www.e-meitetsu.com/mds/ladies/f_nana/index.html 地面を突き抜けたナナちゃんの顎は、地下1階にある「ヤマダ電機 LABI名古屋」の床付近まで伸びてしまいました。顎の先端部分の周辺にはバリケードが張られています。ナナちゃんの顎が外れた理由は、サイトの説明によると「クリアランスで安さにビックリ！」してしまったため。セールは6月27日（金）から開催されます。 ナナちゃんの身長は610cm、体重は600kg。これまで
kimamanote.com
kimamanote.com 2020 Copyright. All Rights Reserved. The Sponsored Listings displayed above are served automatically by a third party. Neither the service provider nor the domain owner maintain any relationship with the advertisers. In case of trademark issues please contact the domain owner directly (contact information can be found in whois). Privacy Policy
CakeML
About CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself. The CakeML project consists of the following components, all of which are free software. Language definition. The CakeML language is based on a substantial subset of Standard ML. Its formal semantics is specifi
Twitter、「コメント付きでRT」機能をテスト中 RTしながら140字でツイートできる
Twitterが新機能「コメント付きでRT」（Retweet with comment）を一部ユーザーを対象にテストしているようだ。この機能を使えば、RTとともにツイートの文字数制限140字をフルに使ってコメントできる。 ほかのユーザーのツイートにコメント付けた形でRTする場合、元ツイートを引用しながら非公式RTをすることになるが、元ツイートとコメントを1ツイート140字の制限内に収めなければならず、コメントが長ければ元ツイートを省略したり、あるいはコメントを短くしたり──といったことが必要になる。 「コメント付きでRT」機能では、元ツイートをRTしながら、コメントを140字の制限いっぱい使ってツイートできる機能のようだ。タイムラインには、RTしたツイートがコメントのツイート内に埋め込まれたように（Twitter Cardsのように）表示される仕組みになっている。
はてな匿名ダイアリー（増田）はどこへ向かっているのか？ - モフモフ社長の矛盾メモ
最近「増田」こと「はてな匿名ダイアリー」の人気記事に付く、トラックバック・スパムが、目に余る勢いになって来た。 はてなブックマークの人気上位に入ったこの記事とか、下の方は完全にスパムリンクの嵐だ。 板挟まれてる http://anond.hatelabo.jp/20140622233047 はてな匿名ダイアリーは使いづらい。読むだけならいいが、書こうとするとマジで使いづらい。そもそも、URLをタイトル欄や本文中にコピペするなどしてトラックバックをしないとレスがつけられない仕組みも、非常にまどろっこしい。今の時代に原始的なトラックバックの仕組みで、しかも匿名とはいえ記事の書き手さえもスパム投稿を削除できないってのは、どうかと思う。 いつまでも「はてなラボ」のいちβサービス扱いの匿名ダイアリーを、はてなは今後どのように育てて行く方針なんだろうか。 2chによる厳しい転載禁止措置で2chまとめサ
イタリア代表のベテランが若手に怒り、バロテッリの態度も一因か | Goal.com
ワールドカップ（W杯）でグループステージ敗退に終わったイタリア代表のベテランが、若手に苦言を呈した。FWマリオ・バロテッリに対する批判との見方もあるようだ。 ２４日のウルグアイ戦で敗退が決まったイタリア。GKジャンルイジ・ブッフォンは試合後、次のように述べている。『ガゼッタ・デッロ・スポルト』など複数のイタリアメディアが伝えた。 「よく世代交代が必要だと言われる。ブッフォン、ピルロ、デ・ロッシ、キエッリーニ、バルザーリは年寄りだとね。だが実際は、引っ張らなければいけないときに、最前線にいるのはいつもこのメンバーだ。もっとこういう選手たちをリスペクトすべきだよ。ピッチで必要なのは、『やる』ことだ。『やれるかも』『やるはず』では足りない。誰がいて、誰がいなかったかは、見てのとおりだ」 さらに、MFダニエレ・デ・ロッシもこう話している。 「すべてを考慮し、お人形や有名人ではなく、本物の男たちで再
某女子大のとある講義では、初老の女性講師が最初の5分か10分ほど世間話を..
某女子大のとある講義では、初老の女性講師が最初の5分か10分ほど世間話をするのが慣例になっている。落語でいう所の「マクラ」みたいなものだろう。 殆どが時事ネタなのだが、やはりというか、その日は例の野次の件だった。 東京都議会のある議員が、女性議員に野次を飛ばして問題になっています。その内容は女性蔑視やセクハラであるという意見が大半を占めていますし、私も概ねその通りだと思います。 ところで、みなさんの多くはパソコンやスマートフォンといった、インターネットに繋がる機械をお持ちかと思います。そしてそれらで手軽に全世界に情報発信する手段を心得ていると思います。 思慮深いみなさんの事ですから間違える事は無いと思いますが、念のために助言しておきます。 この件でネット上で当事者を批判するのはおやめなさい。 赤の他人の失言をあげつらって公然と批判するというのは、実は非常に難しい事なのです。私よりも年齢を重
ロレンチーニ器官 - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Ampullae of Lorenzini|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針に
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
アップル、過去25年で1番最高な製品を今年後半に発表
弟を亡くしたY・トゥーレがシティを批判 | Goal.com