世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita
あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚いています. こうも時間の流れが早いと死ぬのもすぐですね. 懸命に生きようと思います. さて今回はHilbertという論理型プログラミング言語を作りました. （カジュアルに作ってるように見えますが、割と本気です.） まだまだやるべき事は本当に多くて、飴ちゃんあげるのでコミッター大募集です. （今ならカントリーマームもつけるのでお願いします.） HP: http://hilbert-lang.org/ja/ Github: https://github.com/gogotanaka/Hilbert 前座 世界で一番ピュアで豊かなプログラミング言語 この言語で仮定されているのは恒真（トートロジー）のみです. （厳密に言うと自然演繹も仮定されていますが.） 当初、自
RubyKaigi 2014 に参加した - t-wadaのブログ
日記を書くまでが RubyKaigi ということで、久しぶりに日記を書いてみる。 一日目 謎の全身のむくみと関節の痛みに苦しんで病院で検査していたら各科たらい回しにされ、一日が終わってしまった……特に @tkawa さんの講演を聴きたかったので無念でならない。 RubyKaigi が始まるというのに俺は病院にいる……orz— Takuto Wada (@t_wada) 2014, 9月 18 tkawa さんの RubyKaigi 講演資料。 Web API 設計の現状の問題提起と、『RESTful Web APIs』で示された世界を実現するために JSON に足りないセマンティクスを補う試み。素晴らしい資料だ。 http://t.co/7JoBDEb1nl— Takuto Wada (@t_wada) 2014, 9月 18 二日目 二日目は以下の講演を聴いた。 Keynote: Com
railsをdockerで動かしたい場合の構成はどうするべきか - Qiita
FROM base # rubyインストールに必要なパッケージを用意 RUN apt-get update RUN apt-get install -y --force-yes build-essential curl git zlib1g-dev libssl-dev libreadline-dev libyaml-dev libxml2-dev libxslt-dev # rbenv, ruby-buildをインストール RUN git clone https://github.com/sstephenson/rbenv.git /root/.rbenv RUN git clone https://github.com/sstephenson/ruby-build.git /root/.rbenv/plugins/ruby-build RUN ./root/.rbenv/plugins
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://harold-spm.com/programming-monndai/
http://blog.kiftwi.net/2012/03/20/summary-of-pry-plugins/
