「呪い」は実際に効き目があるよって話 - ネットの海の渚にて
コスプレグッズ 地獄少女 わら人形 藁人形 呪いという言葉がある。 おそらく懸命な読者の方はそんなもの信じていないと思うが実は本当にあるのだ。 「お。こいつ、頭がイカレタか」との声がモニター越しにも聞こえてきますが大丈夫、私はイカれていない。 そもそも私はオカルトの類は全て疑ってかかっているし、宗教なんかも信じてはいない。 もちろんそれらを信じている人達を馬鹿にするつもりも全くない。 特にオカルトなんかは読み物として面白いから好きでもある。 そろそろ本題に入る。 呪いの代表的なものといえば藁人形だろう。 実はこの藁人形、本当に効き目があるのだ。 少し前、母親から面白い話を聞いた。 母がまだ若く独身時代の話だ。 当時勤めていた会社からあてがわれていた社宅に住んでいた時、となりに同じ会社の同僚が引っ越してきた。 引っ越しの手伝いをしていた母は荷物を押入れに運び込もうとした時にそれを発見してしま
テクノに合わせてうどんをこねる コシのある謎イベント「テクノうどん」に行って踏んでみた
テクノのリズムに合わせて、足でうどんをこねる――そんな謎のイベント「テクノうどん」がこのほど東京・青山のライブハウスで開催された。そもそもどんなイベントなのか？ 主催者がイベントに込めた狙いとは――。会場に潜入して実際にうどんをこね、不思議イベントの誕生秘話も聞いてきた。 開演はまさかの「朝8時」 テクノイベントといえば、夜のクラブでお酒を楽しみながら音楽に合わせて踊る様子をイメージする人が大半だろう。だが、テクノうどんの開演時間はなんと朝8時。「うどんを踏むのは絶対朝だ」という主催者のこだわりによる時間設定だという。
定理証明系 Haskell
この記事は Haskell Advent Calendar 2013 および Theorem Prover Advent Calendar 2013 二十日目の記事であり、更にTCUGの新刊「Coqによる定理証明」の販促記事でもある。 型システム再考 Haskell は静的型付き言語だ。それだけでなく、強力な型推論や表現力の高い型システムを備えている。 型とは何だろうか。 こうした質問に対してよくある答えは、「値の種類を区別するためのタグ」になるだろうか。Int型は整数だし、Bool型は真偽値で、[Int]型は整数値リストを表す型だ。なるほど、値の種類を区別するものに見える。 しかし、この答えは間違ってはいないが、もっと相応しい云い方が出来るだろう。それは、「型は不変条件である」というものだ1。この言明は別に私固有の見方というわけではなく、ある程度の型レベルプログラミングをやった事のある人
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
