世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita
あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚いています. こうも時間の流れが早いと死ぬのもすぐですね. 懸命に生きようと思います. さて今回はHilbertという論理型プログラミング言語を作りました. （カジュアルに作ってるように見えますが、割と本気です.） まだまだやるべき事は本当に多くて、飴ちゃんあげるのでコミッター大募集です. （今ならカントリーマームもつけるのでお願いします.） HP: http://hilbert-lang.org/ja/ Github: https://github.com/gogotanaka/Hilbert 前座 世界で一番ピュアで豊かなプログラミング言語 この言語で仮定されているのは恒真（トートロジー）のみです. （厳密に言うと自然演繹も仮定されていますが.） 当初、自
嗤うプログラマー: Windows に Vagrant + Knife Solo環境を作る手順 2014年4月版
2014年4月18日金曜日 Windows に Vagrant + Knife Solo環境を作る手順 2014年4月版 Windows に Vagrant と Knife Solo の環境をつくろうという、今日びよくきく話題について書いてみる。 よくきく話題なのになぜわざわざ改めて書くのか。なぜ2014年４月版なのか。 ググれば同じ話題の Blog の記事はわんさか出てくるのであるが、実はどれもうまく実行できる環境は作れないという事実に気がついたからである。 もちろんその記事が書かれた頃にはその手順でうまく動いたのであろう。ただし、特に Chef や Knife Solo の細かいバージョンアップにより、そもそもインストールできなかったりインストールできても動作しなかったりといったことになってしまったのではないだろうか。 念のため言っておくと、Linux や Mac OS X の
40歳以上のひきこもりは100万人！なぜこんな国になったのか（西村博之,池上正樹）
ひろゆきこと西村博之氏（写真左）と、『大人のひきこもり――本当は「外に出る理由」を探している人たち』（講談社現代新書）の著者・池上正樹氏（写真右）が“激突”。予備軍も含めると「40代以上の大人のひきこもり＝100万人」という日本が抱える大問題をテーマに、語り合った。 2010年と比較して、「ひきこもり」はどう変化したのか。なぜ、中途採用にいくら応募しても、採ってもらえない状況があるのか。ひきこもる人々はもちろん、コミュニケーションが苦手な人にとっても、活躍できる居場所は必ずある――。それぞれの立場から二人が持論を展開、打開策を探った。 ハローワークの“カラ求人”!? 池上 僕が「ひきこもり」をテーマにした前著『ドキュメント ひきこもり』（宝島社新書）を刊行した2010年、はじめてニコニコ動画に出演させていただき、ひろゆきさんと対談しました。 でも実は、（ニコ動の視聴者層は）もともと僕が仕事
難しいプログラムでは自分がいままで書いたコードが正しく動くと信じて残りのコードを書く必要がある | 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
詐欺サイト、口座まとめ - Rusifa HiRo Cafe
詐欺サイト、口座まとめ これまで私が掴んでいる情報、皆さんから頂いた情報をこちらで再確認したものをまとめています。 正確な情報を記載するため、私が実際に確認出来た範囲での記載をしています。 そのため一部のサイトや口座が『詐欺の可能性大』という記載になっております。ご了承下さい。 また、警察からも許可を頂いてますので情報を拡散していただいて結構です。 注文をしたとしても詐欺サイトである場合、代金を振り込む必要は全くありません！！ これまでそのような報告はありませんが、万が一、詐欺サイトより脅迫等があった場合はすぐに警察に相談して下さい。 詐欺にあってからの対応の一例です(Rusifa HiRo Cafe過去の日記より)。 消費生活センターへの電話と警察での被害届⇒振り込め詐欺救済法⇒被害回復分配金支払手続き⇒被害回復分配金の支払の決定書 最近横行している詐欺の手口はこちらを参考にして下さい。
Yahoo!ニュース - IT技術者不足が深刻…環境過酷か （web R25）
毎日新聞は11月7日、自社のニュースサイトで「IT技術者：関西も不足 景気回復やシステム需要拡大」という記事を公開し、ネット上で話題になっている。 記事によれば、IT技術者不足の背景には、みずほ銀行のシステム統合、社会保障と税の共通番号（マイナンバー）運用開始でのシステム更新、日本郵政のシステム開発等に加え、2020年の五輪など、システム需要の急拡大があり、首都圏だけでなく、関西圏でもIT技術者不足が深刻化しているとのこと。 ことIT技術者といえば、ネット上では“薄給激務”というイメージが強いため、ツイッターには、 「いままでさんざん安い金額で使い潰したからだ」 「あれだけ労働者ぶっ壊してたらそりゃなり手もいなくなるわな」 「使い捨てした結果がこれだよ」 と、冷ややかな声が多数投稿されるほか、 「不足しているのは給料や労働環境のせいだろ」 「単に安く使い倒せなくなっただけじ
Yahoo!ニュース - 自閉症、腸と脳のつながり明らかに （ナショナルジオグラフィック 公式日本語サイト）
ストレスが激しい腹痛やけいれん、断続的な痛みといったつらい腹部症状の原因になることは知られているが、腸の異常は脳にも影響を及ぼす可能性がある。 自閉症が初めて認知されてから約60年。症例数は急速に増え、国連の推定では世界で最大7000万人が自閉症スペクトラムに分類されるという。だが、原因や治療法は未だ解明されていない。 一方、頼もしい手掛かりが腸で見つかっている。これまでの研究により、自閉症児と健常児では、微生物叢と呼ばれる腸内に生息する膨大な数の微生物に著しい違いがあることがわかっている。そして今回、カリフォルニア工科大学で行われた研究の結果、微生物が自閉症の一因となる可能性が初めて明らかとなった。「Cell」誌に先月掲載された論文によると、試験的なプロバイオティクス療法によってマウスの自閉症様行動が軽減し、すでに臨床試験の準備に入っているという。 現在、自閉症に対しては主に行動療
わずか500行のCソースコードで作られたCコンパイラ「CC500」 | ソフトアンテナ
Cコンパイラといえばとてつもなく複雑なプログラムというイメージがあります。ところが、このCコンパイラを(サブセットとはいえ)わずか500行ほどのCのソースコードで実現した「CC500」名付けられたプログラムが公開されています。 ソースコードは可読性を維持するためにつけられた空行やコメントを含めると、実際は750行ほどになるそうですが、それでもこれだけコンパクトなソースコードで実行可能なELFバイナリ(Linux用のバイナリ)を生成できるのは興味深いのではないでしょうか。 以下実際にLinuxでコンパイルしてみました。 自己コンパイルできる このコンパイラはC言語のサブセットで、自分自身のソースコードをコンパイルできるところがおもしろいところです。まず「cc500_1」という実行ファイルを生成します。 gcc cc500.c -o cc500_1 生成された実行ファイル「cc500_1」を使
iPhone6/6 Plusのメモリが1GBしかない理由 - iPhone Mania
iPhone6/iPhone6 Plusは、搭載メモリは1GBながら、2GBや3GBのメモリを搭載するAndroid陣営の上位モデルより処理速度が高速となっています。この理由は、AndroidとiOS端末の根本的な違いにありました。 iPhone6がメモリ1GBでもAndroid端末より高性能な理由 iPhone6/iPhone6 Plusの処理速度を主要スマートフォンと比較したベンチマークテストの結果、iPhone6/6 Plusは、メモリを多く搭載したサムスンのGalaxy S5などの端末より処理速度が速いことが明らかになっています。 iPhone6/6 Plusのメモリ容量は1GBですが、大容量のメモリを搭載したAndroid端末よりも処理速度が速いのは、OSの内部設計の違いに理由があるとQuoraに掲載され、話題になっています。 AndroidはJavaで動作する構造上、「ガーベー
News i - TBSの動画ニュースサイト
今後1か月程度「最大震度5強程度以上の地震に注意」気象庁 震度1以上は1200回超に 気象庁は8日午後2時から記者会見を開き、1月1日に発生した能登半島地震について、依然として地震活動が活…
外国人「アニメの女の子がハンバーガーを食すシーンを集めるという重要な作業に協力してほしい」海外の反応 : 暇は無味無臭の劇薬
Comment by AnimeBurgers アニメで女の子がハンバーガーを食べてるシーンは？ アニメを視聴してる人で誰かがハンバーガーを食べてるシーンを見て知ってるって人は是非教えてほしい。 http://www.twitter.com/animeburgers やあ。 僕は今アニメキャラクターがどこでハンバーガーを頬張ってるかというデータベースを作成してる。 理想はハンバーガーを食べてる所なんだけど、ちょっとずれていたとしても問題なし。 興味を持った人のために今までした作業分がこちら （※この記事ではスプレッドシートのリンクは省略しています。） 所用で８時間ほど空けて戻って来たけど変更履歴見てクスクス笑ってる。 編集は出来なくなったけど、コメントは引き続き可能。 まあとにかくハンバーガーを食してるシーンを覚えてたら投稿したりスプレッドシートを気楽にいじってくれ。 それぞれのカラムはア
『週刊ファミ通』が『FF13』の不適切マンガを掲載し謝罪 / キャラが唾液まみれ - ライブドアニュース
ゲーム雑誌の老舗であるエンターブレイン発行の『週刊ファミ通』（旧・ファミコン通信）が、『ファイナルファンタジーXIII』のキャラクターが登場するマンガを掲載し、不適切な内容があったと紙面で謝罪していることが判明した。その漫画の内容は、『ファイナルファンタジーXIII』のキャラクターが任天堂の人気キャラクター・マリオやヨッシーと楽しく冒険をするというもの。 スクウェア・エニックスからクレームを受けたのは『四姉妹エンカウント』という『週刊ファミ通』の連載漫画で、女流漫画家の大島永遠（おおしまとわ）先生が執筆している。クレームを受けた回では、『ファイナルファンタジーXIII』のキャラクターであり主人公の美女ライトニングが、『スーパーマリオ』シリーズのヨッシーの口の中に入り、ジュルジュルと唾液まみれになるシーンや、敵モンスターめがけて唾液だらけのライトニングを吐き出すというシーンが描かれていた。『
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Yahoo!ニュース - ＧＤＰはショッキング、もはや消費増税議論すべきでない＝本田参与 （ロイター）
『「中年のネトウヨ」ヨーゲン、逮捕から本人特定までの一部始終（安田 浩一）』へのコメント
Windows de Vagrant + ChefDK - Qiita
宮内庁職員らが逮捕されたハプニングバーの実態 - ライブドアニュース