世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita
あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚いています. こうも時間の流れが早いと死ぬのもすぐですね. 懸命に生きようと思います. さて今回はHilbertという論理型プログラミング言語を作りました. （カジュアルに作ってるように見えますが、割と本気です.） まだまだやるべき事は本当に多くて、飴ちゃんあげるのでコミッター大募集です. （今ならカントリーマームもつけるのでお願いします.） HP: http://hilbert-lang.org/ja/ Github: https://github.com/gogotanaka/Hilbert 前座 世界で一番ピュアで豊かなプログラミング言語 この言語で仮定されているのは恒真（トートロジー）のみです. （厳密に言うと自然演繹も仮定されていますが.） 当初、自
男性の多くが結婚生活に幸せを感じられないでいる - 誰かが言わねば
人は誰もみな、誰かに必要とされていたい、誰かに大切にされていたい、誰かに尊重されていたいものです。 時々、仙人みたいに山にこもって誰とも接さずに生きようとする人がいますが、それはその人が「私は誰にも必要とされなくてもいいんだ」と思いながら生きるためには人里から離れなくてはいけないことを意味します。つまり社会の中でたくさんの人と接しながら「私は誰にも必要とされていないんだ」と思って平気な人はまずいないということです。人が誰かに必要とされていたい、誰かに大切にされていたい、誰かに尊重されていたいと思う気持ちはそれだけ強いものなのです。 恋愛や結婚には、この気持ちをお互いに満たしあうという一面があります。つまり一人の男性がある一人の女性を特別大切に扱い、その女性はあなたから特別に思われていることは私にとって嬉しいことなのだという意思を何らかの形で表します。そうやって互いに相手の、誰かに必要とされ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
