バグの無いプログラムを作ることは可能ですか？ 停止性問題から「バグのないプログラムは存在しない」（あるいは「プログラムにバグの無いことは証明できない」）と良く言われますが、 Coqによる証明駆動開発 http://d.hatena.ne.jp/mzp/20110228/ruby ではプログラムを証明できるみたいですが、これは冒頭の１文が可能ということでしょうか？ あと、 「カリー･ハワード同型対応」 について教えて下さい。
Q&Aに関するyoshiiiのブックマーク (41)
-
yoshiii 2011/03/08
-
風呂場から生まれる New Wave 『OK Pad』 発売開始 | OKWAVE スタッフブログ
※この記 事は、エイプリルフール企画として作成された特別記事です。 日本初、最大級のQ＆Aサイト「OKWave」を運営する株式会社オウケイウェイヴ（本社：東京都渋谷区、代表取締役社長：兼元謙任）は、2010年4月1日、パーカッション機能・完全防水加工など、数多くの斬新な機能を搭載した革命的デバイス『OK Pad』の発売を開始しました。価格は3,000円(税別)。 開発に当たったT氏は、「今までにない、ぬくもりの伝わるデバイスを生み出すことが出来て嬉しい。次は何作ろっかな」とコメントしています。 ■「OK Pad」の基本仕様 サイズ/重量 SIZE:W8 inch×H4 inch WEIGHT：200g ■搭載機能 ・パーカッション機能 ・完全防水加工 ・大容量(楽曲1,000曲分のCD収録可能) ・GPS(ご飯を・ポッと入れたら・寿司も作れるよ)機能搭載 ・インテル→入ってない ■推奨環境
-
小学生に｢なんで働いてるの？｣と聞かれたら迷わず｢金のために決ってるだろ。｣で正しいですか？ - 仕事のやりがいとか、責任とか、やってい... - Yahoo!知恵袋
実際、娘（5年）に聞かれたことがありました。 その時に、私が答えたのは 「世の中に働く人がいなかったら、どうなると思う？ ご飯を食べようと思っても、お米を作るお仕事をしている人がいない。 お水を飲もうと思っても、人が飲めるようにキレイな水にしてくれるお仕事をしてる人がいない。 今住んでるお家も、大工さんが働いて作ってくれたもの。 よく見回してごらん？当たり前に揃っているように見えるけど、 みんな、いろんな人がお仕事をしてくれたから、揃っている物や環境ばかりだよ。 昔は、自給自足といって、全て自分の力で揃えたようだけど 段々、人間は協力しあって生活する、協力し合って必要な事を分け合う事にしたの。 周りを見てみると、お友達でもいるでしょう？ 絵を描くことが得意な子、力持ちな子、工作が上手な子・・・・いろいろ。 その人ができる事をその人にしてもらったら、うまく行くと思わない？ でも、得意なことじ
-
はてな民に確率の問題を出してみよう - Pashango’s Blog
こんにちは、今回は確率の話です。 以前、職場で余興として問題を出したのですが、ほぼ全員がこの問題を知りませんでした。 理系が多く集まる職場なので、意外にみんな知らないんだなぁと思ったのですが、今度はリテラシーの高い（と勝手に思っている）はてな民に問題を出したら、どうなるんだろうと純粋な好奇心が沸いてきました。 なお有名な問題ですので、答えを知っている方はあまりヒントを出さない方向で・・・ 問１ ティムはテレビのクイズ番組に出演し見事優勝をはたしました、優勝賞品の自動車をゲットするチャンスを得たのです。 司会者は言いました。 「ここにＡ、Ｂ、Ｃの３つのドアがあります。 １つのドアの後ろには自動車、それ以外の２つのドアの後ろにはヤギがいます。 ティムは１つのドアを選び、そのドアの中に自動車が入っていれば賞品をゲットできます。 もし、ヤギが入っていた場合はハズレです。 さぁティム、どのドアを選び
-
知り合いが動画投稿サイトを運営しています。…
知り合いが動画投稿サイトを運営しています。 結構、アクセスはあるらしいのですが、一向に黒字になりません。 なにかいいアドバイスがあれば教えてください。
-
息子が「ドグラ・マグラ」という本を持ってます 表紙のイラストが怪しげです 裏表... - Yahoo!知恵袋
夢野久作のドグラ・マグラですね。私も読んだことがありますが、精神に異常をきたしたりしておりません。 大丈夫です。私も読んだことがありますが、精神に異常をきたしたりしておりません。 それは単なるキャッチフレーズです。私も読んだことがありますが、精神に異常をきたしたりしておりません。 「日本三大奇書」と呼ばれるもののうちの一つです。私も読んだことがありますが、精神に異常をきたしたりしておりません。 記憶を失った男が、自分が精神病院に収容されていることに気づくところからはじまり、それから何だかんだある小説です。 推理小説です。私も読んだことがありますが、精神に異常をきたしたりしておりません。 私も読んだことがありますが、精神に異常をきたしたりしておりません。 私も読んだことがありますが、精神に異常をきたしたりしておりません。私も読んだことがありますが、精神に異常をきたしたりしておりません。私も読
-
-
光より速く走る原付バイクがあったとします。その原付バイクのヘッドライトの光は... - Yahoo!知恵袋
超光速粒子にタキオンという架空の粒子がありますが、光速を超える物質が存在した場合、その物質の速度には上限値が 無くなるかわりに、下限値（光速度）があたえられます。 よって、バイクは静止することはできず、常に光速以上の速度で走っていることになります。 赤道上に地球を1周できる直線の横断道路があったとして、バイクがそこを走っているとします。 バイクが下限値である光速度で走っているときは、外部の光も通常の光として見えるはずです。 光速度不変の原理によれば、光同士がすれ違っても、相対速度は秒速30万kmを保つと予測されるからです。 したがって、ヘッドライトの光もライダーには見えるでしょう。 （粒子加速器による実験などのように、光子が空気中の粒子と衝突を起こさないと仮定します） このとき、ライダーにとって周囲の時間は止まって見えるでしょう。周囲の車はもちろんですが、上空の飛行機でさえも 止まって見え
-
Agora Platform
経済、ビジネス、情報通信、メディアなどをテーマに、専門家が実名で発言することで政策担当者、ジャーナリスト、一般市民との交流をはかる言論プラットフォーム
-
物理学者とともに読む「天使と悪魔」の虚と実 50のポイント
東京大学大学院理学系研究科 物理学専攻の原子核実験グループ（Nuclear Experiment: NEX）のページにようこそ。 中村研究室では、大強度電子加速器施設において、ストレンジクォークを含む量子多体系であるハイパー原子核の研究を推進することでバリオン間相互作用（拡張された核力）の理解を深め、重い中性子星の謎（ハイペロンパズル）に挑戦しています。主な研究拠点は１）米国ジェファーソン研究所(JLab)、２）ドイツマインツ大学(MAMI)、３）東北大学電子光理学研究センター(ELPH)というストレンジクォークを作ることができる高エネルギーの大強度電子加速器施設です。これらに加えて、４）東海の大強度陽子加速器施設J-PARCにおいてS-2S磁気スペクトロメータを用いたハイパー原子核研究や、次世代プロジェクトとして準備が進んでいる高分解能高強度ビームライン(HIHR)における次世代のπ中間
-
シーチキンを持って夫が浮気？―悩み相談に名・珍回答集まる - はてなニュース
「夫がシーチキンを抱えて夜な夜な散歩に出掛けています。浮気でしょうか？」――Yahoo!知恵袋に投稿されたこの質問と、それに寄せられたユーザーの回答が話題になっています。 夫がシーチキンを抱えて夜な夜な散歩に出掛けています。 浮気でしょうか？ もちろん、夫が出かけている先は、ツナ缶が大好きな「あの動物」のところ。しかし、「あの動物」の前では多くの人がメロメロになってしまうのも事実なわけで、回答では「浮気されてます」と断言する人も。また健康を気遣ってか、シーチキンではなく、塩分や油分の少ない別の食品を勧める人もいました。 回答者やはてなブックマークユーザーの中には、ダジャレ熱を刺激された人もいたようで、「頑張って夫をツナぎとめてください」「ニャンニャンしてるのでしょう」「泥棒ネコでしょうね」、などとコメントしている人も。ちなみに、質問者による補足によれば、夫は「集会」に参加しているのだそうで
-
法テラス｜法律を知る 相談窓口を知る 道しるべ
For Foreign NationalsLegal Information For Foreign Nationals
-
暇人＼(＾o＾)／速報 （旧） coco壱番屋の店員だけど質問ある？
1 名前：以下、名無しにかわりましてVIPがお送りします[] 投稿日：2009/02/02(月) 12:48:09.36 ID:TZprhKHw0 特定されない範囲で答える 2 名前：以下、名無しにかわりましてVIPがお送りします[sage] 投稿日：2009/02/02(月) 12:48:32.40 ID:RyVrfIWD0 高いと思わない？ 半額だったら行くんだが･･･ >>2 俺も高いと思いますｗｗｗｗｗｗｗｗｗｗｗｗｗｗ 上の人間に言わせるとサービスを売ってるんだとｗｗｗｗｗｗｗｗｗｗｗｗｗ 確かに店員への教育は他の飲食に比べて格段に丁寧だがな 3 名前：以下、名無しにかわりましてVIPがお送りします[] 投稿日：2009/02/02(月) 12:49:01.07 ID:HjSi9IU9O おつカレー >>3 ありがとう＾＾ 4 名前：以下、名無しにかわりましてVIPがお送りします
-
電子レンジって危険ですか？
一応ネットで調べましたが、賛否両論なので、質問します。 電子レンジを使うと分子構造を破壊するとあるサイトに書いてあったのですが 実際に水や食品をを電子レンジで温めるのと、 オーブンもしくはガスコンロまたは電子コンロで 暖めるのでは、やはり違いがあるのでしょうか？ ある小学生の研究で、両方の水をさまし、植物に水を与えたところ 電子レンジで暖めた水をあげたほうは数日後枯れてしまい コンロのほうは生き生きとしていました。 小学生の研究であり、たった一回の実験だったので専門的ではないし いろいろな状況が考えられますが、実際にそのような結果になったので 人体にも影響があるのではないかと考えています。 味の変化があるのか確認するために今日は諸事情があり無理なのですが、 明日にでも白湯にしたのを今日実験して飲もうと思っています。 もしどなたか試してみたことがある人は、感想を教えていただけますか？ （もし
-
精神科Q&A | Dr林のこころと脳の相談室
読者からの質問にお答えします。すべて事実を回答します。 したがって、これは医療相談ではありません。このコーナーに質問される方は、必ずこちら(2010.12.5.更新)をお読みください。 最近の精神科Q&A 【4781】統合失調症の前駆症状と診断された息子への対応について (2024.01.05.) 【4780】ここ最近被害妄想をしてしまうようになりました (2024.01.05.) 【4779】うつ病と自称する後輩への疑惑 (2024.01.05.) 【4778】周りの環境が整う中で少しだけ精神的に安定したと思います(【3482】のその後) (2024.01.05.) 【4777】コミュニケーションが苦手なだけでは発達障害とはいえないのでしょうか (2024.01.05.) 【4776】発達障害ではないと精神科で診断され、絶望しています (2024.01.05.) 【4775】特定の方から
-
Adobe InDesign ラーニングとサポート
はい。InDesign では簡単にシンプルなテキストプロンプトを使用して画像を生成することができます。プロンプトをカスタマイズする場合は、参照画像を追加し、「スタイル効果」を選択します。 「生成拡張」を使用すると、画像の周囲の余白を簡単に塗りつぶすことができます。テキストプロンプトを追加して余白を塗りつぶすことも、既存の画像に合わせて余白を残すこともできます。
-
Adobe Flash CS4 Professional * Adobe Flash CS4 Professional
Web Help Welcome to Adobe® Flash® CS4 Professional Help on the web, part of the Adobe Community Help environment. Adobe specialists update web Help regularly, and comments from users and expert moderators provide additional tips and solutions. You can search, browse, and comment on web Help content. When you are not connected to the Internet, a subset of Help opens. Community Help Community Help b
-
変拍子でかっこいい曲を教えてください。曲の一部分だけが変拍子とかでもOKです。 - 自分の好きな変拍子の曲は次のような曲です。Yes-Si... - Yahoo!知恵袋
変拍子でかっこいい曲を教えてください。 曲の一部分だけが変拍子とかでもOKです。 自分の好きな変拍子の曲は次のような曲です。 Yes - Siberian Khatru http://jp.youtube.com/watch?v=eWc5DE4_wzI&feature=related King Crimson - Frame By Frame http://jp.youtube.com/watch?v=helxZmCyJh4 Genesis - Supper's Ready http://jp.youtube.com/watch?v=C3HVMgG3su0 http://jp.youtube.com/watch?v=XLpUXeFvu8I&feature=related http://jp.youtube.com/watch?v=pCXiuqJ1E6g&feature=related U.
-
-
なぜ十二一重の着物がいけないの？？ - 今月末に娘の幼稚園で夏祭りがあります。娘はそれはもう楽しみにしています。担任の先生から、「女の... - Yahoo!知恵袋
なぜ十二一重の着物がいけないの？？ 今月末に娘の幼稚園で夏祭りがあります。 娘はそれはもう楽しみにしています。 担任の先生から、「女の子は浴衣（ゆかた）で参加してください」と連絡がありました。 うちの娘は母親の私に似て、とっても美人さんなんです。 その容貌からして普段から大変目だっておりますが、夏祭りは更にきらびやかに目立たせてあげようと、呉服屋に特注で「十二一重」を作らせました。 みんなは安っぽい浴衣で、娘は気品のある十二一重の着物です。 ところが！娘が先生にその話をしたら 「お母さん、やめてください！十二一重は困ります。暑くてかわいそうですし、ただ一人浮いてしまいます」なんて、電話をもらいました！ 先生も女です。娘がこれ以上綺麗になって注目を集めるのが悔しいのでしょうか？？ 私は断固として十二一重の着物を通しますが、間違ってないですよね？？ 先生のトゲのある言葉に、ハラワタが煮え栗3年
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Copyright © 2005-2025 Hatena. All Rights Reserved.
設定を変更しました