世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita
あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚いています. こうも時間の流れが早いと死ぬのもすぐですね. 懸命に生きようと思います. さて今回はHilbertという論理型プログラミング言語を作りました. （カジュアルに作ってるように見えますが、割と本気です.） まだまだやるべき事は本当に多くて、飴ちゃんあげるのでコミッター大募集です. （今ならカントリーマームもつけるのでお願いします.） HP: http://hilbert-lang.org/ja/ Github: https://github.com/gogotanaka/Hilbert 前座 世界で一番ピュアで豊かなプログラミング言語 この言語で仮定されているのは恒真（トートロジー）のみです. （厳密に言うと自然演繹も仮定されていますが.） 当初、自
Rubyのendは美の観点から必要だ。END HELLは要リファクタへの警告である。メソッド分離、{ }、Guard、三項、ポリモーフィズムで回避せよ！ - hp12c
ブログを下記に移転しました。デザイン変更により移転先では記事が一層読みやすくなっていますので、よろしければ移動をお願い致します。 Rubyのendは美の観点から必要だ。END HELLは要リファクタへの警告である。メソッド分離、{ }、Guard、三項、ポリモーフィズムで回避せよ！ : melborne.github.com - Rubyのendは構文上の欠点だとされ 一部のRubyistから END HELLと忌み嫌われている その一方でRubyのendを愛し endを綴り続けることで 悟りの境地に達したRubyistもいる Rubyistは一日に何度もendと書くことで、 何事にも終わりがあることを日々確認しているのである by @nalsh*1 そしてこの私はというと 見習うべきRubyistの姿がそこにあるのに defと打つと私のエディタが勝手にendと補完するので 物事の終わりも
223Soft -
Document Data Structure in MongoDB Express MongoDB lets you easily store structured and unstructured data in a flexible and dynamic database schema. It supports CRUD operations on complex data objects using JSON as the main data type. Its an open source solution so it may not be as robust or well supported as commercial management tools. However it is easy to deploy and works well for most use cas
爱好中文网 - 最好看的免费小说阅读网
【简繁】过尽千帆-中短篇H虐文合集 故事1是他的女儿也是他的妻子(nph)：妈妈因她过世之后，她就担任起妈妈的所有职责，包括在床上取悦爸爸 /妈妈因她过世之后，她就担任起妈妈的所有职责，包括在床上取悦爸爸 ☆简繁同发 / 简繁同发1000字? 50po 缘更 /? 缘更--------------------------------? 七月晴连载0万字高辣 教师 《人妻教师》作者：弘扬|2011年末开始写的文章，后来忙了一段时间所以断了，现在有时间接着写还是那句话，调教老婆本来就是男人的责任！ 午夜人屠连载12万字高辣 [综武侠]移花宫主她超忙的 上一个二十年，是邀月燕南天等人的江湖。这个二十年，江湖群杰，移花宫主花满园一枝独秀。移花宫主花满园，她曾远赴大漠打败快活王与石观音，也曾在孤岛与燕南天生死决斗。有人说她是江南第一美人，百晓生却说她是天下第一美人。她男友众多，从塞北的西门吹雪，到南
Rubyの魔術 数々の“スペル”で高度なプログラミング − ＠IT
2010/09/13 元JavaプログラマのPaolo Perrotta氏は、Rubyを使い始めた頃のことを振り返り、こう話す。 「私はJavaの世界からRubyに来た当初、とてもハッピーなプログラマでした。Rubyっていいね、かっこいいじゃん！ と。ところが、最先端のイケてるライブラリの中を覗いてみたら、分からないところだらけだったんです……」。 RubyKaigi2010で「A Metaprogramming Spell Book」（あるメタプログラミング魔術の書）と題した講演を行ったイタリア人プログラマのPerrotta氏は、Ruby on Railsのソースコードを覗いてみたときの驚きをこう表現する。 「例えばalias_method_chainというメソッドは、一体どこにあるんだと探しました。どこにあるか分からないんです。こんなことJavaではあり得ません。結局、テキスト検索で発
日本Ruby会議 2010, 8月27日〜29日
お知らせ 日本Ruby会議2011「最後のRuby会議」は7月16日〜18日の3日間、練馬文化センター(東京都)で開催予定です。 日本Ruby会議2010は全ての日程を終了いたしました。ご参加いただいた皆さま、ありがとうございました。 今後の参考にしたいためアンケートにご協力ください。 参加者向け情報とフロアガイド(PDF)を公開しています。 参加者の皆様へ: 入場に関する以下の情報を今一度ご確認ください 一般参加チケット・個人スポンサーチケットをお持ちの方の日本Ruby会議2010本編受付方法について 懇親会チケットを購入された方の日本Ruby会議2010公式懇親会受付方法について イメージイラスト公募結果とおまけページを公開しています。 日本Ruby会議2010に海外から参加するRubyistのためのメーリングリストを用意しました。海外からRuby会議2010に参加する方はもとより、海
ホワイの(感動的)Rubyガイド
この本はホワイ・ザ・ラッキースティフ(why the lucky stiff)により愛情を込めて書かれた。 ~ 目次 ~ この本について コンニチハ、Ruby この本を開く 犬の話 赤い太陽が昇る 本はどのように始まるか (漫画のキツネと学ぶ)短時間の(そして願わくは辛くない)Rubyコース 言語と、言語で意味しているもの 品詞私がまだあなたのことを十分子供扱いして いなかったなら あなたの成長を促すための例題 そして短い旅はそっとクッション停止する 浮いている小さなコードの葉っぱ アンブローズにおけるステータスシンボルとしての葉っぱ 小さくてほとんど価値のないもの 妄想をつなぎ合わせる ブロックの奇跡 ルールを作るものと夢を生きるもの これは権利を奪われた人のため コンピュータのある城 娘のオルガン教師の話のつづき ヤギは映画を全部見たがっている 盗まれたくじ主 ルールを作る者たち 夢を
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
