世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita
あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚いています. こうも時間の流れが早いと死ぬのもすぐですね. 懸命に生きようと思います. さて今回はHilbertという論理型プログラミング言語を作りました. （カジュアルに作ってるように見えますが、割と本気です.） まだまだやるべき事は本当に多くて、飴ちゃんあげるのでコミッター大募集です. （今ならカントリーマームもつけるのでお願いします.） HP: http://hilbert-lang.org/ja/ Github: https://github.com/gogotanaka/Hilbert 前座 世界で一番ピュアで豊かなプログラミング言語 この言語で仮定されているのは恒真（トートロジー）のみです. （厳密に言うと自然演繹も仮定されていますが.） 当初、自
初回にして伝説となった｢CODE FESTIVAL｣が新しいプログラミングの歴史をつくる
初回にして伝説となった｢CODE FESTIVAL｣が新しいプログラミングの歴史をつくる2014.11.17 22:00Sponsored 三浦一紀 予想以上におもしろかった！ 11月8（土）〜9日（日）、リクルート主催の（おそらく）世界初のフェス型プログラミングコンテスト｢CODE FESTIVAL 2014｣が、東京の3331 Arts Chiyodaで開催されました。 フェス型プログラミングコンテスト（以下プロコン）をなぜ開催したのか。その経緯については、主催者側へのインタビューという形で、こちらの記事でご紹介しております。スタッフのプロコンにかける熱い想いや、フェス型プロコンに至るまでの経緯、そして今後の展望などをご理解いただけると思います。 ギズモード編集部では、そのCODE FESTIVAL 2014を見届けるべく、2日間にわたって取材を敢行。これまでにない大きな規模なプロコン
浪江町と政府のシステム調達について
以前、「 "費やした55億円、水の泡に 特許庁がシステム開発中断"って一体何だったのか、報告書を読んでみた 」というブログ記事を書いた時に、政府のシステム調達案件の問題について考えさせられたわけですが、政府の調達案件の問題は世界中で起こっているようで。 調査によると、「 ア...
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
