世界で一番ピュアな論理型プログラミング言語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
スペシャルベスト
免責事項：本サイトに含まれる情報は、一般的な情報提供のみを目的としています。情報はスペシャルベストによって提供され、当社は情報を最新かつ正確に保つよう努力しますが、いかなる目的においても、ウェブサイトまたはウェブサイトに含まれる情報、製品、サービス、関連グラフィックスに関する完全性、正確性、信頼性、適合性、利用可能性について、明示または黙示を問わずいかなる表明または保証も行いません。従って、これらの情報に依拠することは、あくまでもお客様ご自身の責任において行われるものとします。 当社は、当ウェブサイトのご利用に起因するいかなる損害についても責任を負いません。 本ウェブサイトから、スペシャルベストの管理下にない他のウェブサイトへリンクすることができます。当社は、それらのサイトの性質、内容および利用可能性を管理することはできません。リンクは必ずしも推奨するものではありませんし、リンク先で述べら
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ページを開く
