Hilbert<ヒルベルト> - 世界で一番ピュアなプログラミング言語 -Hilbertは数学における普遍妥当な論理式を機械的に導出可能とする公理系と推論法則を言語内部に構築し、実数学の諸概念を離散世界の抽象物に飛ばす機構を目指した言語です.
町山智浩が語る 絶対見てほしい高倉健映画11作品
映画評論家の町山智浩さんがTBSラジオ『たまむすび』で高倉健さんを追悼し、絶対に見てほしい高倉健さんの映画11作品を紹介していました。 （町山智浩）えっと、本日はですね、俳優の高倉健さんが亡くなったというニュースが入りましたので、高倉健さんのお話をさせていただきたいんですが。まずですね、高倉健さんといえば、この歌ということでですね、『唐獅子牡丹』。聞いていただけますか？ （町山智浩）はい。これね、唐獅子牡丹っていう歌で大ヒットしたんですけども。僕が小学生の頃は高倉健さんはものすごい大ヒットシリーズをですね、3本も持っていて。それを年間にですね、2本とか3本ずつ公開してるという、すごい人気だったですよ。 （赤江・山里）うん。 （町山智浩）で、いまの唐獅子牡丹っていうのは『昭和残侠伝』シリーズという、いわゆる任侠映画のシリーズなんですね。それともうひとつ、同じような任侠映画のシリーズで『日本侠
難しいプログラムでは自分がいままで書いたコードが正しく動くと信じて残りのコードを書く必要がある | by Rui Ueyama | Medium
Welcome to a place where words matter. On Medium, smart voices and original ideas take center stage - with no ads in sight. Watch
47NEWS（よんななニュース）
農産物よ、おまえもか―。野菜にも及び始めた値上げの波 価格高騰は勘弁、でも農家廃業も避けたいジレンマに消費者１０４人が出した答えは
在特会の言う「在日特権」あるの？ 記者がお答えします：朝日新聞デジタル
１０月２０日に配信された「橋下・大阪市長と桜井・在特会会長が面談 主張は平行線」で、橋下徹大阪市長と「在日特権を許さない市民の会」（在特会）会長とのやりとりは、不快感しか残りませんでした。在特会の主張はあたかも在日韓国・朝鮮人に「特権」があるかのような印象を与えます。実際はどうなのか取り上げてください。（愛知県 パート男性 ６５歳） ◇ 橋下氏と在特会会長との面談は、怒号が飛び交う激しいやりとりに注目が集まりました。そこで、いただいたご意見にお答えしたいと思います。 この面談の前日の１０月１９日、大阪・難波に行くと、在特会の幹部らが街頭で代わるがわるマイクを握っていました。休日で大勢の買い物客らが行き交うなか、「在日は不当な特権を得ている」「朝鮮半島に帰れ」などと訴えていました。 こうした街頭宣伝活動は各地で繰り返されています。なかでも「特権」と言ってよく取り上げられているのが、在
安倍定と尾崎秀実の弁護人だからすごい - 一日一尺一寸 本屋の小僧
丸谷才一『人間的なアルファベット』（９） <Ｂの項目>「ＢＡＲＲＩＳＴＥＲ（弁護士）」 ・安倍定と尾崎秀実の弁護人だからすごい ・江連船長「大輝丸」が、残忍な海賊船に変貌 ・竹内金太郎は「反時代的な気概の持主」 ＜yuka's fotolife 水辺の鴉＞ 「ＢＡＲＲＩＳＴＥＲ（弁護士）」 今日の主人公は竹内金太郎さんです。日 本に、かって、こんなすごい弁護士がい たのか、と、世の中が少し明るくなった 気がします。弁護士ほど、ピンキリのは げしい職業はないんです。弁護士だから、 といって、ありがたがる人がいますが、 ご用心ご用心。 弁護士といえば、ふだん、lawyer の方 をより耳にしますが、barrister とを、 英英辞典で見比べてみましょう。 barrister a type of lawyer in Britain, Australia and some other count
戦前のわいせつ写真、ネット販売容疑 ８３歳男を逮捕：朝日新聞デジタル
戦前に撮影されたとみられるわいせつな写真をインターネットオークションで売ったなどとして、警視庁は、東京都大田区西糀谷３丁目、無職柴田康（やすじ）容疑者（８３）をわいせつ図画頒布などの疑いで逮捕し、１８日発表した。「生活費の足しにしたかった」と容疑を認めているという。 蒲田署によると、柴田容疑者は１６日、農作業着姿の男女の性行為などの写真１８枚を販売目的で自宅で持っていた疑いがある。このうちの１枚を含む写真３枚をデジタルカメラで接写し、印刷したものを３４００円で埼玉県内の６０代男性に４月にネットオークションで売った疑いもある。 柴田容疑者はこれらの写真を骨董（こっとう）市で購入し、複写したものを２０１０年１月から今月にかけて約３００人に計約６０万円で売った、と署はみている。
Snapchat - Introducing Snapcash
Today is a big day for us - we are launching our first product created in partnership with another company. We’re huge fans of the folks at Square and have been big admirers of Square Cash since it launched – just type a dollar amount into the subject line of an email and send cash to friends. Genius! We loved it so much that we wanted to create something with them that felt Snapchat-y. So we buil
世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita
あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚いています. こうも時間の流れが早いと死ぬのもすぐですね. 懸命に生きようと思います. さて今回はHilbertという論理型プログラミング言語を作りました. （カジュアルに作ってるように見えますが、割と本気です.） まだまだやるべき事は本当に多くて、飴ちゃんあげるのでコミッター大募集です. （今ならカントリーマームもつけるのでお願いします.） HP: http://hilbert-lang.org/ja/ Github: https://github.com/gogotanaka/Hilbert 前座 世界で一番ピュアで豊かなプログラミング言語 この言語で仮定されているのは恒真（トートロジー）のみです. （厳密に言うと自然演繹も仮定されていますが.） 当初、自
衝撃スクープ!フォークで刺されたはずの盲導犬オスカー「実は刺されてなんか、いなかった」日本中が激怒した事件に意外な新証言が……（週刊現代） @gendai_biz
衝撃スクープ!フォークで刺されたはずの盲導犬オスカー「実は刺されてなんか、いなかった」日本中が激怒した事件に意外な新証言が…… 「盲導犬オスカー刺傷事件」はあまりに大きな反響を呼んだ。しかし、3ヵ月が経った今も、犯人は捕まっていない。一体犯人はどこにいるのか。取材を進めるうちに衝撃の事実が浮かび上がってきた。 警察が隠していること 「もう、いいじゃないですか、その話は……」 盲導犬オスカーの近況について尋ねると、飼い主の近所に住む住人たちは、異口同音にそう答えた。その口ぶりは、まるで何か言いにくいことを隠しているようにも取れた。 今年7月、盲導犬オスカーが何者かに背中を刺されて大騒動となったのは、記憶に新しい。 埼玉県さいたま市に住む全盲の男性(61歳)が連れていたオスカー(オス・8歳)が被害に遭ったのは、男性が自宅を出て職場に着くまでの、通勤経路のどこかだと見られる。 「フォークのような
Yahoo!ニュース - 高倉健さん死去 ８３歳 （スポーツ報知）
映画俳優の高倉健（たかくら・けん、本名・小田剛一）さんが、死去していたことが１８日分かった。８３歳だった。 ３１年に福岡県に生まれ、大学進学のために上京。５５年、東映ニューフェイス２期生として入社した。演技経験などは全くなかったが、翌５６年に映画「電光空手打ち」で主演デビューした。 映画スターとしての地位を確立したのは、６０年代に入って出演するようになった仁侠映画だった。「網走番外地」「日本侠客伝」「昭和残侠伝」などがシリーズ化され、大ヒット。映画ファンは「健さん」と親しみを込めて呼ぶようになった。 テレビドラマなどにはほとんど出演せず、自らを「映画俳優」と呼ぶほど。生涯の映画出演作は２０５本に及ぶ。最後の作品は、１２年秋に公開された「あなたへ」（降旗康男監督）。田中裕子（５９）が演じた亡き妻の面影をたどり、富山から九州まで自らハンドルを握り、旅をする刑務官を演じ、同年の報知映画賞主
From native code to browser: Flash, Haxe, Dart or asm.js? - Infognition tech blog
By the way, the picture used in the test shows a lossless compression from 960x540 = 518400 pixels = 1555200 bytes of RGB24 data to 149321 bytes, i.e. ~10x lossless compression. I couldn't reach similar size with PNG even with special tools, and JPG at this size shows visible artifacts. General thoughts Although people keep repeating "Flash is slow" it's actually pretty fast. 1.67 times slower tha
女子アナ内定取り消し､労働弁護士の見方
内定取り消しの撤回を求めて、女子大生が日本テレビ放送網を訴えた――。11月14日に始まったこの裁判が世間の大きな注目を集めている。 報道等によると、2015年春に日本テレビへアナウンサーとして入社する予定で内定をもらっていた東洋英和女学院大学4年生・笹崎里菜さん（22）が、同社にその内定を取り消された。笹崎さんは、かつて銀座の小さなクラブでホステスのアルバイトをしていた経験があり、これを人事部に報告。対して「高度の清廉性を求められるアナウンサーにふさわしくない」というのが、日本テレビ側が内定を取り消した理由だ。 日テレは内定を一方的に取り消し 笹崎さんは当初、日本テレビから内定辞退を迫られたが、それには応じず、一方的に内定を取り消されたという。笹崎さんはこれに納得しておらず、東京地裁に提訴した。11月14日、裁判所で第1回口頭弁論が行われ、次回は2015年初旬の予定だ。 最終的な判断は司法
47NEWS（よんななニュース）
実は多い？男性の更年期障害。気分の落ち込みやイライラ、加齢のせいと思った症状は更年期が原因かも 仕事との両立、動き出した環境整備
俳優の高倉健さん死去 ８３歳「幸福の黄色いハンカチ」：朝日新聞デジタル
やくざ映画の「健さん」として一時代を築き、寡黙で一本気な「日本の男」を演じた俳優の高倉健（たかくら・けん、本名小田剛一〈おだ・ごういち〉）さんが１０日、悪性リンパ腫のため、都内の病院で死去した。８３歳だった。 福岡県生まれ。明治大学商学部を卒業後、就職難で実家に戻り、家業の石材業を手伝うが、５５年に上京。芸能プロのマネジャーの面接をうけていたとき、居合わせた東映幹部にスカウトされ、第２期ニューフェースとなった。 ５６年、映画「電光空手打ち」「流星空手打ち」の連作に主演デビュー。高校時代はボクシング、大学では相撲や合気道で鍛えたスポーツマン風の容姿がかわれ、現代劇スターとして売り出した。「大学の石松」シリーズなどの熱血青年役が多く、美空ひばり、片岡千恵蔵ら大スターとも共演したが、主演俳優としては伸び悩んだ。
高倉健さんが死去 - 47NEWS（よんななニュース）
47NEWS 参加社一覧 北海道新聞 | 室蘭民報 | 河北新報 | 東奥日報 | デーリー東北 | 秋田魁新報 | 山形新聞 | 岩手日報 | 福島民報 | 福島民友新聞 | 産業経済新聞 | 日本経済新聞 | ジャパンタイムズ | 下野新聞 | 茨城新聞 | 上毛新聞 | 千葉日報 | 神奈川新聞 | 埼玉新聞 | 山梨日日新聞 | 信濃毎日新聞 | 新潟日報 | 中日新聞 | 中部経済新聞 | 伊勢新聞 | 静岡新聞 | 岐阜新聞 | 北日本新聞 | 北國新聞 | 福井新聞 | 京都新聞 | 神戸新聞 | 奈良新聞 | 紀伊民報 | 山陽新聞 | 中国新聞 | 日本海新聞 | 山口新聞 | 山陰中央新報 | 四国新聞 | 愛媛新聞 | 徳島新聞 | 高知新聞 | 西日本新聞 | 大分合同新聞 | 宮崎日日新聞 | 長崎新聞 | 佐賀新聞 | 熊本日日新聞 | 南日本新聞 | 沖縄
声優の納谷六朗さん死去…兄は銭形警部役、兄弟共演も多数 - スポニチ Sponichi Annex 芸能
声優の納谷六朗さん死去…兄は銭形警部役、兄弟共演も多数
私ヨーゲンを書いた中核派ジャーナリスト安田浩一の私怨による中傷記事について：シャーンティー 幽玄佐東のブログ：So-netブログ
講談社「現代ビジネス」。ネットでヘイトスピーチを垂れ流し続ける 中年ネトウヨ「ヨーゲン」（57歳）の哀しすぎる正体 【前編】 http://bit.ly/1uiI4iY 【後編】 http://bit.ly/1wPCVgH http://gendai.ismedia.jp/articles/-/41046 2014-11-17 本日ネットで発刊されているこの記事に関する記載です。 ヘイトスピーチの定義は、私達がこれから決めるのなのです。 クリスマスもバレンタインデーも日本語になったとたん 海外とはまったく異なるものになっていました。 日本には日本のヘイトスピーチが定義されるのです。 これをあたかも先にあるように語る連中はイカサマ師です。 当時、私は調べた朝鮮民族の恥についてはよく調べて言っていました。 竹島の拉致や終戦後殺された日本人の虐殺に腹がたっていたからです。 普通朝鮮人に虐殺、拉致
マリオカート中のオファー快諾 マリー、急きょ試合出場：朝日新聞デジタル
（１６日、男子テニスＡＴＰワールドツアー・ファイナル） ジョコビッチの３連覇は拍子抜けだった。「４５年間の大会の歴史でこんな形の優勝は初めてだから、違和感はある」と本人も満面の笑みは出なかった。 フェデラーとの「頂上対決」が幻となり、落胆する大観衆を救ったのが、地元のマリー（英）だった。ツアー・ファイナルは１次リーグで敗退し、シーズンオフに突入したばかり。この日は自宅のソファで任天堂の人気テレビゲーム「マリオカート」を満喫している最中、電話でエキシビションマッチの打診を受けた。緊急事態に快諾し、急きょ駆けつけてジョコビッチの相手を務めた。 ５―８で敗れた試合後のあいさつで、「ゲームは勝っていたんだ。テニスより上手だから」とマリー。冗舌ではないが、素朴な人柄がにじむあいさつに、ほぼ満員の会場は笑いに包まれた。（稲垣康介）
ニュース - 環境 - マダガスカル島、危機に瀕する森林 - ナショナルジオグラフィック 公式日本語サイト（ナショジオ）
海外FX業者を利用する上で、ボーナスは絶対に欠かせません。口座を新規開設するだけでもらえる「口座開設ボーナス」、入金時にもらえる「入金ボーナス」、その他にもキャッシュバックなど、様々なボーナスがもらえます。 受け取ったボーナスはそのまま取引に使え、利益が出た時は出金することも可能です。お得はあっても損はないボーナスなので、海外FX業者を選ぶ際には必ず比較しておきたいところです。 そこでこの記事では、海外FXボーナス(口座開設ボーナス・入金ボーナスキャンペーン)全195社を徹底的に研究した上で、おすすめ完全比較ランキングにまとめました。日本人に人気のFX業者だけでなく、マイナーの海外FX業者や注意点なども詳しく解説していきます。 「海外FXボーナスが豪華な業者をすぐに知りたい」という方向けに、海外FXボーナス選びに役立つカオスマップを作成したのでこちらも併せて参考にしてください。 「どのFX
かつて「ネトウヨ界の大物」と呼ばれた男の孤独な末路（安田 浩一）
ネット上で激しい誹謗中傷を浴びせていた人種差別主義者の「ヨーデン」と名乗る男。その正体を突き止めた安田氏は、実際に彼の住む福島県いわき市へ向かった。一枚の写真からついに居所を特定し、たどりついたドアの前で緊張で筋肉をこわばらせながらインターフォンを押すが…。『ネットと愛国』著者の戦慄のルポ、後編。（前編はこちら http://gendai.ismedia.jp/articles/-/41046） 決め手となった1枚の写真 今年1月5日。この日も私はいわき市内で聞き込みを続けていた。だが、歩いても歩いても、彼の所在はわからない。人物像だけで住所を「当てる」ことは難しい。 しかもその段階において男が犯罪者であるという確信を持っていたわけでもないので、通常の事件取材とは違い、聞き込みするにあたっても最低限のプライバシー配慮をせざるを得ない。捜索は困難を極めた。 途方に暮れていた時、一通のメールが
わずか500行のCソースコードで作られたCコンパイラ「CC500」 | ソフトアンテナ
Cコンパイラといえばとてつもなく複雑なプログラムというイメージがあります。ところが、このCコンパイラを(サブセットとはいえ)わずか500行ほどのCのソースコードで実現した「CC500」名付けられたプログラムが公開されています。 ソースコードは可読性を維持するためにつけられた空行やコメントを含めると、実際は750行ほどになるそうですが、それでもこれだけコンパクトなソースコードで実行可能なELFバイナリ(Linux用のバイナリ)を生成できるのは興味深いのではないでしょうか。 以下実際にLinuxでコンパイルしてみました。 自己コンパイルできる このコンパイラはC言語のサブセットで、自分自身のソースコードをコンパイルできるところがおもしろいところです。まず「cc500_1」という実行ファイルを生成します。 gcc cc500.c -o cc500_1 生成された実行ファイル「cc500_1」を使
『Goat Simulator』がMMO化！ヤギでファンタジーの世界が体験できる新DLCが近日配信 | Game*Spark - 国内・海外ゲーム情報サイト
PC/Mac/Linuxなどで配信されている『Goat Simulator』。名前のとおり、プレイヤーがヤギとなるシミュレーターとして登場、以降一部で大いに盛り上がりを見せている作品ですが、本作の最新DLCの配信日が決定しました。 以前、「エキサイティングな」大型アップデートが予定されていることが予告されていましたが、その内容が発表。『Goat MMO Simulator』として,11月20日に配信されることが決定しました。無料で配信となる今回のDLCパッチ1.2では、ヤギからヒツジへの変更が可能となっており、クエストや多数の職業も用意。ユーザーは「ウォーリアー」、「ローグ」、「マジシャン」、「ハンター」、「電子レンジ」のクラスが選択可能となっています。またレベルの概念があり、レベルキャップが101に設定されています。
思ってたんと違うGDPマイナス成長率、アナリストやエコノミストだけでなく日本市場も泣かせる : 市況かぶ全力２階建
QPS研究所、小型SAR衛星5号機の故障でまともに稼働している商業衛星が残り1機となり株価が大気圏突入始める
【速報】ニコニコ動画でついに任天堂タイトルの投稿“公認”へ 対応タイトルは「マリオ」「ゼルダ」「ピクミン」など250本以上
任天堂は12月1日より、ニコニコ動画の「クリエイター奨励プログラム」に参加する。これにより任天堂タイトルを使った「ゲーム実況」動画をはじめ、「弾いてみた」や「描いてみた」などの二次創作動画が“公認”されることになる。 当面は「ニコニコ動画」のみの対応で、「ニコニコ生放送」など他のniconicoのサービスには非対応。タイトルはWii U「ピクミン3」をはじめ、ニンテンドー3DS「トモダチコレクション 新生活」「ゼルダの伝説 時のオカリナ3D」、スーパーファミコン「スターフォックス」、ファミリーコンピュータ「スーパーマリオブラザーズ」「ゼルダの伝説」「メトロイド」など250タイトル以上が対応予定となっている。 11月17日に行われた「ニコニコ超会議2015発表会」の中で正式に発表された。任天堂・岩田聡社長はビデオレターの中で、ゲーム実況などのムーブメントについて触れつつも、現在は著作権などの
任天堂、ニコニコ動画のプレイ動画を公認 二次創作を許諾
ゲームメーカー・任天堂が、niconicoの開催する巨大ゲームイベント「闘会議2015」の特別協賛となることが記者会見で発表された。 記者会見には、任天堂の代表取締役社長・岩田聡さんが動画で登場し、「闘会議2015」の特別協賛になることに加え、ニコニコ動画の提供する「クリエイター奨励プログラム」に準じて、任天堂の著作物を利用し、二次創作を行える許諾を出すことを発表した。 安心して二次創作を発表できる環境を用意する ゲーム実況動画に限らず、ゲーム音楽の弾いてみた・歌ってみた等も含め、動画クリエイターが安心して二次創作に取り組める環境を構築していくとのこと。 12月1日（月）より、「クリエイター奨励プログラム」のアカウントから実施対象となる。 なお、事前確認が難しいニコニコ生放送に関しては、許諾は現時点では出ないとのこと。 クリエイター奨励プログラムとは？ 「クリエイター奨励プログラム」は、ニ
Kotaku - The Gamer's Guide
The citizens of Pokémon’s various cities and towns love to say the word “Pokémon.” Armed only with mathematics and an urgent desire to answer a ridiculous question, I embarked on a quest to figure out what percentage of Pokémon’s residents do not talk about Pokémon. I present my findings in this video, “A…
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
bitbucketの使い方
EIZO、解像度1,920×1,920の正方形液晶を2015年に発売へ ～フルHDから情報量が78%増加、横幅が狭いデスクに
麻生財務相：景気条項を書かないのも１つの選択肢 - Bloomberg
アベノミクスは失敗してない、増税延期は当然＝浜田内閣官房参与
http://interactive.guim.co.uk/embed/2014/apr/image-opacity-slider-master/index.html?ww2-dday
http://www.bloombergview.com/articles/2014-11-17/japans-warning-to-the-world
https://www.popularmechanics.com/science/animals/a11645/cyborg-cockroaches-with-microphones-are-the-next-emts-17410719/
Bloomberg - Are you a robot?
俳優:高倉健さん死去、８３歳 - 毎日新聞